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: Logic, Inductive and DeductiveLogic, Inductive and Deductive
by - 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.
(6781 views)
Book cover: Logic Gallery, Aristotle to the PresentLogic Gallery, Aristotle to the Present
by - 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.
(5072 views)
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.
(14129 views)
Book cover: Introduction to Logic and Critical ThinkingIntroduction to Logic and Critical Thinking
by - 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.
(4067 views)