Философская энциклопедия - силлогизм

СИЛЛОГИЗМ

(от греч. 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. Если имеется отрицательная посылка, то заключение — отрицательное высказывание.

Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А.А. Ивина. 2004.