Stewart Shapiro (Ohio State University), Teresa Kouri Kissel (Virginia Old Dominion University)

Classical First-Order Logic

• Broschiertes Buch

Produktbeschreibung

One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Elements in Philosophy and Logic
• Verlag: Cambridge University Press
• Seitenzahl: 80
• Erscheinungstermin: 13. Mai 2022
• Englisch
• Abmessung: 229mm x 152mm x 5mm
• Gewicht: 136g
• ISBN-13: 9781108987004
• ISBN-10: 1108987001
• Artikelnr.: 63200494

Inhaltsangabe

1. Introduction
2. Formal System
3. Language
4. Deduction
5. Model-Theoretic Semantics
6. Meta-theory
7. Classical Higher-Order Logic
8. Intuitionism
9. Paraconsistency: demurring from ex falso quodlibet
10. Conclusion.