Logo

Proof Theory and Philosophy

Small book cover: Proof Theory and Philosophy

Proof Theory and Philosophy
by

Publisher: consequently.org
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.

Home page url

Download or read it online for free here:
Download link
(1MB, PDF)

Similar books

Book cover: forall x: An Introduction to Formal Logicforall x: An Introduction to Formal Logic
by
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.
(11672 views)
Book cover: A Concise Introduction to LogicA Concise Introduction to Logic
by - 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.
(1177 views)
Book cover: Studies in Logical TheoryStudies in Logical Theory
by - 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...
(4173 views)
Book cover: A Second Course in LogicA Second Course in Logic
by - University of Cincinnati
This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.
(7386 views)