Aristotelian Assertoric Syllogistic: Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic: SpringerBriefs in Philosophy
Autor Mohamed A. Ameren Limba Engleză Paperback – 17 mar 2022
Din seria SpringerBriefs in Philosophy
- Preț: 345.63 lei
- 17% Preț: 359.60 lei
- Preț: 378.54 lei
- 15% Preț: 463.68 lei
- Preț: 378.12 lei
- Preț: 348.79 lei
- Preț: 376.59 lei
- Preț: 411.54 lei
- Preț: 377.73 lei
- Preț: 376.80 lei
- Preț: 380.84 lei
- Preț: 376.59 lei
- Preț: 440.86 lei
- Preț: 375.45 lei
- Preț: 341.86 lei
- Preț: 444.13 lei
- Preț: 376.80 lei
- Preț: 377.73 lei
- Preț: 408.05 lei
- Preț: 375.07 lei
- Preț: 377.35 lei
- Preț: 481.79 lei
- 15% Preț: 463.85 lei
- Preț: 413.66 lei
- Preț: 376.22 lei
- Preț: 481.05 lei
- Preț: 379.68 lei
- Preț: 376.80 lei
- Preț: 349.10 lei
- Preț: 348.79 lei
- Preț: 377.18 lei
- Preț: 132.39 lei
- Preț: 380.25 lei
- Preț: 380.25 lei
- Preț: 475.83 lei
- Preț: 378.12 lei
- Preț: 378.34 lei
- Preț: 379.68 lei
- Preț: 343.00 lei
- Preț: 377.73 lei
- 20% Preț: 321.52 lei
- Preț: 343.33 lei
- Preț: 377.57 lei
- Preț: 376.80 lei
- Preț: 477.94 lei
- Preț: 475.83 lei
- Preț: 407.52 lei
- 15% Preț: 461.73 lei
- Preț: 345.63 lei
- Preț: 379.86 lei
Preț: 477.34 lei
Nou
Puncte Express: 716
Preț estimativ în valută:
91.36€ • 95.02$ • 76.56£
91.36€ • 95.02$ • 76.56£
Carte tipărită la comandă
Livrare economică 13-27 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783030873400
ISBN-10: 3030873404
Pagini: 98
Ilustrații: XVI, 98 p.
Dimensiuni: 155 x 235 mm
Greutate: 0.17 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seria SpringerBriefs in Philosophy
Locul publicării:Cham, Switzerland
ISBN-10: 3030873404
Pagini: 98
Ilustrații: XVI, 98 p.
Dimensiuni: 155 x 235 mm
Greutate: 0.17 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seria SpringerBriefs in Philosophy
Locul publicării:Cham, Switzerland
Cuprins
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.
Notă biografică
Mohamed Amer is Professor of Mathematics at the Faculty of Science, Cairo University in Egypt.
He obtained his B.Sc. in Mathematics in 1962, at Cairo University in Egypt and his Ph. D. in Mathematics in 1969 at the University of California in Berkeley, USA.
Mohamed Amer is a member of The Egyptian Mathematical Society, The American Mathematical Society, and The Association for Symbolic Logic.
He obtained his B.Sc. in Mathematics in 1962, at Cairo University in Egypt and his Ph. D. in Mathematics in 1969 at the University of California in Berkeley, USA.
Mohamed Amer is a member of The Egyptian Mathematical Society, The American Mathematical Society, and The Association for Symbolic Logic.
Textul de pe ultima copertă
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.
Caracteristici
Offers a multifacted discussion of Aristotelian assertoric syllogistic Provides new proofs Presents a new insight into Leibniz characteristic numbers