國立虎尾科技大學 |

Language: English

Back to Search results for [ subject:"Formal Logic." ]

Aristotelian Assertoric Syllogistic ...

SpringerLink (Online service)

Aristotelian Assertoric Syllogistic = Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Aristotelian Assertoric Syllogistic/ by Mohamed A. Amer.
Reminder of title:	Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic /
Author:	Amer, Mohamed A.
Description:	XVI, 98 p.online resource. :
Contained By:	Springer Nature eBook
Subject:	Philosophical Logic. -
Online resource:	https://doi.org/10.1007/978-3-030-87341-7
ISBN:	9783030873417

Aristotelian Assertoric Syllogistic = Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic /
Amer, Mohamed A.

Aristotelian Assertoric SyllogisticIncorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic /[electronic resource] :by Mohamed A. Amer. - 1st ed. 2021. - XVI, 98 p.online resource. - 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:

1366142
Philosophical Logic.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Aristotelian Assertoric Syllogistic = Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic /
LDR:02780nam a22003975i 4500 001 1059434
003 DE-He213
005 20220316100316.0
007 cr nn 008mamaa
008 220414s2021 sz | s |||| 0|eng d
020 $a 9783030873417 $9 978-3-030-87341-7
024 7 $a 10.1007/978-3-030-87341-7 $2 doi
035 $a 978-3-030-87341-7
050 4 $a BC1-199
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
100 1 $a Amer, Mohamed A. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1366140
245 1 0 $a Aristotelian Assertoric Syllogistic $h [electronic resource] : $b Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / $c by Mohamed A. Amer.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XVI, 98 p. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
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 2 4 $a Philosophical Logic. $3 1366142
650 2 4 $a Formal Logic. $3 1366141
650 0 $a Logic. $3 558909
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030873400
776 0 8 $i Printed edition: $z 9783030873424
830 0 $a SpringerBriefs in Philosophy, $x 2211-4548 $3 1254230
856 4 0 $u https://doi.org/10.1007/978-3-030-87341-7
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library