Если Билл выше, чем Джефф, а Джефф ниже, чем Райан, то выше ли Билл, чем Райан?

Джонсон-Лэрд (Johnson-Laird, 1995): четыре главные проблемы в когнитивном исследовании дедуктивной логики.

1. Относительные выводы основаны на логических свойствах таких отношений, как больше чем, справа от, и после.

(В случае Билла и других вы должны были использовать логику «больше чем».)

2.Пропозициональные выводы основаны на отрицании и на соединительных словах как будто, или и и. (Например, вы могли бы сформулировать вышеупомянутую задачу так: «Если Билл выше, чем...»)

3.Силлогизмы основаны на парах посылок, каждая из которых содержит единственный определитель, например все или некоторые. («Все психологи замечательные; некоторые психологи носят очки...»)

4.Множественные умозаключения основаны на посылках, содержащих больше, чем один определитель, например: «Некоторые пудели дороже, чем собака любой другой породы».

Индукция и дедукция

Индукция в логике - процесс рассуждения от частного к общему. Ф. Бэкон рассматривал индукцию как логику научных исследований, а дедукцию - как логику доказательств. Фактически в эмпирических науках оба процесса постоянно используются вместе: путем наблюдения за отдельными явлениями (индукция) и исходя из уже известных принципов (дедукция) формулируются новые гипотезы и выводятся законы.

Дедукция. 1. В традиционной логике - процесс получения путем рассуждения конкретных умозаключений из более общих, предположительно верных принципов. Аристотелевский силлогизм - классический пример традиционной дедуктивной логики. 2. В современной логике - любое утверждение, выведенное путем применения правила к аксиоме; в более общем смысле этот термин теперь относится к процессу выведения теорем из аксиом, или заключений из посылок, с помощью формальных правил (правил трансформации).