Материал: Алгебра_кортежей

E: S P или S P ; I: S P ;

O: S P .

Логический вывод в силлогистике производится в соответствии с определенными правилами. Приведем краткое описание одной из самых распространенных систем таких правил. Каждое суждение состоит из двух терминов, независимо от того, употребляется ли этот термин с логическим квантором "некоторые" или с квантором "все" (или "каждый"). Причем квантор может применяться только к левому термину суждения. Отрицание нельзя употреблять в левом термине (субъекте), хотя этот запрет можно обойти, если представить термин с отрицанием как позитивный термин. Например, заменив термин "неядовитый" позитивным термином X, термин "ядовитый" надо будет обозначить как не-X.

В двух посылках категорического силлогизма содержится три термина. Один из терминов должен встречаться в каждой посылке – он называется "средним" термином. Два других термина называются "меньшим" и "большим". Например, в посылках

"Все животные передвигаются сами", "Планеты не животные"

термин "животные" есть средний термин. Считается, что больший термин – это тот, который содержится в первой посылке и не является средним, а меньший термин – тот, который содержится во второй посылке и не является средним. В наших посылках больший термин – "передвигающиеся сами", а меньший термин – "планеты".

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

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

40

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

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

I фигура II фигура III фигура IV фигура

M P P M M P P M

S M S M M S M S

Рис. 1.5. Фигуры силлогизма

Еще одно важное понятие Аристотелевой силлогистики – модусы силлогизма. Если взять какой-либо силлогизм, и каждое содержащееся в нем суждение заменить обозначением его типа (A, E, I или O), то получим слово из трех символов, которое и есть обозначение модуса. Например, модус EAO означает, что в силлогизме первая посылка относится к типу E, вторая – к типу A, а заключение – к типу O. При этом модусы различаются не только по сочетаниям букв, но и по принадлежности к определенной фигуре. Например, модус AEE правилен для второй и четвертой фигур и неправилен – для первой и третьей.

Таких модусов, как уже было сказано ранее, возможно 256. Из них правильны только 24 (19 основных и 5 дополнительных). Дополнительные правильные модусы можно получить из тех основных модусов, у которых заключение относится к типам A (общеутвердительное) или E (общеотрицательное). Тогда соответствующие частные типы заключений (соответственно I или O) считаются правильными. Например, если заключение

41

имеет вид "Все X не есть Y", то по правилам силлогистики суждение "Некоторые X не есть Y" также правильно.

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

Здесь каждый модус, помимо обозначения, имеет название, в котором гласные буквы соответствуют сокращенному имени модуса. Например, имя "Barbara" определяет модус AAA первой фигуры.

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

Таким образом, переход к заключению происходит чисто механически. Надо только определить по виду выбранных посылок номер фигуры, а затем обратиться к таблице правильных силлогизмов, в которой по номеру фигуры и типам посылок (первые две буквы в обозначении модуса) находится тип заключения (третья буква в обозначении модуса).

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

42

число, соответствующее предикату, должно было без остатка делиться на число, соответствующее субъекту. Но обосновать с помощью этой системы все правильные модусы силлогистики Лейбницу не удалось. Алгебра множеств появилась первоначально также как математический аппарат для обоснования правильности модусов и сформировавшейся процедуры логического вывода: категорические силлогизмы проверялись с помощью диаграмм Венна [Кузичев, 1968; Поспелов, 1989] или законов алгебры множеств.

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

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

На рубеже XIX и XX столетий начала интенсивно развиваться математическая логика, которая была основана уже на других предпосылках. Силлогистика при этом существовала как бы отдельно от нее. В 1957 г. в Оксфорде была издана ставшая широко известной книга Я. Лукасевича "Аристотелевская силлогистика с точки зрения современной формальной логики". На русском языке эта книга была издана в 1959 г. [Лукасевич, 1959]. В ней силлогистика представлена как аксиоматическая система и показано, что некоторые аксиомы силлогистики несовместимы с аксиомами исчисления предикатов в математической логике. В России исследования Я. Лукасевича в этом направлении продолжили B.А. Смирнов с учениками. В результате было установлено [Смирнов, 1987], что в исчислении предикатов невозможно доказать следующие утверждения, получаемые по правилам силлогистики:

1) из суждения "Все S есть P" следует суждение "Некоторые S есть P", а из суждения "Все S не есть P" следует суждение "Некоторые S не есть P";

43

2)суждения "Все S есть P" и "Некоторые S не есть P" не могут быть оба истинными;

3)суждения "Некоторые S есть P" и "Некоторые S не есть P" не могут быть оба ложными;

4)модусы Darapti, Felapton, Fesapo, Bramalip.

Оказалось, что основная причина этих несоответствий такова: традиционная силлогистика не учитывает того, что некоторые субъекты и предикаты суждений могут представлять собой пустые множества. Рассмотрим первое из перечисленных несоответствий, но сформулируем его на языке алгебры множеств – это позволит значительно упростить анализ. Тогда вместо утверждения «Все S есть P» получим S P, а вместо "Некоторые S есть P" – S P . Если допустить, что S = , то S P подтверждается, но неравенство S P оказывается ошибочным.

Доказано, что при устранении указанной причины несоответствий за счет введения соответствующих поправок в формальные представления типов суждений силлогистика оказывается погруженной в математическую логику [Смирнов, 1987]. Для иллюстрации приведем один из возможных вариантов

В первой части этих формул ( yS(y) zP(z)) утверждается, что меньший (S) и больший (P) термины силлогизма не могут представлять пустые множества. Как видим, "перевод" не уменьшает сложность математического представления силлогистики. Более того, исследования, направленные на поиски формальных представлений силлогистики, значительно усложнили саму процедуру логического вывода и анализа рассуждений [Гладкий, 2001]. Далее опишем самые популярные в настоящее время системы логического вывода.

44