Category: Uncategorized

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) ∨…

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…

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…