Силлогистика

Силлогистика — это раздел логики, изучающий логические выводы, в которых из двух (или более) суждений, называемых посылками, с необходимостью выводится новое суждение — заключение. Основной формой такого вывода является силлогизм (от др.-греч. συλλογισμός — «сосчитывание, подведение итогов»). Силлогистика является одной из древнейших логических дисциплин, заложенных Аристотелем в его трудах, объединённых под названием «Органон», и на протяжении более двух тысячелетий составляла основу формальной логики в европейской философской и научной традиции.

История развития

Аристотелевская силлогистика

Силлогистика как систематическое учение была впервые разработана древнегреческим философом Аристотелем (384–322 гг. до н. э.) в трактатах «Первая аналитика» и «Вторая аналитика». Аристотель выделил три фигуры силлогизма, а его ученик и последователь Теофраст добавил четвёртую. В основе аристотелевской логики лежит понятие категорического суждения — высказывания о принадлежности или непринадлежности некоторого свойства всем или некоторым предметам определённого класса.

Аристотель сформулировал четыре типа категорических суждений, которые впоследствии были обозначены латинскими буквами:

• A (общеутвердительное): «Все S суть P» (например, «Все люди смертны»).
• E (общеотрицательное): «Ни одно S не есть P» («Ни один человек не является бессмертным»).
• I (частноутвердительное): «Некоторые S суть P» («Некоторые люди — философы»).
• O (частноотрицательное): «Некоторые S не суть P» («Некоторые люди не являются учёными»).

Основой силлогистики является силлогизм, состоящий из двух посылок и заключения. Классический пример:

1. Все люди (M) смертны (P) — большая посылка.
2. Сократ (S) — человек (M) — меньшая посылка.
3. Следовательно, Сократ (S) смертен (P) — заключение.

Здесь M — средний термин (человек), который связывает S (субъект заключения — Сократ) и P (предикат заключения — смертен). Аристотель выделил три фигуры, различающиеся положением среднего термина:

• I фигура: M — P, S — M, следовательно S — P (наиболее очевидная и совершенная, как в примере с Сократом).
• II фигура: P — M, S — M, следовательно S — P (средний термин является предикатом обеих посылок; используется для опровержения).
• III фигура: M — P, M — S, следовательно S — P (средний термин является субъектом обеих посылок; даёт частные выводы).

Позднее, в Средние века, к ним была добавлена IV фигура: P — M, M — S, следовательно S — P. Для каждой фигуры Аристотель и его последователи определили правильные модусы — комбинации типов суждений (A, E, I, O), дающие достоверное заключение.

Развитие в Средние века и Новое время

В средневековой схоластике силлогистика стала центральной частью тривиума (начального этапа образования) и была формализована в виде мнемонических правил (например, стихи для запоминания правильных модусов: «Barbara, Celarent, Darii, Ferio…»). Францисканский монах Раймунд Луллий (XIII в.) предпринял попытку механизировать логический вывод, создав «логическую машину» на основе вращающихся кругов — предшественницу комбинаторных методов.

В Новое время с развитием эмпирической науки и математики появилась критика чисто силлогистического метода. Философы Фрэнсис Бэкон (XVI в.) и Джон Стюарт Милль (XIX в.) указывали, что силлогизм не даёт нового знания, а лишь раскрывает то, что уже содержится в посылках. Тем не менее, Иммануил Кант в «Критике чистого разума» (XVIII в.) утверждал, что аристотелевская логика, включая силлогистику, является завершённой и неизменной.

Силлогистика в математической логике

В XIX–XX веках силлогистика была переосмыслена в контексте математической (символической) логики. Джордж Буль (Англия), Август де Морган (Великобритания) и Готлоб Фреге (Германия) создали алгебру логики и исчисление предикатов, которые позволили сформулировать силлогистические законы в терминах теории множеств и формальных языков.

В рамках современной логики силлогистика рассматривается как фрагмент логики предикатов первого порядка, где суждения вида «Все S суть P» интерпретируются как «∀x (S(x) → P(x))». Это позволило строго доказать полноту и непротиворечивость аристотелевской системы в рамках определённых допущений (например, что классы S и P непусты). Однако в чисто математической логике с пустыми классами ряд классических модусов перестаёт быть корректным, что привело к дискуссиям о точной интерпретации силлогизмов.

Основные понятия и структура

Категорический силлогизм

Силлогизм состоит в точности из трёх терминов:

• Большой термин (P) — предикат заключения (обычно более общее понятие).
• Малый термин (S) — субъект заключения (обычно менее общее понятие).
• Средний термин (M) — термин, который присутствует в обеих посылках, но отсутствует в заключении. Он обеспечивает связь между S и P.

Посылки делятся на большую (содержит P) и меньшую (содержит S).

Общие правила силлогизма

Для того чтобы заключение было истинным при истинных посылках, силлогизм должен соблюдать ряд правил, сформулированных ещё Аристотелем и дополненных в Средние века:

1. Правило терминов:

• В силлогизме должно быть ровно три термина.
• Средний термин должен быть распределён (взят во всём объёме) хотя бы в одной из посылок.
• Термин, не распределённый в посылке, не может быть распределён в заключении.

1. Правила посылок:

• Из двух частных посылок заключение не следует.
• Из двух отрицательных посылок заключение не следует.
• Если одна из посылок частная, то и заключение может быть только частным.
• Если одна из посылок отрицательная, то и заключение будет отрицательным.

Модусы и фигуры

Сочетание посылок и заключения по типам (A, E, I, O) образует модус силлогизма. Например, модус Barbara (AAA) — обе посылки и заключение общеутвердительные, работает по I фигуре. Всего существует 256 возможных сочетаний, из которых только 19 (или 24 в расширенной трактовке) являются правильными и дают достоверный вывод.

Также в силлогистике рассматриваются сокращённые (энтимема — силлогизм с пропущенной посылкой или заключением), сложные (полисиллогизм) и разделительно-категорические силлогизмы.

Значение и критика

Роль в науке и образовании

Силлогистика до конца XIX века считалась обязательной частью высшего образования, особенно в теологии, юриспруденции и философии. Она даёт инструментарий для проверки корректности рассуждений, выявления логических ошибок (например, учетверение термина, круг в доказательстве). В России силлогистика преподавалась в духовных академиях и гимназиях, а также в курсах логики в университетах. Выдающиеся русские логики, такие как Владимир Сергеевич Соловьёв (1853–1900) и Лев Михайлович Лопатин (1855–1920), уделяли внимание аристотелевской логике, хотя и подвергали её критике с позиций метафизического идеализма.

Критика

Основные возражения против силлогистики:

• Тавтологичность: заключение якобы не содержит новой информации по сравнению с посылками (критика Милля). Однако это верно лишь для тривиальных примеров; в реальных рассуждениях силлогизм позволяет выявить неявные следствия.
• Ограниченность: силлогистика не охватывает реляционные (с отношениями типа «больше — меньше»), модальные (с понятиями необходимости, возможности) и многозначные логики.
• Проблема пустых множеств: в аристотелевской традиции предполагается, что термины обозначают непустые классы (например, «все единороги имеют рог» — логически корректно, но бессмысленно в реальности).

Современное состояние

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

Источники

1. Аристотель. Сочинения в четырёх томах. Т. 2: «Первая аналитика» и «Вторая аналитика». — М.: Мысль, 1978.
2. Кондаков И. И. Логический словарь-справочник. — 2-е изд. — М.: Наука, 1975.
3. Ивин А. А., Никифоров А. Л. Словарь по логике. — М.: ВЛАДОС, 1997.
4. Бочаров В. А., Маркин В. И. Основы логики. — М.: Космополис, 1994.
5. Гетманова А. Д. Логика. — 10-е изд. — М.: КноРус, 2009.