Aristotle's modal proofs. Prior Analytics A8-22 in predicate logic ارسطو English Springer 2011 Table of contents :,Content: Acknowledgements.- Introduction.- Part I: Modern Methods for Ancient Logic.- 1. The Non-Modal Syllogistic: An.Pr. A1-7.- 2. The Assertoric Syllogistic in LPC.- 3. A Realm of Darkness.- 4. Technicolour Terms.- 5. Representing Modality.- Part II: Necessity in the Syllogistic: An. Pr. 8-12.- 6. Syllogizing in Red: Trivializing the Modals.- 7. First-Figure Mixed Apodeictic Syllogisms.- 8. Modal Conversion in the Apodeictic Syllogistic.- 9. Against the Canonical Listings.- 10. Apodeictic Possibility.- Part III: Contingency in the Syllogistic: An. Pr. 13-22.- 11. Contingency (A13, A14).- 12. Realizing Possibilities.- 13. Barbara XQM.- 14. First Figure X+Q (A15).- 15. First Figure L+Q, Q+L (A16).- 16. Contingency in the 2nd Figure (A17, A18, A19).- 17. Contingency in the 3rd Figure (A20, A21, A22).- 18. Summary and Conclusion.- Appendix: The LPC Framework.- Bibliography.- Index. text ارسطو, معلم اول (Aristotélēs،فیلسوف مشائی یونانی), 384 ق.م#322 ق.م Rini, Adriane book 978-94-007-0049-9