L'application de langages formels, de structures modèle‑théoriques et de règles de composition rigoureuses pour représenter, spécifier et évaluer les significations et conditions de vérité d'expressions linguistiques ou logiques ; suppose typiquement une correspondance entre formes syntaxiques et valeurs sémantiques dans un modèle explicitement défini et s'appuie sur des principes tels que la compositionnalité.

Principe

Le sens est modélisé comme une fonction de la structure syntaxique vers des valeurs sémantiques relatives à un modèle ; les conditions de vérité des expressions complexes dérivent de façon systématique des conditions de vérité de leurs parties et des règles de combinaison.

Démonstration

Scénario illustratif → Situation : Analyser la phrase « Tous les étudiants ont réussi. » Reconnaissance : Construire une forme logique (∀x(Student(x) → Passed(x))) et un modèle avec un domaine et des extensions de prédicats. Action : Vérifier si, dans le modèle, chaque élément satisfaisant Student satisfait aussi Passed. Conséquence : Si oui, la phrase est vraie dans ce modèle ; la sémantique formelle fournit ainsi un critère vérifiable pour l'implication et la contradiction.

Mauvaise application

Confondre la représentation sémantique formelle avec une théorie psychologique de la façon dont les locuteurs produisent ou comprennent le sens. L'erreur est de prendre un modèle formel pour un compte des processus cognitifs plutôt que pour une représentation explicite et interprétable utile à l'analyse logique et inférentielle.

Conséquence

Fournit des outils précis pour la désambiguïsation, les tests d'implication et la comparaison interculturelle du sens ; soutient des implémentations computationnelles (p. ex. en traitement automatique du langage) mais n'explique pas à lui seul les aspects pragmatiques, sociolinguistiques ou incarnés du sens.

Inversion

Dans des programmes de recherche qui privilégient l'usage, la cognition ou l'incarnation, les analyses purement modèle‑théoriques peuvent être insuffisantes ; ces approches exigent une intégration avec des modèles pragmatiques ou cognitifs pour rendre compte de la sensibilité au contexte, des implicatures et de l'usage linguistique.

Limite

Dans : analyses vérité‑conditionnelles et modèle‑théoriques du sens des phrases et de la forme logique. Cas limite : formaliser des indexicaux dépendants du contexte (possible mais requiert des paramètres contextuels). Hors : sens sociolinguistique, force performative ou implicatures gricéennes traitées sans théorie pragmatique supplémentaire.

Tension sémantique

Précision compositionnelle ↔ Richesse contextuelle/pragmatique — les modèles strictement compositionnels favorisent la précision formelle mais peuvent sous‑générer le sens dépendant du contexte, des intentions du locuteur ou des connaissances du monde.

Synthèse

La sémantique formelle rend le sens explicite et vérifiable en ramenant les questions d'interprétation à l'évaluation de modèles ; sa force est la clarté analytique, et ses limites indiquent la nécessité d'articuler les représentations modèle‑théoriques avec des comptes pragmatiques et cognitifs pour saisir le sens communicationnel complet.