Beschreibung
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.
Autorenportrait
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.
Inhalt
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.
Informationen zu E-Books
„E-Book“ steht für digitales Buch. Um diese Art von Büchern lesen zu können wird entweder eine spezielle Software für Computer, Tablets und Smartphones oder ein E-Book Reader benötigt. Da viele verschiedene Formate (Dateien) für E-Books existieren, gilt es dabei, einiges zu beachten.
Von uns werden digitale Bücher in drei Formaten ausgeliefert. Die Formate sind EPUB mit DRM (Digital Rights Management), EPUB ohne DRM und PDF. Bei den Formaten PDF und EPUB ohne DRM müssen Sie lediglich prüfen, ob Ihr E-Book Reader kompatibel ist. Wenn ein Format mit DRM genutzt wird, besteht zusätzlich die Notwendigkeit, dass Sie einen kostenlosen Adobe® Digital Editions Account besitzen. Wenn Sie ein E-Book, das Adobe® Digital Editions benötigt herunterladen, erhalten Sie eine ASCM-Datei, die zu Digital Editions hinzugefügt und mit Ihrem Account verknüpft werden muss. Einige E-Book Reader (zum Beispiel PocketBook Touch) unterstützen auch das direkte Eingeben der Login-Daten des Adobe Accounts – somit können diese ASCM-Dateien direkt auf das betreffende Gerät kopiert werden.
Da E-Books nur für eine begrenzte Zeit – in der Regel 6 Monate – herunterladbar sind, sollten Sie stets eine Sicherheitskopie auf einem Dauerspeicher (Festplatte, USB-Stick oder CD) vorsehen. Auch ist die Menge der Downloads auf maximal 5 begrenzt.
