Простой категорический силлогизм
Категорический силлогизм – это вид дедуктивного умозаключения, в котором из двух истинных суждений, где S и Р связаны средним термином, при соблюдении правил необходимо следует заключение.
В составе категорического силлогизма имеются две посылки и заключение.
Все металлы (М) электропроводны (Р) – большая посылка
Медь (S) есть металл – меньшая посылка
_________________________________________________
Медь (S) электропроводна (Р) – заключение
Понятия, входящие в состав силлогизма, называются терминами силлогизма. В приведённом примере терминами являются: Р («электропроводник») – больший термин, это предикат заключения; S («медь») – меньший термин, это субъект заключения; М («металл») – средний термин, служащий в посылках для связывания S и Р и отсутствующий в заключении
(рис. 12).
Фигуры категорического силлогизма
Фигурами категорического силлогизма называются формы силлогизма, различаемые по положению среднего термина М в посылках. Различают четыре фигуры (рис.13).
I II III IV
M
P P
M M P P M
S
M S M M S M S
S-P S-P S-P S-P
Рис.13
Примеры:
Все злаки (М) – растения (Р)
Рожь (S) – злак (М).
________________________
Рожь (S) – растение (Р)
Все ужи (Р) – пресмыкающиеся (М)
Это животное (S) не является пресмыкающимся (М)
____________________________
Это животное(S) не является ужом (Р)
Все углероды (М) – простые тела (Р)
Все углероды (М) – электропроводны (S)
__________________________________
Некоторые электропроводники - простые тела (Р)
Все киты (Р) – млекопитающие (М)
Ни одно млекопитающее (М) не есть рыба (S)
_________________________________________
Ни одна рыба (S) не есть кит (Р)
Модусы категорического силлогизма
Модусами фигур категорического силлогизма называются разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и заключения.
Всего правильных модусов в четырёх фигурах 19.
I фигура имеет следующие правильные модусы (буквы обозначают последовательно количество и качество большей посылки, меньшей и заключения): ААА, ЕАЕ, АII, EIO. Пример 1 иллюстрирует модус ААА.
II фигура имеет правильные модусы: АЕЕ, АОО, ЕАЕ, ЕIO. Умозаключение 2 построено по модусу АЕЕ.
III фигура имеет правильные модусы: AAI, EAO, IAI, OAO, AII. EIO. Модус AAI представлен примером 3.
IV фигура имеет правильные модусы: AAI, AEE, IAI, EAO, EIO. Модус АЕЕ представлен примером 4.
Законы формальной логики
Закон мышления – это необходимая, существенная, устойчивая, повторяющаяся связь между мыслями.
Наиболее простые и необходимые связи между мыслями выражаются в основных формально-логических законах. К ним относятся законы тождества, непротиворечия, исключённого третьего, достаточного основания.