17-19 November 2010, Second Paris-Nancy PhilMath Workshop (P-NPMW 2), Paris, France

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. The three-day meeting will feature both invited and contributed talks.

The invited speakers, who have confirmed their participation, are:

• Patricia Blanchette (Notre Dame University)
• Jacques Bouveresse (Collège de France, Paris)
• John Burgess (Princeton University)
• Gabrielle Crocco (University of Provence, Aix-Marseille)
• Gilles Dowek (Ecole Polytechnique, Paris)
• Ignasi Jané (University of Barcelona)

Programme and schedule

Wednesday, November 17 [ENS, 45 rue d=92Ulm, salle Dussane]
10h00-11h15	Gilles Dowek, What is a theory ?
11h30-12h45	Francesca Poggiolesi, On the importance of being analytic. The paradigmatic case of the logic of proofs
14h15-15h30	John Burgess, Structure and rigor
15h45-17h00	Francesca Boccuni, Plural logicism approaches to philosophy of mathematics
Thursday, November 18 [ENS, 45 rue d=92Ulm, salle Dussane]
9h00-10h15	Gabriella Crocco, G=F6del and the problem of descriptive phrases
10h30-11h45	Mirja Hartimo, Husserl and contemporary trends in philosophy of mathematics
12h00-13h15	Osvaldo Ottaviani, "Forma dat esse rei". Transcendental approaches to philosophy of mathematics
14h15-15h45	Patricia Blanchette, Metatheory in Frege
16h00-17h00	Simon Hewitt, Faulting and Fixing Frege
Friday, November 19 [Paris 7 Rive Gauche, salle Klimt]
9h00-10h15	Jacques Bouveresse, TBC
10h30-11h45	Davide Rizza, Applied Mathematics without mappings
12h00-13h15	Ignasi Jan=E9, An attempt at a faithful interpretation of set theory

Steering Committee

M. van Atten, D. Bonnay, G. Crocco, J. Dubucs, S. Gandon, G. Heinzmann, P. Mancosu, S. Shapiro, I. Smadja.

Program Committee

A. Arana, M. Detlefsen, B. Halimi, P. Nabonnand, M. Panza, J.-J. Szczeciniarz, S. Walsh

Local Organizing Committee

M. Panza, P. Cardon, M. Detlefsen, A. Rodin, J.-J. Szczeciniarz.

Schedule

Call for papers: June 10st
Deadline for submission of papers: August 31st
Notification of acceptance: September 30st

Support:

Chaire d’excellence ANR (senior) Michael Detlefsen (http://www.univ-nancy2.fr/poincare/idealsofproof/).