LEADER 03210nam 22005775 450 001 996466554503316 005 20240215152821.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$b[electronic resource] $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 606 $aSil·logisme$2thub 608 $aLlibres electrònics$2thub 615 0$aLogic. 615 14$aLogic. 615 24$aFormal Logic. 615 24$aPhilosophical Logic. 615 7$aSil·logisme 676 $a185 700 $aAmer$b Mohamed A.$01214433 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a996466554503316 996 $aAristotelian Assertoric Syllogistic$92804343 997 $aUNISA LEADER 01755nam0 22003491i 450 001 UON00089184 005 20250314120727.93 100 $a20020107d1986 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aAttic black-figured pottery$fby Mary B. Moore and Mary Zelia Pease Philippides$gwith the collaboration of Dietrich von Bothmer 210 $aPrinceton$cThe American School of Classical Studies at Athens$d1986. xvi$d382 p.$cill.$d125 p. di tav. ; 32 cm 410 1$1001UON00087260$12001 $aˆThe ‰Athenian Agora$eresults of excavations conducted by the American School of Classical Studies at Athens$v23 606 $aAGORA$xAtene$3UONC026207$2FI 606 $aCERAMICHE$xCeramiche attiche$3UONC025692$2FI 606 $aCERAMICHE A FIGURE NERE$3UONC025828$2FI 606 $aScavi archeologici$xAtene$3UONC026211$2FI 620 $aUS$dPrinceton$3UONL000074 676 $a738.2$cPorcellana$v21 700 1$aMOORE$bMary B.$3UONV056360$0167117 701 1$aPHILIPPIDES$bMary Zelia Pease$3UONV056361$0167119 702 1$aBOTHMER$bDietrich : von$3UONV066408 712 02$aAmerican School of Classical Studies at Athens$3UONV056153 712 $aAmerican School of Classical Studies at Athens$3UONV056153$4650 791 02$aThe American School of Classical Studies at Athens$zAmerican School of Classical Studies at Athens$3UONV259634 801 $aIT$bSOL$c20250606$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00089184 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI N 1 ATH. AG. 001 23 $eSI MC 11526 7 23 996 $aAttic black-figured pottery$969707 997 $aUNIOR