**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

**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.

(

**6689**views)

**The Principles Of Mathematics**

by

**Bertrand Russell**-

**W. W. Norton & Company**

Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.

(

**10302**views)

**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.

(

**14242**views)

**Logic, Inductive and Deductive**

by

**William Minto**-

**ManyBooks**

In this little treatise two things are attempted that at first might appear incompatible. One of them is to put the study of logical formulae on a historical basis. The other aim is to increase the power of Logic as a practical discipline.

(

**6891**views)