I've put the source code for my Logic 1 lecture slides into GitHub. That's a pretty standard intro logic course, using Language, Proof & Logic as a text. I do have mainly computer science students in the course, and I try to make the material relevant to them as much as possible. There are also … Continue reading Intro Logic Lecture Slides
Month: September 2015
Carnap’s early metatheory: Scope and limits
Georg Schiemer, Richard Zach, and Erich Reck. 2017. "Carnap's Early Metatheory: Scope and Limits," Synthese 194(1), 33–65 In his Untersuchungen zur allgemeinen Axiomatik (1928) and Abriss der Logistik (1929), Rudolf Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in … Continue reading Carnap’s early metatheory: Scope and limits

Blanchette and her Critics
At the 2014 Pacific APA I organized a book symposium (aka, author-meets-critics) on Patricia Blanchette's Frege's Conception of Logic (OUP 2012). The contributions by Roy Cook, Marcus Rossberg, and Kai Wehmeier have just been published in the Journal for the History of Analytic Philosophy, together with Paddy's replies.
John Baldwin on Model Theory and the Philosophy of Mathematical Practice
John T. Baldwin (Illinois-Chicago) has a draft of his book Formalism without Foundationalism: Model Theory and the Philosophy of Mathematical Practice. On, FOM he wrote: Martin Davis posted a couple of days ago a message containing this sentence. "Gödel showed us that the wild infinite could not really be separated from the tame mathematical world where … Continue reading John Baldwin on Model Theory and the Philosophy of Mathematical Practice