logo
Асмус_Логика_2001

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

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

Все планеты обращаются вокруг солнца. Р – М

Некоторые светила не обращаются вокруг солнца. S M

Некоторые светила–не планеты. S – P

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

Все планеты обращаются вокруг солнца.

Все светила–планеты.

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