It's Alan Turing's centenary, and we've been celebrating it at the University of Calgary with a series of lectures.  This term, we've had a talk on the decision problem, one (by Mike Williams) on Turing and early electronic comupters, and one coming up on March 27, by John Ferris, on Alan Turing and codebreaking in … Continue reading Alan Turing Year in Calgary

Been waiting a while for this to become official, which it now is: we're hiring. In case you don't know, the CRC program is Canada's effort to attract outstanding foreigntalent to Canada. So there is no preference for Canadians, you get atop-up to your salary, and the teaching load is 1-1.  Tier I Canada Research … Continue reading Senior Position in Logic and Philosophy of Science at Calgary!

Ruth Barcan Marcus died February 19. She was a towering figure in philosophical logic in the latter half of the 20th century.  She initiated the study of quantified modal logic in her 1946 JSL paper, "A functional calculus of first order based on strict implication".  Facing strong opposition from Quine, who thought quantified modal logic … Continue reading Ruth Barcan Marcus, 1921-2012