Lectures
Michael Detlefsen will give a series of lectures entitled "Proof, Creation and Freedom in Mathematics" at the Collège de France during the month of June. The schedule is as follows: June 3, 17h00 - June 10, 17h00 - June 17, 17h00 - June 24, 10h00. All lectures will be held in salle 2, Collège de France, 11 Place Marcelin Berthelot, 75005 Paris. Note: Please note the different time for the last lecture, 10h00 rather than 17h00.
Michael Detlefsen will give a series of four lectures during October at the École normale supérieure (ENS), 45, rue d’Ulm, Paris. The title of the lectures is: "In Search of Formalism". Dates and places are as follows: Lecture I: Friday, October 10, 2008, 16h00-18h00, Salle Cavaillès - Lecture II: Friday, October 17, 2008, 16h00-18h00, Salle Cavaillès - Lecture III: Friday, October 24, 2008, 16h00-18h00, Salle Cavaillès - Lecture IV: Friday, October 31, 16h00-18h00, Salle des Actes. (see the lecture notes)
Timothy
McCarthy (Department of Philosophy,
University of Illinois, Urbana/Champaign) will lecture in Nancy on June 6th at 4 pm
for the 5th IP
seminar. Title: "Gödel's 'Third' Incompleteness Theorem".
Place:
Pôle Lorrain de Gestion (rue Michel Ney), room 020 (see
the
map).
Sergei Artemov (Department of Computer Science, Department of Mathematics & Department of Philosophy, CUNY Graduate Center) will lecture on 'Justification logic' in May in Nancy (May 25th to 26th, workshop 'Proof, Justification and Learning') and Paris (May 29th, time and place t.b.a.).
Marcus Giaquinto (University College, London, Department of Philosophy) will visit the project team from May 4th to May 8th, and lecture in Nancy (May 5th to 6th, workshop 'Visual Reasoning in Mathematics and the A Priori') and Paris (May 7th, Riemann seminar, Ecole Normale Supérieure, 45, rue d'Ulm, salle Dussane, 17H00:19H00). Title: "Synthetic a priori knowledge in geometry: recovery of a Kantian Insight".
Warren Goldfarb (Department of Philosophy, Harvard University) will give a lecture in Nancy on February 14th, 13:00, Pôle Lorrain de Gestion (rue Michel Ney), room 020. Title: "Jacques Herbrand and the development of proof theory".
February 8th: Dag Prawitz (Department of Theoretical Philosophy, Stockholm University). Title: "The Validity of Inference." Place: Université Paris 7, Bâtiment « Halle aux Farines », Hall AB, 2nd floor, Amphi 2A - 2, rue Marguerite Duras, Paris 13ème.
Michael Detlefsen will give two inaugural lectures for the IP project at Université Nancy 2 and Université Paris Diderot - Paris 7. The Nancy lecture will take place on January 30th, 17h00, Campus Lettres et Sciences Humaines, room G 04 (flyer available here). An inaugural symposium on Proof and Inference will take place on February 8th at Université Paris 7, Bâtiment « Halle aux Farines », Hall AB, 2nd floor, Amphi 2A - 2, rue Marguerite Duras, Paris 13ème. It will begin at 14H00, and will feature a lecture by Dag Prawitz on "The Validity of Inference" and a lecture by Michael Detlefsen on "Varieties of Completeness" (flyer available here).
