Teoría (lógica)

En lógica, una teoría es un conjunto de proposiciones dentro de un lenguaje formal que es semánticamente completo en el sentido de que todo modelo que satisface todas las proposiciones de la teoría también satisface cualquier otra proposición que sea consecuencia de la misma.Lo que diferencia a una teoría de un conjunto de proposiciones cualquiera es que incluye todas sus consecuencias, es decir, es un conjunto cerrado de proposiciones bajo el "operador consecuencia".la clase de modelos para dicha teoría.el conjunto de sentencias (proposiciones) de la teoría (también llamado conjunto de fórmulas bien formadas), un conjunto T es una teoría lógica si:donde: En matemáticas todas las teorías son consistentes, ya que las teorías inconsistentes no son interesantes.Ya que cualquier proposición puede derivarse de una contradicción, en una teoría inconsistente cualquier proposición puede ser demostrada y por tanto es trivialmente completa (todas las proposiciones formulables dentro de la teoría, así como sus negaciones forman parte de la teoría).Algunos ejemplos de teorías consistentes y completas serían los siguientes: Ejemplos de teorías no completas son: Estas dos se siguen del hecho de que una teoría que admite modelos finitos e infinitos simultáneamente no puede ser completa.puede verse que las teorías finitamente axiomatizables están relacionadas con las clases elementales de modelos.es una clase de modelos para el lenguaje formales finitamente axiomatizable si la clase de modeloses una clase elemental Sobre la decibidilidad se tiene el siguiente resultado: Sies una teoría finita o recursivamente enumerable completa, entonces es decidible Una cuestión más compleja es la siguiente: dada una teoría completa, ¿es posible caracterizarla axiomáticamente de manera que sus axiomas formen un conjunto efectivamente enumerable?Dicho de otra manera, existe una axiomáticaadecuada recursivamente enumerable tal queLos teorema de incompletitud de Gödel proporcionan una respuesta negativa para el caso de la aritmética, ya que ninguna teoría de primer orden recursivamente enumerable recoge toda la aritmética del modelo dado por los números naturales ordinarios.Sobre la posibilidad de ampliar de manera consistente una teoría hasta obtener una teoría completa se tiene el siguiente resultado: Toda teoría consistenteexiste una inyección canónica] en una teoría completa y consistente Esto implica, por ejemplo, que la aritmética de primer orden, puede ser ampliada hasta tener una teoría completa de la aritmética de Peano, sin embargo, las nuevas sentencias añadidas (que deben tomarse como axiomas) formarán un sistema que no es recursivamente enumerable y por tanto no sería una teoría decidible.Sobre la posibilidad de que una teoría admita diferentes modelos se tiene: Si todos los modelos de una teoríaEste teorema combinado con el teorema de Löwenheim-Skolem restringe la existencia de teorías completas, ya que si una teoría admite un modelo infinito entonces tendrá un modelo infinito para cualquier cardinal infinito (a partir de un cierto cardinal mínimo) y por tanto no podrá existir un isomorfismo entre todos ellos, es más, la clase de todos los modelos será una clase propia.Sin embargo, un caso frecuente es que todos los modelos de una misma teoría con el mismo cardenal sean isomorfos, en se casó se tienen los siguientes resultados: Si una teoría completatiene un modelo finito, entonces todos sus modelos son isomorfos Para examinar la posibilidad de modelos isomorfos se introducen las dos definiciones siguientes: Toda teoría categórica es completa y también que si una teoría es completa y tiene un modelo finito entonces es categórica.Dos resultados importantes que relacionan completitud y κ-categoricidad son: Teorema de Łoś-Vaught (1954)Seauna teoría en un lenguaje formal de cardinal κ.