La frase "lógica de primer orden" tiene dos significados:
Es un capítulo de lógica matemática en el que estudiamos ciertos tipos de sistemas formales y todo lo relacionado con ellos.
Es un tipo especial de teoría de primer orden, es decir, la generada por una firma vacía y un conjunto vacío de axiomas.
Su pregunta se refiere al segundo significado, pero para entender esto, necesitamos construir cosas:
Existe cierto lenguaje formal llamado lenguaje de lógica de primer orden . Hablando informalmente, es lo que puedes construir a partir de variables, igualdad,∧, ∨, ¬, ⇒, ∀ y ∃. Estas cosas se conocen como fórmulas de primer orden .
Hay un cierto sistema formal llamado lógica de primer orden que nos dice qué significa que demostremos una fórmula de primer orden. El sistema se proporciona como un conjunto de reglas de inferencia.
Una teoría de primer ordenT es dado por:
- una firmaΣTque consiste en un conjunto de constantes, símbolos de función y símbolos de relación. Piense en esto como extensiones del lenguaje básico de la lógica de primer orden. Lo llamamos el lenguaje deT.
- Un conjunto deductivamente cerrado de fórmulas de primer orden escritas en el lenguaje extendido por la firma.
Un conjunto Sde fórmulas se dice que está deductivamente cerrado si alguna aplicación de reglas de inferencia de lógica de primer orden a fórmulas enS da fórmulas que están nuevamente en S. En otras palabras,Scontiene todas sus consecuencias lógicas. Una forma común de crear tal conjuntoS es: comenzar con algún conjunto de fórmulas elegido UNA, y agréguele todas sus consecuencias lógicas, y las consecuencias de esas consecuencias, y así sucesivamente. Esto se llama cierre deductivo deUNA. A menudo llamamos a las fórmulas enUNA axiomas .
Una teoría puede o no ser completa. No es importante saber qué significa "completo" aquí, pero es importante saber que puede suceder lo siguiente: podemos tener dos conjuntos de fórmulasUNA y sital que A ⊆ B, el cierre deductivo de UNA es una teoría completa, y el cierre deductivo de siNo es una teoría completa.
Ahora estamos listos para responder su pregunta. DejarTser la teoría cuya firma está vacía y cuyo conjunto de fórmulas es el cierre deductivo del conjunto vacío. DejarPAGS ser la teoría cuya firma es la de la aritmética de Peano (constante 0 0operación unaria S, operaciones binarias + y ×) y las fórmulas son el cierre deductivo de los axiomas de Peano. Es un hecho que
- T está contenido en PAGS (de hecho T está contenido en cada teoría),
- T Esta completo,
- PAGS no está completo.
La teoría Tse llama popularmente "lógica de primer orden", pero esto realmente es un nombre inapropiado. Algunas personas son un poco más precisas y lo llaman "la teoría pura de la lógica de primer orden".
En resumen, su pregunta reveló lo siguiente:
- No sabía que la "lógica de primer orden" puede referirse a la teoría con firma vacía generada por los axiomas vacíos.
- Una teoría completa puede quedar incompleta cuando la extendemos.
- Usaste la definición incorrecta de integridad. La definición correcta es: una teoría está completa si, cada oración o su negación es un teorema de la teoría.
NB: una oración es una fórmula cerrada (una que no contiene ninguna variable libre).
Por último, permítame abordar su pregunta sobre la validez:
- una fórmula es demostrable si hay una prueba de ello
- una fórmula es válida si es cierta en todos los modelos
Un metateorema básico sobre la lógica de primer orden es que toda fórmula demostrable es válida. Lo contrario también es válido y se conoce como el teorema de integridad de Gödel .
Sin embargo, a menudo sucede que en alguna situación particular, uno deliberadamente hace una falta de coincidencia entre validez y demostrabilidad por una buena razón. Por ejemplo, si limitamos la atención solo a los modelos finitos , puede suceder fácilmente que haya declaraciones válidas que no tengan pruebas. ¿Por qué uno haría eso? En ciencias de la computación podría ser por razones algorítmicas, o porque uno está interesado solo en una clase particular de modelos.
Dices "la única forma de saber que una oración es válida es probarla". Este puede ser el caso en algún nivel informal (creo que Dios no estaría de acuerdo con usted), pero tenga en cuenta que cualquier prueba de validez se produce fuera de la teoría, en el nivel meta. De hecho, dado que establecer la validez requiere que uno hable sobre todos los modelos, esto ciertamente no es algo que esperaríamos realizar dentro de la teoría.