000			01552nam a22002655i 4500
001			92394
005			20231113144030.0
010			_a978-3-030-87341-7 _dcompra
090			_a92394
100			_a20231023d2021 k||y0pory50 ba
101	0		_aeng
102			_aCH
200	1		_aAristotelian assertoric syllogistic _bDocumento eletrónico _eincorporating the aristotelian assertoric syllogistic in the contemporary symbolic logic _fby Mohamed A. Amer
210			_aCham _cSpringer International Publishing _d2021
215			_aXVI, 98 p.
225	2		_aSpringerBriefs in philosophy
303			_aThis book is a treatise on Aristotelian assertoric syllogistic, which is currently of growing interest. Some centuries ago, it attracted the attention of the founders of modern logic, who approached it in several (semantical and syntactical) ways. Further approaches were introduced later on. In this book these approaches (with few exceptions) are discussed, developed and interrelated. Among other things, different facets of soundness, completeness, decidability, and independence for Aristotelian assertoric syllogistic are investigated. Specifically arithmetization (Leibniz), algebraization (Leibniz and Boole), and Venn models (Euler and Venn) are examined. The book is aimed at scholars in the fields of logic and history of logic.
606			_aLogic
680			_aBC1-199
700			_970640 _aAmer _bMohamed A.
801		0	_aPT _gRPC
856	4		_uhttps://doi.org/10.1007/978-3-030-87341-7
942			_2lcc _cF _n0