Axiomatization of Aristotelian Syllogistic Logic Based on Generalized Quantifier Theory
Applied and Computational Mathematics
Volume 7, Issue 3, June 2018, Pages: 167-172
Received: Aug. 9, 2018;
Published: Aug. 13, 2018
Views 594 Downloads 40
Xiaojun Zhang, Institute of Logic and Information, Sichuan Normal University, Chengdu, China; Fujian Provincial Key Laboratory of Brain-Like Intelligent Systems, Xiamen University, Xiamen, China
Syllogistic reasoning is important due to the prominence of syllogistic arguments in human reasoning, and also to the role they have played in theory of reasoning from Aristotle onwards. Aristotelian syllogistic logic is a formal study of the meaning of four Aristotelian quantifiers and of their properties. This paper focuses on logical system based on syllogistic reasoning. It firstly formalized the 24 valid Aristotle’s syllogisms, and then has proven that the other 22 valid Aristotle’s syllogisms can be derived from the syllogisms ‘Barbara’ AAA-1 and ‘Celarent’ EAE-1 by means of generalized quantifier theory and set theory, so the paper has completed the axiomatization of Aristotelian syllogistic Logic. This axiomatization needs to make full use of symmetry and transformable relations between/among the monotonicity of the four Aristotelian quantifiers from the perspective of generalized quantifier theory. In fact, these innovative achievements and the method in this paper provide a simple and reasonable mathematical model for studying other generalized syllogisms. It is hoped that the present study will make contributions to the development of generalized quantifier theory, and to bringing about consequences to natural language information processing as well as knowledge representation and reasoning in computer science.
Axiomatization of Aristotelian Syllogistic Logic Based on Generalized Quantifier Theory, Applied and Computational Mathematics.
Vol. 7, No. 3,
2018, pp. 167-172.
N. Chater and M. Oaksford, the probability Heuristics model of syllogistic reasoning, Cognitive Psychology, Vol. 38, 1999, pp. 191-258.
G. Patzig, Aristotle's Theory of the Syllogism, J. Barnes (trans.), Dordrecht: D. Reidel, 1969.
L. S. Moss, Syllogistic logics with verbs, Journal of Logic and Computation, Vol. 20, No. 4, 2010, pp. 947-967.
P. Murinová P and V. Novák, A formal theory of generalized intermediate syllogisms, Fuzzy Sets and Systems, Vol. 186, 2012, pp. 47-80.
J. Endrullis, and L. S. Moss, Syllogistic logic with ‘Most’, in V. de Paiva et al. (eds. ), Logic, Language, Information, and Computation, 2015, pp. 124-139.
J. Łukasiewicz, Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic, Clarendon Press, Oxford, 1951.
J. N. Martin, Aristotle’s natural deduction reconsidered, History and Philosophy of Logic, Vol. 18, No. 1 1997, pp. 1-15.
L. S. Moss, Completeness theorems for syllogistic fragments, in F. Hamm and S. Kepser (eds.), Logics for Linguistic Structures, Mouton de Gruyter, Berlin, 2008, pp. 143–173.
J. van Benthem, Questions about quantifiers, Journal of Symbol Logic, Vol. 49, No. 2, 1984, pp. 443-466.
D. Westerståhl, Aristotelian syllogisms and generalized quantifiers, Studia Logica, Vol. XLVII, No. 4, 1989, pp. 577-585.
Xiaojun Zhang, A Study of Generalized Quantifier Theory, Xiamen University Press, 2014. (in Chinese).
Xiaojun Zhang, A Study of Properties of Generalized Quantifiers, Ph.D. dissertation, Chinese Academy of Social Sciences, 2011. (in Chinese).
N. Ivanov, and D. Vakarelov, A system of relational syllogistic incorporating full Boolean reasoning, Journal of Logic, Language and Information, 2012 (12), pp. 433-459.
I. P. Hartmann, The relational syllogistic revisited, Perspectives on Semantic Representations for Textual Inference, CSLI Publications, 2014, pp. 195-227.
Xudong Hao, On the fourth figure of Aristotle’s syllogisms, Journal of Northwest University (Philosophy and Social Sciences), 2015 (6), pp. 142-146. (in Chinese).
L. S. Moss, Syllogistic Logic with Cardinality Comparisons, Springer International Publishing, 2016.
Shuai Li, and Xiaoming Ren, A New exploration on inductive logic of Aristotle, Journal of Chongqing University of Technology (Social Sciences), 2016 (7), pp. 6-11. (in Chinese).
Baoxiang Wu, Aristotel’s Syllogisms and its Extensions, Sichuan Normal University, Master’s Dissertation, 2017. (in Chinese).
D. Westerståhl, Quantifiers in formal and natural languages, in D. M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 14, 2007, pp. 227-242.
S. Peters, and D. Westerståhl, Quantifiers in Language and Logic, Claredon Press, Oxford, 2006.
Xiaojun Zhang, Sheng Li, Research on the formalization and axiomatization of traditional syllogisms, Journal of Hubei University (Philosophy and social sciences), No. 6, 2016, pp. 32-37. (in Chinese).