14 janvier 2025 – Exposés grand public sur la logique

Comme chaque année depuis sa création en 2019, à l’occasion de la journée mondiale de la logique de l’UNESCO, le 14 janvier, nous organisons une série d’EXPOSES GRAND PUBLIC sur la logique. Ce sera mardi 14 de 14h à 19h30, en salle SC16.01 de la fac des sciences. Il est bien sur tout à fait possible de ne suivre que certains exposés.

https://www.lirmm.fr/~retore/WLD/WorldLogicDay.html
Mardi 14 janvier, Faculté des Sciences Bâtiment 16 salle SC16.01:

14:00-15:00 Marianne HUCHARD (LIRMM, Univ Montpellier et CNRS)
Analyse relationnelle de concepts: quand les concepts formels rencontrent les logiques de description

15:15-16:15  Jean-François BAGET (LIRMM, Univ Montpellier et CNRS)
Intelligence Artificielle à base de règles: la déduction entre expressivité et efficacité

16:30-17:30 Vincent BLAZY (LIRMM, Univ Montpellier et CNRS)
Une introduction à la théorie des types

17:45-19:15 Invité, séminaire HiPhiS: Paul EGRÉ (CNRS, IRL crossing, Adelaide)
Le philosophe grec antique Eubulide de Milet, contemporain et adversaire d’Aristote, est connu pour être l’auteur de nombreux paradoxes, notamment le Chauve, le Menteur, le Cornu : un paradoxe du vague, un paradoxe de la vérité, un paradoxe de la présupposition. Classiquement appelés sophismes, ces différents arguments aboutissent à des contradictions en logique bivalente classique. En logique trivalente, au contraire, on peut les résoudre chacun de façon naturelle. Cet exposé, inspiré de notre article “Eubulide et la conséquence logique” (Revue de Métaphysique et de Morale, 2024), présentera la conception stricte-tolérante de la conséquence logique dans ce cadre trivalent, et en discutera les avantages et les limites.