Искусство философствования   ::   Рассел Бертран

Это происходитв тех случаях, когда можно опровергнуть следствия из ваших посылок, и тогда ясно, что ваши посылки более или менее не верны. Епископ Коленсо в своих попытках обратить в христианскую веру зулусов перевел Библию на зулусский язык. Те с интересом читали Библию, но когда они прочитали о том, что заяц – жвачное животное, то заявили епископу, что это неправда. Коленсо был книжным червем, незнакомым с привычками зайцев. По настоянию зулусов он понаблюдал за зайцами и понял, что те правы. Все это заставило его «усомниться» в Библии, и в результате церковное руководство лишило его жалования.

Когда выдвигается какая-либо научная теория, то из нее дедуцируют следствия на предмет соответствия наблюдениям, и если хотя бы одно из них окажется неверным, то теория может быть опровергнута. Случается, что теория противоречит сама себе в том смысле, что предполагает некоторые посылки истинными, но дедуктивное рассуждение показывает, что они ложны; это называется reductio ad absurdum (Сведение к абсурду (лат.)). В подобных процедурах дедукция часто является полезным элементом опровержения.

Дедукция играет более важную роль как элемент индукции в тех случаях, когда она помогает доказать вероятную истинность теории. Но к этому я вернусь позднее.

Аристотель и его последователи рассматривали дедуктивную логику как логику силлогизмов.