Séance Séminaire

Séminaire de Recherche en Didactique et Epistémologie des Mathématiques

Seconde journée mondiale de la logique - 14 janvier 2020

Nous organisons à l?Université de Montpellier pour la deuxième année la journée mondiale de la logique (UNESCO) le mardi 14 janvier à partir de 13:30 sur le campus Triolet (amphi Robert Reix Bât. 29 IAE) une après-midi de conférences sur la logique à destination des étudiants, des collègues et des curieux. Le dernier exposé de la journée s?inscrit dans le cycle de conférences HiPhiS. Mardi 14 janvier 2020 à partir de 13:30 Université de Montpellier, Campus Triolet (plan) IAE (bâtiment 29), amphi Robert Reix, entrée libre 13:30 - Ouverture + Denis VERNANT (Professeur émérite. U. Grenoble-Alpes) "Du primat de l?incompatibilité" Résumé : Notre objectif est d?établir que l?opérateur d?incompatibilité joue un rôle crucial tant en logique standard que pour expliquer l?usage du discours ordinaire. De plus et surtout une protologique de l?in/compatibilité assure la structuration de nos mondes et, partant, permet notre intercompréhension dialogique 14:30 - Pause 15 min 14:45 - Myriam QUATRINI (MCF U. Marseille / I2M UMR 7373) (titre à préciser: logique, preuves constructives et informatique) 15:45 - Pause 15 min 16:00 - Zoé MESNIL (MCF U. Paris-Diderot / LDAR EA 4434) (titre à préciser: logique dans l'enseignement des mathématiques) 17:00 - Pause 30 min 17:30 - 19 30 Conférence HiPhiS par Denis VERNANT Titre : De la nature des ?déductions? de Sherlock Holmes Résumé - On attribue généralement les succès du célèbre détective Sherlock Holmes à ses capacités déductives. En fait, ses raisonnements conduisant à l?arrestation du coupable relèvent toutes d?abductions. Différente de la déduction et de l?induction, l?abduction est une inférence spécifique qui consiste à faire des hypothèses sur la cause supposée d?un fait inattendu. Nous proposerons d?abord de définir l?abduction comme une procédure combinant raisonnement logique et enquête praxéologique mettant en jeu des données empiriques. Nous illustrerons sa capacité inventive par le rappel de la découverte par Kepler du caractère elliptique des orbes planétaires. Enfin, sur l?exemple de la nouvelle Silver Blaze d?Arthur Conan Doyle (titre FR : Flamme d?Argent), nous examinerons comment Sherlock Holmes découvre l?identité du voleur Site du séminaire Hiphis : https://epistemologie.umontpellier.fr/hiphis/index.html Les résumés des exposés seront mis en ligne progressivement sur le site des journées : https://www.lirmm.fr/~retore/WLD/WorldLogicDay.html