Mindblown: a blog about philosophy.

Please read the following message from the President of the Association for Symbolic Logic. The terms of office of the editors begin July 1, by then information on how to submit papers should be online at the RSL webpage (not yet functional–but the submission email is rsl@uci.edu, I can tell you that much). Dear Colleagues,…

Now they’re doing philolsphers. HT: LanguageLog

Since it’s Caturday, I thought I’d make a proof theory lolcat.

As Gary Hardcastle and Alan Richardson reminded me, today is both Rudolf Carnap’s and Bertrand Russell’s birthday.

(xkcd has funny ALT tags on their panels; go to the site to see them.)

A conference in honor of William Craig Craig’s interpolation theorem is part of the standard logic curriculum. This and other results of Craig’s have had a profound significance in logic, philosophy of science, philosophy of logic, and computer science. Six internationally distinguished speakers will reflect on the importance and impact of Craig’s work: Solomon Feferman…

Yarden Katz writes per email: There’s a new site out — videolectures.net — where anyone can post videos of academic lectures. Right now it’s dominated by (very good) machine learning and statistics lectures, but there’s nothing on logic or philosophy. I was looking online for videos of logic-related lectures to add, but found virtually none.…

Recent posts on the status of women in philosophy made me want to know what the situation is in logic. In philosophical logic it’s not good. I have a hunch that it’s better in logic generally, but haven’t had time to check this. The data I used is the number of publications in the Journal…

Via LtU, David Turner on Church’s Thesis, the lambda calculus, and the development of functional programming languages [PDF].

As Shawn said, much of Terence Tao’s advice applies not just to mathematician, but also to philosophers (especially the “be considerate to your audience” and “talks are not the same as papers” parts, although disciplinary culture in philosophy seems still to deny at least the latter). I sometimes wish more people would use the wastebasket,…