La théorie des modèles étudie les relations entre langages formels (signatures et phrases) et structures mathématiques (modèles) qui les interprètent : elle analyse la relation de satisfaction, les classes de structures qui satisfont des théories données, et les liens entre propriétés syntaxiques des théories et propriétés sémantiques de leurs modèles (par ex. complétude, équivalence élémentaire, plongements), en prêtant attention à la manière dont les changements de langage ou de signature affectent ce qui peut être exprimé et satisfait.

Principe

La vérité d'une phrase est relative à un modèle via la relation de satisfaction ; les méthodes modèle-théoriques caractérisent quelles phrases ou théories tiennent dans quelles structures et comment les manipulations syntaxiques des théories se traduisent en conséquences sémantiques pour des classes de modèles.

Démonstration

Scénario illustratif — Situation : Un langage contient un prédicat unaire P et une structure interprète le domaine et P comme un sous-ensemble. Reconnaissance : Évaluer une phrase telle que '∃x P(x)' revient à vérifier si le sous-ensemble interprétant P est non vide dans la structure. Action : Déterminer quelles phrases de la théorie sont vraies dans cette structure. Conséquence : L'analyse situe quels modèles satisfont la théorie et peut identifier des modèles non isomorphes satisfaisant les mêmes phrases (équivalence élémentaire) ou des plongements entre modèles qui préservent la vérité des formules.

Mauvaise application

Prétendre que l'existence d'un modèle formel implique une instanciation empirique ou un engagement ontologique ; l'erreur est de confondre l'existence mathématique d'une structure (satisfaisant des axiomes) avec des affirmations sur le monde empirique sans étapes justificatives séparées.

Conséquence

L'analyse modèle-théorique peut classer des théories selon le comportement de leurs modèles, révéler les limites d'expressivité d'un langage donné et produire constructions (par ex. expansions, réductions, ultraproduits) montrant que certains phénomènes sémantiques sont possibles ou impossibles ; ces conséquences informent sur ce que la déduction peut capturer et comment la sémantique contraint les méthodes syntaxiques.

Inversion

Les conclusions modèle-théoriques dépendent du langage/signature choisi, de la classe de structures autorisée et de la logique (du premier ordre par rapport au ordre supérieur) ; des résultats dans un cadre (par ex. la compacité du premier ordre) peuvent échouer ou changer de sens dans d'autres, de sorte que l'applicabilité doit être qualifiée par ces choix.

Limite

Clairement inclus : l'étude des structures qui satisfont une théorie du premier ordre donnée et l'étude des plongements élémentaires, de l'équivalence et de la définissabilité. Cas limite : l'application d'outils modèle-théoriques à des « modèles » informels en sciences sociales où la relation mathématique de satisfaction est métaphorique. Clairement exclu : analyses purement preuve-théoriques ou computationnelles qui ne considèrent pas de structures interprétant le langage.

Tension sémantique

Expressivité ↔ Existence de Modèles — des langages plus riches permettent des distinctions plus fines mais peuvent faire échouer des propriétés méta désirables (comme la compacité ou la complétude) ou modifier le comportement des modèles ; le choix du langage est un compromis entre pouvoir expressif et préservation de propriétés méta.

Synthèse

La théorie des modèles relie axiomes syntaxiques à classes de structures sémantiques, explicitant quelles parties d'une théorie sont fixées par la forme et lesquelles varient selon les interprétations ; ses enseignements dépendent fortement du langage et de la logique choisis et doivent donc se lire comme des correspondances relatives au système entre syntaxe et mondes possibles.