Jan Von Plato

Elements of Logical Reasoning

• Gebundenes Buch

Produktbeschreibung

This book provides an accessible and at the same time scientifically rigorous introduction to the principles of logical reasoning.

---

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 276
• Erscheinungstermin: 23. Januar 2014
• Englisch
• Abmessung: 250mm x 175mm x 19mm
• Gewicht: 660g
• ISBN-13: 9781107036598
• ISBN-10: 1107036593
• Artikelnr.: 40404796

Autorenporträt

Jan von Plato is Professor of Philosophy at the University of Helsinki. He is the author of Creating Modern Probability (Cambridge University Press, 1994) and, with Sara Negri, Structural Proof Theory (Cambridge University Press, 2001) and Proof Analysis (Cambridge University Press, 2011).

Inhaltsangabe

Part I. First Steps in Logical Reasoning: 1. Starting points
2. Rules of proof
3. Natural deduction
4. Proof search
5. Classical natural deduction
6. Proof search in classical logic
7. The semantics of propositional logic
Part II. Logical Reasoning with the Quantifiers: 8. The quantifiers
9. Derivations in predicate logic
10. The semantics of predicate logic
Part III. Beyond Pure Logic: 11. Equality and axiomatic theories
12. Elements of the proof theory of arithmetic
Part IV. Complementary Topics: 13. Normalization and cut elimination
14. Deductive machinery from Aristotle to Heyting.