[ATHENA] Michael Detlefsen aux Grandes Conférences des Archives Henri Poincaré – Mercredi 21 juin 2017

["Rollet Laurent" (laurent.rollet AT univ-lorraine.fr) <athena AT services.cnrs.fr>]

Bonjour,

La dixième Grande Conférence des Archives Henri Poincaré se déroulera le mercredi 21 juin prochain, de 17h00 à 19h00, dans la salle internationale de la MSH Lorraine (91 Avenue de la Libération, Nancy, troisième étage, salle 324).
 
Nous aurons le plaisir d’accueillir Michael Detlefsen (Université Notre-Dame, département de philosophie). Son intervention aura pour titre : « Formalism: Consistency, Rigor and the Observation of Reasoning ».

 

En voici le résumé :

 

A central element of modern formalism is its promotion of consistency as a criterion of acceptance for a body of reasoning. What is commonly called the consistency problem for a body of reasoning is the problem of establishing, by appropriate means, its consistency. To solve (and even to formulate) such a problem, requires identification of the « body of reasoning whose consistency is in question ». This raises the question of how bodies of reasoning are to be identified. This is the question that will chiefly concern me in this talk.

 

Veuillez noter qu'en raison du plan Vigipirate il est impératif d'entrer dans le bâtiment avant 16h30 et de s'enregistrer auprès de l'accueil.

 

---

Les Grandes conférences sont organisées par les Archives Henri Poincaré, le Département de Philosophie de l'Université de Lorraine à Nancy, la Maison des sciences de l'homme Lorraine et l'Institut universitaire de France.

Le programme mis à jour est disponible sur le site des Archives Henri Poincaré.

http://poincare.univ-lorraine.fr/fr/grandes-conferences-des-archives-poincare

Bien cordialement.

Laurent Rollet

-- 

____________________________________________________________________

Laurent Rollet

Université de Lorraine

Ecole nationale supérieure en génie des systèmes et de l'innovation

LHSP-Archives Henri Poincaré (UMR CNRS 7117)

http://poincare.univ-lorraine.fr/fr/membre-titulaire/laurent-rollet