Mindblown: a blog about philosophy.
-
Women Speakers at ASL Meetings
Johanna Franklin has taken on the thankless task of tallying and analyzing the number (and proportion) of female invited speakers at meetings organized by the Association for Symbolic Logic. Her posts are up at the Women in Logic blog: Gender ratios of speakers at ASL meetings ASL Annual Meetings, 1989-2016 (The ASL Membership committee received…
-
Interview with Hao Wang and Robin Gandy
In 1991, I videotaped talks at the Kurt Gödel Colloquium in Kirchberg (it was supposed to be held jointly with the Wittgenstein Symposium, that got cancelled). I also videotaped a conversation with Hao Wang and Robin Gandy, students and friends, respectively, of Gödel and Turing. I can’t for the life of me remember who the…
-
Fall 2016 edition of Sets, Logic, Computation
The Fall 2016 edition of the OLP remix Sets, Logic, Computation is ready. As before, it includes the OLP part on sets, relations, and functions; the part on first-order logic (with natural deduction chosen as the proof system); and the part on Turing computability including the unsolvability of the halting and decision problems. The methods…
-
Line Art Portraits of Logicians
You’ve probably seen some of the line art portraits of logicians we’ve commissioned. They were done by Calgary illustrator and graphic designer Matthew Leadbeater. We’re pleased to release them all now under a Creative Commons BY-NC license: anyone is free to use them in their own work, to create derivative works from them, and to…
-
ASL Spring Meeting at the APA Pacific, Seattle, April 2017
The 2017 Spring Meeting of the Association for Symbolic Logic will be held jointly with the Annual Meeting of the Pacific Division of the American Philosophical Association, April 12-15, 2017, in Seattle. The members of the Program Committee are Wesley Holliday, Audrey Yap, and Richard Zach (Chair). There will be three Special Sessions: Modality and…
-
Student Satisfaction Survey Results
In the Winter term 2016, I taught the University of Calgary’s second logic course from a textbook remixed from the Open Logic Project. Traditionally, Logic II has used Boolos, Burgess & Jeffrey’s Computability and Logic, and it was taught in Fall 2015 using that book as the required text by my colleague Ali Kazmi, and…
-
A Few Photos More
I added a few more logician’s photos: Carnap, Herbrand, Kalmar, Lewis, Kleene, Montague, Quine, Wang. See previous post on how to download/integrate them into your OLP directory.
-
More Photos of Logicians
As previously mentioned, the Open Logic Project now has a separate repository for photos of logicians to illustrate your OLP-derived materials. They are automatically included in the biographies that live in content/history. I’ve just uploaded a whole bunch of photos that don’t have associated biographies (yet). Some of them are not well-known, even. For the…
-
Quanta Magazine Covers Reverse Mathematics
An article just published in Quanta Magazine by Natalie Wolchover covers a recent result from reverse mathematics. Keita Yokoyama and Ludovic Patey showed that Ramsey’s theorem for pairs is finitistically reducible, i.e., it is $latex \Pi_3$ conservative over $latex I\Sigma_1$. The article explains Ramsey’s theorem, but also Hilbert’s program and its more recent relativizations, i.e.,…
-
CfA: Foundations of Mathematical Structuralism
12-14 October 2016 Munich Center for Mathematical Philosophy, LMU Munich In the course of the last century, different general frameworks for the foundations of mathematics have been investigated. The orthodox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been other developments that call into question the whole method…
Got any book recommendations?