News and events
Future events
Under the auspices of the Chair of metaphysics and philosophy of knowledge, at the invitation of Professors Claudine Tiercelin and Jacques Bouveresse, Michael Detlefsen will deliver two lectures on Monday, October 10th and Tuesday, October 20th at 5 pm at the Collège de France (room 5) about: Axiomatization, Formalization and Completeness. The focus of these lectures will be various types of completeness conditions that have been proposed as conditions on either the adequacy or the excellence of mathematical theories and/or their formalizations. Different conceptions of axiomatization and different understandings of the function(s) of axiomatization and formalization will be considered. These distinctions will then be used as a basis for considering how such differences stand to affect the forms of completeness that may serve as compelling constraints or ideals concerning axiomatization and/or formalization. Finally, I will consider the bearing that Gödelian incompleteness and related limitative results may have on the satisfiability of such constraints and/or the attainability of such ideals.
Past events
The third Paris-Nancy PhilMath Workshop (P-NPMW 3) will take place in Nancy, September 27-28, 2011, at the Maison des Sciences de l'Homme Lorraine (91 avenue de la Libération, salle Internationale). Speakers include Jacques Dubucs, Luca Incurvati, Michiel van Lambalgen, Iris Loeb, Gianluigi Oliveri, Jonathan Payne, Giovanni Sambin, Ivanh Smadja. Schedule is available here.
The second Paris-Nancy PhilMath Workshop (P-NPMW 2) will take place in Paris, November 17-19, 2010, at the Ecole Normale supérieure (45 rue d'Ulm, salle Dussanne) and the University Paris Diderot (Paris 7 rive gauche, salle Klimt). This is the second in an annual series of workshops on the philosophy of mathematics organized by a team of scholars from Paris, Nancy and elsewhere in France. Speakers include Patricia Blanchette, Francesca Boccuni, Jacques Bouveresse (TBC), John Burgess, Gabrielle Crocco, Gilles Dowek, Mirja Hartimo, Simon Hewitt, Ignasi Jané, Osvaldo Ottaviani, Francesca Poggiolesi and Davide Rizza. Schedule is available here.
The Number Concept: Axiomatization, Cognition and Genesis, Nancy, November 3-5. A conference organized by Mchael Detlefsen, Gerhard Heinzmann and Sean Walsh, funded and supported by the IP project, the Poincaré Archives and the University Nancy 2. Program is available here.
The 8th IP Fellows' Seminar will meet March 24, 2010 from 09h30 to 17h25, at the Ecole Normale Supérieure, salle Favard in the new building of the ENS, 46 rue d'Ulm, 75005, Paris. Program is available here.
"Mathesis metaphysica quadam": Leibniz, between Mathematics and Philosophy. The Ideals of Proof (IP) Project (ANR) and REHSEIS (UMR 7219, SPHERE) are pleased to announce a workshop on interrelationships between mathematics and philosophy in the thought of Leibniz. The workshop will take place Monday, March 8 through Wednesday, March 10, 2010. All meetings the first two days will be in the salle Dusanne of the ENS (45 rue d'Ulm, Paris). On the third day, the meetings will be in the Klee room, which is room 454A of the Condorcet building, on the Grands Moulins campus of the U of Paris-Diderot. The talks and discussions are free and open to the public. All interested persons are warmly invited to attend. Schedule is available here.
The IP Fellows' Seminar will meet January 25, 2010 from 09h00 to 16h20, at the Ecole Normale Supérieure, salle Dussane, 45 rue d'Ulm, 75005, Paris. Program is available here.
The IP Fellows' Seminar will meet November 9, 2009 from 09h00 to 17h15, at the Ecole Normale Supérieure, salle Jules Ferry, 29 rue d'Ulm, 75005, Paris). Program is available here.
The first Paris-Nancy Philmath Workshop will take place in Nancy on October 21-22nd. This workshop is co-organized by Henri Poincaré Archives, IHPST and REHSEIS, and supported by the IP project. Presentation and program are available here.
The
IP Fellows'
Seminar will meet again September 8, 2009 from 10h30 to
17h15, at the Ecole Normale Supérieure (45, rue
d’Ulm, 75005, Paris),
Immeuble Rataud, salle INFO1. Program is available here.
On June 25th and 26th the IP project will jointly sponsor a workshop with the TransCoop Project of the Alexander von Humboldt Stiftung. The name of the conference is "The Imaginary, the Ideal and the Infinite in Mathematics." Speakers include Andrew Arana, Michael Detlefsen, Wilfrid Hodges, Paolo Mancosu, Felix Mühlhölzer, Karl-Georg Niebergall, Michael Potter, Matthias Schirn, Ivahn Smadja, Jamie Tappenden and Albert Visser. The program is available here.
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.
An IP Workshop with Juliet Floyd and Aki Kanamori will take place in Paris on May 26th. The program is available here.
A joint IP-REHSEIS workshop will take place in Paris, Wednesday, May 13th, in the REHSEIS building [map here]. The program is available here.
The fourth IP Fellows Seminar will take place in Nancy, Thursday, April 30th. The program is available here.
The Ideals of Proof chaire d'excellence research group is sponsoring a two day workshop April 15th and April 16th in Paris on The Fundamental Idea of Proof Theory. All sessions will be held in the salle Dussane of the Ecole Normale Supérieure (45 rue d'Ulm, Paris 75005). All interested students and scholars are encouraged to attend. There are limited funds to help defray expenses for students and scholars living outside Paris. For information concerning this and all other information, please contact Andrei Rodin at rodin@ens.fr. The program is available here.
A joint IP-REHSEIS workshop will take place in Paris, Thursday, March 5th, at 9h30 in the REHSEIS building [map here]. The program is available here.
The third IP Fellows Seminar will take place in Paris, Friday, February 27th, at 9h30 in salle 417B of the Halle aux Farines building on the Grands Moulins campus of University Paris-Diderot. The program is available here.
The
next IP Fellows
Seminar will take place
in Paris, Thursday, January
22nd,
Ecole Normale Supérieure, salle Dussane.
We are pleased to have
as a special guest Pr. Agustin Rayo (Philosophy, MIT) who will give the
final talk of the Seminar. The program is available here.
A workshop on
"Geometrical Thinking" will
take place in Nancy
(Université Nancy 2, Amphithéâtre
Maison des
Sciences de l'Homme Lorraine),
December
15th - 16th. Program
and abstracts are available on this
page.
The fall IP
Fellows Seminar will take
place in Nancy (University Nancy 2,
Campus Lettres et Sciences Humaines, room G-04), October 29th.
The program is as
follows: Session I (10h30-12h00): Paul McCallion (IP Fellow), "Ideality and the integers"
-
Session II (13h30-15h00): Fabien Schang (IP Fellow), "An abstract object in
logic: logical
value, and its philosophical import"
- Session III
(15h15--16h45): John Mumma (IP Fellow), "The real and the ideal in
complex
projective space".
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.
From June
9th--13th there will be an
international workshop on 'Mathematical
Understanding'
organized by Pr. Ivahn
Smadja
(University Paris-Diderot and REHSEIS) and jointly sponsored by the
Département Histoire et Philosophie des Sciences -
Université Denis Diderot, REHSEIS and the IP project. It
will be
held in the Les Grands Moulins, Salle du Campanile. Accès C
- 8e
étage - 10 Esplanade des Grands Moulins - Paris 13
ème
ardt. For more information see: http://www.histnet.cnrs.fr/research/sfhst/spip.php?article217
Tim McCarthy
(University of
Illinois at Urbana-Champaign, Departement of Philosophy) will visit the
project re.
Gödel's incompleteness theorem and their significance for our
understanding of proof, and will lecture in Nancy on related
topics. Title: "Gödel's
'Third'
Incompleteness Theorem". Time
and place: Nancy, June 6th at 4
pm,
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 26th to 27th, workshop 'Proof, Justification and Learning') and Paris (May 29th, time and place t.b.a.).
Two workshops
in May: the first one will be
devoted to 'Visual
Reasoning in Mathematics and the A Priori'
(May, 5-6); the second one
will be devoted to 'Proof,
Justification and Learning'
(May, 26-27). [read
more]
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".
Third meeting of the IP research seminar in Nancy, March 7th, at Université Nancy 2, Pôle Lorrain de Gestion, room 020, 16:30. [read more]
Second meeting of the IP research seminar in Nancy, February 26th, at Université Nancy 2, Campus Lettres et Sciences Humaines, room Jules Vuillemin, J-303, 16:30. [read more]
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.
The first meeting of the IP research seminar in Nancy will take place on February 1st, at Université Nancy 2, Campus Lettres et Sciences Humaines, room A-104. [read more]
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, 17:00, 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).
The first meeting of the Seminar 'Systematicity in Philosophy and Mathematics' organized by Gerhard Heinzmann at the Department of Philosophy of Université Nancy 2, will take place on January 29th. Regular time and place: Tuesday, 9:00 - 13:00, Campus Lettres et Sciences Humaines, room A-256 bis. A special session with Michael Detlefsen will be devoted to the question of formalism on May 5th and 6th.
The
first meeting
of the
Philosophy of
Mathematics
Seminar organized
by Ivahn Smadja at the Department of History and Philosophy of Science
of Université Paris Diderot - Paris 7, will take place on January 11th.
Detailed informations about the seminar are available here.