Lieu: Grand labo du LLING - 9/10/2026 de 15h à 17h

Titre: Analyse linguistique avec la logique Combinatoire de Curry

Abstract:

En évitant d'être trop technique, je présenterai dans cette conférence,  : 

1°) ce qu'est la Logique Combinatoire, c'est-à-dire une logique
d'opérateurs quelconques qui n'utilise pas de variables liées (comme dans le lambda-calcul) mis les composent par des opérateurs abstraits -les
combinateurs -, en insistant sur 

2°) son application à l'analyse linguistique : (i) analyse morpho-syntaxique des langues (Grammaires Catégorielles étendues)  ; (ii) analyse grammaticale (de diathèses, par exemple, ou des marqueurs aspecto-temporels) ; (iii) analyse et représentation des significations d'unités verbales et prépositionnelles, en montrant comment il devient possible de relier explicitement, par des calculs inférentiels explicites, des représentations sémantico-cognitives à des schémas prédicatifs (ou actanciels) exprimés par
des unités linguistiques; (iv)   analyse de la quantification par les "quantificateurs stars" (en accord avec les analyses syntaxiques des
langues), néanmoins reliés aux quantificateurs usuels de la logique moderne (mais sans utiliser de variables liées) et  en s'en différenciant . En
conclusion, je souhaiterais  lancer une  discussion sur  les rapports entre l'IA générative actuelle et la logique : L'IA générative actuelle a-t-elle
besoin de représentations sémantiques et de faire appel à la logique ? L'IA du futur va-t-elle suivre cette voie ?
La conférence peut intéresser non seulement les linguistes de votre université mais également  des logiciens, des mathématiciens, des
informaticiens  et  même des philosophes ...  intéressés par les approches interdisciplinaires de l'activité de langage manifestée par les langues.