Formal System of Categorical Syllogistic Logic Based on the Syllogism <i>AEE-4</i>
- 1 School of Philosophy, Anhui University, Hefei, China
Abstract
Adopting a different method from the previous scholars, this article deduces the remaining 23 valid syllogisms just taking the syllogism AEE-4 as the basic axiom. The basic idea of this study is as follows: firstly, make full use of the trichotomy structure of categorical propositions to formalize categorical syllogisms. Then, taking advantage of the deductive rules in classical propositional logic and the basic facts in the generalized quantifier theory, we deduce the remaining 23 valid categorical syllogisms by taking just one syllogism (that is, AEE-4 ) as the basic axiom. This article not only reveals the reducible relations between the syllogism AEE-4 and the other 23 valid syllogisms, but also establishes a concise formal axiomatic system for categorical syllogistic logic. We hope that the results and methods will provide a good mathematical paradigm for studying other kinds of syllogistic logics, and that the project will appeal to specialists in logic, linguistic semantics, computational semantics, cognitive science and artificial intelligence.
- Chen, B. (2020). Introduction to Logic. China Renmin University Press. (In Chinese)
- Corcoran, J. (1972). Completeness of an Ancient Logic. Journal of Symbolic Logic, 37, 696-702. https://doi.org/10.2307/2272415
- Hamilton, A. G. (1978). Logic for Mathematicians. Cambridge University Press.
- Huang, M. Y., & Zhang, X. J. (2020). Assertion or Rejection of Łukasiewicz’s Assertoric Syllogism System ŁA. Journal of Chongqing University of Science and Technology (Social Sciences Edition), 34, 10-18. (In Chinese)
- Łukasiewicz, J. (1957). Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Clarendon Press.
- Martin, J. M. (1997). Aristotle’s Natural Deduction Revisited. History and Philosophy of Logic, 18, 1-15. https://doi.org/10.1080/01445349708837269
- Moss, L. S. (2008). Completeness Theorems for Syllogistic Fragments. In F. Hamm, & S. Kepser (Eds.), Logics for Linguistic Structures (pp. 143-173). Mouton de Gruyter.
- Moss, L. S. (2011). Syllogitic Logic with Comparative Adjectives. Journal of Logic, Language and Information, 20, 397-417. https://doi.org/10.1007/s10849-011-9137-x
- Murinová, P., & Novák, V. (2012). A Formal Theory of Generalized Intermediate Syllogisms. Fuzzy Sets and Systems, 186, 47-80. https://doi.org/10.1016/j.fss.2011.07.004
- Peters, S., & Westerståhl, D. (2006). Quantifiers in Language and Logic. Claredon Press.
- Pratt-Hartmann, I. (2014). The Relational Syllogistic Revisited. Linguistic Issues in Language Technology, 9, 195-227. https://doi.org/10.33011/lilt.v9i.1327
- Pratt-Hartmann, I., & Moss, L. S. (2009). Logics for the Relational Syllogistic. Review of Symbolic Logic, 2, 647-683. https://doi.org/10.1017/S1755020309990086
- Cai, S. S. (1988). A Formal System of Aristotle’s Syllogism Different from That of Łukasiewicz. Philosophical Research, No. 4, 33-41. (In Chinese)
- van Benthem, J. (1984). Questions about Quantifiers. Journal of Symbol Logic, 49, 443-466. https://doi.org/10.2307/2274176
- Westerståhl, D. (1989). Aristotelian Syllogisms and Generalized Quantifiers. Studia Logica, 48, 577-585. https://doi.org/10.1007/BF00370209
- Zhang, X. J. (2014). A Study of Generalized Quantifier Theory. Xiamen University Press. (In Chinese)