La représentation sémantique de la langue naturelle est un défit tant linguistique qu'informatique.La profusion de textes écrits due au web est une donnée nouvelle et la recherche en traitement automatique des langues (TAL) en vue de les utiliser pour produire de nouveaux systèmes est aujourd'hui une nécessité. Si l'analyse de la syntaxe trouve un relatif consensus, celle de la sémantique reste encore grande ouverte. Les thématiques abordées ici sont diverses et posent tout à la fois la question de la modélisation de la langue et celle de la prise en compte de phénomènes naturels au travers de propriétés purement formelles au travers de la logique. Dans la veine des travaux de Richard Montague sur la sémantique formelle, l'auteur choisit de rendre compte de la théorie générative de Noam Chomsky. Dans cet ouvrage, la problématique est de concilier les apports de la logique et de la linguistique pour définir un cadre formel rendant compte de phénomènes sémantiques.