Mindblown: a blog about philosophy.

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…

Jake Chandler at Leuven’s Centre for Logic and Analytic Philosophy, and Jonah Schupbach, currently at Tilburg’s Center for Logic and Philosophy of Science, have started a new group blog, Choice & Inference: Welcome to the new group blog, Choice & Inference! This blog provides a platform for dialogue and news within the fields of formal…

There are a number of foundational schemes out there. ZFC set theory is perhaps the most widely known, but of course you can also develop math in type theory. And you can also do it in category theory. So what’s the difference? Steve Awodey has an answer in a preprint of a paper, now posted…

This call for applications for Elsevier Foundation Travel Grants for junior female researchers for the CiE 2009 conference just came over the wire: We are offering up to five travel grants for junior female researchers to come to CiE 2009. These grants cover the registration fee (at the early rate) plus a travel reimbursement of…

My colleague Marc Ereshefsky brought me back a book of sticky notes from LA: Logical Positivi-its. There are three: a defintional double arrow, one with a picture of Otto Neurath, and one with a picture of Wittgenstein with three check boxes: tautology, meaningless, or Schweigen (be silent).