Jan von Plato (University of Helsinki)

Elements of Logical Reasoning

• Broschiertes Buch

Produktbeschreibung

This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.

---

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 276
• Erscheinungstermin: 23. Januar 2014
• Englisch
• Abmessung: 244mm x 170mm x 16mm
• Gewicht: 562g
• ISBN-13: 9781107610774
• ISBN-10: 110761077X
• Artikelnr.: 38611546

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.

Rezensionen

'Elements of Logical Reasoning fills a gap by providing some much needed explanation and motivation to an otherwise dry literature.' Henry Towsner, The Mathematical Intelligencer