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: 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.
(11607 views)
Book cover: The Principles Of MathematicsThe Principles Of Mathematics
by - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.
(12884 views)
Book cover: Elements of Deductive LogicElements of Deductive Logic
by - University of Adelaide
This textbook covers the basics of formal logic and elementary metatheory. Its distinguishing feature is that it has more emphasis on metatheory than comparable introductory textbooks. It was originally written for an introductory logic course.
(3936 views)
Book cover: An Illustrated Book of Bad ArgumentsAn Illustrated Book of Bad Arguments
by - 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.
(6758 views)