Justification, Proof and Learning (May 26-27)
2008年05月25日 22:01
Please be informed that the Second Workshop of the Research
Program “Ideals of Proof” will take place on May 26-27 in the University
of Nancy (Rooms G04 and A104)
It will be devoted to the following topic: “PROOF, JUSTIFICATION AND
LEARNING”. This workshop is organized within the Chaire d’Excellence
Senior (ANR) ‘Ideals of Proof’, directed by Michael DETLEFSEN.
Participants:
Sergei Artemov (Computer Science, Mathematics and Philosophy, Graduate
Center, CUNY; Mathematics, Moscow State University)
Denis Bonnay (Département d’Etudes Cognitives, Ecole Normale Supérieure)
Kevin Kelly (Philosophy, Carnegie Mellon University)
Rohit Parikh (Brooklyn College and CUNY Graduate Center)
Manuel Rebuschi (Laboratoire d’Histoire des Sciences et de Philosophie,
Archives Henri Poincaré, Université Nancy 2)
Tero Tulenheimo (Academy of Finland)
Schedule:
Monday, May 26
Session 1 (10am-12pm)
Sergei Artemov: “Justification Logic”
Session 2 (2pm-4pm)
Denis Bonnay: “How formal is a formal proof?”
Session 3 (4:15pm-6:15pm)
Kevin Kelly: “Why relations of ideas are matters of fact: a unified theory
of theoretical unification in formal and empirical reasoning”
Tuesday, May 27
Session 4 (10am-12pm)
Rohit Parikh: “Epistemology, pure and applied”
Session 5 (2pm-4pm)
Manuel Rebuschi & Tero Tulenheimo: “IF Logic and the epistemology of
mathematical objects”
For a map of the site, please follow this link:
http://www.univ-nancy2.fr/presentation/plans/lettres.html?depuis_id=553
For more information:
http://www.univ-nancy2.fr/poincare/idealsofproof/index.html
Contact : Fabien Schang (fabien.schang@univ-nancy2.fr)
Sincerely yours,
Fabien SCHANG
Post-doctorant
Assistant technique Chaire d’excellence “Ideals of Proof”
Site web: http://www.univ-nancy2.fr/poincare/idealsofproof/
LHSP Henri Poincaré (UMR 7117)
Université Nancy 2
23 Bd Albert 1er
54015 NANCY
Tél: (+33) 3 83 96 70 83
