La rama de la lógica matemática que estudia lenguajes formales y sus interpretaciones (modelos), centrándose en las relaciones entre teorías sintácticas y estructuras semánticas: satisfacibilidad, equivalencia elemental, definibilidad, tipos y propiedades modelo-teóricas como completitud, compacidad y estabilidad.

Principio

Relacionar teorías formales (conjuntos de oraciones en un lenguaje) con clases de estructuras que las satisfacen mediante la relación de satisfacción; analizar qué propiedades de las estructuras son expresables en un lenguaje dado y cómo invariantes modelo-teóricos clasifican teorías y estructuras.

Demostración

Considerar el lenguaje de grupos y la teoría de grupos abelianos; la teoría de modelos examina qué ecuaciones o propiedades son definibles, compara modelos no isomorfos que satisfacen las mismas frases de primer orden (equivalencia elemental) y estudia fenómenos como ultraproductos e incrustaciones elementales.

Aplicación incorrecta

Confundir los ‘modelos’ en teoría de modelos con modelos estadísticos o empíricos; aplicar conclusiones modelo-teóricas de primer orden literalmente en lógicas de orden superior o marcos no lógicos sin comprobar distinciones de lenguaje y compacidad conduce a errores.

Consecuencia

Proporciona herramientas para determinar la expresividad y las limitaciones de lenguajes formales, transferir propiedades entre modelos (incrustaciones elementales, argumentos back-and-forth) y clasificar teorías (estables, o-minimales, decidibles), a menudo produciendo profundas visiones estructurales en álgebra, geometría y combinatoria.

Inversión

Cambiar el foco a la teoría de la demostración, que enfatiza la derivabilidad sintáctica y las pruebas formales en lugar de la clasificación semántica de estructuras; o usar semántica categórica que enfatiza morfismos y relaciones functoriales en lugar de satisfacción elemento a elemento.

Límite

Se ocupa principalmente de lenguajes formales y estructuras matemáticas; la teoría de modelos de primer orden tiene teoremas específicos (compacidad, Löwenheim–Skolem) que fallan en lógicas de orden superior. No aborda directamente la selección de modelos empíricos o la modelización probabilística fuera del marco lógico.

Tensión semántica

‘Modelo’ en teoría de modelos (una estructura matemática que satisface una teoría) versus ‘modelo’ en estadística aplicada (una descripción estocástica parametrizada); la misma palabra denota prácticas y criterios de adecuación distintos.

Síntesis

La teoría de modelos estudia sistemáticamente cómo los lenguajes describen estructuras y cómo las nociones semánticas (modelos, satisfacción, definibilidad) interaccionan con las teorías sintácticas; al clasificar teorías y examinar construcciones como extensiones elementales, vincula la expresividad lógica con el comportamiento estructural en matemáticas.