Logique mathématique et linguistique formelle De par son étymologie même, la logique est intimement liée au langage, comme en témoignent mathématiciens et philosophes antiques et médiévaux. Au début du XXe siècle, la crise des fondements des mathématiques a inventé la logique mathématique et l'a imposée comme un fondement des mathématiques centré sur le langage. Que sont devenus, dans ce nouveau cadre mathématique, les liens unissant logique et langage naturel? Après un aperçu de l'histoire de la connexion entre logique et linguistique traditionnellement focalisée sur la sémantique, nous ferons ensuite un gros plan sur quelques questions actuelles:
L'exposé montrera comment la théorie des types ou la théorie des catégories constituent un cadre adapté à décrire la grammaire du langage naturel et son interprétation à tout niveau (mots, phrases, discours).