John Carpenter's Dark Star is a masterpiece! [youtube=http://www.youtube.com/watch?v=qjGRySVyTDk]

New and improved SEP entry on dynamic logic by Philippe Balbiani is now up.

Skolemization is the familiar procedure by which you replace strong quantifiers in a formula by function symbols in such a way that A is provable iff AS is provable. This doesn't work in intuitionistic logic: the "only if" works, but the "if" doesn't. E.g., ¬¬(A(c) ∨ ¬ A(c)) is provable intuitionistically, but not ¬¬(∀x)(A(x) ∨ … Continue reading Skolemization in Intuitionistic Logic

I'm at the Moscow-Vienna Workshop on Logic and Computation. We're on the second day. Yesterday was started off with a way-over-my-head talk by Sergei Adian on his and Novikov's solution to the Burnside problem. Today, Michel Parigot just gave a very interesting talk on a constructive, but classical proof system. His aim is to develop … Continue reading Moscow-Vienna Workshop

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,It … Continue reading The Review of Symbolic Logic

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 … Continue reading Interpolations

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. … Continue reading Videos of Lectures

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 … Continue reading Women in (Philosophical) Logic

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, … Continue reading Advice for (not just) mathematicians

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 … Continue reading Logic job at Auckland, NZ

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 LogicPeano, … Continue reading Bookshelf

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.