Knowledge Representation Based on the Aristotelian Modal Syllogism □AE◇E-2

Volume 8, Issue 5, October 2024     |     PP. 233-240      |     PDF (240 K)    |     Pub. Date: October 7, 2024
DOI: 10.54647/sociology841311    19 Downloads     821 Views  

Author(s)

Haiping Wang, School of Philosophy, Anhui University, Hefei, China
Xiaojun Zhang, School of Philosophy, Anhui University, Hefei, China

Abstract
This paper firstly presents knowledge representations of Aristotelian modal syllogisms based on the structure of modal categorical propositions, and proves the validity of the syllogism □AE◇E-2 by using set theory, modal logic, Aristotelian quantifiers theory and so on, and then illustrates that the other 30 valid syllogisms are derived from □AE◇E-2. In other words, it shows that there are reducible relationships between/among them. Owing to Aristotelian quantifiers (that is, all, some, no, not all) can be mutually defined, as well as so can the possible modality (◇) and necessary modality (□), there are reducible relationships between/among valid Aristotelian modal syllogisms. This formal study not only provides new insights for knowledge mining in artificial intelligence, but also provides ideas for studying modern logic.

Keywords
Aristotelian modal syllogisms, Aristotelian quantifiers, reducible relationship, possible worlds

Cite this paper
Haiping Wang, Xiaojun Zhang, Knowledge Representation Based on the Aristotelian Modal Syllogism □AE◇E-2 , SCIREA Journal of Sociology. Volume 8, Issue 5, October 2024 | PP. 233-240. 10.54647/sociology841311

References

[ 1 ] Long Wei and Xiaojun Zhang, The Reducibility of Modal Syllogisms Based on the Syllogism □EI◇O-2, SCIREA Journal of Mathematics, 8(3): 87-96, 2023.
[ 2 ] Cheng Zhang, How to Deduce the Other 91 Valid Aristotelian Modal Syllogisms from the Syllogism IAI-3, Applied Science and Innovative Research, 7(1): 46-57, 2023.
[ 3 ] P. Murinová and V. Novák, A formal theory of generalized intermediate syllogisms, Fuzzy Sets and Systems, Vol.186, pp. 47-80, 2012.
[ 4 ] Ivanov, N. and Vakarelov, D., A system of relational syllogistic incorporating full Boolean reasoning. Journal of Logic, Language and Information, (21), 433-459, 2012.
[ 5 ] McCall, S., Studies in Logic and the Foundations of Mathematics. Aristotle’s Modal Syllogisms. North-Holland Publishing Company, Amsterdam, 1963.
[ 6 ] Thomason, S. K., Semantic Analysis of the Modal Syllogistic. Journal of Philosophical Logic, (22), 111-128, 1993.
[ 7 ] Johnson, F., Aristotle’s modal syllogisms. Handbook of the History of Logic, 247-338, 2004.
[ 8 ] Malink, M., Aristotle’s Modal Syllogistic. Cambridge, MA: Harvard University Press, 2013.
[ 9 ] Xiaojun Zhang, Reducible Relations between/among Aristotelian Modal Syllogisms. SCIREA Journal of Computer, 5, 1-33, 2020.
[ 10 ] Chellas, F., Modal Logic: an Introduction. Cambridge: Cambridge University Press, 1980.
[ 11 ] Peters, S. and Westerståhl, D., Quantifiers in Language and Logic. Clarendon Press, 2006.