Category: Uncategorized

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

The Department of Philosophy, University of Auckland, seeks to appoint a Lecturer in Logic. (Vacancy number: A248-07O. The position is a continuing one.) The successful applicant will be expected to undertake research, and to teach at introductory undergraduate, advanced undergraduate and postgraduate levels, and to supervise research students for the MA and PhD degrees. Applicants…

At LanguageLog.

Another one of the SEP entries commissioned by Paolo and me: The Early Development of Set Theory, by José Ferreirós, author of Labyrinth of Thought.

Ok, by popular demand, here’s a list of the books in the new banner image: Ramsey, The Foundations of MathematicsHilbert and Bernays, Grundlagen der Mathematik I & II (2nd ed)Carnap, Logical Syntax of LanguageKneale and Kneale, The Development of LogicTarski, Einführung in die mathematische LogikRussell, Introduction to Mathematical PhilosophyRussell, Logic and KnowledgeBoolos, Logic, Logic, and…

Ok, it looks like the move worked. Please let me know if you notice anything broken. And, if you’re reading this on a feed reader, check out the new site design for a second.