Ce livre est une introduction à la sémantique formelle. Il s'adresse principalement à des étudiants en sciences du langage, mais aussi à des étudiants en mathématiques ou en logique qui auraient envie de connaître les applications de leur discipline au domaine linguistique. La sémantique formelle est l'étude du sens, principalement des phrases (mais aussi des discours), basée sur deux principes qui sont abondamment développés ici: la véri-conditionnalité (comprendre le sens d'une phrase c'est comprendre quand elle est vraie relativement à une situation donnée) et la compositionalité (le sens d'une unité supérieure s'obtient par composition des sens des unités qui la constituent). Son étude nécessite donc des connaissances en logique qui incluent la logique propositionnelle, la logique des prédicats voire la théorie des mondes possibles (pour les logiques dites "modales"). Mais ce livre pose aussi la question du caractère suffisant ou non de la logique classique. Il aborde en effet des sujets (comme la représentation du temps et de l'aspect ou bien la représentation des pluriels) qui semblent requérir autre chose (topologie, méréologie, voire logique linéaire).