En
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.