Syntactic Interpretation of Categorical Attributive Propositions
##plugins.themes.bootstrap3.article.main##
Abstract
In the article we propose a new type of models for categorical attributive propositions. Usually the subject and predicate of the attributive proposition are interpreted extensionally as some sets of individuals. Logical relations between subject and predicate are understood as the set-theoretic relations between their extensions. We propose a syntactic interpretation of subject and predicate of attributive propositions and interpret them as some formulas of propositional logic. These formulas can be understood as the definitions of common terms. Logical relations between subject and predicate are understood as the logical relations between their definitions. The article contains a proof that the system of fundamental syllogistic is consistent and complete with respect to the proposed semantics. Built interpretation can be generalized to other systems of syllogistic.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Shalack V. I. Syntactic Interpretation of Categorical Attributive Propositions // Logicheskie Issledovaniya / Logical Investigations. 2015. VOL. 21. № 1. C. 60-78.
Issue
Section
Papers
References
Бочаров В.А., Маркин В.И. Силлогистические теории. М.: Прогресс-Традиция, 2010. 336 с.
Гильберт Д., Аккерман В. Основы теоретической логики. М.: ИЛ, 1947. 304 с.
Ивин А.А. Логика оценок и норм. М.: Проспект, 2015.
Кант И. Критика чистого разума. М.: Мысль, 1994. 591 с.
Карпович В.Н. Термины в структуре теорий (логический анализ). Новосибирск: Наука, 1978. 128 с.
Лейбниц Г.В. Сочинения в четырех томах. М.: Мысль, 1984.
Маркин В.И Интенсиональная семантика традиционной силлогистики // Логические исследования. Вып. 8. М.: Наука, 2001. С. 82–91.
Маркин В.И Фундаментальная силлогистика с интенсиональной точки зрения // Логические исследования. Вып. 9. М.: Наука, 2002. С. 119–130.
Маркин В.И Интенсиональная семантика для систем позитивной силлогистики // Логика и В.Е.К. М.: Современные тетради, 2003. С. 166–174.
Гильберт Д., Аккерман В. Основы теоретической логики. М.: ИЛ, 1947. 304 с.
Ивин А.А. Логика оценок и норм. М.: Проспект, 2015.
Кант И. Критика чистого разума. М.: Мысль, 1994. 591 с.
Карпович В.Н. Термины в структуре теорий (логический анализ). Новосибирск: Наука, 1978. 128 с.
Лейбниц Г.В. Сочинения в четырех томах. М.: Мысль, 1984.
Маркин В.И Интенсиональная семантика традиционной силлогистики // Логические исследования. Вып. 8. М.: Наука, 2001. С. 82–91.
Маркин В.И Фундаментальная силлогистика с интенсиональной точки зрения // Логические исследования. Вып. 9. М.: Наука, 2002. С. 119–130.
Маркин В.И Интенсиональная семантика для систем позитивной силлогистики // Логика и В.Е.К. М.: Современные тетради, 2003. С. 166–174.