Book cover

Sets, Logic, Computation: An Open Introduction to Metalogic

Sets, Logic, Computation is an introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic, e.g., what is covered … Continue reading Sets, Logic, Computation: An Open Introduction to Metalogic

Book cover

forall x: Calgary. An Introduction to Formal Logic

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction … Continue reading forall x: Calgary. An Introduction to Formal Logic

Book cover

Rudolf Carnap: Early Writings

The Collected Works of Rudolf Carnap, Volume 1 Edited by A.W. Carus, Michael Friedman, Wolfgang Kienzler, Alan Richardson, and Sven Schlotter. With editorial assistance by Steve Awodey, Dirk Schlimm, and Richard Zach. Oxford: Oxford University Press, 2019. Publisher linkGoogle Books