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

(

**14958**views)

**An Illustrated Book of Bad Arguments**

by

**Ali Almossawi, Alejandro Giraldo**-

**bookofbadarguments.com**

This book is aimed at newcomers to the field of logical reasoning, particularly those who understand best through visuals. The reader will learn from these pages some of the most common pitfalls in arguments and be able to identify and avoid them.

(

**5399**views)

**Introduction to Logic and Critical Thinking**

by

**Matthew Van Cleave**-

**Lansing Community College**

This is an introductory textbook in logic and critical thinking. The goal is to provide the reader with skills that will enable them to identify and evaluate arguments. It is intended for an introductory course that covers formal and informal logic.

(

**4825**views)

**Principles of Logic**

by

**George Hayward Joyce**-

**Longmans**

This work is an attempt at a presentment of what is frequently termed the Traditional Logic, and is intended for those who are making acquaintance with philosophical questions for the first time. Logic is the theory of the mind's rational processes.

(

**9543**views)