Metalógica

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Metalógica» – noticias · libros · académico · imágenes Este aviso fue puesto el 19 de abril de 2024.

En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal y un aparato deductivo (axiomas y reglas de inferencia), no es posible deducir una fórmula y su negación. La existencia de un modelo implica que una teoría lógica es consistente.

Generalizando, la consistencia es una propiedad que pueden tener los conjuntos de fórmulas. Intuitivamente, un conjunto de fórmulas es consistente cuando no es posible deducir una contradicción del mismo. Es decir, dado un lenguaje formal y un aparato deductivo, no es posible demostrar una fórmula y su negación. Equivalentemente, esto se puede expresar diciendo que para ninguna proposición lógica p: ${\displaystyle {\mathcal {A}}\vdash p}$ y ${\displaystyle {\mathcal {A}}\vdash \neg p}$ simultáneamente.

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Metalógica» – noticias · libros · académico · imágenes Este aviso fue puesto el 21 de febrero de 2023.

En metalógica, la decidibilidad es una propiedad de los sistemas formales cuando, para cualquier fórmula en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema. Por ejemplo, la lógica proposicional es decidible, porque existe un algoritmo (la tabla de verdad) que en un número finito de pasos puede decidir si la fórmula es válida o no.

Cuando una fórmula no puede ser probada verdadera ni falsa, se dice que la fórmula es independiente, y que por lo tanto el sistema es no decidible. La única manera de incorporar una fórmula independiente a las verdades del sistema es postulándola como axioma. Dos ejemplos muy importantes de fórmulas independientes son el axioma de elección en la teoría de conjuntos, y el quinto postulado de la geometría euclidiana.

En metalógica, la completitud o completud semántica es la propiedad metateórica que tienen los sistemas formales cuando todas las fórmulas lógicamente válidas (todas las verdades lógicas) del sistema son además teoremas del sistema.^[3]​ Es decir, cuando el conjunto de las verdades lógicas del sistema es un subconjunto del conjunto de teoremas. En otras palabras, si A es una fórmula cualquiera del lenguaje y S es el sistema formal bajo consideración, entonces se cumple que:

Si  ${\displaystyle \models _{\mathrm {S} }A}$  entonces  ${\displaystyle \vdash _{\mathrm {S} }A}$^[3]​

Por otra parte, la completitud sintáctica es la propiedad que tienen los sistemas formales cuando, para toda fórmula cerrada del lenguaje del sistema, o bien es un teorema o bien su negación lo es. Esto es, existe una prueba para cada fórmula cerrada o para su negación.

La lógica proposicional y la lógica de primer orden son ambas semánticamente completas, pero no sintácticamente completas. Por ejemplo, en la lógica proposicional, la fórmula p no es un teorema, y tampoco lo es su negación, de modo que eso basta para mostrar que no es sintácticamente completa. No obstante, como ninguna de esas dos fórmulas es una verdad lógica, no afectan a la completitud semántica del sistema.

El segundo teorema de incompletitud de Gödel demuestra que ningún sistema (definido recursivamente) con cierto poder expresivo puede ser a la vez consistente y sintácticamente completo.

Otra propiedad metateórica distinta es la completitud semántica fuerte, que dice: si en un sistema formal S, A es una fórmula bien formada cualquiera que es una consecuencia semántica de un conjunto ${\displaystyle \Gamma }$ de fórmulas, entonces existe una derivación de A a partir de ${\displaystyle \Gamma }$. En símbolos:

Si  ${\displaystyle \Gamma \models _{\mathrm {S} }A}$  entonces  ${\displaystyle \Gamma \vdash _{\mathrm {S} }A}$^[4]​

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Metalógica» – noticias · libros · académico · imágenes Este aviso fue puesto el 19 de abril de 2024.

En lógica matemática, el teorema de compacidad establece que un conjunto (posiblemente infinito) de fórmulas bien formadas de la lógica de primer orden tiene un modelo si todos sus subconjuntos finitos tienen un modelo. Es decir, para todo conjunto de fórmulas ${\displaystyle \Gamma }$ de un lenguaje L, si todo subconjunto finito de ${\displaystyle \Gamma }$ es satisfacible, entonces ${\displaystyle \Gamma }$ es satisfacible.

La lógica proposicional como la lógica de primer orden satisfacen el teorema de compacidad. Es decir, si de un conjunto de proposiciones se sigue una consecuencia, entonces existe un subconjunto finito de proposiciones de las cuales se sigue la misma conclusión. Análogamente si cada conjunto finito de proposiciones de un conjunto admite un modelo, entonces el conjunto completo admite un modelo. Si bien la lógica de primer orden tiene compacidad en el sentido previamente explicado, otras lógicas "más potentes" como la lógica de segundo orden no tienen la propiedad de compacidad.

Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931. Ambos están relacionados con la existencia de proposiciones indecidibles en ciertas teorías aritméticas.

En lógica matemática, el teorema de Löwenheim-Skolem o teorema de Löwenheim-Skolem-Tarski es un teorema que establece que si una teoría de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable.^[5]​ Más precisamente: sea T un subconjunto consistente de un lenguaje de primer orden ℒ (con identidad): si T es finito o numerable, entonces tiene al menos un modelo con dominio finito o numerable.^[6]​ Esto significa que las teorías de primer orden no pueden controlar la cardinalidad de sus modelos: ninguna teoría consistente puede tener sólo modelos isomórficos.

La primera versión del teorema se debe a Leopold Löwenheim en 1915, aunque su demostración tenía una pequeña laguna.^[5]​ Thoralf Skolem demostró una segunda versión del teorema en 1919.^[5]​ Desde entonces han aparecido otras versiones.

Skolem comprendió que este teorema se podría aplicar para las formalizaciones de primer orden de la teoría de conjuntos, siendo dicha formalización numerable, existiría un modelo numerable para dicha teoría aun cuando la teoría afirma que existen conjuntos no contables. Este resultado contraintuitivo es la conocida paradoja de Skolem.

En general el teorema de Löwenheim-Skolem no se sostiene en lógicas más fuertes, como la lógica de segundo orden.

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Metalógica» – noticias · libros · académico · imágenes Este aviso fue puesto el 11 de julio de 2017.

El teorema de completitud de Gödel es un importante teorema de la lógica matemática, que fue demostrado por primera vez por Kurt Gödel en 1929 y que en su forma más conocida establece lo siguiente:

En una lógica de primer orden, toda fórmula que es válida en un sentido lógico es demostrable. Kurt Gödel

La palabra "demostrable" significa que existe una deducción formal de la fórmula. La deducción consiste en una lista finita de pasos en los que cada paso o bien invoca a un axioma o es obtenido a partir de pasos previos mediante una básica regla de inferencia. A partir de dicha deducción, es posible verificar si cada uno de los pasos es correcto mediante un algoritmo (por ejemplo, mediante una computadora o a mano).

Una fórmula es lógicamente válida si es verdadera en todo modelo para el lenguaje utilizado en la fórmula. Para expresar de manera formal el teorema de completitud de Gödel, se debe definir el significado de la palabra modelo en este contexto. Esta es una definición básica en la teoría de modelos.

El teorema de Gödel establece una correspondencia entre la verdad semántica y la probabilidad sintáctica en la lógica de primer orden. Crea un vínculo entre la teoría de modelos que se ocupa de lo que es cierto en diferentes modelos, y la teoría de la demostración que estudia lo que se puede probar formalmente en sistemas formales particulares. Gödel utilizó el teorema de completitud para probar el teorema de compacidad, demostrando la naturaleza finitaria del operador de consecuencia lógica. Estos resultados ayudaron a establecer la lógica de primer orden como el tipo de lógica dominante en las matemáticas actuales.

Fue luego simplificado en 1947, cuando Leon Henkin observó en su tesis de doctorado que la parte difícil de la prueba se puede presentar como el Modelo de Teorema de la Existencia (publicado en 1949). A su vez, la prueba de Henkin fue simplificada por Gisbert Hasenjaeger en 1953.