Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Aristotelian assertoric syllogistici...
~
Amer, Mohamed A.
Aristotelian assertoric syllogisticincorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Aristotelian assertoric syllogisticby Mohamed A. Amer.
Reminder of title:
incorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic /
Author:
Amer, Mohamed A.
Published:
Cham :Springer International Publishing :2021.
Description:
1 online resource (xvi, 98 p.) :ill., digital ;24 cm.
Contained By:
Springer Nature eBook
Subject:
Logic, Symbolic and mathematical.
Online resource:
https://doi.org/10.1007/978-3-030-87341-7
ISBN:
9783030873417$q(electronic bk.)
Aristotelian assertoric syllogisticincorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic /
Amer, Mohamed A.
Aristotelian assertoric syllogistic
incorporating 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$q(electronic bk.)
Standard No.: 10.1007/978-3-030-87341-7doiSubjects--Topical Terms:
180452
Logic, Symbolic and mathematical.
LC Class. No.: BC135 / A54 2021
Dewey Class. No.: 160
Aristotelian assertoric syllogisticincorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic /
LDR
:02493nmm a2200337 a 4500
001
614853
003
DE-He213
005
20220316100316.0
006
m o d
007
cr nn 008maaau
008
220802s2021 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
913354
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
180452
650
0
$a
Syllogism.
$3
661472
650
1 4
$a
Logic.
$3
180785
650
2 4
$a
Formal Logic.
$3
913355
650
2 4
$a
Philosophical Logic.
$3
913356
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer Nature eBook
830
0
$a
SpringerBriefs in philosophy.
$3
560618
856
4 0
$u
https://doi.org/10.1007/978-3-030-87341-7
950
$a
Mathematics and Statistics (SpringerNature-11649)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000208152
電子館藏
1圖書
電子書
EB BC135 .A512 2021 2021
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/978-3-030-87341-7
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login