Syntactic Interpretation of Categorical Attributive Propositions

##plugins.themes.bootstrap3.article.main##

V. I. Shalack

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##

Section
Статьи

References

Бочаров В.А., Маркин В.И. Силлогистические теории. М.: Прогресс-Традиция, 2010. 336 с.
Гильберт Д., Аккерман В. Основы теоретической логики. М.: ИЛ, 1947. 304 с.
Ивин А.А. Логика оценок и норм. М.: Проспект, 2015.
Кант И. Критика чистого разума. М.: Мысль, 1994. 591 с.
Карпович В.Н. Термины в структуре теорий (логический анализ). Новосибирск: Наука, 1978. 128 с.
Лейбниц Г.В. Сочинения в четырех томах. М.: Мысль, 1984.
Маркин В.И Интенсиональная семантика традиционной силлогистики // Логические исследования. Вып. 8. М.: Наука, 2001. С. 82–91.
Маркин В.И Фундаментальная силлогистика с интенсиональной точки зрения // Логические исследования. Вып. 9. М.: Наука, 2002. С. 119–130.
Маркин В.И Интенсиональная семантика для систем позитивной силлогистики // Логика и В.Е.К. М.: Современные тетради, 2003. С. 166–174.