Carnap on Quantum Mechanics

Este artículo examina la perspectiva filosófica de Rudolf Carnap sobre la mecánica cuántica de su época y especula sobre cómo sus puntos de vista podrían aplicarse a los desarrollos recientes en los fundamentos de la disciplina.

Lo esencial

Imagina a Rudolf Carnap como un arquitecto muy estricto y meticuloso que cree que no puedes discutir adecuadamente el diseño de un edificio (su filosofía) hasta que los planos estén perfectamente dibujados en un lenguaje formal y matemático.

Este artículo, escrito por Sebastian Horvat e Iulian D. Toader, explora cómo este arquitecto veía la Mecánica Cuántica (MC) —la física de lo muy pequeño— en su libro de 1966, Fundamentos filosóficos de la física.

Aquí está la historia de la visión de Carnap, desglosada en conceptos y analogías simples:

1. El problema de los "planos"

La regla principal de Carnap era: No discutas sobre la filosofía de una teoría hasta que la teoría esté completamente escrita como un sistema lógico formal.

Piensa en la Mecánica Cuántica de las décadas de 1950 y 1960 como una casa que aún estaba en construcción. Las paredes estaban en pie y la electricidad funcionaba, pero los planos estaban desordenados. Algunas partes estaban escritas en "lenguaje natural" (como el inglés), que es vago, en lugar de en "lenguaje formal" (como la lógica matemática pura), que es preciso.

Carnap sentía que, como los "planos" de la Mecánica Cuántica aún no estaban terminados, los filósofos estaban actuando prematuramente. Intentaban debatir preguntas profundas sobre la naturaleza de la realidad, la lógica y el lenguaje basándose en una teoría que no estaba completamente formalizada. Él creía que, hasta que la comunidad científica terminara la "reconstrucción racional" (el plano formal perfecto), no podríamos preguntar con seguridad: "¿Qué significa realmente esta teoría?"

2. Lo que Carnap sí entendía (El suelo firme)

Aunque pensaba que los planos estaban incompletos, Carnap conocía muy bien los fundamentos de la casa. El artículo aclara que no estaba confundido sobre la Mecánica Cuántica; simplemente quería ser cauteloso.

Basado en lo que sabía, ofreció algunas respuestas claras:

• El mundo es estadístico: Argumentó que la aleatoriedad en la Mecánica Cuántica no se debe a que somos ignorantes o malos midiendo las cosas (como una foto borrosa). Se debe a que el universo mismo está construido así. Es como lanzar un dado: el resultado es aleatorio no porque el dado esté roto, sino porque así funcionan los dados.
• El espacio y el tiempo podrían estar "pixelados": Especuló que el universo podría estar hecho de trozos diminutos y discretos (como píxeles en una pantalla) en lugar de un flujo suave y continuo.
• El libre albedrío está a salvo: Descartó la idea de que la aleatoriedad cuántica salva el "libre albedrío". Argumentó que si nuestras decisiones fueran solo saltos cuánticos aleatorios, no serían "elecciones" en absoluto; serían solo accidentes. Aleatoriedad ≠ Libertad.
• No hay definiciones simples: No puedes definir ideas cuánticas complejas (como el "espín") usando palabras simples y cotidianas. Necesitas todo un nuevo sistema formal para explicarlas.

3. Lo que Carnap se negó a hacer (La trampa lógica)

Esta es la parte más famosa de su postura. Algunos físicos y filósofos miraron la Mecánica Cuántica y dijeron: "Las reglas de la lógica que usamos en la vida cotidiana (como 'A y B') no funcionan aquí. Necesitamos inventar una nueva lógica".

Carnap dijo: "De ninguna manera".

Usó una gran analogía (parafraseada de una reunión de 1962): Si las reglas de un juego parecen extrañas, no cambias las reglas del juego; cambias las piezas o el tablero.

• La visión: Creía que deberíamos cambiar nuestros conceptos físicos (las "piezas") para que encajaran con nuestra lógica existente y sólida, en lugar de cambiar la lógica misma para que encajara con la física.
• La razón: Sentía que, como los "planos" de la física no estaban terminados, no podíamos estar seguros de si la extrañeza estaba en la física o simplemente en nuestra comprensión incompleta. Quería ver formalizado el sistema completo de la física (incluyendo la gravedad) antes de considerar reescribir las reglas de la lógica.

4. El debate del "realismo" (¿Qué hay "realmente" ahí fuera?)

Hoy en día, los científicos debaten sobre lo que la Mecánica Cuántica dice sobre la realidad: ¿Existen muchos mundos? ¿Existen partículas ocultas?

• La postura de Carnap: Probablemente llamaría a estos debates "sin sentido". En su opinión, preguntar qué hay "realmente" ahí fuera fuera de un marco de lenguaje específico es una pregunta trampa.
• La analogía: Imagina a dos personas discutiendo si un mapa de una ciudad es "real". Uno dice que el mapa son solo líneas; el otro dice que el mapa es la ciudad. Carnap diría: "Dejen de discutir sobre la ciudad 'real'. Simplemente acordemos qué mapa es útil para conducir". Juzgaría las diferentes teorías basándose en cuál es más simple y funciona mejor, no en cuál describe la "verdadera" realidad invisible.

5. ¿Qué pensaría Carnap hoy?

El artículo concluye preguntando: Si Carnap estuviera vivo hoy, ¿cambiaría de opinión?

• La mala noticia: Todavía no tenemos un "plano" unificado y perfecto que combine la Mecánica Cuántica con la gravedad (la teoría de Einstein). La casa sigue en construcción. Por lo tanto, es probable que Carnap sigiera negándose a decir que la Mecánica Cuántica nos obliga a cambiar las reglas de la lógica.
• La buena noticia: Hay nuevos intentos de construir la teoría desde cero utilizando la teoría de la información (pensando en el universo como un sistema que procesa datos). Aunque estos no son los planos formales perfectos que Carnap quería todavía, son pasos en la dirección correcta. Podría interesarse en estos nuevos enfoques como una forma de finalmente "reconstruir la teoría" con conceptos más claros.

Resumen

Carnap era un arquitecto cauteloso. Sabía que la Mecánica Cuántica era revolucionaria, pero insistió en que no deberíamos intentar reescribir las leyes de la lógica ni debatir la naturaleza última de la realidad hasta que la teoría estuviera escrita en un lenguaje matemático formal y perfecto. Creía que, hasta que los "planos" estuvieran terminados, deberíamos centrarnos en hacer que la teoría fuera útil y simple, en lugar de perderse en argumentos metafísicos sobre lo que es "real".

Resumen técnico

Resumen Técnico: Carnap sobre la Mecánica Cuántica

Problema
El artículo aborda la aparente tensión entre la rigurosa metodología filosófica de Rudolf Carnap y su tratamiento de la mecánica cuántica (MQ) en su obra de 1966, Fundamentos filosóficos de la física. Críticos y editores recientes (Lutz y Tuboly, 2021) han sugerido que las reflexiones de Carnap sobre la MQ estaban desactualizadas, señalando su dependencia del formalismo de von Neumann de 1932 mientras ignoraba enfoques rigurosos posteriores como el de Mackey (1963) o teoremas fundamentales como los de Gleason (1957) y Bell (1964). El problema central es clarificar la postura real de Carnap sobre la MQ, distinguiendo entre su sólida comprensión de sus principios básicos y su negativa metodológica específica a abordar ciertas cuestiones filosóficas (relativas al lenguaje y la lógica) hasta que la teoría se presentara como un sistema axiomático completamente formalizado. Los autores también investigan qué implicaría el marco de Carnap para los debates contemporáneos sobre las interpretaciones de la MQ, el realismo y la semántica de la teoría cuántica.

Metodología
Los autores emplean un análisis histórico y conceptual del texto de 1966 de Carnap, cruzado con sus obras anteriores sobre sintaxis lógica, reconstrucción racional y semántica (por ejemplo, La sintaxis lógica del lenguaje, 1937; Introducción a la semántica, 1943). La metodología incluye:

1. Reconstrucción Textual: Análisis de los argumentos específicos de Carnap en el capítulo final de su libro de 1966 ("Indeterminismo en la física cuántica") respecto al Principio de Incertidumbre, las funciones de onda y la ecuación de Schrödinger.
2. Contextualización Metafilosófica: Situar la vacilación de Carnap para revisar la lógica basada en la física dentro de su compromiso más amplio con la "reconstrucción racional". Esto implica examinar su requisito de que las teorías científicas se formulen en una estructura sintáctica parcialmente interpretada que comprenda axiomas logico-matemáticos, oraciones teóricas y reglas de correspondencia que las vinculen con oraciones de observación.
3. Aplicación Contrafáctica: Proyectar los principios filosóficos establecidos de Carnap (específicamente sus puntos de vista sobre las preguntas internas frente a las externas, la naturaleza de la explicación científica y el inferencialismo frente al representacionalismo) sobre desarrollos contemporáneos en la MQ, como los teoremas de imposibilidad (Bell, Kochen-Specker) y las axiomatizaciones modernas basadas en la teoría de la información (Hardy, Chiribella et al.).

Contribuciones Clave
El artículo realiza varias contribuciones distintas a la comprensión de la filosofía de la física de Carnap:

• Refutación de la Ignorancia: Refuta explícitamente las afirmaciones de que Carnap no estaba familiarizado con la teoría cuántica, argumentando que poseía una comprensión sólida de sus principios básicos, incluso si consideraba que la formalización era incompleta para sus propósitos filosóficos específicos.
• Clarificación de la "Reconstrucción Racional": Los autores aclaran que el rechazo de Carnap a revisar la lógica basada en la MQ no se debía a una falta de rigor matemático en las formulaciones existentes (como las de von Neumann o Mackey), sino a que estas no constituían una reconstrucción racional de la física moderna en su conjunto. Carnap requería un sistema unificado que incluyera la física gravitacional/espaciotemporal y una división clara entre términos teóricos y observacionales, algo que estaba ausente en la década de 1960 y que sigue estándolo hoy.
• Reinterpretación de Carnap sobre el Realismo: El artículo argumenta que Carnap probablemente vería los debates actuales sobre las interpretaciones de la MQ (por ejemplo, muchos mundos frente a variables ocultas) como "pseudo-disputas" relativas a preguntas externas. En cambio, probablemente evaluaría estas interpretaciones basándose en criterios pragmáticos (simplicidad, unificación) en lugar de la verdad metafísica.
• Análisis Metasemántico de los Teoremas de Imposibilidad: Los autores proponen que Carnap interpretaría los teoremas de Bell y Kochen-Specker no como obstáculos al realismo, sino como limitaciones metasemánticas para proporcionar una semántica representacionalista para el formalismo cuántico. Esto se alinea con las visiones inferencialistas modernas (por ejemplo, Healey, 2017), sugiriendo que las reglas de aplicación determinan el significado de los términos cuánticos.
• La Prueba de Categoricidad: El artículo aplica la solución de Carnap al problema de la categoricidad en la lógica clásica a la MQ. Sugiere que, incluso si uno adopta una semántica inferencialista para los términos cuánticos, Carnap exigiría una prueba de si las reglas físicas (reglas-P) de la teoría son categóricas (determinando unívocamente el significado de los términos).

Resultados

• Estatus de la Revisión Lógica: Es probable que Carnap permanezca convencido de no revisar la lógica fundamental de la física (por ejemplo, adoptando una lógica no distributiva) únicamente basándose en la MQ, ya que el requisito previo de una reconstrucción racional completa y unificada de la física aún no se ha cumplido.
• Naturaleza de la Explicación Científica: El artículo confirma la visión de Carnap de que el carácter estadístico de la MQ no es un resultado de la ignorancia, sino una característica fundamental de la estructura del mundo, lo que implica que todas las explicaciones físicas son inherentemente estadísticas.
• Libre Albedrío: Se reafirma el argumento de Carnap de que la indeterminación cuántica no apoya el libre albedrío: los saltos cuánticos aleatorios simplemente harían que las decisiones fueran aleatorias (probabilidades) en lugar de elecciones libres.
• Relevancia Contemporánea: Si bien las axiomatizaciones modernas de la MQ basadas en la teoría de la información (deduciendo espacios de estados de principios de información) aún no son reconstrucciones racionales carnapianas (carecen de lenguajes formales y reglas de correspondencia), el artículo sugiere que podrían allanar el camino hacia una.

Significado
El artículo reclama importancia al corregir el registro histórico sobre el compromiso de Carnap con la mecánica cuántica, superando la visión de que simplemente estaba "desactualizado". Demuestra que la cautela de Carnap era una necesidad metodológica arraigada en su filosofía de la reconstrucción racional, en lugar de una falta de comprensión técnica. Además, el artículo conecta la filosofía de mediados del siglo XX de Carnap con los debates contemporáneos, sugiriendo que su marco ofrece una manera robusta de interpretar los teoremas de imposibilidad modernos y los enfoques semánticos de la MQ sin caer en trampas metafísicas. Plantea que la insistencia de Carnap en la formalización y la distinción entre preguntas internas y externas sigue siendo una herramienta vital para analizar los fundamentos lógicos y lingüísticos de la teoría cuántica hoy en día.