Logic

Gödel's Theorem: A Very Short Introduction

A. W. Moore

9780192847850
Paperback
24 November 2022

Very Short Introductions

When Kurt Gödel published his celebrated theorem, showing that no axiomatization can determine the whole truth and nothing but the truth concerning arithmetic, it had a profound impact on mathematical ideas and philosophical thought. Adrian Moore places the theorem in its intellectual and historical context, explaining the key concepts and misunderstandings.

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Paolo Mancosu, Sergio Galvan, Richard Zach

9780192895943
Paperback
17 August 2021

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

Logic: A Very Short Introduction

Second Edition

Graham Priest

9780198811701
Paperback
26 October 2017

Very Short Introductions

Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy — a tool for thinking about everything from the existence of God and the reality of time to paradoxes of probability. Explaining formal logic in simple, non-technical terms, this edition includes new sections on mathematical algorithms, axioms, and proofs.

The Logic Manual

Volker Halbach

9780199587841
Paperback
19 August 2010

The Logic Manual is the ideal introduction to logic for beginning philosophy students. It offers a concise but complete introductory course, giving a firm grounding in the logic that is needed to study contemporary philosophy. Exercises, examples, and sample examination papers are provided on an accompanying website.

Logic for Philosophy

Theodore Sider

9780199575589
Paperback
07 January 2010

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It is very user-friendly for students without much background in mathematics. It gives you the logic you need to do philosophy.

Wittgenstein: A Very Short Introduction

A. C. Grayling

9780192854117
Paperback
22 February 2001

Very Short Introductions