Силлогистика как логика антиобъемов терминов
Article Sidebar
Опубликован:
21.04.2015
Ключевые слова:
силлогистика, исчисление предикатов, погружающая операция, объемы и антиобъемы терминов
Main Article Content
Аннотация
Для двух систем силлогистики (фундаментальной и традиционной) предлагаются нестандартные переводы в исчисление предикатов. Данные переводы позволяют трактовать эти силлогистические теории как логики антиобъемов субъектов и предикатов категорических высказываний. Согласно первому переводу, $SaP$означает, что антиобъем термина $S$включается в антиобъем термина $P$, $SeP$означает, что антиобъемы терминов $S$ и $P$не содержат общих элементов, $SiP$означает, что пересечение антиобъемов $S$и $P$непусто, $SoP$означает, что антиобъем термина $S$не включается в антиобъем термина $P$. Второй перевод для любой силлогистической формулы $A$содержит дополнительную предпосылку о непустоте антиобъемов терминов, входящих в $A$. Доказано, что эти переводы погружают указанные силлогистики в классическое исчисление предикатов.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Маркин В. И. Силлогистика как логика антиобъемов терминов // Логические исследования / Logical Investigations. 2015. Т. 21. № 1. C. 49-59.
Выпуск
Раздел
Статьи
Литература
Бежанишвили М.Н., Мчедлишвили Л.И. Позитивная силлогистика и логика предикатов // Логика Аристотеля. Тбилиси: Изд-во Тбилисского университета, 1985. С. 36–46.
Бочаров В.А., Маркин В.И. Силлогистические теории. М.: Прогресс-Традиция, 2010. 334 с.
Ганиянц И.И., Маркин В.И. Силлогистики с константой исчерпываемости // Международная конференция «Развитие логики в России: итоги и перспективы». М.: Логос, 1997. С. 56–59.
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: Изд-во иностранной литературы, 1959. 312 с.
Маркин В.И. Силлогистические теории в современной логике. М.: Издательство МГУ, 1991. 96 с.
Маркин В.И. Обобщенная позитивная силлогистика // Логические исследования. 1999. Вып. 6. С. 241–258.
Смирнов В.А. Адекватный перевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методологии науки. Киев: Наукова думка, 1980.
Смирнов В.А. Логические методы анализа научного знания. М.: Эдиториал УРСС, 2002. 264 с.
De Morgan A. Formal Logic or the Calculus of Inferense, Nesessary, and Probable. London: Taylor and Walton, 1847. 336 p.
Shepherdson J.C. On the Interpretation of Aristotelian Syllogistic // Journal of Symbolic Logic. 1956. Vol. 21 (2). P. 137–147.
Бочаров В.А., Маркин В.И. Силлогистические теории. М.: Прогресс-Традиция, 2010. 334 с.
Ганиянц И.И., Маркин В.И. Силлогистики с константой исчерпываемости // Международная конференция «Развитие логики в России: итоги и перспективы». М.: Логос, 1997. С. 56–59.
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: Изд-во иностранной литературы, 1959. 312 с.
Маркин В.И. Силлогистические теории в современной логике. М.: Издательство МГУ, 1991. 96 с.
Маркин В.И. Обобщенная позитивная силлогистика // Логические исследования. 1999. Вып. 6. С. 241–258.
Смирнов В.А. Адекватный перевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методологии науки. Киев: Наукова думка, 1980.
Смирнов В.А. Логические методы анализа научного знания. М.: Эдиториал УРСС, 2002. 264 с.
De Morgan A. Formal Logic or the Calculus of Inferense, Nesessary, and Probable. London: Taylor and Walton, 1847. 336 p.
Shepherdson J.C. On the Interpretation of Aristotelian Syllogistic // Journal of Symbolic Logic. 1956. Vol. 21 (2). P. 137–147.