Reduction between Aristotelian Modal Syllogisms Based on the Syllogism ◇I□A◇I-3
- 1 School of Philosophy, Anhui University, Hefei, China
- 2 School of Philosophy, Anhui University, Hefei, China
Abstract
In order to provide a consistent explanation for Aristotelian modal syllogistic, this paper reveals the reductions between the Aristotelian modal syllogism ◇I□A◇I-3 and the other valid modal syllogisms. Specifically, on the basis of formalizing Aristotelian modal syllogisms, this paper proves the validity of ◇I□A◇I-3 by means of the truth value definition of (modal) categorical propositions. Then in line with classical propositional logic and modal logic, generalized quantifier theory and set theory, this paper deduces the other 47 valid Aristotelian modal syllogisms from the modal syllogism ◇I□A◇I-3. This study shows that the reasons why these syllogisms are reducible are: 1) any of Aristotelian quantifier can be defined by the other three Aristotelian quantifiers; 2) the Aristotelian quantifiers some and no have symmetry; 3) the possible modality ◇ and necessary modality □ can be mutually defined. This formal study of Aristotelian modal syllogistic not only conforms to the needs of formalization transformation of various information in the era of artificial intelligence, but also provides a unified mathematical research paradigm for other kinds of syllogistic.
- Chagrov, A., & Zakharyaschev, M. (1997). Modal Logical. Clarendon Press.
- Hao, Y. J. (2016). Formal Research on Discourse Reasoning in Natural Language. Journal of Hunan University of Science and Technology (Social Sciences Edition), 1, 33-37. (In Chinese)
- Johnson, F. (1989). Models for Modal Syllogisms. Notre Dame Journal of Formal Logic, 30, 271-284. https://doi.org/10.1305/ndjfl/1093635084
- Johnson, F. (2004). Aristotle’s Modal Syllogisms. Handbook of the History of Logic, 1, 247-308. https://doi.org/10.1016/S1874-5857(04)80006-2
- Li, H. (2023). Reduction between Categorical Syllogisms Based on the Syllogism EIO-2. Applied Science and Innovative Research, 7, 30-37. https://doi.org/10.22158/asir.v7n1p30
- Łukasiewicz, J. (1957). Aristotle’s Syllogistic: From the Standpoint of Modern Formal Logic (2nd ed.). Clarendon Press.
- Malink, M. (2006). A Reconstruction of Aristotle’s Modal Syllogistic. History and Philosophy of Logic, 27, 95-141. https://doi.org/10.1080/01445340500405130
- Malink, M. (2013). Aristotle’s Modal Syllogistic. Harvard University Press. https://doi.org/10.4159/harvard.9780674726352
- McCall, S. (1963). Aristotle’s Modal Syllogisms, Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company.
- Patzig, G. (1969). Aristotle’s Theory of the Syllogism. D. Reidel. https://doi.org/10.1007/978-94-017-0787-9
- Peters, S., & Westerståhl, D. (2006). Quantifiers in Language and Logic. Clarendon Press.
- Protin, C. L. (2022). A Logic for Aristotle’s Modal Syllogistic. History and Philosophy of Logic. https://doi.org/10.1080/01445340.2022.2107382
- Smith, R. (1995). Article Logic. In J. Barnes (Ed.), The Cambridge Companion to Aristotle (pp. 27-65). Cambridge University Press.
- Thomson, S. K. (1993). Semantic Analysis of the Modal Syllogistic. Journal of Philosophical Logic, 22, 111-128. https://doi.org/10.1007/BF01049258
- Thomson, S. K. (1997). Relational Models for the Model Syllogistic. Journal of Philosophical Logic, 26, 129-141. https://doi.org/10.1023/A:1004200616124
- Wei, L. (2023). Formal System of Categorical Syllogistic Logic Based on the Syllogism AEE-4. Open Journal of Philosophy, 13, 97-103. https://doi.org/10.4236/ojpp.2023.131006