Вывод, полученный путем силлогистического рассуждения, считается достоверным, если все посылки истинны и верна его форма. Следовательно, силлогистическую логику можно использовать для обоснования аргументов. Можно определить «нелогичные» выводы и выделить их причину. Это краткое утверждение составляет теоретическую основу многих исследований логики и мышления.
Прежде чем ознакомить вас с современными исследованиями, не лишним будет подробнее остановиться на законах формальной силлогистической логики. На схеме, приведенной на рис. 14.1 (Erickson, 1974), представлены различные формы силлогизма; предикат вывода обозначен через
Рис. 14.1. Формы силлогизма
Каждый тип силлогизма можно описать на основе составляющих его типов высказываний; например, в силлогизме о Сократе и смертности все высказывания являются общими утверждениями (тип
Показанные на схеме «фигуры силлогизмов» — это записи «моделей опосредования», обычно используемые в исследованиях вербального научения. «Фигура 1» («упреждающая связь») в примере с Сократом имела бы такую последовательность: «Человек — смертен, Сократ — человек, Сократ — смертен». Общее количество возможных силлогизмов — комбинаций типов и фигур — составляет 256 с учетом сочетаний каждого фактора со всеми остальными факторами, из них только 24 являются логичными (по 6 на каждую фигуру).
Привлекательность использования силлогистической логики в когнитивных исследованиях заключается в том, что она позволяет оценивать «корректность», или достоверность, процессов мышления на основе их формы, а не содержания. Обозначив символами (
Если Билл выше, чем Джефф, а Джефф ниже, чем Райан, то выше ли Билл, чем Райан? Прервитесь на минуту и подумайте об этом. Некоторые люди решают эту задачу (которая, конечно, не имеет определенного решения), делая небольшие рисунки, на которых изображен относительный рост Билла, Джеффа и Райана.
ИНДУКЦИЯ
Индукция в логике — процесс рассуждения от частного к общему. Фрэнсис Бэкон рассматривал индукцию как логику научных исследований, а дедукцию — как логику доказательств. Фактически в эмпирических науках оба процесса постоянно используются вместе: путем наблюдения за отдельными явлениями (индукция) и исходя из уже известных принципов (дедукция) формулируются новые гипотезы и выводятся законы.
ДЕДУКЦИЯ
Дедукция. 1. В традиционной логике — процесс получения путем рассуждения конкретных умозаключений из более общих, предположительно верных принципов. Аристотелевский силлогизм — классический пример традиционной дедуктивной логики. 2. В современной логике — любое утверждение, выведенное путем применения правила к аксиоме; в более общем смысле этот термин теперь относится к процессу выведения теорем из аксиом, или заключений из посылок, с помощью формальных правил (правил трансформации).
