Логика
Шрифт:
Противные высказывания (SaP и SeP) не могут быть вместе истинными.
Все S есть Р.
Неверно, что все S не есть Р.
Из высказывания «Все летающие имеют крылья» непосредственно вытекает высказывание «Неверно, что все летающие не имеют крыльев».
Все S не есть Р.
Неверно, что все S есть Р.
Из
Из подчиняющего высказывания логически следует подчинённое:
Все S есть Р.
Некоторые S есть Р.
Из высказывания «Все люди дышат лёгкими» непосредственно вытекает высказывание «(По меньшей мере) некоторые люди дышат лёгкими».
Все S не есть Р.
Некоторые S не есть Р.
Из высказывания «Все тигры не птицы» непосредственно вытекает высказывание «Некоторые тигры не птицы».
3. КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ
Категорический силлогизм (или просто: силлогизм) — это дедуктивное умозаключение, в котором из двух категорических высказываний выводится новое категорическое высказывание.
Логическая теория такого рода умозаключений называется силлогистикой. Она была создана ещё Аристотелем и долгое время служила образцом логической теории вообще.
В силлогистике выражения «Все … есть …», «Некоторые … есть …», «Все … не есть …» и «Некоторые … не есть…» рассматриваются как логические постоянные, т.е. берутся как единое целое. Это не высказывания, а определённые логические формы, из которых получаются высказывания путём подстановки вместо многоточий каких-то имён. Подставляемые имена называются терминами силлогизма.
Существенным является следующее традиционное ограничение: термины силлогизма не должны быть пустыми или отрицательными.
Примером силлогизма может быть:
Все жидкости упруги.
Вода — жидкость.
Вода упруга.
В каждом силлогизме должно быть три термина: меньший, больший и средний.
Меньшим термином называется субъект заключения (в примере таким термином является термин «вода»).
Большим термином именуется предикат заключения («упруга»). Термин, присутствующий в посылках, но отсутствующий в заключении, называется средним («жидкость»). Меньший термин обозначается обычно буквой S, больший — буквой Р и средний — буквой М. Посылка, в которую входит больший термин, называется большей. Посылка с меньшим термином называется меньшей. Большая посылка записывается первой, меньшая — второй. Логическая форма приведённого силлогизма такова:
Все М
Все S есть М.
Все S есть Р.
В зависимости от положения среднего термина в посылках (является он субъектом или предикатом в большей и меньшей посылках) различаются четыре фигуры силлогизма. Схематически фигуры изображаются так:
По схеме первой фигуры построен силлогизм:
Все птицы (М) имеют крылья (Р).
Все страусы (S) — птицы (М).
Все страусы имеют крылья.
По схеме второй фигуры построен силлогизм:
Все рыбы (Р) дышат жабрами (М).
Киты (S) не дышат жабрами (М).
Все киты не рыбы.
По схеме третьей фигуры построен силлогизм:
Все бамбуки (М) цветут один раз в жизни (Р).
Все бамбуки (М) — многолетние растения (S).
Некоторые многолетние растения цветут один раз в жизни.
По схеме четвёртой фигуры построен силлогизм:
Все рыбы (Р) плавают (М).
Все плавающие (М) живут в воде (S).
Некоторые живущие в воде — рыбы.
Посылками и заключениями силлогизмов могут быть категорические суждения четырех видов: SaP, SiP, SeP и SoP.
Модусами силлогизма называются разновидности фигур, отличающиеся характером посылок и заключения.
Всего с точки зрения всевозможных сочетаний посылок и заключения в каждой фигуре насчитывается 64 модуса. В четырех фигурах 4 × 64 = 256 модусов.
Силлогизмы, как и все дедуктивные умозаключения, делятся на правильные и неправильные. Задача логической теории силлогизма — систематизировать правильные силлогизмы, указать их отличительные черты.
Из всех возможных модусов силлогизма только 24 модуса являются правильными, по шесть в каждой фигуре. Вот традиционно принятые названия правильных модусов первых двух фигур:
1-я фигура: Barbara, Celarent, Darii, Ferio, Barbari, Celaront;
2-я фигура: Cesare, Camestres, Festino, Baroco, Cesaro, Camestros.
В каждом из этих названий содержатся три гласных буквы. Они указывают, какие именно категорические высказывания используются в модусе в качестве его посылок и заключения. Так, название Celarent означает, что в этом модусе первой фигуры большей посылкой является общеотрицательное высказывание (SeP), меньшей — общеутвердительное (SaP) и заключением — общеотрицательное высказывание (SeP).