LEADER 03098nam  22005535  450 
001 9910552733603321
005 20251202132727.0
010   $a9783030873417$b(electronic bk.)
010   $z9783030873400
024 7 $a10.1007/978-3-030-87341-7
035   $a(MiAaPQ)EBC6927306
035   $a(Au-PeEL)EBL6927306
035   $a(CKB)21403611800041
035   $a(DE-He213)978-3-030-87341-7
035   $a(PPN)261520156
035   $a(EXLCZ)9921403611800041
100   $a20220316d2021      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAristotelian Assertoric Syllogistic $eIncorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic /$fby Mohamed A. Amer
205   $a1st ed. 2021.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021.
215   $a1 online resource (100 pages)
225 1 $aSpringerBriefs in Philosophy,$x2211-4556
300   $aIncludes index.
311 08$aTamén publicada como: Aristotelian Assertoric Syllogistic 9783030873400. (volume) 991013528754407712 
327   $aAcknowledgements -- 1. Formalizations of AAS -- 2. Semantics of AAS -- 3. Decidability -- 4. Basic equivalence of the four formalizations -- 5. Venn soundness and completeness -- 6. Direct way to Venn models -- 7. Variations on NF(C) -- 8. Direct completion of direct deduction -- 9. Models of NF(C) revisited -- 10. Decidability revisited -- 11. Sorites -- 12. Independence -- 13. Algebraic semantics of AAS, a prelude -- 14. Algebraic interpretation of NF(C) -- 15. Annihilators: Embedding the partial into a total -- 16. Back to algebraic interpretation -- 17. Leibniz and Boole -- 18. Inadequacy: bounds of AAS -- Appendix.
330   $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.
410  0$aSpringerBriefs in Philosophy,$x2211-4556
606   $aLogic
606   $aLogic
606   $aFormal Logic
606   $aPhilosophical Logic
615  0$aLogic.
615 14$aLogic.
615 24$aFormal Logic.
615 24$aPhilosophical Logic.
676   $a185
676   $a166
700   $aAmer$b Mohamed A.$01214433
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
912   $a9910552733603321
996   $aAristotelian Assertoric Syllogistic$92804343
997   $aUNINA