Teil der Reihe: Philosophy and Religion (R0)
LOGIC
Inhaltsangabe
Preface.- Chapter 1. Elementary set-theoretical notions.- Chapter 2. What logic is about.- Chapter 3. Validity.- Chapter 4. Formality.- Chapter 5. The symbols of propositional logic.- Chapter 6. The language L: syntax.- Chapter 7. The language L: semantics.- Chapter 8. The system G.- Chapter 9. Derivability in G.- Chapter 10. The system S.- Chapter 11. Consistency, soundness, completeness.- Chapter 12. Computability.- Chapter 13. The symbols of predicate logic.- Chapter 14. The language Lq: syntax.- Chapter 15. The language Lq: semantics.- Chapter 16. The system Sq.- Chapter 17. Consistency, soundness, completeness.- Chapter 18. Identity.- Chapter 19. First-order theories.- Chapter 20. Theories and models.- Chapter 21. Gödel’s incompleteness theorems.- Chapter 22. Undecidability and related results.- Chapter 23. Modal propositional logic.- Chapter 24. Quantified modal logic.- Index.
Produktdetails
- Erscheinungsdatum: 26.10.2026
- Autor/Autorin: Andrea Iacona
- Reihe: Philosophy and Religion (R0)
- Format: E-Book
- Dateiformat: PDF
- Kopierschutz: Wasserzeichen
- Dateigröße: 13.6 MB
- Auflage: Second Edition 2026
- Verlag: SPRINGER
- Sprache: Englisch
- Umfang: 290 Seiten
- ISBN: 9783032256706
- Lieferung: Sofort per Download
- Hinweis: Sofort per Download lieferbar. Kein physischer Versand.
- Kompatibilität: Lesbar auf Geräten und Apps mit PDF-Unterstützung.
Builds on the 1st edition by providing a more detailed treatment of the key topics and problems and exercises Presents an interesting overall balance between formal and philosophical discussion Solutions to all problems and exercises are listed at the end of the book
Herstellerinformationen
Email: ProductSafety@springernature.com
Wird oft zusammen gekauft
