Силлогистика как логика антиобъемов терминов

Main Article Content

В. И. Маркин

Аннотация

Для двух систем силлогистики (фундаментальной и традиционной) предлагаются нестандартные переводы в исчисление предикатов. Данные переводы позволяют трактовать эти силлогистические теории как логики антиобъемов субъектов и предикатов категорических высказываний. Согласно первому переводу, \(SaP\) означает, что антиобъем термина \(S\) включается в антиобъем термина \(P\), \(SeP\) означает, что антиобъемы терминов \(S\) и \(P\) не содержат общих элементов, \(SiP\) означает, что пересечение антиобъемов \(S\) и \(P\) непусто, \(SoP\) означает, что антиобъем термина \(S\) не включается в антиобъем термина \(P\). Второй перевод для любой силлогистической формулы \(A\) содержит дополнительную предпосылку о непустоте антиобъемов терминов, входящих в \(A\). Доказано, что эти переводы погружают указанные силлогистики в классическое исчисление предикатов.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
В. И. Маркин. Силлогистика как логика антиобъемов терминов // Логические исследования / Logical Investigations. 2018. Т. 21. № 1.
.
Раздел
Традиционная логика