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

**Studies and Exercises in Formal Logic**

by

**John Neville Keynes**-

**The Macmillan Company**

In addition to a detailed exposition of certain portions of Formal Logic, the following pages contain a number of problems worked out in detail and unsolved problems, by means of which the student may test his command over logical processes.

(

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

(

**7599**views)

**A Concise Introduction to Logic**

by

**Craig DeLancey**-

**Open SUNY Textbooks**

A Concise Introduction to Logic is an introduction to formal logic suitable for undergraduates taking a general education course in logic or critical thinking, and is accessible and useful to any interested in gaining a basic understanding of logic.

(

**5931**views)

**Symbolic Logic: A First Course**

by

**Gary Hardegree**-

**Mcgraw-Hill College**

Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; etc.

(

**17592**views)