Приглашаем посетить сайт
СИЛЛОГИЗМ
СИЛЛОГИЗМ (от греч. 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. Если имеется отрицательная посылка, то заключение - отрицательное высказывание.