Учебник логики

Что означают эти буквы — S, P и М?

Буквой M обозначается средний термин (гоблины), буквой S — меньший термин (слуги зла), а буквой P — больший термин (добрые существа).

Средний термин — это термин, который отсутствует в заключении. Меньший термин — это субъект сказуемого, а больший термин — это предикат сказуемого. Чтобы понять, почему они так называются, нужно посмотреть на схему вот этого силлогизма:

П1: Все сутенёры (S) суть модно одетые люди (M).

П2: Все модно одетые люди (М) суть грешники (P).

З: Все сутенёры суть грешники.

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

Подвожу итог. В зависимости от расположения среднего термина, у нас будут получаться разные фигуры силлогизма.

Какие фигуры силлогизма можно использовать

Не все фигуры силлогизма можно использовать. Возьмём, например, вот такой силлогизм:

П1: Все упыри пьют кровь.(А)

П2: Некоторые покойники не являются упырями. (O)

З: Некоторые покойники не пьют кровь. (O)

Корректен этот силлогизм? Или нет? Как нам это определить? Есть два способа.

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

Второй способ — свериться с вот этой таблицей из допустимых фигур (модусов) и сочетаний:

Фигура 1: AAA, EAE, AII, EIO

Фигура 2: EAE, AEE, EIO, AOO

Фигура 3: AAI, EAO, IAI, AII, OAO, EIO

Фигура 4: AAI, AEE, IAI, EAO, EIO

Находим наших упырей. Фигура 1, вид AOO — отсутствует. Значит, мы не имеем права так рассуждать.

Кстати, хитроумные мыслители античности придумали вот такой стишок, чтобы им было легко запомнить эту таблицу:

Barbara, Celarent, Darii, Ferioque prioris

Cesare, Camestres, Festino, Baroko secundae

Tertia grande sonans recitat Darapti, Felapton

Disamis, Datisi, Bokardo, Ferison. Quartae

Sunt Bramantip, Camenes, Dimaris, Fesapo, Fresison.

Для тех, кто боится случайно вызывать Дьявола неправильно прочтя стишок на латыни, вот мой вольный перевод:

Barbara, Celarent, Darii, и Ferio — первые.

Cesare, Camestres, Festino, Baroko — вторые.

Третьи — Darapti, Felapton, Disamis, Datisi, Bokardo, Ferison.

Четвёртые — Bramantip, Camenes, Dimaris, Fesapo, Fresison.

В этих именах зашифрованы виды суждений — по гласным буквам. Например, Barbara обозначает суждение ААА.

Важное замечание. Если какой-то силлогизм сюда не вошёл, это ещё не значит, что он неверен. Приведу пример.

П1: Все врачи любят мясо. (А)

П2: Все терапевты — врачи. (А)

П3: Некоторые терапевты любят мясо. (I)

Модус силлогизма — первый (фигура 1). Смотрим в таблицу: в первой строчке букв ААI я не вижу. Почему? Потому что мы сделали правильный, но слишком осторожный вывод. Из этих посылок можно было сделать вывод ААА: «Все терапевты любят мясо». Все терапевты, а не только некоторые. Вот список правильных, но чересчур робких силлогизмов:

Фигура 1: AAI, EAO.

Фигура 2: EAO, AEO.

Фигура 4: AEO.

Характеристика фигур (модусов) с точки зрения познания

Как молоток и пассатижи, разные фигуры используют для разных задач. Более того, не все йогурты фигуры одинаково полезны. Например, четвёртую фигуру практически не используют.

А вот первые три фигуры имеют своё лицо.

Фигура 1

Это фигура подчинения. Она используется, когда нужно показать применение общих положений к частным случаям.

П1: Все чиновники имеют пухлые щёки.

П2: Григорий — чиновник.

З: Григорий имеет пухлые щёки.

Фигура 2

С помощью этой фигуры отвергаются ложные подчинения. Например, кто-то говорит нам, что Мария Ивановна — лесбиянка. Чтобы это опровергнуть, нам надо указать на какой-нибудь присущий лесбиянкам признак, который Мария Ивановна не имеет.