We use cookies to enhance your experience on our website. By continuing to use our website, you are agreeing to our use of cookies. You can change your cookie settings at any time. Find out more

Logic RSS





Publication Date

Showing 1-6 of 6
List | Grid
Cover for 9780192847850

Gödel's Theorem: A Very Short Introduction


A. W. Moore

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.

Cover for 9780192895943

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


Paolo Mancosu, Sergio Galvan, Richard Zach

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.

Cover for 9780198811701

Logic: A Very Short Introduction

Second Edition


Graham Priest

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.

Cover for 9780199587841

The Logic Manual


Volker Halbach

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.

Cover for 9780199575589

Logic for Philosophy


Theodore Sider

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.

Cover for 9780192854117

Wittgenstein: A Very Short Introduction


A. C. Grayling

22 February 2001

Very Short Introductions

Showing 1-6 of 6
List | Grid