Aristotelian assertoric syllogistic : incorporating the Aristotelian assertoric syllogistic in the contemporary symbolic logic / Mohamed Amer.
Amer, Mohamed, author.
2021
BC135
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Aristotelian assertoric syllogistic : incorporating the Aristotelian assertoric syllogistic in the contemporary symbolic logic / Mohamed Amer.
Author Amer, Mohamed, author.
ISBN 9783030873417 (electronic bk.)
3030873412 (electronic bk.)
3030873404
9783030873400
9783030873424
3030873420
DOI https://doi.org/10.1007/978-3-030-87341-7
Publication Details Cham, Switzerland : Springer, 2021.
Language English
Description 1 online resource
Item Number 10.1007/978-3-030-87341-7 doi
Call Number BC135
Dewey Decimal Classification 160
Summary 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.
Bibliography, etc. Note Includes bibliographical references and index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed April 1, 2022).
Series SpringerBriefs in philosophy.
Available in Other Form Print version: 9783030873400
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export