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 Gallery, Aristotle to the Presentby 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.
(7436 views)
Symbolic Logicby 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.
(17284 views)
Symbolic Logic: A Second Courseby Gary Hardegree - UMass Amherst
Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.
(14260 views)
Symbolic Logic: A First Courseby 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.
(17204 views)