Extensionalism without Logicism: Ambrose and Extensional Logic

Resumen Técnico: Extensionalismo sin Logicismo: Ambrose y la Lógica Extensional

Enunciado del Problema
El artículo aborda una tensión fundacional en la lógica y las matemáticas de principios del siglo XX: el conflicto entre el rigor de la lógica extensional (defendida por Bertrand Russell) y los compromisos metafísicos requeridos por el Logicismo. Específicamente, el autor examina cómo Alice Ambrose (1906–2001) navegó el periodo entre los Principia Mathematica de Russell y los movimientos constructivistas/intuicionistas emergentes de Brouwer y Weyl. El problema central es que, si bien los métodos extensionales de Russell ofrecían un marco claro y objetivo para definir clases y proposiciones mediante sus miembros y valores de verdad, su programa Logicista dependía de axiomas "no tautológicos", específicamente el Axioma de Infinito y el Axioma de Reducibilidad. Estos axiomas introdujeron efectivamente afirmaciones sustantivas y materiales sobre la existencia de infinitos reales en un sistema que pretendía derivarse únicamente de la lógica pura. El artículo investiga cómo Ambrose buscó preservar la claridad metodológica del extensionalismo mientras rechazaba la "materialidad del infinito" y la afirmación Logicista de que toda las matemáticas son reducibles a la lógica pura.

Metodología
El estudio emplea un análisis histórico-filosófico del corpus temprano de Ambrose, centrándose principalmente en su tesis doctoral inédita de 1932, En defensa de una lógica extensional, y en sus artículos publicados entre 1931 y 1936. La metodología incluye:

1. Análisis Comparativo: Contrastar la postura de Ambrose con el Logicismo de Russell, la Lógica Intensional de C. I. Lewis (implicación estricta) y el Intuicionismo de Brouwer/Weyl.
2. Crítica Textual: Examinar los argumentos específicos de Ambrose contra el "Axioma de Reducibilidad" y el "Axioma de Infinito", demostrando cómo ella los identifica como afirmaciones fácticas en lugar de tautologías lógicas.
3. Aplicación de Estudio de Caso: Analizar la reformulación de Ambrose del "problema de los π-7s" (discutido originalmente por Max Black) para ilustrar su método "extensionalista finitista". Esto implica tratar las afirmaciones existenciales sobre secuencias infinitas no como completaciones materiales, sino como disyunciones infinitas que requieren reglas de parada finitas.
4. Reconstrucción Conceptual: Rastrear el cambio de Ambrose desde una temprana adhesión a los infinitos "dados de una sola vez" de Russell hacia un "extensionalismo equilibrado" maduro que incorpora una hipótesis de "no-clases" y un requisito de testigos finitos.

Contribuciones Clave
El artículo identifica tres contribuciones primarias en la obra temprana de Ambrose:

1. La Crítica a los Axiomas Logicistas: Ambrose demuestra que el Logicismo de Russell falla al derivar las matemáticas de la lógica pura sola porque depende del Axioma de Infinito (afirmando la existencia de una clase infinita) y del Axioma de Reducibilidad (colapsando predicados de orden superior a los de primer orden). Ella argumenta que estos son "afirmaciones de hecho" en lugar de tautologías lógicas, violando así el ideal Logicista de que la lógica no añade nuevo conocimiento.
2. Extensionalismo sin Logicismo: Ambrose propone un punto medio que retiene el cálculo extensional (definir clases por pertenencia y proposiciones por valores de verdad) pero descarta la ambición Logicista de reducir toda las matemáticas a la lógica. Ella aboga por una teoría de "no-clases" donde los símbolos de clase se tratan como símbolos incompletos o abreviaturas de funciones proposicionales, evitando el compromiso ontológico con totalidades infinitas como objetos completados.
3. La Reformulación Finitista de la Existencia: Ambrose desarrolla un enfoque orientado a la práctica, proto-algorítmico, hacia las afirmaciones existenciales. Ella argumenta que una afirmación existencial (por ejemplo, "existen tres 7s consecutivos en π") solo adquiere significado a través de una regla de parada finita que produzca un testigo. Esto reformula las disyunciones infinitas no como completaciones materiales, sino como procedimientos potenciales.

Resultados y Análisis Técnico
El artículo detalla cómo Ambrose resuelve el "problema de los π-7s" para demostrar su extensionalismo equilibrado:

• El Problema: Max Black argumentó que determinar el $k$-ésimo dígito de un número definido por la ocurrencia de $k$ 7s consecutivos en $\pi$ requiere escanear toda la expansión infinita de $\pi$ si la secuencia nunca ocurre.
• La Solución de Ambrose: Ambrose corrige a Black reformulando la afirmación existencial. Ella trata la afirmación "Hay tres 7s consecutivos en $\pi$" como una disyunción infinita explícita: $\bigvee_{n=1}^{\infty} (\pi_n = 7 \land \pi_{n+1} = 7 \land \pi_{n+2} = 7)$.
• La Restricción Finitista: Ambrose insiste en que, para que esta afirmación sea significativa, debe estar respaldada por una regla de parada finita. Si se encuentra un testigo (un $n$ específico), la afirmación se verifica. Si no se encuentra un testigo, la afirmación permanece no verificada pero no necesariamente falsa en un sentido material, ya que el proceso infinito no puede completarse.
• El Resultado de "No-Clases": Al adoptar esta visión, Ambrose evita el "Axioma de Infinito". Trata el conjunto infinito de dígitos como una potencialidad definida por una regla, en lugar de un objeto material completado. Esto le permite mantener la lógica extensional (valores de verdad y pertenencia) sin aceptar la carga metafísica del infinito actual.

Significado y Afirmaciones
El artículo afirma que Ambrose representa una figura crucial, a menudo pasada por alto, que tendió un puente entre el formalismo de Russell y el giro constructivista. Su importancia radica en:

• Preservar el Rigor: Ella mantuvo el rigor objetivo y no psicológico de la lógica extensional frente a las críticas "intensionales" de Lewis y la "construcción mental" de Brouwer.
• Fundamentación Epistémica: Ella desplazó la fundación de la existencia matemática de la "completación material" a la "verificabilidad finita", anticipando desarrollos posteriores en la teoría de la computabilidad y la semántica de la demostración.
• Innovación Metodológica: Su "extensionalismo equilibrado" ofrece un marco donde la práctica matemática se alinea con las capacidades cognitivas y mecánicas humanas (procedimientos finitos) sin abandonar la utilidad de las definiciones extensionales.

El autor concluye que la obra de Ambrose anticipa conceptos modernos como la extracción de testigos en la teoría de la demostración y los números reales computables (mediante reglas de parada decidibles por Turing), estableciendo un "extensionalismo finitista" que rechaza la materialidad del infinito mientras retiene el poder de los cálculos extensionales.