Source
Dale Jacquette, ed., Philosophy of Logic. Handbook of the Philosophy of Science, vol. 5. (Elsevier, Amsterdam, 2006), 411-447.
Dale Jacquette, ed., Philosophy of Logic. Handbook of the Philosophy of Science, vol. 5. (Elsevier, Amsterdam, 2006), 411-447.
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 … Continue reading Teaching Logic from Historical Sources
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 … Continue reading Universal Logic in China
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 "Computability … Continue reading Applied Logic Job in Darmstadt
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 … Continue reading Canadian PhD programs in the 2006-08 PGR
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 … Continue reading Hilbert in Kyoto
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.