Logique mathématique et linguistique formelle - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2013

Logique mathématique et linguistique formelle

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).
Fichier principal
Vignette du fichier
lma_accents.pdf (347.76 Ko) Télécharger le fichier
figures.pdf (11.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00607693 , version 1 (08-11-2013)

Identifiants

Citer

Christian Retoré. Logique mathématique et linguistique formelle. Géraud Sénizergues. Leçons de mathématiques d'aujourd'hui, Cassini, pp.24, 2013. ⟨hal-00607693⟩

Collections

CNRS OMNIPHILO
1115 Consultations
2131 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More