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: Symbolic Logic: A Second CourseSymbolic Logic: A Second Course
by - 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.
(13920 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...
(8889 views)
Book cover: Language, Proof and LogicLanguage, Proof and Logic
by - Center for the Study of Language
The book covers the boolean connectives, formal proof techniques, quantifiers, basic set theory, induction, proofs of soundness and completeness for propositional and predicate logic, and an accessible sketch of Godel's first incompleteness theorem.
(20387 views)
Book cover: Symbolic Logic: A First CourseSymbolic Logic: A First Course
by - 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.
(16749 views)