Intensional Semantics for Some Positive Syllogistic Systems


Maria M. Legeydo


The article is devoted to the consideration of intensional semantics for some systems of positive syllogistics: fundamental syllogistics and its subsystems, ${\bf C2}$ syllogistics and Bolzano syllogistics.

The intensional semantics presented in the article are based on the syntactic approach proposed by V. Shalak and further developed by V. Markin, in which the formulas of the propositional language are attributed to general terms, and the significance of syllogistic constants is determined through the relation of classical, and then relevant, entailment.

The first section of the article contains a description of the already existing intensional semantics with a relevant entailment for fundamental syllogistics and its ${\bf IFS}$ subsystem, and also offers two new systems (intermediate between ${\bf FS}$ and ${\bf IFS}$), for one of which the adequacy of semantics to calculus is proved.

The second and third sections are devoted to two other well-known syllogistic systems: ${\bf C2}$ syllogistics and Bolzano syllogistics. For both systems, an intensional semantics with classical and relevant entailment is presented, and the adequacy of these semantics to the corresponding calculi is proved.

The proposed semantics expand the expressive power of syllogistics, and are also interesting in the light of the developing intensional approach to the interpretation of syllogistic semantics. The article also identifies problems that have not yet been solved in this area: possible semantics for some systems are proposed, the search for axiomatizations for which is of further interest.




Philosophy and Logic



Бочаров, Маркин, 2010 – Бочаров В.А., Маркин В.И. Силлогистические теории. М.: Прогресс–Традиция, 2010. 333 с.
Лейбниц, 1982 – Лейбниц Г.В. Соч.: В 4 т. М.: Мысль, 1982–1989.
Маркин, 2001 – Маркин В.И. Интенсиональная семантика традиционной силлогистики // Логические исследования. Вып. 8. М.: Наука, 2001. С. 82–91.
Маркин, 2002 – Маркин В.И. Фундаментальная силлогистика с интенсиональной точки зрения // Логические исследования. Вып. 9. М.: Наука, 2002. С. 119–130.
Маркин, 2016a – Маркин В.И. Интерпретация категорических высказываний в терминах релевантного следования // Логические исследования. 2016. Т. 22. № 1. С. 70–81.
Маркин, 2016b – Маркин В.И. Семантика позитивных силлогистик и релевантное следование // Логико-философские штудии. 2016. Т. 13. № 2. С. 34–39. Маркин, Легейдо, 2019 – Маркин В.И., Легейдо М.М. Интенсиональная семантика логики классов Дж. Венна // Логические исследования. 2019. Т. 25. № 2. С. 114–137.
Смирнов, 2021 – Смирнов В.А. Логические методы анализа научного знания. М.: ЛЕНАНД, 2021. 264 с.
Шалак, 2015 – Шалак В.И. Синтаксическая интерпретация категорических атрибутивных высказываний // Логические исследования. 2015. Т. 21. № 1. С. 60–78.