ЛОГИКА полностью

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

Выводы по четвёртой фигуре могут быть частноутвердительные, общеотрицательные и частноотрицательные.Общеутвердительных выводов четвёртая фигура (так же как вторая и третья) не даёт. Общий вывод по четвёртой фигуре может быть только отрицательный. При утвердительности большей посылки меньшая посылка в четвёртой фигуре должна быть общей. При отрицательности одной из посылок большая посылка в четвёртой фигуре должна быть общей.

Правильные модусы четвёртой фигуры: AAI, АЕЕ, IAI, ЕАО, ЕIO. Их искусственные названия — Bramantip, Camenes, Dimaris, Fesapo, Fresison.

Таким образом, учитывая возможность добавочных пяти модусов четвёртой фигуры, получаем всего девятнадцать правильных модусов простого категорического силлогизма.

§ 44. Каждая из фигур со всеми своими модусами самостоятельна и имеет свою особую область применения. Но так как отношение между меньшим и бо́льшим терминами, составляющее вывод, определяется отношениями между всеми тремя понятиями силлогизма и так как отношения эти могут раскрываться в различном порядке — смотря по тому, с какого понятия. мы начнём рассмотрение, — то вывод, сделанный по какой-нибудь фигуре силлогизма, может быть сделан и по любой другой (если только этому не противоречит качество и количество вывода). Такое изменение вывода, сделанного по какой-либо фигуре силлогизма, в вывод, сделанный по другой фигуре, называется сведением.

В логике подробно устанавливаются правила сведения всех фигур к первой фигуре — ввиду того значения, какое выводы по первой фигуре, особенно модус Barbara, имеют в научном и повседневном мышлении.

Обычно выводы по третьей фигуре сводятся к выводам по первой фигуре путём обращения одной из посылок.

Например, вывод по третьей фигуре

может быть изменён в вывод по первой фигуре. Для этого, оставив бо́льшую посылку без изменения, обращаем меньшую посылку: «все киты — водные животные». Обращение общеутвердительного суждения, выражающего подчинение понятия S понятию Р даёт, как известно, суждение частноутвердительное: «некоторые водные животные — киты». Теперь соединим оставленную без изменения большую посылку с обращённой меньшей:

В посылках этих термины расположены по схеме уже не третьей, а первой фигуры:

Вывод по первой фигуре (по модусу Darii) будет: «некоторые водные животные — млекопитающие». Как видим, вывод —тот же самый, который в первом случае был сделан по третьей фигуре (по модусу Darapti).

§ 45. Существует более сложный способ сведения. Способ этот применяется при сведении некоторых выводов по второй и по третьей фигуре к выводу по первой.

Рассмотрим силлогизм:

Силлогизм этот, как видно из расположения терминов, есть вывод по второй фигуре (модус Ваrосо). Для сведения его к выводу по первой фигуре будем рассуждать следующим образом. Допустим, что заключение нашего вывода ложно, т. е. допустим, что все светила — планеты. Оставим бо́льшую посылку без изменения и присоединим к ней в качестве меньшей посылки суждение «все светила — планеты», т. е. суждение, противоречащее выводу:

Посылки эти образуют посылки правильного вывода по первой фигуре. Самый вывод получается, очевидно, по модусу Barbara: