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 in Logical Theoryby John Dewey - The University of Chicago Press
This volume presents some results of the work done in the matter of logical theory in the Department of Philosophy of the University of Chicago in the first decade of its existence. The eleven Studies are the work of eight different hands...
(11047 views)
Deductive Logicby St. George Stock - Longmans
The author's object has been to produce a work which should be thoroughly representative of the present state of the logic of the Oxford Schools. The qualities which he aimed at before all others were clearness and consistency.
(13333 views)
Logic, Inductive and Deductiveby 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.
(12512 views)
Studies and Exercises in Formal Logicby 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.
(7023 views)