Aristotelian Assertoric Syllogistic

Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic

AvMohamed A. Amer

Häftad, Engelska, 2022

Del i serien SpringerBriefs in Philosophy

697 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book is a treatise on Aristotelian assertoric syllogistic, which is currently of growing interest. Specifically arithmetization (Leibniz), algebraization (Leibniz and Boole), and Venn models (Euler and Venn) are examined.

Produktinformation

Utgivningsdatum:2022-03-17
Mått:155 x 235 x 7 mm
Vikt:189 g
Format:Häftad
Språk:Engelska
Serie:SpringerBriefs in Philosophy
Antal sidor:98
Förlag:Springer Nature Switzerland AG
ISBN:9783030873400

Utforska kategorier

Filosofiska discipliner inom Filosofi och religion

Mer om författaren

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.

Innehållsförteckning

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.