Дедукция
    А.А. Ивин
    Дедукция (от лат. deductio - выведение) - переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок она всегда ведет только к истинному заключению.
    Д. как умозаключению, опирающемуся на логический закон и с необходимостью дающему истинное заключение из истинных посылок, противопоставляется индукция - умозаключение, не опирающееся на закон логики и ведущее от истинных посылок к вероятному, или проблематичному, заключению.
    Дедуктивными являются, напр., умозаключения:
    Если лед нагревается, он тает.
    Лед нагревается.
    Лед тает.
    Черта, отделяющая посылки от заключения, стоит вместо слова "следовательно".
    Примерами индукции могут служить рассуждения:
    Бразилия - республика; Аргентина - республика.
    Бразилия и Аргентина - южноамериканские государства.
    Все южноамериканские государства являются республиками.
    Италия - республика; Португалия - республика; Финляндия - республика; Франция - республика.
    Италия, Португалия, Финляндия, Франция - западноевропейские страны.
    Все западноевропейские страны являются республиками.
    Индуктивное умозаключение опирается на некоторые фактические или психологические основания. В таком умозаключении заключение может содержать информацию, отсутствующую в посылках. Достоверность посылок не означает поэтому достоверности выведенного из них индуктивного утверждения. Заключение индукции проблематично и нуждается в дальнейшем исследовании. Так, посылки и первого, и второго приведенных индуктивных умозаключений истинны, но заключение первого из них истинно, а второго - ложно. Действительно, все южноамериканские государства - республики; но среди западноевропейских стран имеются не только республики, но и монархии.
    Особенно характерными Д. являются логические переходы от общего знания к частному типа:
    Все люди смертны.
    Все греки - люди.
    Все греки смертны.
    Во всех случаях, когда требуется рассмотреть какое-то явление на основании уже известного общего правила и вывести в отношении этого явления необходимое заключение, мы умозаключаем в форме Д. Рассуждения, ведущие от знания о части предметов (частного знания) к знанию обо всех предметах определенного класса (общему знанию), - это типичные индукции. Всегда остается вероятность того, что обобщение окажется поспешным и необоснованным ("Сократ - умелый спорщик; Платон - умелый спорщик; значит, каждый человек - умелый спорщик").
    Нельзя вместе с тем отождествлять Д. с переходом от общего к частному, а индукцию - с переходом от частного к общему. В рассуждении "Шекспир писал сонеты; следовательно, неверно, что Шекспир не писал сонетов" есть Д., но нет перехода от общего к частному. Рассуждение "Если алюминий пластичен или глина пластична, то алюминий пластичен" является, как принято думать, индуктивным, но в нем нет перехода от частного к общему. Д. - это выведение заключений, столь же достоверных, как и принятые посылки, индукция - выведение вероятных (правдоподобных) заключений. ............