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
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
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 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