The Reducibility of the Generalized Syllogism MMI-4 with the Quantifiers in Square{most} and Square{some}
DOI: 10.54647/mathematics110491 32 Downloads 2000 Views
Author(s)
Abstract
This paper firstly proves the validity of the generalized syllogism MMI-4 with the quantifiers in Square{most} and Square{some}, and then making full use of the relevant definitions, facts, and reasoning rules to infer the other 20 valid generalized ones from the syllogism MMI-4. In other words, there are reducible relationships between/among these valid generalized syllogisms. The reason for this is because any quantifier in Square{some} can define the other three quantifiers, and so can any quantifier in Square{most}. This study has important theoretical value for natural language information processing.
Keywords
generalized quantifiers; generalized syllogisms; reducibility; validity
Cite this paper
Haiping Wang, Jiaojiao Yuan,
The Reducibility of the Generalized Syllogism MMI-4 with the Quantifiers in Square{most} and Square{some}
, SCIREA Journal of Mathematics.
Volume 9, Issue 4, August 2024 | PP. 84-92.
10.54647/mathematics110491
References
[ 1 ] | Łukasiewicz, J. (1957). Aristotelian Syllogistic: From the Standpoint of Modern Formal Logic. Second edition, Oxford: Clerndon Press. |
[ 2 ] | Zhang, X. J., and Li S. (2016). Research on the formalization and axiomatization of traditional syllogisms, Journal of Hubei University (Philosophy and Social Sciences), 6: 32-37. (in Chinese) |
[ 3 ] | Hao, Y. J. (2023). The Reductions between/among Aristotelian Syllogisms Based on the Syllogism AII-3, SCIREA Journal of Philosophy, 3(1): 12-22. |
[ 4 ] | Johnson, F. Aristotle’s modal syllogisms[J]. Handbook of the History of Logic, 2004(1): 247-338. |
[ 5 ] | Malink, M. (2013). Aristotle’s Modal Syllogistic, Cambridge, MA: Harvard University Press. |
[ 6 ] | Zhang, C. (2023). Formal Research on Aristotelian Modal Syllogism from the Perspective of Mathematical Structuralism, Doctoral Dissertation, Anhui University, 2023. (in Chinese) |
[ 7 ] | Ivanov, N., & Vakarelov, D. (2012). A system of relational syllogistic incorporating full Boolean reasoning. Journal of Logic, Language and Information, (21), 433-459. |
[ 8 ] | Endrullis, J. and Moss, L. S. (2015). “Syllogistic Logic with ‘Most’.” In: V. de Paiva et al. (eds. ), Logic, Language, Information, and Computation (pp. 124-139). |
[ 9 ] | Hamilton, A. G. (1978). Logic for Mathematicians. Cambridge: Cambridge University Press. |
[ 10 ] | Peters, S. and Westerståhl, D. (2006). Quantifiers in Language and Logic, Claredon Press, Oxford. |