2017 Nancy  /  2016 Marseille   /  2015 Paris  /  2014 Toulouse   /   2013 Clermont-Ferrand

2012 Paris   / 2011 Nancy   /  2010 Paris   / 2009 Nancy



Paris - 2012

Lieu : Paris, IHPST & Université Paris Diderot, Bâtiment Condorcet

Date : 4-6 Octobre 2012

Organisation : Mark van Atten (cfp), Brice Halimi, Denis Bonnay, Fabrice Pataut, Marco Panza, Ivahn Smadja, Jean-Jacques Szczeciniarz


Jeudi 4 octobre 2012

9h30-11h Hannes Leitgeb (Munich), Semantic vs. Set-Theoretic Paradoxes
11h15-12h45 Justin Clarke-Doane (Melburne), What is the Benacerraf Problem?
14h15-15h45 Gerhard Heinzmann (Nancy), Does the French Connection (Poincaré, Lautman) provide some insights facing the thesis that meta-mathematics is an exception to the slogan that mathematics concerns structures?
16h-17h30 Casper Storm Hansen (Aberdeen), Brouwer's Free Choice Sequences
17h45-19h15 Gabriele Usberti (Siena), Intuitionism, the Paradox of Knowability and Empirical Negation

Vendredi 5 octobre 2012

09h30-11h Sébastien Gandon (Clermont-Ferrand), Rota on Combinatorics and Philosophy
11h15-12h45 Marianna Antonutti (Bristol), Incompleteness and Absolute Provability
14h15-15h45 Edoardo Rivello (Pisa), Revision without ordinals
16h-17h30 Jean-Pierre Marquis (Montreal), Canonical Maps and Category Theory – Or why categorical foundations are necessary
17h45-19h15 Olivia Caramello (Cambridge), The unification of mathematics via topos theory

Samedi 6 octobre 2012

09h45-11h15 Emmylou Haffner (Paris and Notre Dame), Dedekind on the generality of arithmetic
11h30-13h Mic Detlefsen (Notre Dame), Rigor and the Nature of Reasoning



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.


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

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.


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
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

 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
14h15-15h45 Harvey Friedman (Dept. Of Mathematics, The Ohio State University), Conceptus Calculus
16h-17h Davide Rizza (University of East Anglia), Discernibility by Symmetries

Personnes connectées : 1