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

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

(

**5136**views)

**Fundamental Methods of Logic**

by

**Matthew Knachel**-

**University of Wisconsin Milwaukee**

Suitable for a one-semester introduction to logic/critical reasoning course. It covers a variety of topics at an introductory level. It introduces basic notions, such as arguments and explanations, deductive and inductive reasoning, etc.

(

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

(

**3467**views)

**Symbolic Logic**

by

**Lewis Carroll**-

**Macmillan and co**

Here you see Carroll the mathematician at his playful best. This isn't about modern symbolic logic but about ways of expressing classical logic with symbols. It's loaded with amusing problems to delight any mathematical puzzler.

(

**9382**views)