All LogBlog Posts

Catarina Dutilh Novaes' list of women in philosophical logic and philosophy of logic (see this earlier post) is now online. Updates over there, please!

For your amusement: a list of all countries with at least 5 members of the Association for Symbolic Logic, rank-ordered by number of logicians per 10,000,000 inhabitants. Bonus info: percentage of women logicians in these countries.

Catarina Dutilh Novaes sent the following important message to PHILOS-L last weekend, reposted here with her permission:

Dear all,

The Bertrand Russell Research Centre in 2010 will host a conference to celebrate the 100th anniversary of the publication of the first volume of Russell and Whitehead’s Principia Mathematica.

My website people changed something on the server and now this blog isn't displaying properly and my website is completely down. Sorry. If you want to get to my website, try www.ucalgary.ca/rzach/ instead of www.ucalgary.ca/~rzach/

Benson Mates, Professor emeritus of Philosophy at the University of California, died May 14. He was a logician, historian of logic, philosopher of language,epistemologist, Leibniz scholar, and author of the excellent logic textbook Elementary Logic.

In between thinking and lecturing about the epsilon-calculus, I'm in Paris for a few days: it's where all the Carnap action is right now. Heard wonderful talks by the likes of Steve Awodey, Dan Isaacson, Alan Richardson, Erich Reck, Delphine Chapuis-Schmitz, and Tom Uebel, unfortunately missed those by Michael Beaney, Juliet Floyd, and Rick Creath, and looking forward to some by André Carus, Gottfried Gabriel, Peter Hylton, Thomas Morman, and Pierre Wagner today.

Bob Meyer, emeritus professor of logic and philosophy at ANU, died last Thursday at the age of 77. He worked mainly on relevant logics and entailment, and is remembered not just for his work in logic, but also his wit and humor.

At least I hope it does. I'll see in a couple of days, when I get there. Scheduled to give a talk on proof interpretations at the Institute Vienna Circle on Thursday (5 pm, Institut für Zeitgeschichte, Uni Wien Campus, Hof 1, 2. Stock, links). Friday, I start teaching a short course on the epsilon calculus at the TU Wien Logic Group.