Сегодня на занятиях мы разбирали 5 главу первой книги, первой Аналитики Аристотеля. Речь в ней идет о второй фигуре силлогизма, а именно: "Совершенным силлогизм по этой фигуре не может быть никоим образом. Но силлогизм здесь возможен, (независимо от того), взяты ли термины в общих или не в общих (посылках)". Нам известно, что несовершенные силлогизмы становятся совершенными благодаря их сведению к модусам первой фигуры. Во второй фигуре четыре правильных модуса: Cesare, Camestres, Festino, Baroco. Первые два модуса с помощью обращения и перестановки посылок сводятся к модусу первой фигуры Celarent. Festino сводится к Ferio. Доказать модус Baroro теми же средствами невозможно. Действительно, обращение и перестановка посылок не дает желаемого результата. Как быть? На помощь приходит косвенное доказательство, оно же доказательство через невозможное и reductio ad absurdum. Предположим, что вывод SoP ложен. Тогда, по логическому квадрату, в качестве допущения косвенного доказательства мы возьмем суждение SaP. Соединив допущение с ранее принятым суждением РaM, с помощью модуса первой фигуры Barbara, получаем суждение SaM, которое вступает в противоречие с ранее принятым суждением SoM. Известно, что из двух противоречий истинно только одно, другое же с необходимостью ложно. Если ложен вывод косвенного доказательства, то истинно суждение вступающее с ним в противоречие. Итак, истинность суждения SoP мы доказали через сведение к абсурду его противоречия SaP и установили возможность доказательства модуса второй фигуры Baroco с помощью совершенного силлогизма Barbara.
Друзья, подписывайтесь на канал, ставьте лайки и пишите комментарии. Ваши действия способствуют развитию и продвижению канала в сети.
Для любителей старины наше сообщество в ВК "Домашняя коллекция".
По вопросам размещения рекламы на моих ресурсах или заказа статей и текстов пишите notus@yandex.ru или в других доступных мессенджерах. Для желающих поддержать мои проекты карта СБ 5336 6901 5434 6722
Всем удачи и добра!