001441918 000__ 03370cam\a2200565Ia\4500
001441918 001__ 1441918
001441918 003__ OCoLC
001441918 005__ 20230309003349.0
001441918 006__ m\\\\\o\\d\\\\\\\\
001441918 007__ cr\un\nnnunnun
001441918 008__ 220319s2021\\\\sz\\\\\\ob\\\\001\0\eng\d
001441918 019__ $$a1304401897$$a1304461080$$a1304813443$$a1305839394$$a1306061901$$a1306167649
001441918 020__ $$a9783030873417$$q(electronic bk.)
001441918 020__ $$a3030873412$$q(electronic bk.)
001441918 020__ $$z3030873404
001441918 020__ $$z9783030873400
001441918 020__ $$a9783030873424
001441918 020__ $$a3030873420
001441918 0247_ $$a10.1007/978-3-030-87341-7$$2doi
001441918 035__ $$aSP(OCoLC)1304347728
001441918 040__ $$aYDX$$beng$$cYDX$$dGW5XE$$dEBLCP$$dFIE$$dOCLCO$$dOCLCF$$dOCLCQ
001441918 049__ $$aISEA
001441918 050_4 $$aBC135
001441918 08204 $$a160$$223
001441918 1001_ $$aAmer, Mohamed,$$eauthor.
001441918 24510 $$aAristotelian assertoric syllogistic :$$bincorporating the Aristotelian assertoric syllogistic in the contemporary symbolic logic /$$cMohamed Amer.
001441918 260__ $$aCham, Switzerland :$$bSpringer,$$c2021.
001441918 300__ $$a1 online resource
001441918 336__ $$atext$$btxt$$2rdacontent
001441918 337__ $$acomputer$$bc$$2rdamedia
001441918 338__ $$aonline resource$$bcr$$2rdacarrier
001441918 4901_ $$aSpringerBriefs in philosophy
001441918 504__ $$aIncludes bibliographical references and index.
001441918 5050_ $$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.
001441918 506__ $$aAccess limited to authorized users.
001441918 520__ $$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.
001441918 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 1, 2022).
001441918 650_0 $$aLogic, Symbolic and mathematical.
001441918 650_0 $$aSyllogism.
001441918 650_6 $$aLogique symbolique et mathématique.
001441918 650_6 $$aSyllogisme.
001441918 655_0 $$aElectronic books.
001441918 77608 $$iPrint version: $$z3030873404$$z9783030873400$$w(OCoLC)1264140552
001441918 830_0 $$aSpringerBriefs in philosophy.
001441918 852__ $$bebk
001441918 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-87341-7$$zOnline Access$$91397441.1
001441918 909CO $$ooai:library.usi.edu:1441918$$pGLOBAL_SET
001441918 980__ $$aBIB
001441918 980__ $$aEBOOK
001441918 982__ $$aEbook
001441918 983__ $$aOnline
001441918 994__ $$a92$$bISE