Unfortunately, I didn't think of the title myself. It's the title of one of the workshops at the Calgary Folk Festival, one where a bunch of artists play together, usually with an emphasis on the words (I haven't been, so I really don't know what they're like, but a few years ago they had Jane … Continue reading Weapons of Fast Deduction

Can you help the ASL Committee on Logic Education? Please take this survey. Dear Members of the ASL,One of the responsibilities of the ASL Education Committee is to help its membership tackle pedagogical difficulties in teaching logic courses. In order to properly do this, we need to fully understand the goals such courses are intended … Continue reading Logic Course Survey

Peter and Ole were faster than me, so I'll just link to their posts:Peter Smith on Mathematical Logic by Chiswell and Hodges and The Mathematics of Logic by Kaye.Ole Thomassen Hjortland on Logic's Lost Genius: The Life of Gerhardt Gentzen by Mentzler-Trott.

Below the funding statistics for grants in the Philosophy Committee for SSHRC Standard Research Grants. The explanation for why so few grants were awarded this year is pretty clear: rather than cut grants across the board, SSHRC decided to respond to the 23% cut in overall funding for the program over last year by making … Continue reading SSHRC Funding Stats

The Social Sciences and Humanities Research Council of Canada has posted a list of new Standard Research Grants for 2007. (Last year's projects were discussed here.) This year's stats: 88 applications (2006: 85, 2005: 96, 2004: 92), 26 grants, for a success rate of 29% (2006: 37%, 2005: 38%, 2004: 48%). This year, new scholars … Continue reading New Canadian Research Grants to Philosophers

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