Chapitre 11. Sémantique formelle et logique

Depuis une cinquantaine d’années, un courant important, d’origine anglo-saxonne, s’est développé en sémantique. On y renvoie de manière conventionnelle par le terme de sémantique formelle. On peut situer l’origine de la sémantique formelle dans le programme du philosophe logicien Richard Montague, dont l’influence a été déterminante. Son projet est un développement mathématiquement fondé du programme logiciste inauguré par Frege et Russell il y a plus d’un siècle et prolongé par les philosophes du langage. L’impact de Montague a été tel que la majorité des travaux de sémantique formelle contemporains s’inscrivent dans le cadre qu’il a fondé, notamment par l’utilisation de son formalisme. C’est à une présentation des thèses de Montague que seront consacrés les chapitres 11 à 13. Le chapitre 14 traitera des versions récentes de la sémantique formelle, à savoir la sémantique des événements.
On admet généralement que la sémantique a pour objet d’étude la signification des unités de la langue et des phrases. Nous avons examiné deux approches classiques en sémantique lexicale au chapitre 3, la sémantique structurale et la sémantique cognitive. Dès que l’on s’intéresse au niveau supérieur, à savoir la phrase, des problèmes nouveaux surgissent.
La première difficulté pour élaborer une sémantique de la phrase tient au fait suivant : la sémantique des langues naturelles n’est pas parallèle (isomorphe) à leur syntaxe. Prenons trois exemples pour montrer ce fait.Le premier exemple est lié à l’…