Сингулярные расширения силлогистики Лукасевича
Article Sidebar
Опубликован:
10.04.2011
Ключевые слова:
силлогистика, сингулярные термины, исчисление, семантика, формализация, погружающая операция
Main Article Content
Аннотация
Мы реализуем две системы силлогистики с единичными терминами, которые являются расширениями силлогистики Лукасевича. На языке первой системы единичные термины могут занимать только положение субъекта, а сингулярные предложения имеют особый тип. На языке второго единичные термины могут занимать как позицию субъекта, так и позицию предиката, и для сингулярных предложений нет особых силлогистических констант. Мы докажем погрузимость этих сингулярных силлогистик в классическое исчисление предикатов.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Маркин В. Сингулярные расширения силлогистики Лукасевича // Логические исследования / Logical Investigations. 2011. Т. 17. C. 173-190.
Выпуск
Раздел
Статьи
Литература
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: Издательство иностранной литературы, 1959.
Маркин В.И. Силлогистические теории в современной логике. М.: Издательство МГУ, 1991.
Смирнов В.А. Адекватный перевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методологии науки. Киев: Наукова думка, 1980.
Смирнов В.А. Логические методы анализа научного знания. М.: Наука, 1987.
Маркин В.И. Силлогистические теории в современной логике. М.: Издательство МГУ, 1991.
Смирнов В.А. Адекватный перевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методологии науки. Киев: Наукова думка, 1980.
Смирнов В.А. Логические методы анализа научного знания. М.: Наука, 1987.