Философский словарь - силлогизм

(от греч. sillogismos) опосредованное умозаключение силлогистики. Наиболее известной формой С. является т.н. простой категорический С. двухпосылочное умозаключение об отношении между двумя терминами (большим Р и меньшим S) посредством указания их отношения к некоторому третьему, опосредующему термину, называемому средним термином М. Классическим примером простого категорического С. является следующее умозаключение: "Все люди смертны, Сократ человек; следовательно, Сократ смертен".

С. разделяются по т.н. фигурам, отличающимся друг от друга расположением среднего термина в посылках. С точностью до порядка посылок выделяют следующие фигуры С: M -P S M S Р Фигура 1

Р М S М S Р Фигура 2 M P M S S Р Фигура 3 P M M S S Р Фигура 4

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

Всякий М есть Р Всякий S есть М Всякий S есть Р

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

Правила терминов: 1. Должна быть посылка, в которой средний термин распределен. 2. Если термин распределен в заключении, то он распределен и в посылке.

Правила посылок: 3. Должна иметься утвердительная посылка. 4. Если утвердительными являются обе посылки, то заключение утвердительное высказывание. 5. Если имеется отрицательная посылка, то заключение отрицательное высказывание.