Category: Uncategorized

Call for PapersPM@100: Logic from 1910 to 1927 21 – 24 May, 2010Bertrand Russell Research CentreMcMaster UniversityHamilton, OntarioCanada 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. The publication in 1910 of the first of…

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

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. Dave Chalmers and Greg Restall remind us of the paper “God exists!”, in…

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…

The May 2009 issue of the Proceedings and Addresses of the APA contain an interesting study conducted by the Committee on the Status of Women. It’s online on the APA website: CSW Jobs for Philosophers Employment Study

SSHRC has posted the list of funded projects from the most recent Standard Research Grants competition. These grants are for three years. Last year’s results are here. (Check the discussion in comments for info on what these grants are for, comparison with NEH grants, etc. UPDATE: Actually, the interesting discussion followed the 2006 list.) This…

[On March 27, 2009, Stanford/CSLI hosted a workshop on OpenProof (aka, the software behind Barwise and Etchemendy’s Language, Proof, and Logic textbook). Alexei Angelides was there and provided the following report for LogBlog.] On March 27th, CSLI and the OpenProof Project hosted a full day of presentation and discussion commemorating the, so to speak, tenth…