東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁 到查詢結果 [ subject:"Philosophical Logic." ]

切換: 標籤 | MARC模式 | ISBD

Aristotelian assertoric syllogistic ...

Amer, Mohamed A.

FindBook

Google Book

Amazon

博客來

Aristotelian assertoric syllogistic = incorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Aristotelian assertoric syllogistic/ by Mohamed A. Amer.
其他題名:	incorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic /
作者:	Amer, Mohamed A.
出版者:	Cham :Springer International Publishing : : 2021.,
面頁冊數:	1 online resource (xvi, 98 p.) :ill., digital ;24 cm.
內容註:	Acknowledgements -- 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.
Contained By:	Springer Nature eBook
標題:	Logic, Symbolic and mathematical. -
電子資源:	https://doi.org/10.1007/978-3-030-87341-7
ISBN:	9783030873417

Aristotelian assertoric syllogistic = incorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic /
Amer, Mohamed A.

Aristotelian assertoric syllogisticincorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic /[electronic resource] :by Mohamed A. Amer. - Cham :Springer International Publishing :2021. - 1 online resource (xvi, 98 p.) :ill., digital ;24 cm. - SpringerBriefs in philosophy,2211-4556. - SpringerBriefs in philosophy..

Acknowledgements -- 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.

This 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.

ISBN: 9783030873417

Standard No.: 10.1007/978-3-030-87341-7doiSubjects--Topical Terms:

532051
Logic, Symbolic and mathematical.

LC Class. No.: BC135 / A54 2021

Dewey Class. No.: 160

Aristotelian assertoric syllogistic = incorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic /
LDR:02493nmm a2200337 a 4500 001 2262369
003 DE-He213
005 20220316100316.0
006 m o d
007 cr nn 008maaau
008 220616s2021 sz s 0 eng d
020 $a 9783030873417 $q (electronic bk.)
020 $a 9783030873400 $q (paper)
024 7 $a 10.1007/978-3-030-87341-7 $2 doi
035 $a 978-3-030-87341-7
040 $a GP $c GP
041 0 $a eng
050 4 $a BC135 $b A54 2021
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
090 $a BC135 $b .A512 2021
100 1 $a Amer, Mohamed A. $3 3538768
245 1 0 $a Aristotelian assertoric syllogistic $h [electronic resource] : $b incorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic / $c by Mohamed A. Amer.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a 1 online resource (xvi, 98 p.) : $b ill., digital ; $c 24 cm.
490 1 $a SpringerBriefs in philosophy, $x 2211-4556
505 0 $a Acknowledgements -- 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.
520 $a This 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.
650 0 $a Logic, Symbolic and mathematical. $3 532051
650 0 $a Syllogism. $3 1636216
650 1 4 $a Logic. $3 529544
650 2 4 $a Formal Logic. $3 3538769
650 2 4 $a Philosophical Logic. $3 3538770
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a SpringerBriefs in philosophy. $3 1568619
856 4 0 $u https://doi.org/10.1007/978-3-030-87341-7
950 $a Mathematics and Statistics (SpringerNature-11649)