La branche de la logique mathématique qui étudie les langages formels et leurs interprétations (modèles), en se concentrant sur les relations entre théories syntaxiques et structures sémantiques : satisfiabilité, équivalence élémentaire, définissabilité, types et propriétés méta-théoriques comme la complétude, la compacité et la stabilité.

Principe

Relier les théories formelles (ensembles de phrases dans un langage) aux classes de structures qui les satisfont via la relation de satisfaction ; analyser quelles propriétés des structures sont exprimables dans un langage donné et comment les invariants modèle-théoriques classifient théories et structures.

Démonstration

Dans le langage des groupes et la théorie des groupes abéliens, la théorie des modèles examine quelles équations ou propriétés sont définissables, compare des modèles non isomorphes satisfaisant les mêmes phrases du premier ordre (équivalence élémentaire) et étudie des phénomènes comme les ultraproduits et les plongements élémentaires.

Mauvaise application

Confondre les « modèles » en théorie des modèles avec des modèles statistiques ou empiriques ; appliquer sans vérification des conclusions de la théorie des modèles du premier ordre à des logiques du second ordre ou à des cadres non logiques où des propriétés comme la compacité diffèrent conduit à l'erreur.

Conséquence

Fournit des outils pour déterminer l'expressivité et les limites des langages formels, pour transférer des propriétés entre modèles (plongements élémentaires, arguments back-and-forth), et pour classifier des théories (stables, o-minimales, décidables), donnant souvent des aperçus structurels profonds en algèbre, géométrie et combinatoire.

Inversion

Se concentrer sur la théorie de la preuve qui met l'accent sur la dérivabilité syntaxique et les preuves formelles plutôt que sur la classification sémantique des structures ; ou employer une sémantique catégorique qui privilégie morphismes et foncteurs plutôt que la satisfaction élément par élément.

Limite

Concerne principalement les langages formels et les structures mathématiques ; la théorie des modèles du premier ordre dispose de théorèmes spécifiques (compacité, Löwenheim–Skolem) qui échouent en logiques d'ordre supérieur. Elle n'aborde pas directement la sélection de modèles empiriques ou la modélisation probabiliste hors du cadre logique.

Tension sémantique

« Modèle » en théorie des modèles (une structure mathématique satisfaisant une théorie) versus « modelo » en statistique appliquée (descripción estocástica parametrizada) ; le même mot recouvre des pratiques et critères d'adéquation différents.

Synthèse

La théorie des modèles étudie systématiquement comment les langages décrivent des structures et comment les notions sémantiques (modèles, satisfaction, définissabilité) interagissent avec les théories syntaxiques ; en classifiant les théories et en examinant des constructions comme les extensions élémentaires, elle relie l'expressivité logique au comportement structurel en mathématiques.