Deductibility about the Classical Modal Syllogism ⼞AEE-4

Volume 5, Issue 1, February 2025     |     PP. 18-26      |     PDF (239 K)    |     Pub. Date: June 18, 2025
DOI: 10.54647/philosophy720126    16 Downloads     210 Views  

Author(s)

Haowei Shi, Institute of Logic and Information Technology, Sichuan Normal University, Chengdu, China

Abstract
This paper firstly formalizes the classical modal syllogism ⼞AEE-4, and then proves its validity, and finally derives the other 21 valid classical modal syllogisms from the validity of the syllogism ⼞AEE-4. These knowledge deduction processes not only illustrate the deductibility of ⼞AEE-4, but also demonstrate the materialist view that there are universal connectiones between things. This innovative study is based on logical deduction, therefore its conclusions have logical consistency. And the study will contribute to knowledge mining in big data.

Keywords
Classical modal syllogisms; Validity; Knowledge deduction; Knowledge mining; Deductibility

Cite this paper
Haowei Shi, Deductibility about the Classical Modal Syllogism ⼞AEE-4 , SCIREA Journal of Philosophy. Volume 5, Issue 1, February 2025 | PP. 18-26. 10.54647/philosophy720126

References

[ 1 ] Yang F F and Zhang X J. (2024). Natural language information processing based on the valid traditional syllogisms EIO-4. SCIREA Journal of Information Science and Systems Science, 8(3): 95-102.
[ 2 ] Hao L H. (2024a). Knowledge reasoning based on the generalized syllogism AHH-2. SCIREA Journal of Computer, 9(1): 1-8.
[ 3 ] Hao L H. (2024b). Knowledge representation and knowledge reasoning based on the Aristotelian modal syllogism 口AE◊E-4. SCIREA Journal of Information Science and Systems Science, 9(1): 1-8.
[ 4 ] Hao L H. (2024c).The validity of generalized modal syllogisms based on the syllogism E口M◊O-1. SCIREA Journal of Mathematics, 9(1): 11-22.
[ 5 ] Hao L H. (2024d). Generalized syllogism reasoning with the quantifiers in modern Square{no} and Square{most}. Applied Science and Innovative Research, 8(1): 31-38.
[ 6 ] Moss L S. (2008). Completeness theorems for syllogistic fragments. In Hamm F and Kepser S. (eds.), Logics for Linguistic Structures. Berlin: Mouton de Gruyter, pp. 143-173.
[ 7 ] Zhang X J. (2018). Axiomatization of Aristotelian syllogistic logic based on generalized quantifier theory. Applied and Computational Mathematics, 7(3): 167-172.
[ 8 ] Wei L and Zhang X J. (2023). How to dedrive the other 37 valid modal syllogisms from the syllogism ◊A口I◊I-1. International Journal of Social Science Studies, 11(3): 32-37.
[ 9 ] Wang H P and Yuan J J. (2024). The reducibility of the generalized syllogism MMI-4 with the quantifiers in Square{most} and Square{some}. SCIREA Journal of Mathematics, 9(4): 84-92.
[ 10 ] Xu J and Zhang X J. (2023). How to obtain valid generalized modal syllogisms from valid generalized syllogisms. Applied Science and Innovative Research, 7(2): 45-51.
[ 11 ] Yu S Y and Zhang X J. (2023).The validity of generalized modal syllogisms with the generalized quantifiers in Square{most}, SCIREA Journal of Philosophy, 2024, 4(1): 11-22.
[ 12 ] Chellas F. (1980). Modal Logic: an Introduction. Cambridge: Cambridge University Press.
[ 13 ] Hamilton A G (1978). Logic for Mathematicians. Cambridge: Cambridge University Press.