• 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:

        • la grammaire vue comme un système déductif
        • le passage d'une structure grammaticale à une formule logique exprimant son sens
        • l'interprétation de ces formules dans des faisceaux de modèles classiques (des mondes possibles)
        • la prise en compte du contexte lors de l'interprétation

    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).