Informe de investigación — agosto de 2026
Es un mapa del terreno, no una tesis. Su objeto no es la mecánica cuántica (MC) sino lo que la MC obliga a decidir: qué hay en el mundo, qué puede saberse de ello, y qué categorías metafísicas heredadas dejan de funcionar. Se organiza en cinco movimientos:
Una advertencia metodológica que gobierna todo lo demás: ningún teorema no-go refuta un supuesto aislado; refuta una conjunción. Las frases de titular —“Bell refutó el realismo”, “Kochen-Specker refutó las variables ocultas”, “la decoherencia resolvió el problema de la medición”— son todas falsas o gravemente imprecisas, y se corrigen abajo en su lugar. Los puntos sin consenso van marcados como [disputado].
La axiomatización canónica es la de John von Neumann, Mathematische Grundlagen der Quantenmechanik (1932): estados como rayos de un espacio de Hilbert separable, observables como operadores autoadjuntos, proposiciones experimentales como proyectores.
Lo filosóficamente notable es que von Neumann abandonó su propia construcción. En carta a Birkhoff de 1935 escribe: “I do not believe in Hilbert space anymore”. El motivo no era técnico sino conceptual: en el retículo de proyectores de un espacio de Hilbert no hay una dimensión-probabilidad canónica, mientras que en los factores de tipo II₁ sí existe una traza finita normalizada que induce una función dimensión continua. Von Neumann buscaba una estructura donde la probabilidad fuera intrínseca a la geometría, no un añadido. De ahí las geometrías continuas y los seis artículos de Murray–von Neumann sobre rings of operators (1936–1943).
La ironía es doble. Primero: ese programa, concebido para superar Hilbert, acabó reforzándolo. Segundo: von Neumann consideró patológicos los factores de tipo III — y hoy son los relevantes. En teoría cuántica de campos algebraica (AQFT), las álgebras locales asociadas a regiones de doble cono son genéricamente isomorfas al único factor hiperfinito de tipo III₁ de la clasificación de Connes (1973).
Esto no es una curiosidad matemática: reconfigura la ontología. Con atribuciones precisas (Clifton–Halvorson, SHPMP 2001; Yngvason, Phys. Rep. 2005; Summers–Werner):
Consecuencia filosófica de primer orden, y poco explotada: la imagen de “sistemas separados que a veces se entrelazan” es un artefacto de la MC no relativista de tipo I. En el régimen relativista el holismo es el estado por defecto y la separabilidad es lo que exige explicación (aproximada, vía la propiedad split). Esto socava las lecturas atomistas del entrelazamiento y presiona hacia un monismo de prioridad estructural. Buena parte de la literatura interpretativa sigue razonando con espacios de tipo I y no ha absorbido este punto.
¿Por qué los números complejos? Dos respuestas, ninguna concluyente:
Teorema de Gleason (1957): para dim(H) ≥ 3, toda medida de probabilidad numerablemente aditiva sobre el retículo de proyectores tiene la forma μ(P) = Tr(WP).
Su fuerza filosófica: la regla de Born no es un postulado independiente. Si se acepta (i) que las proposiciones experimentales se representan por proyectores y (ii) que la probabilidad asignada a un proyector no depende del contexto de medición en que aparece, entonces Born está fijada unívocamente. La estructura reticular determina la teoría de la probabilidad admisible.
Advertencia decisiva (Bell, 1966). El supuesto (ii) —no-contextualidad— es sustantivo, no inocente. Gleason no refuta las variables ocultas; refuta las no contextuales. Bohm es contextual y sobrevive. El patrón se repetirá en todas las derivaciones: se “deriva” Born solo concediendo una premisa que es ella misma una tesis interpretativa fuerte.
Derivaciones alternativas y la sospecha de circularidad:
Cuatro naturalezas rivales de la probabilidad cuántica:
| Posición | Tesis | Precio |
|---|---|---|
| Objetiva / propensiones | El colapso objetivo (GRW) da indeterminismo genuino | Modifica la MC; falsable y crecientemente acorralada |
| Subjetiva / QBista (Fuchs, Mermin, Schack) | Los estados son credenciales personalistas; Born es una norma de coherencia, no una ley | ¿Qué explica la fiabilidad intersubjetiva? |
| Tipicidad (Dürr, Goldstein & Zanghì, 1992) | En Bohm, ‖ψ‖² es medida de tipicidad equivariante; la probabilidad es derivada | La elección de la medida hace trabajo explicativo sin justificación no circular |
| Lógico-estructural (Pitowsky) | La MC es una teoría de la probabilidad no booleana | Deflaciona la pregunta ontológica |
La posición de Itamar Pitowsky merece subrayado por su radicalidad: la MC no es una teoría física con una probabilidad añadida, sino una teoría de probabilidad sobre un álgebra de eventos no distributiva. Las desigualdades de Bell son, en esta lectura, condiciones de posibilidad para la existencia de una extensión booleana común (Quantum Probability–Quantum Logic, 1989: politopos de correlación). Bub & Pitowsky, “Two dogmas about quantum mechanics” (2007/2010), rechazan que la medida deba analizarse dinámicamente y que el estado sea un truthmaker: el espacio de Hilbert sería una cinemática de la información — restricciones objetivas y pre-dinámicas sobre las correlaciones posibles.
Birkhoff & von Neumann, “The Logic of Quantum Mechanics”, Annals of Mathematics 37, 823 (1936). El retículo de proyectores es ortocomplementado y ortomodular pero no distributivo. Ellos mismos señalaron que “las identidades distributivas son el eslabón más débil del álgebra de la lógica”.
Qué significa el fallo de la distributividad, en el caso de espín-1/2:
(σx=+) ∧ [(σz=+) ∨ (σz=−)] = (σx=+) [(σx=+)∧(σz=+)] ∨ [(σx=+)∧(σz=−)] = 0
Una disyunción puede ser verdadera sin que ningún disyunto lo sea. Ontológicamente esto es la superposición leída como semántica: la disyunción cuántica no es “una de las dos, no sé cuál”, sino un tercer estado de cosas irreducible.
Putnam, “Is Logic Empirical?” (1968): la lógica es tan empírica como la geometría; cambiar de lógica disolvería el problema de la medición.
La demolición. Dummett (“Is Logic Empirical?”, 1976) atacó el estatuto del significado de las constantes lógicas: si cambian las reglas de introducción y eliminación, no revisamos la lógica — hablamos de otra cosa (change of logic, change of subject, Quine). Maudlin, “The Tale of Quantum Logic” (en Ben-Menahem, ed., Hilary Putnam, CUP 2005), dio el golpe decisivo: el problema de la medición no es lógico sino de ontología y dinámica —qué hay y cómo evoluciona—; y la propuesta de valores definidos simultáneos naufraga contra Gleason y Kochen–Specker. Putnam se retractó (The Threefold Cord, 1999; explícitamente en 2005).
Dos obstáculos técnicos internos sellaron además el destino del enfoque reticular estático: el producto tensorial de ortoálgebras ortocoherentes destruye la ortocoherencia (Foulis–Randall), y el teorema de Aerts establece que el producto de dos retículos de Piron es un retículo de Piron solo si uno de los factores es clásico. El retículo no compone; y componer es justamente lo cuántico.
El programa realista-revisionista está muerto. El programa estructural no. Sus herederas vivas:
Programa topos. Isham & Butterfield (desde 1998); Döring & Isham, “A topos foundation for theories of physics” I–IV, J. Math. Phys. 49 (2008); Heunen, Landsman & Spitters, “A topos for algebraic quantum theory” (2009) — el “topos de Bohr”.
Dada un álgebra C, se toma el poset 𝒞(A) de sus subálgebras conmutativas (los “contextos clásicos”, en espíritu bohriano) y se forma el topos de prehaces. Internamente a ese topos, el álgebra no conmutativa se vuelve conmutativa, con un espacio espectral interno Σ (spectral presheaf) y observables como funciones sobre él (daseinisation*, en el vocabulario heideggeriano de Döring–Isham).
El resultado clave: el teorema de Kochen–Specker equivale a que el prehaz espectral Σ no tiene secciones globales. No hay “punto” en Σ. La imposibilidad deja de ser un teorema combinatorio y se convierte en un enunciado geométrico: el espacio de estados cuántico es un objeto que localmente (por contexto) parece clásico y globalmente no se pega.
El intercambio lógico es el punto filosóficamente más elegante del campo:
| Lógica clásica | Lógica cuántica (B–vN) | Lógica interna del topos | |
|---|---|---|---|
| Distributividad | Sí | No | Sí |
| Tercio excluso | Sí | Sí | No (intuicionista) |
Es decir: se puede recuperar la distributividad pagando con el tercio excluso. La estructura no clásica de la MC no obliga a abandonar la distributividad; obliga a abandonar la bivalencia. Los enunciados sobre valores de observables tienen valores de verdad en un álgebra de Heyting — un “grado de contextos en los que se cumplen”. El valor de verdad es contextual por construcción. Ironía notable: esto conecta con el antirrealismo semántico de Dummett, que fue el gran crítico del revisionismo lógico de Putnam.
Objeciones: el precio es alto en poder explicativo. El topos re-describe elegantemente KS sin resolver el problema de la medición ni decir qué existe; y la elección del poset de subálgebras conmutativas es ya una decisión bohriana cargada interpretativamente.
Mecánica cuántica categórica. Abramsky & Coecke (LICS 2004): la MC axiomatizada en categorías dagger compactas cerradas, con el producto tensorial (no la suma) como operación primitiva. Teletransporte, intercambio de entrelazamiento y no-clonado se demuestran diagramáticamente. Ganancia filosófica: estructuralismo genuino — lo cuántico no reside en los complejos ni en los vectores sino en un patrón compositivo abstracto que ℂ-Hilb instancia pero no monopoliza (Rel, la categoría de relaciones, también lo instancia). Ofrece un criterio para separar lo que en la MC es estructura de lo que es implementación.
Contextualidad como cohomología. Abramsky & Brandenburger, “The sheaf-theoretic structure of non-locality and contextuality”, New J. Phys. 13, 113036 (2011); Abramsky, Barbosa, Mansfield et al. sobre su cohomología (2011). Bell, Kochen–Specker, Hardy y GHZ se unifican como una única obstrucción: familias localmente consistentes de distribuciones que no admiten sección global, con una jerarquía (contextualidad probabilística ⊂ lógica ⊂ fuerte) y una obstrucción en cohomología de Čech.
Ganancia: la no-localidad deja de ser un misterio sui generis y pasa a ser una instancia del fenómeno matemático general “local ≠ global” — el mismo de la banda de Möbius, las figuras imposibles de Penrose o la satisfacibilidad relacional en bases de datos. Es una desmitificación estructural, al coste de explicar que hay obstrucción, no por qué la naturaleza la exhibe.
Críticas: Halvorson mismo (2004) señaló lagunas; el marco C* está ya asumido, luego se deriva “cuántico” partiendo de una estructura no neutral; Hagar & Hemmo (Found. Phys. 36, 2006) objetan que las restricciones informacionales no explican por qué ocurren resultados definidos — una teoría de lo que no podemos hacer no es una teoría de lo que hay; Timpson y Duwell señalan el salto de categoría: la información es siempre información sobre algo.
Valoración. Estas reconstrucciones hacen algo intermedio y valioso: convierten postulados opacos en principios con contenido operacional y localizan el punto de bifurcación con lo clásico (continuidad en Hardy, purificación en CDP). Eso es progreso explicativo real en el sentido de la unificación. Pero no cierran la brecha modal: siguen sin decir por qué estos principios y no otros. [disputado]
Tres lecturas filosóficas:
Wigner (1960): la adecuación de la matemática a la física es “un regalo maravilloso que no comprendemos ni merecemos”.
Posición máxima: Tegmark, “The Mathematical Universe” (Found. Phys. 38, 101, 2008): la realidad física es una estructura matemática; todas las estructuras consistentes existen (multiverso de Nivel IV).
Críticas: si toda estructura existe, la teoría no predice nada (problema de la medida sobre estructuras); si no toda, hace falta un criterio de selección que ya no es matemático (Jannes, 2009). Objeción agudizada por §I.6: Tegmark exige computabilidad para evitar patologías, pero MIP=RE y la indecidibilidad del gap muestran que las estructuras que la física realmente usa no son computablemente decidibles. Y una objeción semántica de fondo: ”ser una estructura”* e “instanciar una estructura” no es lo mismo; la hipótesis borra la distinción entre modelo y modelado por fiat, no por argumento.
Valoración crítica. La eficacia de la matemática en la MC es menos irrazonable de lo que Wigner sugiere, por tres razones documentadas arriba:
Al mismo tiempo, la posición meramente representacional se queda corta ante §I.1: si en AQFT no hay estados producto ni estados puros locales, la estructura algebraica no está describiendo objetos previamente individuados — está determinando qué cuenta como objeto. Eso es más que representación y menos que la identidad tegmarkiana. La posición más sostenible parece un realismo estructural moderado y contextual sobre el nivel.
La MC como formalismo desnudo no dicta una ontología. Lo que llamamos “interpretaciones” son en muchos casos teorías físicas distintas (Bohm, GRW) o marcos semánticos distintos (QBism, RQM). El desacuerdo no es residuo de ignorancia: es consecuencia estructural del trilema de Maudlin (Three Measurement Problems, Topoi 14, 1995), tres proposiciones individualmente plausibles y conjuntamente inconsistentes:
Las tres grandes familias son exactamente las tres negaciones: Bohm niega (A), GRW niega (B), Everett niega (C). No hay cuarta opción sin abandonar el marco. Cada interpretación es un pago de esa deuda, y su compromiso ontológico es la moneda en que paga.
Harrigan & Spekkens (Found. Phys., 2010) formalizaron la distinción dentro del marco de modelos ontológicos: se postula un espacio de estados ónticos Λ; una preparación |ψ⟩ induce μ_ψ(λ); una medición induce ξ(k|λ); Born debe recuperarse promediando.
[disputado]: Oldofredi & López (Found. Phys. 50, 2020) y Hance–Rarity–Ladyman argumentan que la taxonomía es exhaustiva pero no informativa — clasifica como ψ-ónticos modelos que sus autores no consideran realistas sobre ψ.
Implicación ontológica. Si ψ es óntica, la superposición macroscópica es un hecho físico y hay que hacer algo con ella: multiplicar mundos, colapsarla, o complementarla. Si es epistémica, la superposición es ignorancia y no hay problema de la medición — pero hay que decir qué es λ, y ahí muerden los teoremas.
PBR (Pusey, Barrett & Rudolph, Nature Physics 8, 475, 2012): bajo independencia de preparación, todo modelo ontológico que reproduzca las predicciones cuánticas debe ser ψ-óntico. Teoremas afines con supuestos distintos: Hardy (2013), Colbeck–Renner, Patra–Pironio–Massar, Barrett–Cavalcanti–Lal–Maroney.
Objeciones y alcance: Schlosshauer & Fine y Emerson et al. cuestionan la independencia de preparación; Lewis, Jennings, Barrett & Rudolph construyeron modelos ψ-epistémicos explícitos que evaden PBR relajando otro supuesto. Lo crucial: los teoremas solo muerden dentro del marco de modelos ontológicos. Quedan fuera Everett (no hay λ distinto de ψ), QBismo y RQM (niegan un λ absoluto) y las propuestas retrocausales (violan independencia de medición). El modelo de juguete de Spekkens (2007), con su “principio de balance de conocimiento”, muestra hasta qué punto una ontología genuinamente epistémica reproduce fenómenos cuánticos —interferencia, no-clonación, teleportación— sin ψ óntica.
Don Howard (“Who Invented the Copenhagen Interpretation?”, Phil. Sci. 71, 2004) y Kristian Camilleri (2009) sostienen —consenso historiográfico hoy mayoritario— que “la interpretación de Copenhague” como bloque es una construcción de los años 50, atribuible sobre todo a Heisenberg, que amalgamó posiciones incompatibles.
Compromiso: ψ es óntica y la linealidad de Schrödinger es falsa.
Ontología primitiva, discutida entre los propios proponentes: GRWm (campo de densidad de materia m(x,t) en el espacio 3D, Ghirardi–Grassi–Benatti 1995) frente a GRWf (Bell 1987; Tumulka 2006), donde la materia son los “flashes” —eventos puntuales de colapso; en palabras de Bell, un trozo de materia es “una galaxia de tales eventos”. Tumulka construyó rGRWf, la única ontología de colapso con extensión relativista genuina — pero solo para un número fijo de fermiones sin interacción.
Objeciones: (i) el problema de las colas — el colapso nunca es exacto; Albert & Loewer plantearon la counting anomaly, y Wallace y McQueen catalogaron varias versiones distintas del problema; (ii) no conservación de la energía; (iii) tensión con la relatividad; (iv) las cotas experimentales (LISA Pathfinder, germanio subterráneo, interferometría de nanopartículas) han excluido regiones amplias del espacio de parámetros y presionan fuertemente Diósi–Penrose sin regularización. Es la única familia genuinamente falsable, y está siendo acorralada.
Compromiso: hay partículas con posiciones definidas en todo momento —la ontología primitiva— más ψ, que evoluciona por Schrödinger y las guía. La distribución ‖ψ‖² se justifica vía equilibrio cuántico (Dürr–Goldstein–Zanghì 1992).
El punto ontológico caliente es el estatuto de ψ. Dürr, Goldstein y Zanghì defienden la lectura nomológica: la función de onda universal no es un objeto material sino algo ley-como, más análogo a un hamiltoniano que a un campo (apoyándose en que Wheeler–DeWitt es atemporal). Alternativas: ψ como campo físico en 3N dimensiones (Albert), como propiedad holística disposicional (Belot, Esfeld), o su eliminación (Norsen, teoría de ondas condicionales).
Objeciones: (i) no-localidad explícita e incompatibilidad con la invariancia Lorentz sin foliación preferida; (ii) las ramas vacías — Deutsch, y Brown & Wallace (2005), acusan a Bohm de ser “Everett en negación”: si las ramas sin partículas son igual de reales, las partículas son un marcador ocioso (respuesta bohmiana: solo la configuración de partículas es materia); (iii) trayectorias “surrealistas” (Englert–Scully–Süssmann–Walther 1992), rebatidas por Dürr et al.
Compromiso: solo hay ψ, y evoluciona siempre unitariamente. Los mundos son estructuras emergentes, no postuladas.
Everett (1957) formuló la teoría de estados relativos; DeWitt (1970) la popularizó como mundos que se escinden — lectura que el propio Everett anotó despectivamente. La versión dominante es la de Saunders, Wallace y Deutsch: los mundos son estructuras cuasiclásicas dinámicamente aisladas que emergen por decoherencia, con un realismo estructural funcionalista (criterio de Dennett para patrones reales). Obra de referencia: Wallace, The Emergent Multiverse, OUP 2012.
Objeciones: (a) base preferida — la decoherencia selecciona una base solo aproximada y dependiente de una factorización en subsistemas que el espacio de Hilbert global no dicta (el “problema del factor”, §IV.1); (b) probabilidad, en dos versiones —incoherencia (si todo ocurre, ¿qué significa probable?) y cuantitativa (¿por qué ‖ψ‖²?)—; (c) la teoría desnuda (Albert 1992; Barrett 1999): sin supuestos auxiliares, la mecánica ondulatoria pura ni siquiera garantiza observadores con creencias determinadas — “incoherencia empírica”.
Compromiso (Fuchs, Schack, Mermin): ψ no es elemento de realidad ni información sobre un λ; es grado de creencia personal de un agente sobre sus futuras experiencias. Born no es una ley de la naturaleza sino una norma de coherencia (la urgleichung, con SIC-POVMs). Consecuencias: no hay problema de la medición (el colapso es actualización bayesiana), no hay no-localidad (las correlaciones conciernen a experiencias de un agente en un lugar), y el resultado de una medición es una experiencia creada, no revelada. Fuchs lo llama “realismo participativo” (2016). Lo real para el QBista no es ψ sino el mundo que resiste y responde a la acción del agente: una ontología deliberadamente delgada y programáticamente incompleta.
Objeciones: instrumentalismo encubierto; déficit explicativo (Timpson, Brown, Norsen: no explica por qué ocurren los fenómenos); acusación de solipsismo — rechazada, pues los agentes se comunican y la comunicación es a su vez experiencia.
Compromiso: no hay estados absolutos ni valores observador-independientes. Las variables toman valores solo en la interacción y relativamente al sistema con el que interactúan; cualquier sistema físico puede ser observador. La ontología es de eventos relacionales, escasa y sin sustancia: no hay estado cuántico del universo. ψ es una herramienta de cálculo, análoga a la función de Hamilton–Jacobi.
Desarrollos y objeciones: el postulado del Cross-Perspective Link (Adlam & Rovelli 2022) intenta rescatar la intersubjetividad, pero su lectura fuerte reintroduce hechos absolutos [disputado]. Dorato objeta que RQM no explica por qué los eventos se actualizan; Brown señala un “problema de determinación”; Laudisa niega que logre la localidad que reclama; Pienaar y otros presentan no-gos sobre la compatibilidad de valores relativos con actualización de eventos.
Sin colapso, pero los sistemas poseen propiedades definidas más allá de las autovalorizadas: se distingue el estado dinámico (lo posible) del estado de valor (lo actual). Variantes: van Fraassen (1972–91), descomposición biortogonal (Kochen 1985; Dieks 1988), espectral (Vermaas & Dieks 1995), Bub, dinámica de Bacciagaluppi & Dickson.
Objeciones: problemas de composición de propiedades; el no-go de Bacciagaluppi (1995), que deriva una contradicción tipo KS si se exige independencia de la factorización; fallos ante mediciones no ideales; incompatibilidad relativista (Dickson & Clifton 1998). Las versiones recientes son perspectivistas (Bene & Dieks 2002), acercándose a RQM.
Compromiso (Griffiths 1984; Omnès; Gell-Mann & Hartle): la ontología son historias —secuencias de proyectores— definidas dentro de un marco, con una regla del marco único que prohíbe combinarlos. Griffiths abandona explícitamente la unicidad (un único estado de cosas verdadero) en favor de la pluricidad: múltiples descripciones verdaderas mutuamente inconmensurables.
Objeciones: Dowker & Kent (1996) mostraron la proliferación masiva de familias consistentes: dado un presente cuasiclásico, existen familias consistentes con pasados arbitrariamente no clásicos, lo que hace la retrodicción inservible. Griffiths responde con la regla del marco único, que sus críticos ven como circular.
Healey (The Quantum Revolution in Philosophy, OUP 2017): los estados cuánticos no describen; son prescriptivos — dan consejo objetivamente bueno sobre qué credencias adoptar. No representacionalista pero no antirrealista: los sistemas y sus magnitudes son reales; lo que se niega es que ψ los represente. Se distingue del QBismo en que la asignación de estado es objetivamente correcta o incorrecta dada la situación física relativa a un agente.
El eje metateórico: Einstein distinguió teorías de principio (axiomas fenomenológicos) y constructivas (mecanismos subyacentes). Bub & Pitowsky (2010), siguiendo a Clifton–Bub–Halvorson (2003), leen la MC como teoría de principio con axiomas informacionales, y el problema de la medición como pseudoproblema. Wallace y Timpson objetan que una teoría de principio es una invitación a la explicación constructiva, no un sustituto — que es exactamente lo que Einstein pensaba de la relatividad especial. [disputado]
Allori, Goldstein, Tumulka & Zanghì (BJPS 59, 2008): toda teoría fundamental adecuada debe especificar una ontología primitiva —“la materia de la que están hechas las cosas”— distribuida en el espacio tridimensional ordinario, más una ley que la gobierne, en la que ψ desempeña un papel nomológico, no material. Menú: partículas (Bohm), densidad de materia (GRWm), flashes (GRWf).
Argumento central: sin beables locales (Bell) en 3D no se puede tender el puente entre una ontología en 3N dimensiones y el comportamiento de las agujas de los aparatos. Nótese que GRWm y GRWf son empíricamente equivalentes pero ontológicamente muy distintos — virtud del programa (separa ontología de predicción) y su punto vulnerable (subdeterminación, §IV.6).
Objeciones: Ney y otros niegan que una teoría adecuada exija ontología primitiva; se acusa al programa de petición de principio metafísica (privilegiar 3D por familiaridad); Maudlin ha señalado que en un mundo GRWf apenas hay “materia” entre flashes.
Albert (1996) y Ney (The World in the Wave Function, OUP 2021): ψ es un campo físico sobre un espacio de 3N dimensiones, y ese espacio es el fundamental; el espacio 3D de la experiencia es emergente. Motivación: tomar el formalismo literalmente y explicar el entrelazamiento sin holismo misterioso — en 3N dimensiones todo es separable y local. El problema del objeto macroscópico se aborda con funcionalismo: los objetos 3D son roles funcionales en la dinámica del campo.
Objeciones: Maudlin y Monton juzgan el espacio de configuración demasiado abstracto para fundamentar lo concreto e invierten el orden explicativo; y la crítica más técnica —Wallace, Myrvold, Chen—: en teoría cuántica de campos el número de partículas es indefinido, luego no hay un 3N fijo y el espacio de configuración pierde su motivación.
Wallace & Timpson (BJPS, 2010): la alternativa everettiana. Se asigna a cada región del espaciotiempo un operador de estado (densidad reducida); la ontología vive sobre el espaciotiempo ordinario. Se preserva la separabilidad espaciotemporal débil pero se abandona la supervenencia: el estado global contiene más que la colección de estados reducidos. Objeciones: las densidades reducidas mezclan hechos genuinos con artefactos de la traza parcial; y la factorización preferida vuelve a ser el problema.
Motivación cuántica. Dos hechos empujan hacia la estructura: (i) las partículas idénticas y la invariancia bajo permutaciones — los cuantones carecen de propiedades intrínsecas que los distingan, y la individualidad queda metafísicamente subdeterminada (French & Redhead, Redhead & Teller); (ii) el entrelazamiento — las relaciones no supervienen sobre propiedades monádicas de los relata.
Objeción principal: no puede haber relaciones sin relata — una relación exige términos (Chakravartty, Psillos, Busch, Cao). Respuestas: las relaciones podrían ser universales no instanciados, o los relata ser a su vez estructuras (“estructuras hasta el fondo”). Se objeta además la ambigüedad entre estructura matemática y física, y el riesgo de colapso en platonismo.
Conviene distinguir con Howard y Einstein: separabilidad de estado (el estado del compuesto superviene sobre los de las partes) frente a separabilidad espaciotemporal (todo proceso en una región superviene sobre propiedades intrínsecas asignadas a puntos de esa región). La MC viola la primera de forma manifiesta.
Separar holismo ontológico (hay entidades no analizables en partes básicas) de holismo de propiedades (composición estándar, pero propiedades no supervenientes). La segunda tesis es la que la MC apoya con más fuerza; la primera es [disputada].
El corte transversal decisivo no es “realismo vs. antirrealismo” sino qué se toma como fundamental: ψ (Everett, Albert), ψ + materia local (Bohm, GRWm/f), ninguna de las dos (RQM, QBismo, Healey), o la estructura relacional misma (REO). Y una regularidad de fondo: cuanto más se conserva de la ontología clásica (partículas con posiciones, un mundo único), más se paga en no-localidad y tensión relativista; cuanto más se paga en extravagancia ontológica (multiverso, espacio 3N), más limpia queda la compatibilidad con la relatividad.
Einstein, Podolsky y Rosen (Phys. Rev. 47, 777, mayo de 1935) no argumentan contra la MC: plantean un dilema. Dado el criterio de realidad —si puedo predecir con certeza el valor de una magnitud sin perturbar el sistema, existe un elemento de realidad correspondiente—, o bien la MC es incompleta, o bien hay acción a distancia. Bohr responde (Phys. Rev. 48, 696, octubre de 1935) atacando la ambigüedad de “sin perturbar de ningún modo”: hay “una influencia sobre las mismas condiciones que definen los tipos posibles de predicción”. Un cambio en el marco semántico, no una interacción física — hoy se lee más como una redefinición del criterio de realidad que como una refutación.
Punto crítico de atribución (Howard, “Einstein on Locality and Separability”, 1985; Fine, The Shaky Game, 1986): el argumento del propio Einstein no es el del paper de 1935, redactado sobre todo por Podolsky y del que Einstein se distanció en carta a Schrödinger de junio de 1935. Einstein separa separabilidad (sistemas espacialmente separados poseen estados reales independientes: un “ser-así independiente”) de localidad (lo que se hace a A no afecta inmediatamente a B). La separabilidad es una condición de individuación ontológica, previa y más fundamental; la localidad es dinámica. Howard sostiene que el compromiso metafísico real de Einstein era la separabilidad. [disputado]: Norsen considera que en Bell no se separan limpiamente.
En “On the Einstein Podolsky Rosen Paradox” (Physics 1, 195, 1964), Bell no asume el realismo como premisa adicional: lo deriva de la conjunción de localidad y correlaciones perfectas EPR. Es el punto en que Norsen y Maudlin insisten: el argumento tiene dos partes — EPR muestra que localidad + correlaciones perfectas ⟹ variables ocultas deterministas; Bell muestra que esas variables violan la desigualdad. Conclusión: localidad ⟹ contradicción con la MC. No hay premisa “realista” independiente que sacrificar.
En “The theory of local beables” (1976) y “La nouvelle cuisine” (1990), Bell formula la causalidad local sobre beables locales: dado un corte completo del cono de luz pasado de la región 1, la probabilidad de un beable en 1 no depende de nada en una región 2 espacialmente separada.
Jarrett (1984) y Shimony (1986) descomponen la factorizabilidad en:
La MC viola la segunda y respeta la primera. Shimony explotó esto para su “pasión a distancia” (passion at a distance): una no-localidad “benigna”, incapaz de señalizar, compatible con una “coexistencia pacífica” con la relatividad. Bohm y GRW-flash, en cambio, violan la independencia de parámetro.
Intensamente [disputado]. Maudlin (Quantum Non-Locality and Relativity, 1994; 3.ª ed. 2011) y Norsen (Found. Phys. 39, 2009) sostienen que la descomposición malinterpreta a Bell: la causalidad local no es la conjunción de dos condiciones metafísicamente heterogéneas, y llamar “completitud” a la independencia de resultado es engañoso — es un requisito causal, no epistémico. Para Norsen, la lectura Jarrett–Shimony ha permitido la ilusión de que se puede salvar la localidad sacrificando el realismo.
| Posición | Tesis | Autores |
|---|---|---|
| No-localidad ontológica | Lo refutado es la localidad, punto; el determinismo es conclusión, no premisa | Maudlin (“What Bell Did”, 2014), Norsen (“Against ‘Realism’”, 2007), bohmianos, GRW |
| Operacionalista | Sí hay premisa adicional: valores conjuntos preexistentes. Cae la ontología clásica, no la localidad | Werner (2014), Żukowski & Brukner |
| Sin hechos únicos | No hay correlación que explicar de forma no-local porque no hay hechos únicos | Everettianos |
| Marco único | La “no-localidad” es artefacto de razonar con familias de historias incompatibles | Griffiths |
| Doxástica | No hay hechos en el ala remota hasta que el agente los experimenta; la actualización no es influjo físico | Fuchs (QBismo) |
El mapeo más cuidadoso de estas tribus es el de Wiseman & Cavalcanti, “Causarum Investigatio and the Two Bell’s Theorems” (2015/2017), que distingue explícitamente el teorema de 1964 (con correlaciones perfectas + realismo EPR) del de 1976 (causalidad local sin más).
Síntesis honesta. Lo que la violación experimental refuta es la factorizabilidad, dada la independencia de medición. Si además se acepta el argumento EPR de la primera mitad, cae la localidad sin supuesto extra. Si uno rechaza el criterio de realidad de EPR, o niega que las mediciones tengan resultados únicos y absolutos, puede conservar la localidad — al precio de una ontología muy poco convencional. Ni “Bell refutó el realismo” ni “Bell demostró la no-localidad” son enunciados correctos sin condicionar.
Cierre experimental. Las tres escapatorias clásicas —detección, localidad, libertad de elección— y su historia:
Estos experimentos no cierran la escapatoria de libertad de elección: solo la desplazan hacia un pasado cada vez más remoto.
Superdeterminismo. Hossenfelder & Palmer, “Rethinking Superdeterminism” (Front. Phys. 8:139, 2020): definido como violación de la independencia estadística ρ(λ|A,B) = ρ(λ). Argumentan que la objeción de “conspiración” es un prejuicio: la independencia estadística no es un principio fundamental sino un supuesto de no ajuste fino heredado del pensamiento estadístico clásico. Palmer propone invariant set theory, donde las combinaciones contrafácticas de ajustes simplemente no están en el conjunto invariante — una negación del contrafáctico definido, no una conspiración causal.
Coste filosófico: (i) socava la validez de la aleatorización, fundamento de la inferencia causal en toda ciencia experimental; (ii) exige una ontología de bloque restringido donde la intervención libre no tiene tracción; (iii) el ajuste fino de Wood & Spekkens (§IV.4) le golpea también.
Retrocausalidad. De Costa de Beauregard (1953) a Price (Time’s Arrow and Archimedes’ Point, 1996), Wharton (modelos lagrangianos “all-at-once”), Sutherland (bohmiano causalmente simétrico con estado final) y Argaman (Am. J. Phys. 78, 1007, 2010). También viola la independencia de medición, pero la correlación λ–ajuste procede de una influencia del futuro, no de una causa común pasada. Promete recuperar la localidad de acción por contacto y la invariancia de Lorentz genuina.
Contrapesos: Leifer & Pusey (Proc. R. Soc. A 473, 2017): bajo λ-mediación, la simetría temporal implica retrocausalidad — Bohm y GRW son asimétricos precisamente para evitarla; no se puede tener ambas. Shrapnel & Costa (Quantum 2, 63, 2018): los modelos retrocausales siguen siendo contextuales en sentido generalizado — el sacrificio del orden temporal no compra el clasicismo.
Kochen & Specker (J. Math. Mech. 17, 59, 1967). Supuestos: (VD) definitud de valor — toda observable posee un valor definido; (NC) no-contextualidad — ese valor es independiente del conjunto de observables co-medidas; (FUNC) reglas de suma y producto para compatibles. Resultado: no existe función v: proyectores → {0,1} que asigne exactamente un 1 por cada base ortonormal. La prueba original usa 117 direcciones en ℝ³; hoy bastan 18 vectores en dimensión 4 (Cabello–Estebaranz–García-Alcaine, 1996). Requiere dim ≥ 3.
Antecedente: Gleason (1957) ya implica KS como corolario; y Bell (1966) señaló la moraleja correcta antes que nadie: no la imposibilidad de variables ocultas, sino la imposibilidad de variables ocultas no contextuales — una limitación mucho más débil de lo que von Neumann (1932) había pretendido.
La demostración más limpia: el cuadrado de Peres–Mermin (1990). Nueve observables de dos qubits en una matriz 3×3; el producto de cada fila y de las dos primeras columnas es +I, el de la última es −I. Una asignación no contextual de ±1 exige que el producto global sea a la vez +1 y −1. Independiente del estado, sin desigualdades, sin probabilidades.
Lectura ontológica. KS refuta que las propiedades preexistan de forma no contextual. No refuta que preexistan: Bohm es una teoría de valores definidos, pero contextual. La respuesta natural: lo que llamamos “medición” no es la lectura pasiva de un valor previo sino un proceso que involucra sistema y contexto conjuntamente.
Contextualidad generalizada (Spekkens, Phys. Rev. A 71, 052108, 2005): reformula la no-contextualidad sin presuponer definitud de valor, como un principio leibniziano — procedimientos operacionalmente indistinguibles deben tener representaciones ontológicas idénticas. Bajo esta definición, la no-localidad de Bell resulta ser un caso particular de contextualidad generalizada: la no-localidad sería la sombra de la contextualidad cuando el contexto está espacialmente distribuido (tesis de Spekkens, Cabello, Abramsky–Brandenburger). [disputado]: Maudlin y Norsen replican que la no-localidad tiene un contenido causal-espaciotemporal irreducible que la contextualidad genérica no captura.
Contextualidad como recurso. Howard, Wallman, Veitch & Emerson, “Contextuality supplies the ‘magic’ for quantum computation”, Nature 510, 351 (2014): para qudits de dimensión impar, la contextualidad —equivalente a la negatividad de la función de Wigner discreta— es condición necesaria de la ventaja computacional vía destilación de estados mágicos. Consecuencia filosófica notable: lo que era una anomalía metafísica se convierte en magnitud operacionalmente cuantificable y motor de la ventaja cuántica. Invita a leerla como propiedad estructural del mundo, no como defecto de nuestras representaciones.
“Quantum theory cannot consistently describe the use of itself”, Nature Communications 9, 3711. Cuatro agentes, dos “amigos” en laboratorios medidos por dos “Wigners”. Tres supuestos:
Los tres son inconsistentes (contradicción con probabilidad 1/12). El teorema es neutral: no dice cuál abandonar. Mapa de los autores: colapso objetivo y Bohm violan (Q); Copenhague, historias consistentes y QBismo violan (C); Everett viola (S).
Es el trilema de Maudlin elevado al nivel de la epistemología de agentes: ya no basta con elegir qué negar sobre el estado; hay que negar algo sobre la posibilidad de que los agentes razonen unos sobre otros. Fuertemente [disputado]: se discute si (C) está bien formulado, si se presuponen contrafácticos ilegítimos entre ramas, y si “el amigo mide” es compatible con reinterferir coherentemente el laboratorio (Bub, Healey, Lazarovici & Hubert, Drezet; análisis modal de Nurgalieva & del Rio).
“A strong no-go theorem on the Wigner’s friend paradox”, Nature Physics 16, 1199, sobre el escenario de Brukner (“A no-go theorem for observer-independent facts”, Entropy 20, 350, 2018). Supuestos:
Por qué es estrictamente más fuerte que Bell: no asume ninguna forma de realismo, determinismo, ni la existencia de un modelo óntico λ. El conjunto de correlaciones LF está contenido en el conjunto local de Bell, y para escenarios con más ajustes las desigualdades LF son estrictamente más restrictivas. Un modelo puede satisfacer los supuestos de Bell y aun así violar LF. Punto débil filosófico de la demostración experimental: el “amigo” es un fotón que codifica un resultado — ¿es un fotón un observador?
Qué obliga a abandonar: al menos uno de {hechos absolutos, localidad, libre elección}. Everett, RQM y QBismo abandonan AOE. Esta es la novedad ontológica más radical del programa: no una revisión de la causalidad, sino la negación de un mundo de hechos compartidos. Cavalcanti & Wiseman (Entropy 23, 925, 2021) analizan qué queda del modelado causal si AOE cae. [disputado]: Adlam argumenta que estos teoremas se leen mejor como argumentos a favor de ontologías no localmente-temporales que como refutaciones de la objetividad.
| Enunciado frecuente | Estatuto real |
|---|---|
| “Bell refutó el realismo local” | Impreciso: refuta la factorizabilidad; bajo EPR, la localidad |
| “Kochen–Specker refuta las variables ocultas” | Falso: refuta las no contextuales |
| “Colbeck–Renner excluye Bohm” | Disputado y probablemente falso |
| “Leggett–Garg refuta el realismo macroscópico” | Débil: NIM es el eslabón frágil |
Y la observación estructural que ordena todo el capítulo: la evolución histórica va de la localidad a la absolutidad de los hechos. Bell puso en cuestión la estructura causal; KS, la preexistencia de las propiedades; PBR, el estatuto epistémico de ψ; Frauchiger–Renner y Local Friendliness cuestionan algo previo a todo eso: que exista un único conjunto de hechos compartido por todos los observadores. Esa es hoy la frontera.
Una aporía, en sentido estricto, no es un problema abierto ni una laguna empírica: es una situación en la que dos proposiciones, ambas con apoyo racional independiente y fuerte, resultan conjuntamente insostenibles, y donde toda salida exige un precio que la comunidad epistémica juzga excesivo por razones también racionales. Lo que sigue localiza los puntos de fractura.
La aporía es el trilema de §II.0. Lo que hay que añadir aquí es por qué la salida más popular no es una salida.
Consenso entre especialistas, y disputa persistente en la divulgación: la decoherencia explica por qué no observamos superposiciones de resultados, pero no explica por qué observamos resultados en absoluto (Bacciagaluppi, entrada The Role of Decoherence in Quantum Mechanics, SEP; Adler, SHPMP 34, 2003; Schlosshauer, Rev. Mod. Phys. 76, 2004). La razón es estructural: la decoherencia es un teorema dentro de la dinámica lineal, y por tanto no puede violar (B); al preservar (A) y (B), queda obligada a violar (C) — justo lo que se quería explicar.
Dos problemas distintos, que conviene no confundir:
La circularidad probabilística. El argumento decoherentista mide “cuánto” se suprime la interferencia mediante trazas y productos internos que ya se interpretan como probabilidades — pero la regla de Born es lo que un programa fundacional debe derivar. En Everett esto se agudiza y remite a §I.2.
Costes de cada salida: Bohm paga no-localidad explícita y marco preferido de facto; GRW paga parámetros nuevos, el problema de las colas (tras el colapso la cola gaussiana no se anula: el gato conserva amplitud no nula de estar vivo) y la counting anomaly de Lewis (1997); Everett paga ontología de ramas sin criterio exacto de individuación, más el problema de la probabilidad.
Tesis: la relatividad exige que ningún hecho físico dependa de una foliación privilegiada; toda estructura causal es local. Antítesis: las violaciones experimentales de Bell implican dependencias entre eventos con separación de tipo espacio que no admiten explicación por causa común local.
La “coexistencia pacífica” de Shimony intentó desactivar la tensión, pero su fragilidad es visible: el no-señalamiento es un enunciado estadístico y operacional — protege la práctica relativista, no la ontología relativista. Maudlin insiste en que el nivel de los hechos físicos individuales sigue exigiendo, en teorías con resultados únicos, algún hecho sobre qué ocurrió primero.
Salidas y costes:
El punto aporético: la relatividad no prohíbe correlaciones no-locales; prohíbe hechos absolutos sobre el orden temporal de eventos con separación espacial. Cualquier teoría con resultados únicos parece necesitar exactamente eso. Si el entrelazamiento exige un marco preferido o solo lo tolera sigue [disputado]: Myrvold (SHPMP 33, 2002) argumenta que el postulado de colapso admite lectura compatible si se abandona la lectura ingenua del estado como catálogo local de hechos; los holistas responden que entonces se abandona la separabilidad, que era el otro pilar de Einstein.
Tesis: el Principio de Identidad de los Indiscernibles es constitutivo de la noción misma de objeto individual. Antítesis: French & Redhead (BJPS 39, 1988) demostraron que dos bosones o dos fermiones en un estado conjunto (anti)simétrico comparten todas sus propiedades monádicas y todas sus relacionales — incluso la versión más débil del PII falla. Serían indiscernibles y sin embargo numéricamente distintos: objetos sin principio de individuación.
Salidas:
La subdeterminación metafísica. El resultado más fuerte de French & Krause: la física es compatible con dos paquetes metafísicos incompatibles —partículas como individuos con haecceidad y restricciones de estado ad hoc, o como no-individuos— y no ofrece criterio para elegir. Es una subdeterminación dentro de una única teoría, más aguda que la de §IV.6.
En teoría cuántica de campos la aporía se radicaliza: ¿hay partículas? El teorema no-go de Malament (In Defense of Dogma, 1996) muestra que ninguna teoría cuántica relativista admite observables de localización que satisfagan simultáneamente condiciones mínimas razonables. Halvorson & Clifton (Philosophy of Science 69, 2002) lo fortalecieron, eliminando el supuesto de espaciotiempo de Minkowski. El efecto Unruh (1976) añade el golpe complementario: el número de partículas es dependiente del observador — el vacío de un observador inercial es un baño térmico para uno acelerado. Si “cuántas partículas hay” no es un hecho absoluto sino relativo al estado de movimiento, la partícula no puede ser una categoría ontológica fundamental. [disputado]: Wallace y otros defienden que las partículas sobreviven como estructuras emergentes; los críticos replican que “emergente” es aquí un nombre para el problema, no su solución (§IV.8).
Tesis: la explicación causal es la forma canónica de la inteligibilidad científica, con el principio de la causa común de Reichenbach en su núcleo. Antítesis: Wood & Spekkens (New Journal of Physics 17, 033002, 2015; preprint 2012) demuestran que toda explicación causal clásica de las correlaciones que violan Bell —causa común, influencia superlumínica, retrocausalidad, superdeterminismo— requiere ajuste fino (fine-tuning): viola la condición de faithfulness, pues hay influencias causales que se cancelan exactamente al nivel estadístico, de modo que la estructura causal resulta sistemáticamente inaccesible a los datos.
Esto convierte la no-localidad en algo peor que extraño: la hace conspirativa. Un modelo causal cuyas influencias se anulan justo al nivel observable es el paradigma de lo que los algoritmos de descubrimiento causal rechazan como no explicativo.
Salidas y costes:
Tesis: algo cambia; el devenir es el dato más
inmediato de la experiencia y el presupuesto de toda medición.
Antítesis: la cuantización canónica de la relatividad
general produce la ecuación de Wheeler–DeWitt,
Ĥψ = 0: la constricción hamiltoniana aniquila el estado
físico. No hay evolución. El universo está
congelado.
La raíz es la invariancia bajo difeomorfismos: en relatividad general el hamiltoniano es una constricción, no un generador de evolución; no hay tiempo externo contra el cual evolucionar cuando la propia geometría se cuantiza. Revisiones canónicas: Kuchař (Time and interpretations of quantum gravity, 1992) e Isham (Canonical quantum gravity and the problem of time, 1993).
Salidas y costes:
La tensión colapso/universo-bloque. Una teoría de colapso objetivo introduce un evento absoluto de actualización — en metafísica del tiempo, un presente privilegiado y objetivo, cercano al presentismo o al universo en crecimiento. El universo bloque relativista lo prohíbe. La conjunción de §IV.2 y §IV.5 muestra que la elección interpretativa en MC no es metafísicamente neutral respecto del tiempo: Everett y Bohm son cómodamente eternalistas; GRW empuja hacia una ontología del devenir que la relatividad no puede alojar sin foliación. [disputado], pero la carga argumentativa está del lado del colapsista.
Tesis (realismo científico): el éxito predictivo sostenido de una teoría es razón para creer en su ontología. Antítesis: Bohm, Everett y GRW son —para todos los efectos prácticos actuales— empíricamente equivalentes y postulan ontologías mutuamente incompatibles. El realista debe creer algo, y la evidencia no discrimina.
Contra el diagnóstico de “problema transitorio” juega que GRW es en principio falsable (interferometría macroscópica, calentamiento espontáneo, cotas CSL progresivas). Pero la equivalencia Bohm/Everett es estructural, no coyuntural: Bohm es, formalmente, Everett más trayectorias — que es justamente lo que Brown & Wallace explotan (§II.2).
Posiciones:
Egg (Philosophy Compass 16, 2021) sintetiza el debate. Sin cierre a la vista.
Tesis: una teoría física fundamental debe ser universal — aplicable a todo sistema, incluidos observadores y el universo entero. Antítesis: la MC está formulada con una división primitiva sistema/observador —el corte de Heisenberg— cuya posición es móvil, no determinada por la teoría y, sin embargo, indispensable para extraer predicciones.
Los resultados que fuerzan la grieta:
Sobre el paralelo gödeliano — precaución. Lo que Breuer, Frauchiger–Renner y los teoremas de incompletitud comparten es una estructura: un sistema formal suficientemente rico, forzado a hablar de sí mismo, genera enunciados que no puede validar internamente. Pero la analogía es estructural, no derivativa: Breuer no es un corolario de Gödel, y afirmar lo contrario es un error frecuente. Cualquier uso más fuerte debe marcarse como [disputado].
Tesis: la mecánica clásica debe recuperarse como límite de la cuántica; de lo contrario la cuántica no es más fundamental, solo distinta. Antítesis: el límite ħ→0 no es uniforme y en general es singular.
Tres frentes:
Las aporías no son independientes. Forman un sistema de deudas: cada salida salda una contrayendo otra.
| Salida | Conserva | Abandona | Precio metafísico |
|---|---|---|---|
| Bohm | Hechos absolutos, determinismo, valores definidos de posición | Localidad (viola independencia de parámetro), invariancia de Lorentz fundamental | Foliación preferida oculta; conflicto no resuelto con relatividad y TCC; ramas vacías |
| Colapso objetivo (GRW, CSL, Penrose) | Hechos absolutos, un solo mundo | Localidad; linealidad (viola Q de FR) | Modificación empírica de la MC —falsable, y acorralada—; colas; sin extensión relativista con interacción; empuja al presentismo |
| Everett | Localidad dinámica, linealidad, universalidad | Unicidad de resultados (viola S de FR y AOE de LF) | Ontología de ramas sin criterio exacto de individuación; problema de la probabilidad; problema del factor |
| RQM / QBismo / Healey | Localidad, un mundo sin ramas | Hechos absolutos observador-independientes (AOE); en FR, la premisa C | La objetividad intersubjetiva pasa a ser el problema; déficit explicativo; la teoría deja de describir el mundo |
| Superdeterminismo | Localidad, hechos absolutos, determinismo | Independencia estadística / libertad de elección | Erosiona la inferencia causal; ajuste fino cósmico; sin modelo completo hasta hoy |
| Retrocausalidad | Localidad por contacto, invariancia de Lorentz, hechos absolutos | Independencia de medición; asimetría temporal | Bloque con condiciones de contorno bidireccionales; sigue siendo contextual; ajuste fino |
| Historias consistentes | Localidad, un único formalismo | Familia única de historias; contrafácticos entre marcos | La lógica se vuelve dependiente de marco; proliferación incontrolada de marcos (Dowker–Kent) |
| Operacionalismo / álgebras (Werner) | Localidad algebraica | Elementos de realidad preexistentes; modelos ónticos | Renuncia explícita a la pregunta ontológica |
1. No existe salida gratuita, y las monedas son distintas. Cada casilla paga con el espacio-tiempo relativista, la unicidad del mundo, la objetividad de los hechos, o la eficacia de la aleatorización experimental. La lección estructural de los no-go es que estas cuatro cosas no son co-satisfacibles.
2. Cada interpretación es una elección sobre qué categoría metafísica sacrificar — objeto, causa, tiempo, hecho único, o el propio ideal de descripción completa desde ninguna parte. Que ninguna elección sea claramente superior tras casi un siglo, y que la subdeterminación (§IV.6) sea estructural más que coyuntural, es lo que autoriza a hablar de aporía y no de mera dificultad.
3. La frontera se ha desplazado de la localidad a la absolutidad de los hechos. Bell cuestionó la estructura causal; KS, la preexistencia de propiedades; PBR, el estatuto de ψ; Frauchiger–Renner y Local Friendliness cuestionan que exista un único conjunto de hechos compartido. La cuestión viva hoy no es “¿hay acción a distancia?” sino “¿hay un mundo común?”.
4. Las grietas de la matemática y las de la ontología son la misma grieta vista dos veces. El teorema de Kochen–Specker es la inexistencia de secciones globales del prehaz espectral (§I.4); la contextualidad es una obstrucción cohomológica del tipo “local ≠ global”; el fallo de la distributividad es la superposición leída semánticamente; y la ambigüedad entre producto tensorial y conmutación de álgebras revelada por MIP=RE (§I.6) es* la ambigüedad física de “sistemas independientes” que las álgebras de tipo III ya insinuaban (§I.1). La aporía ontológica tiene forma matemática precisa: lo que localmente se pega, globalmente no.
5. La idea de una descripción completa desde ninguna parte es lo que está en cuestión. Este es el hilo que conecta §I.6 (indecidibilidad interna del formalismo), §III.4 (la teoría aplicada a agentes que se describen mutuamente), §IV.7 (imposibilidad de automedición y ausencia de exterior para el universo) y §IV.6 (la subdeterminación permanente). No se trata de una limitación de la MC frente a un ideal alcanzable por otra teoría: el ideal mismo —un punto de vista que abarque el todo sin estar dentro de él— es lo que la física del siglo XX ha vuelto insostenible, y por vías independientes.
Documento generado mediante investigación con agentes especializados sobre fuentes primarias y terciarias (SEP, arXiv, PhilSci-Archive, revistas). Los puntos marcados [disputado] carecen de consenso en la literatura y se presentan con las posiciones rivales identificadas.