7.2.4 Проверка на соответствие правилам фигур

Для силлогизмов, построенных по той или иной фигуре, установ-

лены свои правила, которые должны выполняться именно силлогиз-

мами данной фигуры.

Правило первой фигуры: большая посылка должна быть общим суждением, меньшая - утвердительным.

Почему это так, вы можете убедиться, проверив модусы первой фигуры по изложенным выше правилам. Правда, эту работу проде- лали уже учёные-профессионалы. А мы с Вами просто воспользуем-

ся щедрыми плодами их деятельности.

В соответствии со всеми требованиями, предъявляемыми к умо- заключениям по первой фигуре, правильными являются только че- тыре модуса:

_{ААА, ЕАЕ, А I I, ЕIО.}

159

Правило второй фигуры: одна из посылок должна быть отри-

цательной, а большая - общей.

Если применим все известные нам требования к силлогизмам второй фигуры, то выясним, что из 64 возможных комбинаций пра-

вильными будут только следующие модусы:

АОО, ЕIО, АЕЕ, ЕАЕ.

Правило третьей фигуры: меньшая посылка должна быть ут-

вердительным суждением, заключение - частным

Умозаключения по данной фигуре применяются сравнительно не часто. И правильными из 64 модусов являются только 6:

ААI, IАI, А I I, ЕАО, ОАО, ЕIО.

Правила четвёртой фигуры:

1) если большая посылка - утвердительное суждение, то мень-

шая посылка должна быть общим суждением;

2) если одна из посылок - отрицательное суждение, то большая посылка должна быть общим суждением.

Умозаключения по четвёртой фигуре часто носят несколько ис-

кусственный характер и применяются достаточно редко. А правиль-

ными из 64 модусов данной фигуры являются только 5:

ААI, АЕЕ, IАI, ЕАО, ЕIО.

В итоге мы имеем всего 19 правильных модусов из 256 возмож- ных. А путём превращения и обращения 15 из них можно свести к равнозначным им четырём модусам первой фигуры.

Аристотель считал первую фигуру наиболее очевидной и убеди- тельной формой доказательства и назвал ей СОВЕРШЕННОЙ ФИ- ГУРОЙ.

Изложенного в данном модуле (разделе) материала по простому категорическому силлогизму достаточно, чтобы приобрести первич-

_{ные навыки работы с простыми умозаключениями.}

160

7.3 Дедуктивные умозаключения из сложных суждений

Опосредованные умозаключения из сложных суждений - умозак- лючения, логическое следование в которых определяется лишь логи- ческой связью между простыми суждениями, из которых состоят сложные суждения (а не субъектно - предикатными связями).

Выделяются три типа таких умозаключений:

- условные;

- разделительные;

- условно-разделительные.

Для более лёгкого их понимания Вам важно вспомнить, что пред- ставляет собой условная связь и разделительная связь между сужде- ниями и условия их истинности (модуль 5).

7.3.1 Условные умозаключения

Условные - умозаключения, в которых по крайней мере одна из посылок представляет собой условное суждение.

Условные суждения могут быть условно-категорическими и чис-

то условными.

Условно – категорическое умозаключение (сокращённо - УКУ)

Условно-категорическое умозаключение (УКУ) - умозаключе-

ние, состоящее из одной условной и одной категорической посылки.

Логическим основанием УКУ служит определённая связь между его основанием (антецедентом) и следствием (консеквентом).

Чтобы понять умозаключения данного типа, надо прежде всего

- выделить в нём простые суждения;

- определить тип связи между этими простыми суждениями;

- записать его в виде формулы.

Запомнили?

УКУ - это одна из форм, в которой протекает процесс нашего мышления. Причём существует четыре направления течения мысли в этой форме: