A. J. Ayer was born 100 years ago today.

Sad news: With sadness we report the death on October 20 of Herbert Bruce Enderton, who had been battling leukemia for several months. He was Professor Emeritus of Mathematics at UCLA and a former member of the faculties of Mathematics and of Logic and the Methodology of Science at Berkeley. Widely known for his textbooks … Continue reading Herbert B. Enderton, 1936-2010

If you're interested or involved in teaching logic, please consider subitting something to this conference. And if you don't have anything to submit, keep it in mind for your summer travel plans next year. Spain in June! Third International Congress on Tools for Teaching Logic June 1-4 2011, Salamanca, Spain The congress will focus on … Continue reading CfP: Tools for Teaching Logic 2011

Commenting works again.... There were a lot (and by a lot, I mean thousands!) of spam comments over the summer, which led me to first turn off commenting, and then install a spam filter, which worked so well that it would not accept any comments at all. If fallen back to a simple Captcha. Hope … Continue reading Commenting Works Again!

I'm supposed to choose a text for my philosophy of language course next term. So far I've always used Martinich, but I'm getting bored with it.  Also, of the available options, it seems to be the most expensive one.  I've looked at Ludlow's collection, but that's maybe a bit too heavy (both literally and figuratively).  … Continue reading Bleg: Philosophy of Language Anthologies

The Kurt Gödel Society is proud to announce the commencement of the second round of the Kurt Gödel Research Prize Fellowships Program. The research fellowship prize program is sponsored by the John Templeton Foundation and will offer: two Ph.D. (pre-doctoral) fellowships of EUR 100,000 two post-doctoral fellowships of EUR 100,000 and one unrestricted fellowship of … Continue reading Kurt Gödel Research Prize Fellowships

The Carnegie Mellon University Department of Philosophy invites applications for the Herbert Simon Fellowship in Scientific Philosophy. We are seeking applications from scholars working in logic or philosophy of mathematics. Any of the following areas are particularly welcome: proof theory, category theory, formal verification, automated reasoning, or history or philosophy of mathematics. The Fellowship is … Continue reading Postdoc at CMU