○ Закон двойного отрицания А есть не не А.
Выводы ранга 1 получаются из одной имеющейся посылки (исходного утверждения). Корректные выводы ранга 1 сведены в табл. 4.
На основе выводов ранга 1 строится система преобразования высказываний к удобному виду.
Выводы ранга 2 получаются из двух имеющихся посылок и называются силлогизмами. Они могут дать полезные результаты.
Если в двух посылках (например, всякий S есть P и некоторый R есть Q) имеется четыре сущности, то ничего сказать нельзя[67]. Посылки должны быть как-то связаны.
Классы сущностей в посылках силлогизма обозначаются S (меньший), Р (больший) и М (средний). Класс M присутствует в обеих посылках. В зависимости от положения общего класса образуются 4 фигуры (рис.Рис. 29).
На этом рисунке обозначены структуры расположения классов в двух посылках и одном результирующем высказывании. Так как каждое из высказываний может быть типа А, Е, I, O, то возможно большое количество силлогизмов. Часть из них истинна, часть – ложна.
Таблица 3
Схемы базовых высказываний
Пример высказывания[68] |
Формальное |
Обозначение |
Всякое закрытое акционерное общество есть юридическое лицо |
Всякий S есть Р |
ASP |
Всякое юридическое лицо не есть физическое лицо |
Всякий S не есть Р |
ESP |
Некоторые товары убыточны |
Некоторый S есть Р |
ISP |
Некоторые предприятия не приносят прибыли |
Некоторый S не есть Р |
OSP |
Рекламные мероприятия есть мероприятия по продвижению товаров |
S есть Р |
|
Мероприятия по пропаганде не есть мероприятия по стимулированию сбыта |
S не есть Р |
|
ООО «Альфа» есть юридическое лицо |
а есть Р |
|
Первый посетитель магазина ничего не купил |
а не есть Р |
Таблица 4
Выводы ранга 1
Исходное высказывание |
Результат |
Обозначение |
Всякий S есть P |
Некоторый P есть S |
ASPàIPS |
Всякий S не есть P |
Всякий P не есть S |
ESPàEPS |
Неверно, что некоторый S есть P |
ESPàНе ISP |
|
Некоторый P не есть S |
ESPàOPS |
|
Некоторый S есть P |
Некоторый P есть S |
ISPàIPS |
Всякий S есть не P |
Всякий S не есть P |
ASнеPàESP |
Всякий S не есть не P |
Всякий S есть Р |
ESнеPàASP |
Некоторый S есть не P |
Некоторый S не есть Р |
ISнеPàOSP |
Некоторый S не есть не P |
Некоторый S есть Р |
OSнеPàISP |
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.