Правило силлогизма

Правило силлогизма (лат. modus barbara; также закон транзитивности импликации, правило цепного заключения) — это фундаментальное правило логического вывода, устанавливающее, что если из первого утверждения (посылки) следует второе, а из второго — третье, то из первого утверждения непосредственно следует третье. В формальной логике правило силлогизма формулируется как: если истинны импликации \(A \rightarrow B\) и \(B \rightarrow C\), то истинна импликация \(A \rightarrow C\). Данное правило лежит в основе дедуктивных умозаключений и является одним из базовых законов классической логики, наряду с законом тождества, законом непротиворечия и законом исключённого третьего.

История

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

В Средние века правило силлогизма было формализовано схоластами, в частности Петром Абеляром (1079–1142) и Фомой Аквинским (1225–1274), которые разработали мнемонические схемы (например, Barbara, Celarent, Darii) для запоминания правильных модусов силлогизма. В Новое время Готфрид Вильгельм Лейбниц (1646–1716) предложил рассматривать силлогизм как частный случай более общего закона транзитивности в математической логике. В XX веке, с развитием математической логики, правило силлогизма было включено в аксиоматические системы исчисления высказываний (например, в системе Гильберта — Аккермана).

Формальная запись

В современной математической логике правило силлогизма (также называемое правилом транзитивности импликации) записывается в виде:

\[ \frac{A \rightarrow B, \quad B \rightarrow C}{A \rightarrow C} \]

где \(A\), \(B\), \(C\) — произвольные высказывания (пропозициональные переменные), а стрелка \(\rightarrow\) обозначает логическую импликацию («если …, то …»). Это правило является допустимым (то есть сохраняет истинность) в классической, интуиционистской и многих неклассических логиках.

Разновидности и модусы

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

Классический силлогизм Аристотеля состоит из трёх терминов: субъект (S), предикат (P) и средний термин (M). Посылки и заключение имеют форму «Все S есть P», «Ни один S не есть P», «Некоторые S есть P» или «Некоторые S не есть P». В зависимости от расположения среднего термина выделяют четыре фигуры силлогизма, а в каждой фигуре — несколько правильных модусов (например, Barbara: все M есть P, все S есть M, следовательно, все S есть P).

Условный силлогизм

В логике высказываний выделяют условный силлогизм, где посылки и заключение являются импликациями. Пример: «Если идёт дождь, то земля мокрая; если земля мокрая, то трава растёт; следовательно, если идёт дождь, то трава растёт». Это прямое применение правила силлогизма.

Разделительный силлогизм

В некоторых классификациях к силлогизмам относят также разделительные умозаключения (например, modus tollendo ponens: «Либо A, либо B; не A; следовательно, B»), однако они не подчиняются правилу транзитивности в чистом виде.

Применение

В математике

Правило силлогизма широко используется в математических доказательствах. Например, при доказательстве теоремы о транзитивности отношения порядка: если \(a < b\) и \(b < c\), то \(a < c\). Здесь отношение «меньше» выступает как импликация, и правило силлогизма позволяет сделать вывод.

В программировании

В логическом программировании (например, на языке Prolog) правило силлогизма реализовано в виде цепочек правил: если истинно условие \(X\), то истинно \(Y\); если истинно \(Y\), то истинно \(Z\); следовательно, из \(X\) следует \(Z\). Это основа механизма логического вывода в экспертных системах.

В юриспруденции

В правовой практике силлогизм используется для применения норм права к конкретным делам. Например: «Все убийства наказываются лишением свободы (большая посылка); Иванов совершил убийство (меньшая посылка); следовательно, Иванов должен быть наказан лишением свободы (заключение)». Правило силлогизма обеспечивает формальную корректность такого вывода.

В повседневном мышлении

Люди неосознанно применяют правило силлогизма в бытовых рассуждениях: «Если я опоздаю на автобус, то не успею на встречу; если я не успею на встречу, то меня уволят; следовательно, если я опоздаю на автобус, то меня уволят». Однако в реальности такие рассуждения часто нарушаются из-за неточности посылок или неучтённых факторов.

Критика и ограничения

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

Кроме того, в реальных рассуждениях часто встречаются ошибки, связанные с неправильным применением правила силлогизма, например, ошибка четырёх терминов (когда средний термин в посылках имеет разный смысл) или ошибка нераспределённости среднего термина (когда средний термин не охватывает все элементы класса).

Интересные факты

• В средневековой логике правильные модусы силлогизма запоминали с помощью мнемонических стихов, например: Barbara, Celarent, Darii, Ferioque prioris.
• Правило силлогизма является частным случаем закона транзитивности в булевой алгебре и теории множеств.
• В некоторых философских течениях (например, в скептицизме) правило силлогизма подвергалось сомнению: утверждалось, что оно не даёт нового знания, а лишь раскрывает то, что уже неявно содержится в посылках.
• В современной математической логике правило силлогизма часто используется в качестве аксиомы или производного правила в системах натурального вывода (например, в системе Генцена).

Источники

• Аристотель. «Первая аналитика». — М.: Мысль, 1976.
• Гильберт Д., Аккерман В. «Основы теоретической логики». — М.: Иностранная литература, 1947.
• Чёрч А. «Введение в математическую логику». — М.: Мир, 1960.
• Мендельсон Э. «Введение в математическую логику». — М.: Наука, 1976.
• Кэрролл Л. «Символическая логика». — М.: Мир, 1973.