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 some (I think) cool examples of logic in action in philosophy, especially a really good illustration of quantifier alternation by Mary Astell (in lecture 15). It’s all CC0 licensed, so you can use it completely freely in your own lectures if you wish. PDFs are here, you can make print-friendly versions of each by changing the included header in each file. I’ve been meaning to clean them up, but I won’t get to teach Logic 1 until a year from now at the earliest. So provided as-is, use with caution, etc.
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:
- Formalization of specific mathematical areas is a tool for studying mathematics itself as well as issues in the philosophy of mathematics (e.g. axiomatization, purity, categoricity and completeness).
- The systematic comparison of local formalizations of distinct areas is a tool for organizing and doing mathematics and the analysis of mathematical practice.
- The choice of vocabulary and logic appropriate to the particular topic are central to the success of a formalization. The logic which has been most important for the study of mathematical practice is first order logic
Contact him directly if you would like to see a draft.