stringtranslate.com

Consistencia

En lógica clásica , deductiva , una teoría consistente es aquella que no conduce a una contradicción lógica . [1] Una teoría es consistente si no hay una fórmula tal que tanto y su negación sean elementos del conjunto de consecuencias de . Sea un conjunto de oraciones cerradas (informalmente "axiomas") y el conjunto de oraciones cerradas demostrables a partir de algún sistema deductivo formal (especificado, posiblemente implícitamente). El conjunto de axiomas es consistente cuando no hay una fórmula tal que y . Una teoría trivial (es decir, una que demuestra cada oración en el lenguaje de la teoría) es claramente inconsistente. Por el contrario, en un sistema formal explosivo (por ejemplo, lógica proposicional o de primer orden clásica o intuicionista) toda teoría inconsistente es trivial. [2] : 7  La consistencia de una teoría es una noción sintáctica , cuya contraparte semántica es la satisfacibilidad . Una teoría es satisfacible si tiene un modelo , es decir, existe una interpretación bajo la cual todos los axiomas de la teoría son verdaderos. [3] Esto es lo que significaba consistente en la lógica aristotélica tradicional , aunque en la lógica matemática contemporánea se utiliza en su lugar el término satisfacible .

En un sistema formal sólido , toda teoría satisfacible es consistente, pero lo inverso no se cumple. Si existe un sistema deductivo para el cual estas definiciones semánticas y sintácticas son equivalentes para cualquier teoría formulada en una lógica deductiva particular , la lógica se llama completa . [ cita requerida ] La completitud del cálculo proposicional fue probada por Paul Bernays en 1918 [ cita requerida ] [4] y Emil Post en 1921, [5] mientras que la completitud del cálculo de predicados (de primer orden) fue probada por Kurt Gödel en 1930, [6] y las pruebas de consistencia para aritméticas restringidas con respecto al esquema del axioma de inducción fueron probadas por Ackermann (1924), von Neumann (1927) y Herbrand (1931). [7] Las lógicas más fuertes, como la lógica de segundo orden , no son completas.

Una prueba de consistencia es una prueba matemática de que una teoría particular es consistente. [8] El desarrollo temprano de la teoría de la prueba matemática fue impulsado por el deseo de proporcionar pruebas de consistencia finita para todas las matemáticas como parte del programa de Hilbert . El programa de Hilbert se vio fuertemente influenciado por los teoremas de incompletitud , que mostraron que las teorías de prueba suficientemente fuertes no pueden probar su consistencia (siempre que sean consistentes).

Aunque la consistencia puede demostrarse utilizando la teoría de modelos, a menudo se hace de una manera puramente sintáctica, sin necesidad de hacer referencia a algún modelo de la lógica. La eliminación de cortes (o equivalentemente, la normalización del cálculo subyacente , si lo hay) implica la consistencia del cálculo: dado que no hay una prueba de falsedad sin cortes, no hay contradicción en general.

Consistencia y completitud en aritmética y teoría de conjuntos

En las teorías aritméticas, como la aritmética de Peano , existe una relación intrincada entre la consistencia de la teoría y su completitud . Una teoría es completa si, para cada fórmula φ en su lenguaje, al menos uno de φ o ¬φ es una consecuencia lógica de la teoría.

La aritmética de Presburger es un sistema axiomático para los números naturales en el marco de la adición. Es coherente y completo.

Los teoremas de incompletitud de Gödel muestran que cualquier teoría de la aritmética recursivamente enumerable suficientemente sólida no puede ser completa y consistente a la vez. El teorema de Gödel se aplica a las teorías de la aritmética de Peano (PA) y la aritmética recursiva primitiva (PRA), pero no a la aritmética de Presburger .

Además, el segundo teorema de incompletitud de Gödel muestra que la consistencia de teorías aritméticas suficientemente fuertes y recursivamente enumerables puede probarse de una manera particular. Tal teoría es consistente si y solo si no prueba una oración particular, llamada la oración de Gödel de la teoría, que es una declaración formalizada de la afirmación de que la teoría es efectivamente consistente. Por lo tanto, la consistencia de una teoría aritmética suficientemente fuerte, recursivamente enumerable y consistente nunca puede probarse en ese sistema en sí. El mismo resultado es válido para teorías recursivamente enumerables que pueden describir un fragmento suficientemente fuerte de aritmética, incluidas las teorías de conjuntos como la teoría de conjuntos de Zermelo-Fraenkel (ZF). Estas teorías de conjuntos no pueden probar su propia oración de Gödel, siempre que sean consistentes, lo que generalmente se cree.

Debido a que la consistencia de ZF no es demostrable en ZF, la noción más débilLa consistencia relativa es interesante en la teoría de conjuntos (y en otros sistemas axiomáticos suficientemente expresivos). SiTes unateoríayAaxiomaadicional,T+Aes consistente con respecto aT(o simplemente queAes consistente conT) si se puede demostrar que siTconsistente entoncesT+Aes consistente. Si tantoAcomo ¬Ason consistentes conT, entoncesse dice queAindependientedeT.

Lógica de primer orden

Notación

En el siguiente contexto de lógica matemática , el símbolo del torniquete significa "demostrable a partir de", es decir, se lee: b es demostrable a partir de a (en algún sistema formal especificado).

Definición

Resultados básicos

  1. Los siguientes son equivalentes:
    1. A pesar de
  2. Todo conjunto de fórmulas satisfacibles es consistente, donde un conjunto de fórmulas es satisfacible si y sólo si existe un modelo tal que .
  3. Para todos y :
    1. si no , entonces ;
    2. si y , entonces ;
    3. si , entonces o .
  4. Sea un conjunto de fórmulas de consistencia máxima y supongamos que contiene testigos . Para todos y :
    1. Si , entonces ,
    2. o bien o bien ,
    3. si y solo si o ,
    4. Si y , entonces ,
    5. si y sólo si existe un término tal que . [ cita requerida ]

Teorema de Henkin

Sea un conjunto de símbolos . Sea un conjunto de fórmulas máximamente consistentes que contienen testigos .

Defina una relación de equivalencia en el conjunto de términos mediante si , donde denota igualdad . Sea , denote la clase de equivalencia de términos que contienen ; y sea , donde es el conjunto de términos basado en el conjunto de símbolos .

Defina la estructura - sobre , también llamada estructura-término correspondiente a , mediante:

  1. Para cada símbolo de relación -ario , defina si [9]
  2. Para cada símbolo de función -ario , defina
  3. Para cada símbolo constante , defina

Defina una asignación de variable por para cada variable . Sea el término interpretación asociado con .

Luego, para cada fórmula :

si y sólo si [ cita requerida ]

Bosquejo de la prueba

Hay varias cosas que verificar. Primero, que se trate de una relación de equivalencia. Luego, es necesario verificar que (1), (2) y (3) estén bien definidos. Esto se desprende del hecho de que se trata de una relación de equivalencia y también requiere una prueba de que (1) y (2) son independientes de la elección de los representantes de la clase. Finalmente, se puede verificar por inducción sobre fórmulas.

Teoría de modelos

En la teoría de conjuntos ZFC con lógica clásica de primer orden , [10] una teoría inconsistente es aquella en la que existe una oración cerrada que contiene tanto a como a su negación . Una teoría consistente es aquella en la que se cumplen las siguientes condiciones lógicamente equivalentes

  1. [11]

Véase también

Notas

  1. Tarski 1946 lo expresa de esta manera: "Una teoría deductiva se llama consistente o no contradictoria si no hay dos afirmaciones de esta teoría que se contradigan entre sí, o en otras palabras, si de dos oraciones contradictorias... al menos una no puede probarse", (p. 135), donde Tarski define contradictorio de la siguiente manera: "Con la ayuda de la palabra no , una forma la negación de ninguna oración; dos oraciones, de las cuales la primera es una negación de la segunda, se llaman oraciones contradictorias " (p. 20). Esta definición requiere una noción de "prueba". Gödel 1931 define la noción de esta manera: "La clase de fórmulas demostrables se define como la clase más pequeña de fórmulas que contiene los axiomas y está cerrada bajo la relación "consecuencia inmediata", es decir, la fórmula c de a y b se define como una consecuencia inmediata en términos de modus ponens o sustitución; cf Gödel 1931, van Heijenoort 1967, p. 601. Tarski define "prueba" informalmente como "enunciados que se suceden unos a otros en un orden definido de acuerdo con ciertos principios... y acompañados de consideraciones destinadas a establecer su validez [conclusión verdadera] para todas las premisas verdaderas - Reichenbach 1947, p. 68]" cf Tarski 1946, p. 3. Kleene 1952 define la noción con respecto a una inducción o parafraseando) una secuencia finita de fórmulas tales que cada fórmula en la secuencia es un axioma o una "consecuencia inmediata" de las fórmulas precedentes; " Se dice que una prueba es una prueba de su última fórmula, y se dice que esta fórmula es (formalmente) demostrable o es un teorema (formal)" cf Kleene 1952, p. 83.
  2. ^ Carnielli, Walter; Coniglio, Marcelo Esteban (2016). Lógica paraconsistente: consistencia, contradicción y negación . Lógica, epistemología y la unidad de la ciencia. Vol. 40. Cham: Springer. doi :10.1007/978-3-319-33205-5. ISBN . 978-3-319-33203-1.MR  3822731.Zbl 1355.03001  .​
  3. ^ Hodges, Wilfrid (1997). A Shorter Model Theory . Nueva York: Cambridge University Press. p. 37. Sea una firma, una teoría en y una oración en . Decimos que es una consecuencia de , o que implica , en símbolos , si cada modelo de es un modelo de . (En particular, si no tiene modelos, entonces implica .) Advertencia : no requerimos que si entonces haya una prueba de a partir de . En cualquier caso, con lenguajes infinitarios, no siempre está claro qué constituiría una prueba. Algunos escritores suelen querer decir que es deducible de en algún cálculo de prueba formal particular, y escriben para nuestra noción de implicación (una notación que choca con nuestra ). Para la lógica de primer orden, los dos tipos de implicación coinciden por el teorema de completitud para el cálculo de prueba en cuestión. Decimos que es válido , o es un teorema lógico , en símbolos , si es verdadero en cada -estructura. Decimos que es consistente si es verdadera en alguna estructura. Asimismo, decimos que una teoría es consistente si tiene un modelo. Decimos que dos teorías S y T en L infinito omega son equivalentes si tienen los mismos modelos, es decir, si Mod(S) = Mod(T).


    (Tenga en cuenta la definición de Mod(T) en la pág. 30 ...)
  4. ^ van Heijenoort 1967, p. 265 afirma que Bernays determinó la independencia de los axiomas de Principia Mathematica , un resultado no publicado hasta 1926, pero no dice nada acerca de que Bernays probara su consistencia .
  5. ^ Post demuestra tanto la consistencia como la completitud del cálculo proposicional de PM, véase el comentario de van Heijenoort y la Introducción de Post de 1931 a una teoría general de proposiciones elementales en van Heijenoort 1967, pp. 264ff. También Tarski 1946, pp. 134ff.
  6. ^ cf el comentario de van Heijenoort y Gödel, 1930, La completitud de los axiomas del cálculo funcional de la lógica en van Heijenoort 1967, pp. 582 y siguientes.
  7. ^ cf. comentario de van Heijenoort y 1930 de Herbrand Sobre la consistencia de la aritmética en van Heijenoort 1967, págs. 618 y siguientes.
  8. ^ Una prueba de consistencia a menudo presupone la consistencia de otra teoría. En la mayoría de los casos, esta otra teoría es la teoría de conjuntos de Zermelo-Fraenkel con o sin el axioma de elección (esto es equivalente, ya que se ha demostrado que estas dos teorías son equiconsistentes; es decir, si una es consistente, lo mismo es cierto para la otra).
  9. ^ Esta definición es independiente de la elección de debido a las propiedades de sustitutividad de y la consistencia máxima de .
  10. ^ el caso común en muchas aplicaciones a otras áreas de las matemáticas, así como el modo ordinario de razonamiento de las matemáticas informales en el cálculo y las aplicaciones a la física, la química y la ingeniería.
  11. ^ según las leyes de De Morgan

Referencias

Enlaces externos