Classical Logic without Bivalance

Este artículo aplica la semántica de Sandqvist para la lógica clásica sin bivalencia a cuestiones metamatemáticas, demostrando que se puede obtener una prueba de consistencia elemental para la Aritmética de Peano mediante inducción ordinaria, sin recurrir a órdenes transfinitos ni a verdades que trasciendan el reconocimiento.

Lo esencial

Imagina que las matemáticas son como un juego de construcción gigante, donde los números son los bloques y las reglas son las instrucciones de cómo encajarlos.

Durante mucho tiempo, los filósofos y matemáticos han discutido sobre cómo sabemos que este juego no tiene "agujeros" o contradicciones (es decir, que no podemos construir una torre que se caiga sola o que sea al mismo tiempo roja y azul).

El artículo que nos ocupa, escrito por Alexander V. Gheorghiu, propone una forma nueva y muy interesante de ver este juego, sin necesidad de asumir que los números existen en un "mundo mágico" fuera de nuestra mente.

Aquí tienes la explicación sencilla, usando analogías:

1. El problema de los "Números Fantasma" (La incompletitud)

Imagina que tienes una caja de instrucciones para construir torres.

• La visión antigua (Realista): Dice que hay una "torre perfecta" en el cielo que existe independientemente de nuestras instrucciones. Si nuestras reglas no pueden describir esa torre perfecta, decimos que nuestro sistema es "incompleto".
• La visión de este papel (Inferencialista): Dice: "Espera, ¿de qué estamos hablando? Los números son lo que nuestras reglas nos permiten construir". No hay torres en el cielo; solo hay lo que podemos hacer con los bloques.

El autor dice que si definimos los números estrictamente por cómo se comportan en nuestras reglas (sus "inferencias"), desaparecen los problemas extraños. Es como si dijéramos: "Si mi receta dice que 'el pastel' es lo que sale del horno siguiendo estos pasos, entonces no puede haber un 'pastel fantasma' que no salga del horno".

2. La prueba de que el juego no se rompe (Consistencia)

El gran objetivo del artículo es demostrar que las matemáticas básicas (la Aritmética de Peano) son consistentes. Esto significa que nunca podremos probar una contradicción (como demostrar que 1 = 0).

• El método tradicional: Para probar esto, los matemáticos solían usar herramientas muy pesadas, como "números infinitos" o estructuras muy complejas que van más allá de lo que podemos contar con los dedos. Era como intentar arreglar un reloj de pulsera usando un martillo de demolición.
• El método de Gheorghiu: Él usa una herramienta muy simple: el peso.

La analogía de la báscula:
Imagina que a cada bloque de construcción (número) le asignamos un "peso":

• El bloque "0" pesa 0.
• Si pones un bloque encima de otro (S(x)), el peso aumenta en 1.
• Si sumas dos bloques, sus pesos se suman.
• Si multiplicas, sus pesos se multiplican.

El autor crea un "juez" (llamado Base A) que revisa todas las reglas del juego. Este juez tiene una regla simple: Nunca puede aceptar una ecuación donde los pesos no coincidan.

Como el bloque "1" tiene un peso de 1 y el bloque "0" tiene un peso de 0, el juez nunca permitirá que digan que "1 = 0", porque sus pesos son diferentes. ¡Y listo! Hemos demostrado que el juego no se rompe, usando solo la lógica de los pesos y sin necesitar "números mágicos" infinitos.

3. ¿Por qué es importante esto?

El autor nos dice que no necesitamos asumir que los números existen en un "paraíso matemático" para confiar en ellos.

• La visión antigua: "Creo en los números porque son reales como las piedras".
• La visión de este papel: "Creo en los números porque entiendo perfectamente cómo se usan en el juego. Si entiendo las reglas, entiendo los números".

Es como aprender a conducir un coche. No necesitas saber cómo funciona el motor a nivel cuántico para saber que el coche se moverá si pisas el acelerador. El "significado" del coche está en cómo se conduce, no en su existencia mística.

4. El "Círculo" que no es malo

Algunos críticos podrían decir: "¡Espera! Estás usando matemáticas (la inducción) para probar que las matemáticas son seguras. ¡Es un círculo vicioso!".

El autor responde con una analogía genial: Es un círculo virtuoso, no vicioso.
Imagina que estás aprendiendo a hablar. Para explicar qué significa la palabra "perro", usas otras palabras que ya conoces. No puedes explicar el lenguaje sin usar el lenguaje. De la misma manera, para entender qué son los números, usamos las reglas de los números. No es un error; es simplemente cómo funciona el entendimiento humano.

En resumen

Este papel nos dice que podemos tener confianza en las matemáticas clásicas sin necesitar suposiciones filosóficas complicadas sobre la realidad.

• Sin "fantasmas": Los números son solo lo que nuestras reglas dicen que son.
• Sin "martillos gigantes": Podemos probar que las matemáticas son seguras usando herramientas sencillas (como contar pesos), sin necesidad de conceptos infinitos complejos.
• Significado por acción: Entender un número es saber qué puedes hacer con él, no saber dónde "vive" en el universo.

Es una forma de limpiar el polvo de la metafísica y dejar que las matemáticas brillen por su propia lógica interna.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Aritmética Clásica sin Bivalencia" (Classical Arithmetic Without Bivalence) de Alexander V. Gheorghiu, estructurado según los puntos solicitados.

1. El Problema: Fundamentos de la Aritmética y la Meta-matemática

El artículo aborda la tensión fundamental entre dos visiones tradicionales de la lógica y la meta-matemática:

• Formalismo: Trata las teorías matemáticas como sistemas de reglas para manipular símbolos no interpretados. Sufre de limitaciones como la incompletitud $\omega$ (una teoría puede probar $\varphi(n)$ para cada numeral $n$, pero no probar $\forall x \varphi(x)$), lo cual se acepta como una característica "bruta" del cálculo sin explicación ontológica profunda.
• Denotacionalismo (Realismo): Asume que el vocabulario matemático se refiere a estructuras independientes de la mente. Explica la incompletitud $\omega$ mediante la existencia de entidades no nombradas, pero a costa de presuponer una metafísica realista y una teoría de la verdad basada en condiciones de verdad, lo cual es problemático para los anti-realistas (como Dummett).

El desafío central: ¿Cómo justificar el razonamiento clásico (incluyendo la inducción y la consistencia de la Aritmética de Peano - PA) desde una perspectiva anti-realista e inferencialista, sin recurrir a verdades trascendentes a la verificación ni a ordinales transfinitos?

2. Metodología: Semántica Inferencialista de Sandqvist

Gheorghiu aplica el marco de semántica inferencialista desarrollado por Sandqvist (2009), conocido como "Lógica Clásica sin Bivalencia". La metodología se basa en los siguientes pilares:

• Inferencialismo: El significado de los términos lógicos y no lógicos se define por su papel inferencial (reglas de introducción y eliminación) y su "aseverabilidad justificada", no por su referencia a objetos externos.
• Bases (Bases): Se define una base $B$ como un conjunto de reglas atómicas que representan los compromisos inferenciales materiales de un agente.
• Relación de Soporte ($\Vdash_B$): La verdad o derivabilidad no es absoluta, sino relativa a una base. Se define inductivamente:
  • $\Vdash_B A$ (derivabilidad atómica) depende de la composición de reglas en $B$.
  • Los conectivos lógicos ($\to, \forall, \bot$) se definen en términos de cómo se comportan en extensiones de bases ($C \supseteq B$).
  • Crucialmente: El cuantificador universal $\forall x \varphi(x)$ se interpreta restringido a los términos cerrados del lenguaje. No "flota" sobre una ontología externa.
• Definición de Aritmética: Se define una teoría aritmética $\Gamma$ como numéricamente definida si para todo término cerrado $t$, existe un numeral $\bar{n}$ tal que $\Gamma \Vdash (t = \bar{n})$. Esto asegura que la ontología de la teoría está completamente capturada por los numerales.

3. Contribuciones Clave

El artículo aporta tres contribuciones técnicas y filosóficas principales:

1. Resolución de la Incompletitud $\omega$:

   • En esta semántica, si una teoría es numéricamente definida, entonces es $\omega$-completa.
   • Proposición 5: Si $\Gamma \Vdash \varphi(\bar{n})$ para todo numeral $\bar{n}$, entonces $\Gamma \Vdash \forall x \varphi(x)$.
   • Mecanismo: Dado que la teoría determina que todo término cerrado es igual a algún numeral, la verificación de una propiedad para todos los numerales implica automáticamente su verificación para todos los términos. La brecha entre Q (Aritmética de Robinson) y PA (Aritmética de Peano) se disuelve semánticamente, ya que la teoría fija la ontología.

2. La Inducción como Constitutiva del Significado:

   • Proposición 6: La inducción no es una hipótesis adicional sobre un dominio externo, sino una consecuencia de la comprensión inferencial de los números naturales. Si una teoría es numéricamente definida y acepta los pasos base e inductivos, acepta la universalización.
   • Esto alinea la inducción con la práctica de demostración (Tennant), en lugar de ser una verdad extensional sobre un conjunto infinito preexistente.

3. Prueba de Consistencia Elemental para PA:

   • El autor construye una Base Aritmética ($A$) explícita (ver Figura 2 del texto) que soporta todos los axiomas de PA.
   • Se define una función de peso $w(t)$ sobre los términos cerrados mediante recursión primitiva:
     • $w(0) = 0$
     • $w(S(t)) = w(t) + 1$
     • $w(t_1 + t_2) = w(t_1) + w(t_2)$
     • $w(t_1 \cdot t_2) = w(t_1) \cdot w(t_2)$
   • Se demuestra por inducción sobre la estructura de las derivaciones en $A$ que si $t_1 = t_2$ es derivable en $A$, entonces $w(t_1) = w(t_2)$.
   • Dado que $w(1) = 1$ y $w(0) = 0$, la identidad $1=0$(y por ende$\bot$) no puede ser derivada en$A$.

4. Resultados Principales

• Teorema 9 (Consistencia de PA): La Aritmética de Peano es consistente ($PA \nVdash \bot$) dentro de la semántica inferencialista.
• Transferencia a la Lógica Clásica: Dado que la derivabilidad clásica ($\vdash$) es sólida respecto a esta semántica ($\Gamma \vdash \varphi \implies \Gamma \Vdash \varphi$), la consistencia semántica implica la consistencia sintáctica clásica ($PA \nvdash \bot$).
• Robustez ante Extensiones: Incluso si se extiende el lenguaje con constantes infinitas (para lograr completitud semántica), la prueba de consistencia se mantiene válida tratando estas constantes como nombres alternativos para cero, manteniendo la naturaleza elemental de la prueba.

5. Significado e Implicaciones

El trabajo tiene un profundo significado filosófico y técnico:

• Independencia de Ordinales Transfinitos: A diferencia de las pruebas de consistencia formales (como las de Gentzen), esta prueba no requiere ordinales transfinitos ni principios de inducción transfinita. Utiliza únicamente la inducción ordinaria sobre los números naturales, lo cual es aceptable dentro del marco inferencialista.
• Anti-realismo Coherente: Demuestra que es posible justificar el razonamiento clásico y la consistencia de PA sin asumir una ontología realista de estructuras independientes de la mente. La "verdad" es una cuestión de compromisos inferenciales dentro de una base.
• Circulación Pragmática (no viciosa): La prueba utiliza inducción para probar la consistencia de la inducción. El autor argumenta que esto no es un círculo vicioso, sino una "circulación pragmática" necesaria y legítima: la inducción es constitutiva de nuestro entendimiento de los números, por lo que usarla para justificar la teoría que los define es apropiado.
• Crítica al Formalismo: El artículo desafía la idea de que el formalismo es el estándar por defecto para la meta-teoría. Muestra que las objeciones basadas en la complejidad cuantificacional de la semántica inferencialista son irrelevantes si se adopta la concepción inferencialista del significado.

En resumen, Gheorghiu logra establecer la consistencia de la Aritmética de Peano utilizando únicamente herramientas elementales y una semántica basada en el uso (inferencialismo), resolviendo problemas clásicos como la incompletitud $\omega$ al redefinir la relación entre la teoría y su dominio ontológico.