Les exposés sont conçus pour être accessibles au plus grand
nombre, et notamment aux étudiants de licence de mathématiques ou
d'informatique, et nul n'est tenu d'assister à tous les exposés.
Mardi 14 janvier
2020 à partir de 13:30 Université de Montpellier,
Campus Triolet (plan)
IAE (bâtiment 29), amphi Robert Reix , entrée libre
En raison des grèves
contre la réforme des retraites, certains orateurs n'ont pu venir
et certains orateurs ne souhaitaient pas exposer un jour de
manifestation nationale et ont été remplacés par des orateurs
montpelliérains. Ces derniers et les organisateurs
tiennent à signaler que les exposés présentés dans le cadre de la
journée mondiale de la logique ne constituent pas un soutien à la réforme des
retraites, ces exposés n'étant pas un travail habituel
d'enseignement ou de recherche, mais d'un travail de médiation
scientifique.
13:30
– Denis VERNANT (Pr. ém. U. Grenoble-Alpes) « Du
primat de l’incompatibilité » 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 – Christian
RETORÉ (PR Univ Montpellier LIRMM) « Une
histoire de la logique au XXe siècle: de la
philosophie à l'informatique »( reprise de
l'an dernier )
15:45 – Pause
15 min
16:00 – DAVID
DELAHAYE (PR Univ Montpellier LIRMM) « Preuves
et programmes »( reprise
de l'an dernier )
17:00 – Pause
30 min
17:30 – Conférence
HiPhiS par Denis VERNANT « De la nature des
“déductions” de Sherlock Holmes »
(fin avant 19:30)
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 suppposé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