Sémantique formelleEn linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l’environnement supportant un discours faisant sens. Les outils mathématiques utilisés sont une combinaison de logique mathématique et de langage formel théorique, plus particulièrement de lambda-calcul typé.
Tiroir verbalEn grammaire, un tiroir verbal est un sous-ensemble de formes de la conjugaison pour lequel tous les traits grammaticaux caractéristiques du verbe sont spécifiés – à l'exclusion des traits partagés avec les autres parties du discours comme la personne, le nombre ou le genre. Cela correspond à ce que la grammaire scolaire traditionnelle appelle un temps verbal. Un tiroir verbal constitue donc un paradigme à l'intersection de plusieurs traits grammaticaux spécifiques du verbe, lesquels varient selon les langues considérées : temps, aspect, mode, voix.
Verbe modalL'auxiliaire modal ou semi-auxiliaire modal (du latin modus,-i, « mesure musicale, mode, manière ») est un des outils linguistiques parmi d'autres permettant d'exprimer une modalité, c'est-à-dire de présenter un fait comme possible, impossible, nécessaire, permis, obligatoire, souhaitable, vraisemblable. L'énoncé Il travaille est une affirmation simple, rendant compte d'un fait, alors que Il peut ou Il doit travailler sont des assertions modalisées par le recours aux verbes pouvoir et devoir.
