Category: Uncategorized
-
I started making my textbook for Logic II next term, in 7 easy steps. Read about it at the Open Logic Project.
-
Grad Conference on Logic & Language
Our awesome students are putting on a graduate student conference next May in Calgary! It’s right before Congress2015, i.e., the big congress of Canadian humanities & social sciences societies, which includes the Canadian Philosophical Association, the Canadian Society for the History & Philosophy of Mathematics, and the Canadian Society for the History & Philosophy of…
-
Rózsa Péter, Pioneer of Computability Theory
Rózsa Péter was one of the pioneers of recursive function theory. I wrote a short post about her for Ada Lovelace Day in 2010. More recently, I’ve found this nice reminiscence/bio by Béla Andrásfai, a Hungarian graph theorist and Péter’s adoptive son. I managed to track down one of his daughters, Eszter, who was so…
-
Herbrand Photograph by Natascha Artin Brunswick
I came across this long-lost photograph of Jacques Herbrand in a paper by Marcel Guillaume, “La logique mathématique en France entre les deux guerres mondiales : Quelques repères,” Revue d’histoire des sciences 1/2009 (Tome 62) , p. 177-219. It turns out that the photo was taken by Natascha Artin Brunswick in 1931, when Herbrand visited Hamburg. …
-
Open Philosophy Textbooks
Since it’s open access week, and since I’ve been thinking about Open Educational Resources a fair bit lately, I thought I’d post briefly about the state of OER in philosophy. First, what’s an OER? It’s any kind of material that you can use in teaching and learning that is openly available. Examples are syllabi, handouts,…
-
Book Symposium on Greg Frost-Arnold’s “Carnap, Tarski, and Quine at Harvard” in Metascience
The book symposium I organized for this year’s Pacific APA on Greg Frost-Arnold’s Carnap, Tarski, and Quine at Harvard: Conversations of Logic, Mathematics, and Science (Chicago: Open Court, 2013) is coming out in the journal Metascience. The papers are now online: Rick Creath, Understandability Gary Ebbs, Quine’s “predilection” for finitism Greg Lavers, Carnap’s surprising views…
-
Antonelli on First-Order Quantifiers
Aldo Antonelli unexpectedly died two days ago, and I can’t write about that without crying yet. Meanwhile, I recommend this beautiful paper to you: On the General Interpretation of First-Order Quantifiers, published in the ASL journal he founded, the Review of Symbolic Logic.
-
Carnap’s Early Metatheory
I know you’ve been waiting for the definitive assessment of what Carnap was up to in his unpublished Untersuchungen zur Allgemeinen Axiomatik from the late 1920s. Georg Schiemer, Erich Reck, and I wrote a paper about it. I’ll leave it to you to judge whether this paper is the definitive assessment you’ve been waiting for. …
-
Intro Logic Lecture Slides
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…
-
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.