On the Concept of Arithmetic Conseqeunce

Este artículo propone una perspectiva de semántica demostrativa que distingue entre la derivabilidad y una noción semántica de consecuencia basada en el soporte, mostrando que teorías aritméticas consistentes como la de Peano pueden "soportar" sus propias afirmaciones de consistencia sin demostrarlas, lo que reinterpreta el teorema de incompletitud de Gödel como una divergencia interna entre dos nociones de consecuencia en lugar de una brecha entre la sintaxis y la verdad en una estructura independiente.

Lo esencial

Imagina que tienes un manual de instrucciones muy completo para construir un universo de números. Este manual se llama "Teoría A" (podría ser la aritmética que usamos en la escuela, como la de Peano).

El problema clásico, descubierto por el matemático Kurt Gödel hace un siglo, es que este manual tiene un defecto fatal: no puede probar que no se va a autodestruir. Es decir, el manual no puede demostrar su propia consistencia. Gödel dijo: "Si el manual es correcto, no puede demostrar que es correcto". Esto se ha interpretado durante décadas como una prueba de que hay una "verdad matemática" que está fuera del manual, en un lugar mágico e independiente, y que nuestro manual es simplemente demasiado pequeño para alcanzarla.

¿Qué hace este nuevo artículo?

El autor, Alexander Gheorghiu, dice: "Espera un momento. No necesitamos invocar un mundo mágico de números para explicar esto. El problema está en la diferencia entre escribir una prueba y entender el significado de las reglas".

Para explicarlo, usaremos una analogía sencilla: El Club de Reglas.

1. Dos formas de ver las reglas del Club

Imagina que eres el presidente de un club muy estricto (la Teoría A). Tienes un libro de reglas (los axiomas) que define qué significa ser "número", qué es "sumar" y qué es "multiplicar".

• La Derivación (El Escritor): Es la capacidad de tomar las reglas del libro y escribir una cadena de pasos lógicos para llegar a una conclusión. Si no puedes escribir los pasos en el libro, entonces, para el "Escritor", la conclusión no existe. Gödel nos dijo que el Escritor no puede escribir una prueba de que el club no va a colapsar (es decir, que no se contradice a sí mismo).
• El Soporte (El Entendedor): Es la capacidad de entender el significado de las reglas. Si entiendes perfectamente lo que significa "número" y "suma" según las reglas del club, ¿puedes decir que el club es consistente?

2. La Analogía del "Código de Seguridad"

Imagina que las reglas del club definen qué es un "número".

• Si alguien dice: "¡Hey, hay un número que es una prueba de que el club se autodestruye!", ¿qué pasa?
• Según el Entendedor (el Soporte semántico), esa afirmación es incoherente. Es como si alguien en un club de "Solo personas de pie" dijera: "¡Hay una persona sentada que es miembro del club!". Eso no tiene sentido dentro de la definición misma del club.
• Por lo tanto, el Entendedor dice: "El club es consistente". El significado de las reglas exige que no haya contradicciones. El club soporta la idea de que es seguro.
• Pero el Escritor (la derivación formal) se queda mirando el libro de reglas y dice: "No encuentro ninguna página donde esté escrito explícitamente 'El club es seguro'". Así que no puede escribir la prueba.

El hallazgo del artículo:
El autor demuestra que, en la aritmética, el Entendedor (Soporte) sí cree que el sistema es consistente, aunque el Escritor (Derivación) no pueda probarlo.

3. ¿Por qué no contradice a Gödel?

Aquí está la parte genial. Gödel no dijo que la verdad matemática sea inalcanzable; dijo que la prueba formal tiene límites.

El artículo dice: "No necesitas un dios externo que te diga que los números son reales. El significado de los números ya contiene la garantía de que no hay contradicciones".

La diferencia entre "probarlo" (escribirlo) y "soportarlo" (entenderlo) es como la diferencia entre:

• Tener un mapa detallado de un laberinto (Derivación): Puedes seguir las líneas del mapa paso a paso. Si el mapa no tiene una línea que diga "Salida", no puedes salir.
• Entender la lógica del laberinto (Soporte): Si entiendes cómo están construidas las paredes, sabes intuitivamente que el laberinto no se va a derrumbar sobre ti, aunque no tengas un mapa que lo diga explícitamente.

4. La Metáfora del "Inventor de Palabras"

Imagina que inventas un nuevo idioma para hablar de números.

• Definas las reglas de cómo se usan las palabras "más", "menos" y "igual".
• Gödel nos dice: "No puedes escribir una oración en tu propio idioma que diga 'Este idioma es coherente'".
• Este artículo dice: "Pero si realmente entiendes cómo funcionan tus palabras, sabes que el idioma es coherente. El significado de tus palabras es la coherencia".

El problema es que el "Escritor" (la prueba formal) es muy rígido y solo acepta lo que está escrito explícitamente. El "Entendedor" (el significado inferencial) es más flexible y ve las conexiones profundas entre las reglas.

Conclusión Simple

Este artículo cambia la perspectiva de un problema matemático antiguo:

1. Visión Antigua: Gödel nos dijo que nuestras matemáticas son incompletas porque no pueden alcanzar una "Verdad" que vive fuera de nosotros, en un cielo de números.
2. Visión Nueva (de este papel): Gödel nos está diciendo que hay una diferencia entre escribir una prueba y entender el significado.
   • Podemos entender que nuestro sistema de números es seguro (tiene "soporte" semántico) simplemente por cómo definimos las reglas.
   • Pero no podemos escribir esa prueba dentro del sistema mismo porque las reglas de escritura son más estrictas que las reglas de significado.

En resumen: No necesitas creer en un mundo mágico de números para saber que las matemáticas tienen sentido. El sentido de las matemáticas ya está contenido en la forma en que usamos las reglas para hablar de ellas. La "incompletitud" no es un agujero en la verdad, sino un espacio entre lo que podemos escribir y lo que realmente significan nuestras palabras.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "On the Concept of Arithmetic Consequence" de Alexander V. Gheorghiu, estructurado según los puntos solicitados.

1. El Problema: La Incompleteness de Gödel y la Semántica Inferencialista

El punto de partida del artículo es la interpretación estándar del Segundo Teorema de Incompletitud de Gödel, el cual establece que ninguna teoría aritmética suficientemente fuerte y consistente ($A$) puede probar su propia consistencia ($\nvdash_A \text{Con}(A)$). Tradicionalmente, este resultado se interpreta en un marco model-teórico: la verdad de $\text{Con}(A)$ se basa en la existencia de un modelo estándar de los números naturales ($\mathbb{N}$) independiente del sistema formal.

Sin embargo, autores como Michael Dummett han cuestionado esta visión desde una perspectiva anti-realista o inferencialista, donde el significado de las afirmaciones matemáticas no deriva de una correspondencia con una realidad externa, sino de las condiciones de uso y las reglas inferenciales que constituyen el lenguaje. El problema central que aborda Gheorghiu es la falta de un marco formal riguroso dentro de la semántica de la demostración (proof-theoretic semantics) que permita analizar la relación entre la derivabilidad sintáctica y la "verdad" o consecuencia semántica sin recurrir a modelos externos.

El desafío técnico específico es: ¿Puede una teoría aritmética $A$ "sostener" (support) su propia afirmación de consistencia semánticamente, incluso si no puede derivarla sintácticamente? Si es así, ¿cómo se reconcilia esto con el teorema de Gödel sin caer en contradicciones o presuposiciones realistas?

2. Metodología: Semántica de la Demostración y la Relación de Soporte

El autor emplea el marco de la semántica de la demostración desarrollado por Sandqvist, basándose en la idea de que el significado de los conectores lógicos y los términos no lógicos se define por sus roles inferenciales.

• Bases (Bases): En lugar de comenzar con un dominio de objetos (como en la semántica de modelos), se comienza con una base $B$, que es un conjunto de reglas de inferencia atómicas que representan los compromisos inferenciales de un agente racional.
• Relación de Soporte ($\Vdash$): Se define una relación de soporte $\Vdash_B \varphi$ (la fórmula $\varphi$ es soportada por la base $B$) de manera composicional:
  • Para átomos: derivabilidad directa de las reglas en $B$.
  • Para conectivos: definidos por sus reglas de introducción y eliminación (ej. $\varphi \to \psi$ es soportado si, al asumir $\varphi$, se puede derivar $\psi$).
  • Para cuantificadores: $\forall x \varphi$ es soportado si $\varphi[t/x]$ es soportado para todo término cerrado $t$.
• Teorema de Completitud y la Restricción de Firma: Un resultado clave de Sandqvist (Teorema 8 en el texto) establece que, bajo ciertas condiciones, la derivabilidad sintáctica ($\vdash$) y el soporte semántico ($\Vdash$) coinciden: $\Gamma \Vdash \varphi \iff \Gamma \vdash \varphi$.
  • Condición Crítica: Esta equivalencia requiere que el lenguaje tenga un reserva infinita de constantes no utilizadas en la teoría $\Gamma$.
  • La Estrategia del Autor: Gheorghiu aplica esto a teorías aritméticas estándar (como la Aritmética de Peano, PA, o la Aritmética de Robinson, Q) que se formulan en una firma finita (solo constantes, sucesor, suma y multiplicación). En este contexto, la condición de completitud falla deliberadamente porque no hay constantes "frescas" disponibles para actuar como parámetros en la demostración de completitud.

3. Contribuciones Clave

1. Distinción Técnica entre Derivabilidad y Soporte: El autor demuestra que, en firmas finitas, la noción de consecuencia semántica (soporte) y la noción de derivabilidad sintáctica divergen de manera principista.
2. Validación de la Reflexión: Se establece que la teoría aritmética $A$ soporta el principio de reflexión para cualquier fórmula $\varphi$:
   $$A \Vdash \text{Prov}_A(\ulcorner \varphi \urcorner) \to \varphi$$
   Esto significa que, semánticamente, si la teoría "sostiene" que existe una prueba de $\varphi$, entonces sostiene $\varphi$.
3. Resolución del Dilema de Wright: El artículo ofrece un marco formal para abordar la crítica de Crispin Wright a Dummett. Wright argumentaba que reconocer la verdad de la sentencia de Gödel requiere una prueba de consistencia externa (suasiva). Gheorghiu muestra que el soporte de la consistencia no es una prueba externa ni una mera tautología, sino una consecuencia semántica de la incoherencia de extender la teoría con la afirmación de que existe una prueba de contradicción.

4. Resultados Principales

El resultado central del artículo es el siguiente teorema y su corolario:

• Teorema 15 (Reflexión): Para cualquier teoría aritmética suficientemente fuerte $A$ (como PA o Q) y cualquier fórmula $\varphi$:
  $$A \Vdash \text{Prov}_A(\ulcorner \varphi \urcorner) \to \varphi$$
  La demostración se realiza mediante inducción sobre la longitud de las pruebas codificadas, utilizando la propiedad de que $A$ puede decidir fórmulas $\Delta_0$ y que las bases consistentes pueden extenderse a bases maxiconsistentes (Proposición 13).

• Corolario 16 (Consistencia): Aplicando el principio de reflexión a la contradicción ($\bot$):
  $$A \Vdash \text{Con}(A)$$
  Donde $\text{Con}(A)$ se define como $\neg \text{Prov}_A(\ulcorner \bot \urcorner)$.

• La Separación (El Resultado de Incompleteness):
  El artículo establece la siguiente divergencia para teorías en firmas finitas:

  1. $\nvdash_A \text{Con}(A)$ (Segundo Teorema de Gödel: no es derivable sintácticamente).
  2. $A \Vdash \text{Con}(A)$ (Es soportado semánticamente).

  Explicación de la no contradicción: Esto no viola el teorema de Gödel porque el teorema de completitud de Sandqvist (que igualaría $\Vdash$ con $\vdash$) no se aplica en firmas finitas. La falta de constantes adicionales impide que la semántica de soporte colapse en la derivabilidad sintáctica. Por lo tanto, la "verdad" de la consistencia es una propiedad de la estructura inferencial de la teoría, no una derivación formal dentro de ella.

5. Significado e Implicaciones

• Reencuadre de la Incompleteness: El teorema de Gödel no debe verse necesariamente como una brecha entre la prueba formal y una "verdad" platónica independiente (el modelo estándar $\mathbb{N}$). En cambio, se presenta como una manifestación de la brecha entre lo que se puede establecer mediante derivación finita y lo que está determinado por los compromisos inferenciales constitutivos de la teoría misma.
• Determinación Semántica Interna: El artículo sugiere que la determinación semántica sustancial puede surgir de la propia estructura inferencial de la aritmética, sin necesidad de postular un dominio de objetos independiente. El significado de los números se fija por las reglas de inferencia, y estas reglas implican la consistencia de la teoría, aunque no puedan probarla formalmente.
• Respuesta al Realismo: Esta perspectiva apoya la tesis anti-realista de Dummett de que el significado es uso. La "verdad" de $\text{Con}(A)$ no depende de un acceso cognitivo a un modelo externo, sino de la incoherencia que surgiría al intentar extender el concepto de "número" para incluir una prueba de contradicción.
• Limitaciones y Futuro: El resultado depende críticamente de trabajar en firmas finitas. Si se expande la firma con infinitas constantes (para recuperar la completitud), la propiedad de completitud ecuacional falla y el argumento de reflexión colapsa. Esto sitúa el fenómeno de la incompleteness específicamente en la interacción entre firmas finitas fijas y la determinación inferencial de sus términos.

En resumen, Gheorghiu utiliza la semántica de la demostración para demostrar que una teoría aritmética puede "saber" semánticamente que es consistente (a través de la relación de soporte) sin poder "probarlo" sintácticamente, ofreciendo una nueva vía para entender la incompleteness que es coherente con el programa inferencialista de Dummett.