<電子ブック>
Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / by Mohamed A. Amer
(SpringerBriefs in Philosophy. ISSN:22114556)
版 | 1st ed. 2021. |
---|---|
出版者 | (Cham : Springer International Publishing : Imprint: Springer) |
出版年 | 2021 |
本文言語 | 英語 |
大きさ | XVI, 98 p : online resource |
著者標目 | *Amer, Mohamed A author SpringerLink (Online service) |
件 名 | LCSH:Logic FREE:Logic FREE:Formal Logic FREE:Philosophical Logic |
一般注記 | 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 HTTP:URL=https://doi.org/10.1007/978-3-030-87341-7 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783030873417 |
|
電子リソース |
|
EB00223996 |