Category: Uncategorized

Michael Strevens‘ course notes on Bayesian Confirmation Theory. (HT: Jason Stanley)

Nice of LtU to link to a classic paper that everyone should (re)read: Hoare’s Axiomatic basis for computer programming.

(Organized by the Kurt Gödel Society with support from the John Templeton Foundation) The Kurt Gödel Society is proud to announce the commencement of the research fellowship prize program in honor and celebration of Kurt Gödel’s 100th birthday. The research fellowship prize program sponsored by the John Templeton Foundation will offer: two Ph.D. (pre-doctoral) fellowships…

This is an interesting project: teach discrete mathematics not from a textbook, but using the historical papers that first dealt with the topics taught. A bunch of mathematicians and computer scientists at New Mexico State are doing that, and they’re asking for your help: try it out in your courses, write them letters of support…

2nd World Congress and School on Universal LogicCall for papersXi’an, China, August 16-22, 2007 This event is the second in a series of events whose objective is to gather logicians from all orientations (philosophy, mathematics, computer science, linguistics, artificial intelligence etc) – people not focusing only on some specific systems of logic or some particular…

The Department of Mathematics of the Darmstadt University of Technology (TUD) invites applications for a Juniorprofessorship in Mathematics – Applied Logic (W1 B BesG) to be filled 1.4.2007. Applicants must be qualified in Applied Logic. Applications from candidates working in “Mathematical Proof Theory” (e.g. proof mining, proofs as programs, reverse mathematics, constructive formal systems) and/or…

table.lines td { vertical-align: top; border: 1px dashed gray; empty-cells: show; padding: 2pxWith the kind permission of Brian Leiter, here’s a breakout of the Canadian philosophy departments by specialty according to the Philosophical Gourmet Report 2006-08. The same programs are ranked in 2006-08 as in the 2004-06 edition. This year, only the rank ordering of…

I just spent a wonderful week in Kyoto at the invitation of Susumu Hayashi. Susumu’s been working on Hilbert’s notebooks, and he, Mariko Yasugi, Wilfried Sieg, Koji Nagatogawa, and I have had several days of interesting discussions about them. The last two days there was a workshop on Hilbert and computability, and it was a…

Julian Henkin sent me the link to Berkeley’s obituary of Leon Henkin.

I just heard that Leon Henkin passed away earlier this week. He was a terrific logician and a terrific teacher. He will be missed.