# Intensional Semantics for J. Venn's Logic of Classes

## Abstract

In this article we expound V. I. Shalack’s approach to the adequate semantics for different syllogistic systems construction. The point is that the formulas of propositional logic are associated with the subject and the predicate of the categorical propositions as their meanings. The propositions themselves are interpreted with the help of logical entailment. We constructed semantics of this type for the J. Venn's syllogistic with non-standard primitive propositions: “All $S$ is all $P$” ($SaaP$), “All $S$ is some $P$” ($SaiP$), “Some $S$ is all $P$” ($SiaP$), “Some $S$ is some $P$” ($SiiP$), “No $S$ is $P$” ($SeP$). Each of them corresponds to one of the Euler diagrams. There are two kinds of Venn's syllogistic formalization: one is the theory of the relations between arbitrary classes and another is the theory of the relations between non-empty classes. We construct Shalack’s type semantics for the first formalization. We introduce the function $\delta$ puts arbitrary propositional formulas in correspondence with the general terms. Let the general terms $S$ and $P$ be interpreted by propositional formulas $A$ and $B$. $SaaP$ is true under this interpretation iff $A$ entails $B$ and $B$ entails $A$; $SaiP$ is true iff $A$ entails $B$ and $B$ doesn't entail $A$; $SiaP$ is true iff $A$ doesn't entail $B$ and $B$ entails $A$; $SeP$ is true iff $A$ entails the negation of $B$; $SiiP$ is true iff $A$ doesn't entail $B$, $B$ doesn't entail $A$ and $A$ doesn't entail the negation of $B$. Truth definitions for complex syllogistic formulas are standard. The adequate semantics for the second formalization of Venn's syllogistic is constructed by changing the interpretation of general terms: we assign to them only satisfiable propositional formulas. Soundness and completeness theorems are proved for both types of the syllogistic. Also we construct the semantics where we use relevant ($\textbf{FDE}$) entailment in favour of classical entailment in the truth definitions of Venn's syllogistic formulas. We formulate the syllogistic calculus which is adequate to this semantics.
In conclusion we compare the deductive power of three Venn's type syllogistics.

##plugins.generic.usageStats.noStats##

## ##plugins.themes.bootstrap3.article.details##

How to Cite
Markin V. I., Legeydo M. M. Intensional Semantics for J. Venn’s Logic of Classes // Logicheskie Issledovaniya / Logical Investigations. 2019. VOL. 25. № 2. C. 114-137.
Issue
Section
Philosophy and Logic

## References

Бочаров В А., Маркин В.И. Силлогистические теории. М.: Прогресс–Традиция, 2010. 333 с.
Войшвилло Е.К. Понятие. М.: Изд-во Моск. ун-та, 1967. 287 с.
Дубаков Д.В., Маркин В.И. Система силлогистики с исходными константами, соответствующими круговым диаграммам // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XVIII. М.: ИФ РАН, 2007. С. 63–75.
Лейбниц Г. В. Сочинения в 4-х томах. М.: Мысль, 1982–1989.
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: Изд-во иностр. лит-ры, 1959. 313 с.
Маркин В.И. Интенсиональная семантика традиционной силлогистики // Логические исследования. Вып. 8. М.: Наука, 2001. С. 82–91.
Маркин В.И. Фундаментальная силлогистика с интенсиональной точки зрения // Логические исследования. Вып. 9. М.: Наука, 2002. С. 119–130.
Маркин В.И. Формальные реконструкции силлогистики Венна// Вестник Московского университета. Серия 7: Философия. 2011. №1. С. 63–73.
Маркин В.И. Интерпретация категорических высказываний в терминах релевантного следования // Логические исследования. 2016. Т.22. №1. С. 70–81.
Маркин В.И. Семантика позитивных силлогистик и релевантное следование // Логико-философские штудии. 2016. Т.13, №2. С. 34–39.
Смирнов В.А. Логические методы анализа научного знания. М.: Эдиториал УРСС, 2002. 263 с.
Шалак В.И. Синтаксическая интерпретация категорических атрибутивных высказываний // Логические исследования. 2015. Т.21. №1. С. 60–78.
Shepherdson J.C. On the Interpretation of Aristotelian Syllogistic // Journal of Symbolic Logic. 1956. Vol. 21. No. 2. P. 137–147.
Venn J. Symbolic Logic. London: Macmillan and Co., 1881. 446 p.