Aristotelian Assertoric Syllogistic: Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic

By Mohamed A. Amer

1. Formalizations of AAS2. Semantics of AAS3. Decidability4. Basic equivalence of the four formalizations5. Venn soundness and completeness6. Direct way to Venn models7. Variations on NF(C)8. Direct completion of direct deduction9. Models of NF(C) revisited10. Decidability revisited11. Sorites12. Independence13. Algebraic semantics of AAS, a prelude14. Algebraic interpretation of NF(C)15. Annihilators: Embedding the partial into a total16. Back to algebraic interpretation17. Leibniz and Boole18. Inadequacy: bounds of AASAcknowledgementsAppendix

• Format: Paperback
• Language: English
• ISBN: 3030873404
• ISBN13: 9783030873400
• Release Date: March 2022
• Publisher: Springer
• Length: 98 Pages
• Weight: 0.38 lbs.
• Dimensions: 0.2" x 6.1" x 9.2"