Силлогизм в логике и философии¶
Силлогизм — форма дедуктивного умозаключения, в которой из двух исходных суждений (посылок), связанных общим термином, выводится новое суждение (заключение). Классический силлогизм представляет собой рассуждение, состоящее ровно из трёх категорических суждений: двух посылок и одного вывода. Понятие введено и систематически изучено Аристотелем в трактате «Первая аналитика» (IV век до н. э.) и на протяжении более двух тысячелетий оставалось центральной моделью логического вывода в европейской философии, богословии и юриспруденции.
¶Общая характеристика
В основе силлогизма лежит идея о том, что истинность заключения гарантируется не содержанием суждений, а их формой. Если посылки истинны и структура вывода корректна, заключение необходимо истинно. Именно это свойство отличает силлогизм от индукции и аналогии, где вывод носит вероятностный характер.
Классический пример:
Здесь общий термин «человек» связывает два утверждения и позволяет перенести предикат «смертен» на конкретный субъект.
¶Структура и термины
Силлогизм включает три термина:
- Больший термин — предикат заключения («смертен»).
- Меньший термин — субъект заключения («Сократ»).
- Средний термин — понятие, присутствующее в обеих посылках и отсутствующее в выводе («человек»). Именно средний термин обеспечивает связь.
Посылка, содержащая больший термин, называется большей; посылка с меньшим термином — меньшей.
¶Фигуры и модусы
В зависимости от положения среднего термина различают четыре фигуры силлогизма:
| Фигура | Положение среднего термина | Пример схемы |
|---|---|---|
| Первая | субъект большей, предикат меньшей | M — P; S — M; S — P |
| Вторая | предикат обеих посылок | P — M; S — M; S — P |
| Третья | субъект обеих посылок | M — P; M — S; S — P |
| Четвёртая | предикат большей, субъект меньшей | P — M; M — S; S — P |
Каждая фигура допускает несколько модусов — вариантов сочетания типов суждений (общеутвердительных A, общеотрицательных E, частноутвердительных I, частночастноотрицательных O). Всего корректных модусов — 19 (по традиционной аристотелевской классификации), по 4–6 на каждую фигуру. Остальные комбинации дают логически ошибочные выводы.
¶Правила и ошибки
Для корректности силлогизма необходимо соблюдение ряда правил:
- средний термин должен быть распределён хотя бы в одной посылке;
- термин, не распределённый в посылке, не может быть распределён в заключении;
- из двух отрицательных посылок вывод невозможен;
- из двух частных посылок вывод невозможен;
- при одной отрицательной посылке заключение отрицательно.
Типичные ошибки — «нераспределённый средний термин» (учетверение терминов) и вывод от частного к общему.
¶Значение и критика
Силлогистика стала первой формализованной дедуктивной системой и предвосхитила современную математическую логику. В Средние века она была основой схоластического метода и университетского образования; в Новое время использовалась в юридической аргументации и риторике.
Ограниченность силлогизма отмечал ещё Фрэнсис Бэкон, указывавший, что он не приращает знания, а лишь разворачивает уже содержащееся в посылках. В XIX–XX веках Готлоб Фреге, Бертран Рассел и другие создатели математической логики показали, что аристотелевская силлогистика — лишь частный случай более общих исчислений предикатов. Тем не менее она сохраняет педагогическое значение и применяется при обучении основам логики, в анализе юридических текстов и в теории аргументации.
¶Силлогизм в российской традиции
В России логика как учебная дисциплина утвердилась в XVIII веке; силлогистика преподавалась в духовных академиях и Московском университете. Значительный вклад в её разработку и популяризацию внесли М. В. Ломоносов, а позднее — логики XIX века, адаптировавшие аристотелевскую схему к задачам русского научного и юридического языка. В советский период силлогистика изучалась в рамках формальной логики, а её критический разбор давался в работах по диалектической логике.
¶Интересные факты
- Аристотель называл силлогизм «речью, в которой при утверждении чего-либо необходимо следует нечто отличное от утверждённого».
- Слово происходит от греческого συλλογισμός — «сосчитывание», «умозаключение».
- В логике средневековых школ модусам давали мнемонические имена (Barbara, Celarent, Darii, Ferio), где гласные кодировали типы суждений.
- Силлогизм лежит в основе классического дедуктивного метода Шерлока Холмса в литературе, хотя реальная дедукция сыщика ближе к абдукции.
Источники: Аристотель. «Первая аналитика»; учебники по формальной логике; работы по истории логики в России.