Logique mathématique et linguistique formelle

Abstract : 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).
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

Contributor : Christian Retoré <>
Submitted on : Friday, November 8, 2013 - 9:01:25 AM
Last modification on : Thursday, November 8, 2018 - 11:48:02 AM
Long-term archiving on : Monday, February 10, 2014 - 11:10:17 AM


Files produced by the author(s)


  • HAL Id : hal-00607693, version 1
  • ARXIV : 1311.1897



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⟩



Record views


Files downloads