**Proof Theory and Philosophy**

by Greg Restall

**Publisher**: consequently.org 2006**Number of pages**: 168

**Description**:

This is a usable textbook in philosophical logic, accessible to someone who's done only an intro course in logic, covering some model theory and proof theory of propositional logic, and predicate logic. User-friendly, pedagogically useful and philosophically motivated presentation.

Download or read it online for free here:

**Download link**

(1MB, PDF)

## Similar books

**forall x: An Introduction to Formal Logic**

by

**P.D. Magnus**

An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.

(

**10930**views)

**A Second Course in Logic**

by

**Christopher Gauker**-

**University of Cincinnati**

This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.

(

**6765**views)

**Logic Gallery, Aristotle to the Present**

by

**David Marans**-

**HumBox Project**

Century-by-Century: Insights, Images, and Bios. The continuity and expansion of a fundamental concept. We shall attempt to indicate the way in which logic has developed from the science of reflective thinking, or reasoning, to the science of form.

(

**2961**views)

**The Origin and Growth of Plato's Logic**

by

**Wincenty Lutosawski**-

**Longmans, Green and co.**

In undertaking the investigations summarized in this volume, the author's chief aim was to explain the origin of Logic by a psychological study of the first logician. This required a knowledge of the chronology of Plato's writings.

(

**4598**views)