Knowledge Mining Based on the Classical Modal Syllogism 口AI◇I-3

Volume 10, Issue 2, April 2025     |     PP. 37-47      |     PDF (228 K)    |     Pub. Date: September 21, 2025
DOI: 10.54647/computer520458    17 Downloads     364 Views  

Author(s)

Xiaojun Zhang, School of Philosophy, Anhui University
Yuzhen Wang, School of Philosophy, Anhui University

Abstract
This paper first formalizes classical modal syllogisms from the perspective of knowledge representation. Subsequently, it employs modal logic and generalized quantifier theory to prove the validity of the classical modal syllogism 口AI◇I-3. Finally, making best of some rules and facts in first-order logic and the definitions of inner and outer negation for classical quantifiers in generalized quantifier theory, at least the other 37 valid classical modal syllogisms can be derived from the validity of the syllogism 口AI◇I-3. The method is not only concise and elegant, but also universally applicable to the study of various types of syllogisms. Undoubtedly, this research is beneficial for the further development of knowledge mining in artificial intelligence.

Keywords
classical modal syllogisms; validity; knowledge mining; knowledge reasoning

Cite this paper
Xiaojun Zhang, Yuzhen Wang, Knowledge Mining Based on the Classical Modal Syllogism 口AI◇I-3 , SCIREA Journal of Computer. Volume 10, Issue 2, April 2025 | PP. 37-47. 10.54647/computer520458

References

[ 1 ] G. Patzig, Aristotle's Theory of the Syllogism, D. Reidel, Dordrecht, 1969.
[ 2 ] L. Wei, Formal system of categorical syllogistic logic based on the syllogism AEE-4. Open Journal of Philosophy, Vol. 13, No.1, 2023, pp.97-103.
[ 3 ] H. Li, Reduction between categorical syllogisms based on the syllogism EIO-2. Applied Science and Innovative Research, Vol. 7, No.1, 2023, pp.30-37.
[ 4 ] J. Łukasiewicz, Aristotle’s Syllogistic: From the Standpoint of Modern Formal Logic (Second edition), Clerndon Press, Oxford, 1957.
[ 5 ] C. Zhang, Formal Research on Aristotelian Modal Syllogism from the Perspective of Mathematical Structuralism, Doctoral Dissertation, Anhui University, 2023. (in Chinese)
[ 6 ] X. J. Zhang, and B. X. Wu, Study on Chinese Discourse Inference, People’s Publishing House, Beijing, 2021. (in Chinese)
[ 7 ] X. J. Zhang, Reducible relations between/among Aristotle’s modal syllogisms. SCIREA Journal of Computer, Vol. 5, No. 1, 2020a, pp.1-33.
[ 8 ] X. J. Zhang, Screening out all valid Aristotelian modal syllogisms. Applied and Computational Mathematics, Vol. 8, No. 6, 2020b, pp.95-104.
[ 9 ] C. L. Protin, A Logic for Aristotle’s Modal Syllogistic. History and Philosophy of Logic, Vol. 44, No. 3, 2022, pp.225-246.