Résumé
As the etymology of the word shows, logic is intimately related to language, as exemplified by the work of philosophers from Antiquity and from the Middle-Age. At the beginning of the XX century, the crisis of the foundations of mathematics invented mathematical logic and imposed logic as a language-based foundation for mathematics. How did the relations between logic and language evolved in this newly defined mathematical framework? After a survey of the history of the relation between logic and linguistics, traditionally focused on semantics, we focus on some present issues: 1) grammar as a deductive system 2) the transformation of the syntactic structure of a sentence to a logical formula representing its meaning 3) taking into account the context when interpreting words. This lecture shows that type theory provides a convenient framework both for natural language syntax and for the interpretation of any of tis level (words, sentences, discourse).
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: 1) la grammaire vue comme un système déductif 2) le passage de la structure grammaticale d'une phrase à une formule logique exprimant son sens 3) la prise en compte du contexte lors de l'interprétation des mots. L'exposé montrera comment la théorie des types constitue un cadre adapté à décrire la grammaire du langage naturel et son interprétation à tout niveau (mots, phrases, discours).