**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 Art of Logical Thinking**

by

**William Walker Atkinson**-

**The Progress company**

By the employment of the reasoning faculties of the mind we compare objects presented to the mind as percepts or concepts, taking up the raw materials of thought and weaving them into complex mental fabrics which we call abstract ideas of truth.

(

**13078**views)

**Language, Proof and Logic**

by

**Jon Barwise, John Etchemendy**-

**Center for the Study of Language**

The book covers the boolean connectives, formal proof techniques, quantifiers, basic set theory, induction, proofs of soundness and completeness for propositional and predicate logic, and an accessible sketch of Godel's first incompleteness theorem.

(

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

(

**9269**views)

**Elements of Deductive Logic**

by

**Antony Eagle**-

**University of Adelaide**

This textbook covers the basics of formal logic and elementary metatheory. Its distinguishing feature is that it has more emphasis on metatheory than comparable introductory textbooks. It was originally written for an introductory logic course.

(

**4942**views)