Paris - 2010
Second Paris-Nancy PhilMath Workshop
Lieu : Paris, ENS, Salle Dussane & Campus Paris Rive Gauche, Salle Klimt
Date : 17-19 novembre 2010
Organisation : Marco Panza, Peggy Cardon, Michael Detlefsen, Andrei Rodin, Jean-Jacques Szczeciniarz.
Programme
Mercredi 17 novembre 2010
10h-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
Buffet at the ENS
14h15-15h30 John Burgess, Structure and rigor
15h45-17h Francesca Boccuni, Plural logicism
Dîner
Jeudi 18 novembre 2010
09h-10h15 Gabriella Crocco, Gödel and the problem of descriptive phrases
10h30-11h45 Mirja Hartimo, Husserl and contemporary trends in philosophy of mathematics
12h-13h15 Osvaldo Ottaviani, "Forma dat esse rei". Transcendental approaches to philosophy of mathematics
Buffet at the ENS
14h15-15h45 Patricia Blanchette, Metatheory in Frege
16h-17h Simon Hewitt, Faulting and Fixing Frege
Vendredi 19 novembre 2010
09h-10h15 Jacques Bouveresse, TBC
10h30-11h45 Davide Rizza, Applied Mathematics without mappings
12h-13h15 Ignasi Jané, An attempt at a faithful interpretation of set theory
Nancy - 2009
First Paris-Nancy PhilMath Workshop
Lieu : Nancy, MSH, troisième étage, salle internationale
Date : 21-22 octobre 2009
Organisation : Gerhard Heinzmann, Manuel Rebuschi, Olivier Schlaudt, Frédérick Tremblay, Joseph Vidal-Rosset.
Programme
Mercredi 21 octobre 2009
09h-10h30 Hourya Sinaceur (IHPST, CNRS/Paris 1) Objets mathématiques
10h45-12h15 Sean Walsh (IP, Nancy 2/Paris VII) The justification of mathematical induction
Déjeuner
14h15-15h45 Stewart Shapiro (Dept. of Philosophy, The Ohio State University & University of St Andrews) Structures and logics: a case for relativism
15h45-17h15 Claudio Ternullo (University of Liverpool), Why did Cantor believe in the truth of the Continuum Hypothesis?
17h30-19h Paola Cantu (IP, Nancy 2/Paris VII), On real and ideal elements in mathematics
Dîner
Jeudi 22 octobre 2009
08h30-10h Volker Halbach (Faculty of Philosophy, University of Oxford), Coputational structuralism
10h05-11h35 Annika Kanckos (Dept. of Philosophy, University of Helsinki), Hilbert’s second problem: a possible and necessary consistency proof
11h45-13h15 Michael Potter (Faculty of Philosophy & Fitzwilliam College, University of Cambridge), More on replacement
Déjeuner
14h15-15h45 Harvey Friedman (Dept. Of Mathematics, The Ohio State University), Conceptus Calculus
16h-17h Davide Rizza (University of East Anglia), Discernibility by Symmetries
