Логика. Агафонов В.В. - 12 стр.

    Аксиома ПКС.
    Общие правила ПКС: правила терминов и правила посылок.
    Фигуры силлогизма. Наличие четырех фигур ПКС в зависимости от того,
занимает ли средний термин в посылках место субъекта или место предиката. -
    Специальные правила фигур ПКС.
    Модусы ПКС — это силлогизмы, различающиеся качественными и количе-
ственными характеристиками посылок.

     Тема 10. Сокращенные, сложные и сложносокращенные силлогизмы
     Энтимема — сокращенный силлогизм, в котором пропущена одна из по-
сылок или вывод. Восстановление энтимемы до полного силлогизма и проверка
их правильности во избежание ошибок, которые могут скрываться в опущенной
части. Правила восстановления энтимемы в полный силлогизм.
     Полисиллогизм — сложный силлогизм, образованный из нескольких про-
стых таким образом, что заключение первого из них становится одной из посы-
лок последующего. Просиллогизм — первый из силлогизмов полисиллогизма, а
эписиллогизм — последующий из силлогизмов. Прогрессивный и регрессивный
полисиллогизмы. Прогрессивный — в котором заключение просиллогизма ста-
новится большей посылкой эписиллогизма, регрессивный — в котором заклю-
чение просиллогизма становится меньшей посылкой эписиллогизма.
     Сорит как сложно-сокращенный силлогизм. Прогрессивный, или гоклени-
евский, сорит (сорит наведения). Регрессивный, или аристотелевский, сорит (со-
рит подведения). Правила восстановления регрессивного сорита.

           Тема 11. Условно-категорические, разделительные, условно-
                разделительные (лемматические) силлогизмы
     Условно-категорический силлогизм УКС как умозаключение из двух по-
сылок, одна из которых — условное суждение, а вторая посылка и заключение
— простые атрибутивные суждения. В атрибутивной (категорической) посылке:
или а) утверждается истинность основания условной посылки; или б) отрица-
тельная истинность следствия условной посылки.
     Разделительно-категорический силлогизм (РКС) — умозаключение из
двух посылок, одна из которых — разделительное суждение, а вторая посылка и
заключение — простые атрибутивные суждения. Атрибутивная (категорическая)
посылка: или а) утверждает одну из возможностей, о которых говорит раздели-
тельная посылка; или б) отрицает одну из возможностей.
     Условно-разделительный (лемматический) силлогизм. Виды лем-
матических силлогизмов: дилемма, трилемма, полилемма. Простая конструк-
тивная дилемма; сложная конструктивная дилемма; простая деструктивная ди-
лемма; сложная деструктивная дилемма. Дилемма и проблема выбора при при-
нятии решений в самых различных ситуациях.
     Несиллогистические дедуктивные умозаключения: а) введение конъ-
юнкции; б) удаление конъюнкции; в) введение дизъюнкции; г) введение отрица-
ния; д) удаление отрицания; е) контрапозиция; ж) импортация; з) экспортация.


                                     12