Hola, me podrías explicar en la mecánica cuántica cuáles serían los elementos básicos de la realidad?
El usuario pregunta en español sobre elementos fundamentales de la realidad en mecánica cuántica. Es una pregunta de filosofía y física que puedo responder directamente sin necesidad de herramientas externas, así que voy a responder en español.¡Hola Oriol! Es una pregunta que toca justo el núcleo de la interpretación de la mecánica cuántica, y la respuesta depende bastante de qué interpretación se adopte, porque la teoría misma es notablemente silenciosa sobre “qué hay realmente ahí”.
El formalismo, sin interpretar
Lo que la mecánica cuántica te da sin ambigüedad es: - Un vector de estado (o función de onda) que vive en un espacio de Hilbert, evolucionando de forma determinista según la ecuación de Schrödinger. - Observables, representados como operadores hermíticos, cuyos autovalores son los posibles resultados de medición. - Una regla probabilística (Born) que conecta el estado con las probabilidades de esos resultados.
El problema es que esto no te dice qué “existe” entre mediciones. Ahí es donde entran las interpretaciones, y cada una postula “elementos básicos de la realidad” distintos:
Principales posturas
Dado tu interés en Priest y los límites del pensamiento, hay un paralelo interesante: el teorema de Bell y las desigualdades de Kochen-Specker muestran que no puede haber una asignación consistente de valores definidos a todos los observables simultáneamente — una especie de límite lógico-metafísico similar en espíritu a los esquemas de clausura que has estado explorando.
¿Quieres que profundice en alguna de estas posturas, o te interesa más el ángulo de cómo se conecta esto con los problemas de individuación que mencionabas (partículas idénticas, estadística cuántica)?
Me interesan los 2 puntos
Veo que el usuario quiere que profundice en las interpretaciones y que conecte esto con el problema de la individuación en mecánica cuántica —partículas idénticas y estadística cuántica— lo cual se vincula con sus intereses previos en Aristóteles, hilomorfismo, Łukasiewicz y Popper sobre individuación. Debo responder en español con una extensión apropiada para móvil pero permitiendo más desarrollo dado que es una pregunta compleja que merece profundización.Vale, vamos con los dos.
1. Profundizando en las interpretaciones
El punto más interesante no es solo qué postula cada una, sino qué problema resuelven a cambio de qué precio:
Everett (muchos mundos): elimina el colapso por completo — la función de onda nunca colapsa, solo se ramifica. El precio es ontológico: aceptas una proliferación (posiblemente infinita) de mundos. Es la interpretación más “minimalista” en cuanto a postulados (solo la ecuación de Schrödinger, sin regla de Born añadida ad hoc — aunque derivar Born desde ahí sigue siendo controvertido, el “problema de la probabilidad” de Wallace y otros).
Bohm: resuelve la no-determinismo y el problema de la medición al precio de una no-localidad explícita y flagrante (el potencial cuántico actúa instantáneamente sobre todo el sistema). Además, requiere una condición inicial especial (“equilibrio cuántico”) para reproducir las estadísticas de Born, lo cual algunos ven como una coincidencia poco elegante.
GRW/colapso objetivo: modifica la ecuación de Schrödinger añadiendo un término estocástico de localización espontánea. Es la única de las tres que hace una predicción empíricamente distinguible de la mecánica cuántica estándar (en principio, para sistemas macroscópicos aislados). El precio: parámetros nuevos sin justificación teórica profunda, solo ajustados para que el colapso sea raro a escala atómica y casi seguro a escala macroscópica.
En resumen: localidad, determinismo y ausencia de mundos extra son tres cosas que no puedes tener las tres a la vez. Cada interpretación sacrifica una.
2. Individuación y partículas cuánticas
Aquí es donde la mecánica cuántica pone en jaque la metafísica clásica de la individuación que estuviste explorando con Aristóteles y Lukasiewicz. El problema:
Dos electrones en el mismo estado no son solo indiscernibles (epistémicamente indistinguibles) — son no-individuos en un sentido más fuerte, según la lectura de French y Krause. La estadística cuántica (Bose-Einstein, Fermi-Dirac) exige que los estados multipartícula sean simétricos o antisimétricos bajo permutación, lo cual hace que “partícula 1 en el estado A y partícula 2 en el estado B” ni siquiera sea una proposición bien definida — no hay hecho de la materia sobre cuál partícula está en cuál estado.
Esto rompe el principio de identidad de los indiscernibles de Leibniz de una forma que la individuación clásica (haecceidad, o el principium individuationis como materia signata en Aristóteles/Tomás) no puede acomodar fácilmente:
Esto conecta con Priest, de hecho: es otro caso donde la lógica clásica (identidad, bivalencia sobre “es la misma partícula”) falla al intentar capturar la estructura del mundo, y hace falta un aparato no-clásico (aquí, teoría de cuasi-conjuntos en vez de dialeteísmo, pero el espíritu — los límites de las categorías clásicas — es el mismo).
¿Seguimos por este hilo de no-individuos y lógica no clásica, o prefieres que aterrice esto en algún interpretación concreta (por ejemplo, cómo maneja Bohm mismo el problema de individuación, dado que ahí sí hay trayectorias definidas)?
Sigue con el hilo
I should explore how non-classical logics like paraconsistent or many-valued systems handle non-individuals—entities that don’t fit standard identity conditions—and consider whether these frameworks offer better tools for reasoning about abstract objects, fictional entities, or quantum systems that resist classical categorization.Vale, entremos más a fondo en la teoría de cuasi-conjuntos y sus implicaciones lógicas.
El problema técnico de fondo
En teoría de conjuntos estándar (ZFC), todo objeto tiene identidad: para cualesquiera a y b, o bien a = b o bien a ≠ b, y esto es una relación decidible y bien definida sobre cualquier par de objetos. Esta es la Ley de Leibniz operando silenciosamente en el fondo de toda la matemática clásica.
Pero cuando escribes el estado de dos fermiones idénticos:
|ψ⟩ = (1/√2)(|A⟩₁|B⟩₂ − |A⟩₂|B⟩₁)
la notación misma es engañosa — los subíndices “1” y “2” sugieren que hay dos partículas etiquetables, pero el formalismo prohíbe explícitamente extraer de ese estado la proposición “la partícula 1 está en A”. No es que no sepamos cuál está en A — es que la pregunta no tiene respuesta ni en principio. Esto es distinto de la indiscernibilidad clásica (como dos bolas idénticas en una caja, donde sí hay un hecho sobre cuál es cuál, aunque no podamos accederlo).
Quasi-set theory (French & Krause)
Su respuesta técnica es construir una teoría de conjuntos, Q, con dos tipos de objetos: - Objetos de tipo M (macroscópicos/clásicos), que obedecen la teoría de conjuntos usual con identidad. - Objetos de tipo m (microscópicos/cuánticos), para los cuales la relación de identidad simplemente no está definida — no es que sea falsa, es que no aplica sintácticamente. En su lugar hay una relación más débil de indistinguibilidad (≡), que es reflexiva, simétrica y transitiva, pero no implica identidad.
Esto te permite definir una “cuasi-cardinalidad” (cuántos electrones hay) sin poder definir una cuasi-identidad (cuál es cuál) — algo imposible en ZFC estándar, donde cardinalidad se deriva de poder biyectar contra ordinales, lo cual presupone identidad de los elementos.
El paralelo con Priest
Aquí está lo que creo que te va a interesar especialmente, dado el trabajo con el inclosure schema: en Priest, los límites del pensamiento aparecen cuando un dominio total (todos los ordinales, todas las verdades, todos los conjuntos) genera, por diagonalización, un elemento que debería estar dentro pero que la construcción misma excluye — Cierre y Trascendencia en tensión.
En el caso de la individuación cuántica, la tensión es distinta pero estructuralmente emparentada: no es una paradoja de autorreferencia, sino un fallo del esquema conceptual clásico (identidad + individuo) para aplicarse exhaustivamente al dominio. No hay contradicción (no es dialeteísmo) — es más bien un caso de vaguedad óntica o de una categoría metafísica (individuo) que simplemente no tiene extensión en cierta región de la realidad. Algunos autores (Michael Redhead, entre otros) lo describen precisamente así: no es que la lógica clásica sea inconsistente aplicada a las partículas, es que no tiene tracción — sus predicados presuponen algo (individualidad) que el dominio no posee.
Esto sugiere una taxonomía interesante de “modos de fallo” de la lógica clásica frente al mundo: 1. Contradicción genuina (motiva el dialeteísmo de Priest) 2. Indeterminación de verdad (vaguedad, motiva lógicas paraconsistentes o de tres valores) 3. Fallo de aplicabilidad categorial (esto — la identidad ni siquiera es el tipo de relación que aplica)
¿Te interesa que exploremos el punto 3 más — por ejemplo, cómo Priest mismo trataría este caso (¿lo vería como otro inclosure, o como algo genuinamente distinto de sus paradojas favoritas)? O si prefieres, podemos ir al caso Bohmiano, donde sí hay trayectorias definidas y por tanto individuación clásica — pero entonces el precio es la no-localidad que mencionamos antes.
Punto 3
Estoy considerando cómo Priest aborda el fracaso de la aplicabilidad categorial en contraste con las paradojas de esquema de inclosure, explorando las implicaciones filosóficas profundas sin necesidad de herramientas externas.Vale, vamos a lo interesante: ¿es esto un caso más para el catálogo de Priest, o algo genuinamente distinto?
Por qué NO es un inclosure schema
El inclosure schema de Priest tiene una estructura muy específica: necesitas (1) un dominio Ω, (2) una función diagonalizadora δ que toma cualquier subconjunto “cerrado” de Ω y produce un nuevo elemento que debería pertenecer a Ω pero también debería estar fuera de cualquier totalización propia de Ω. Genera literalmente una contradicción: δ(Ω) ∈ Ω y δ(Ω) ∉ Ω.
El caso de la individuación cuántica no tiene esta forma. No hay diagonalización, no hay autorreferencia, y sobre todo — esto es clave — no se genera ninguna contradicción. No es verdad que “la partícula 1 está en A” y también “la partícula 1 no está en A”. Es que la oración misma no logra expresar una proposición con valor de verdad. Esto es mucho más parecido a una falla de presuposición (en el sentido de Strawson) que a una paradoja: como preguntar “¿el actual rey de Francia es calvo?” — no es verdadero ni falso, porque el sujeto de la oración no refiere.
Priest de hecho distingue explícitamente entre paradojas genuinas (que motivan el dialeteísmo) y casos de vaguedad o indeterminación, que él trata con aparatos distintos (típicamente lógicas paracompletas, no paraconsistentes — es decir, admiten “ni verdadero ni falso” en vez de “verdadero y falso”). El caso cuántico caería del lado paracompleto, si acaso: la partícula “1 en A” no es ni verdadera ni falsa, no es ambas.
Entonces, ¿qué es exactamente?
Yo diría que es un caso de lo que en metafísica se llama indeterminación óntica no-clásica ligada a estructura, y hay dos lecturas posibles:
Lectura deflacionaria: el problema es puramente del lenguaje — nuestros predicados de identidad fueron diseñados para objetos macroscópicos y simplemente no tienen extensión bien definida en el dominio subatómico. No hay ningún misterio metafísico, solo un desajuste categorial, resoluble reformando el aparato conceptual (que es justo lo que hace la teoría de cuasi-conjuntos).
Lectura óntica fuerte (la que defienden French, Krause, y también Steven French con Décio Krause en Identity in Physics): no es solo que no sepamos aplicar identidad, es que la propia estructura del mundo cuántico carece de la propiedad que la identidad presupone — individualidad numérica genuina. Esto se apoya en un argumento formal: el Teorema de Indiscernibilidad de los Idénticos (versión débil de Leibniz) es consistente con la mecánica cuántica solo si abandonas la idea de que cada partícula tiene una “identidad primitiva” (haecceidad) independiente de sus propiedades relacionales.
Por qué esto le importaría a Priest de todos modos
Aunque no es un inclosure, sí conecta con el proyecto general de Priest de una forma indirecta: ambos son casos donde la lógica clásica se topa con un límite del pensamiento, pero por mecanismos distintos — uno por autorreferencia (sus paradojas favoritas: mentiroso, Russell, Burali-Forti), el otro por lo que podríamos llamar límites de individuación — el pensamiento clásico presupone que “para razonar sobre algo, primero debe haber un algo identificable”, y la física cuántica muestra un dominio donde esa precondición simplemente no se cumple.
Si quieres, el siguiente paso natural sería mirar si esta distinción entre “fallo por autorreferencia” y “fallo por no-individuación” aparece explícitamente en la literatura sobre los límites del pensamiento (hay trabajo de Priest mismo sobre indeterminación, en In Contradiction, cap. sobre vaguedad) — o si prefieres, podemos cerrar el círculo con Bohm, donde la individuación sí se recupera clásicamente y ver qué se pierde a cambio.
No acabo de entender la diferencia entre ambas lecturas
Necesito establecer con claridad la diferencia entre las lecturas deflacionarias y fuertemente ónticas, usando ejemplos concretos que ilustren cada enfoque de manera sustancial.Vale, vamos a aclarar esto con un ejemplo concreto, porque la diferencia es sutil pero real.
La pregunta que las separa
Ambas lecturas están de acuerdo en el hecho empírico: no puedes decir “esta partícula está en A y aquella otra en B”. Donde discrepan es en por qué no puedes decirlo.
Lectura 1 — Deflacionaria: “el problema es nuestro, no del mundo”
Aquí la idea es: quizás el mundo sí tiene hechos determinados sobre individuación (quizás cada electrón es numéricamente distinto de otro, tiene su propia “chispa” de identidad), pero nuestro aparato conceptual — construido para mesas, personas, planetas — no tiene manera de capturar o expresar esos hechos. Es como intentar describir un color con vocabulario de sonidos: el fallo está en el instrumento descriptivo, no en que el color no exista.
Con esta lectura, la teoría de cuasi-conjuntos es simplemente una herramienta técnica mejor — un lenguaje más flexible que no te obliga a decir cosas sin sentido. Pero no hace ninguna afirmación fuerte sobre cómo es el mundo en sí. Es agnosticismo metafísico con una solución lingüística.
Lectura 2 — Óntica fuerte: “el problema es del mundo mismo”
Aquí la afirmación es mucho más audaz: no existe ningún hecho — ni siquiera en principio, ni siquiera para un observador omnisciente — sobre cuál electrón es cuál. No es que la identidad esté ahí pero sea inaccesible (como el color-sonido); es que la propiedad “ser un individuo numéricamente distinto” no forma parte del inventario de propiedades que el mundo cuántico posee. El mundo tiene “dos electrones” en el sentido de cardinalidad (hay dos cuantos de carga, masa, espín), pero no tiene “electrón individual A” y “electrón individual B” como entidades con identidad propia.
Una analogía que quizás ayude
Piensa en las olas de un océano. - La lectura deflacionaria diría: “cada ola es un individuo distinto, solo que nuestro lenguaje de ‘olas’ no tiene buena resolución para rastrear cuál molécula de agua pertenece a cuál ola en cada instante.” - La lectura óntica fuerte diría: “una ‘ola individual’ no es un tipo de cosa que exista realmente — solo hay patrones en el campo de agua, y hablar de ‘esta ola’ vs ‘aquella ola’ es ya una ficción conveniente impuesta desde fuera.”
Para las olas, casi todo el mundo aceptaría la lectura 2 sin problema — nadie cree en la “identidad primitiva” de una ola. Lo llamativo del debate French-Krause es que están diciendo: los electrones son metafísicamente más como las olas de lo que nuestra intuición (heredada de objetos cotidianos) nos hace pensar.
¿Por qué importa la diferencia?
Porque cambia qué tipo de proyecto es la teoría de cuasi-conjuntos: - Bajo la lectura 1, es solo epistemología/lenguaje disfrazada de matemática. - Bajo la lectura 2, es metafísica — un intento de escribir formalmente cómo es una realidad sin individuos primitivos, algo que no tiene precedente en la tradición desde Aristóteles hasta Leibniz, todos los cuales asumían que “ser algo” implica automáticamente “ser un algo distinguible de otros algos”.
¿Se aclara con esto, o quieres que lo lleve a si hay algún experimento o argumento formal que pueda, en principio, decidir entre las dos lecturas (spoiler: es un tema abierto y algo controvertido)?
Que argumento?
El usuario pregunta por los argumentos formales que respaldan una u otra lectura. Necesito explicar los argumentos clave: el argumento de la Permutation Invariance, la distinción entre la “Received View” y la Weak Discernibility de Saunders, y cómo estos debates sobre la identidad de indiscernibles complican la interpretación.
Saunders propone rescatar la individualidad mediante relaciones irreflexivas (como las correlaciones de espín opuesto en estados entrelazados), lo que intenta mediar entre la lectura deflacionaria y la lectura fuerte. Pero lo crucial es que esto representa un caso de subdeterminación metafísica: la física misma no decide entre las interpretaciones, ambas son empíricamente equivalentes, y esto es filosóficamente significativo para los debates sobre realismo estructural.Buena pregunta — y la respuesta corta es que no hay un experimento que lo decida (las dos lecturas son empíricamente equivalentes), pero sí hay un argumento formal importante que complica el mapa: la discernibilidad débil de Simon Saunders.
El argumento de Saunders (para rescatar la individuación)
Saunders intenta salvar algo de identidad clásica sin apelar a haecceidad. Su movida: distingue entre
Ejemplo concreto: toma dos electrones en un estado singlete de espín (entrelazados, espín total cero). Ninguno tiene espín definido individualmente, pero la relación “tener espín opuesto a” es irreflexiva — ningún objeto puede tener espín opuesto a sí mismo. Como esta relación se cumple entre los dos electrones, Saunders argumenta que sí son discernibles, aunque sea débilmente, y por tanto el Principio de Identidad de los Indiscernibles (en su versión débil) se salva. Esto le basta para decir que sí hay dos individuos genuinos — no idénticos porque satisfacen una relación irreflexiva entre ellos, aunque no tengan ninguna propiedad que los distinga por separado.
Esto empuja hacia la lectura 1 (deflacionaria): si Saunders tiene razón, el problema nunca fue que el mundo careciera de individuos, sino que estábamos buscando el tipo equivocado de discernibilidad (monádica en vez de relacional).
La réplica (French y Krause, y también Muller & Saunders después matizan)
La objeción principal: la relación “espín opuesto a” solo existe en virtud de la correlación cuántica del estado entrelazado global — no es una relación entre dos relata preexistentes, es más bien una característica holística del sistema conjunto que no se descompone en “el electrón A tiene esta relación con el electrón B” en el sentido causal-relacional normal (como “más alto que”). Krause y otros arguyen que apelar a esta relación para fundamentar la individualidad es circular: presupone que ya hay dos relata distinguibles para que la relación tenga sentido, cuando lo que está en juego es precisamente si esos relata están bien definidos como individuos separados.
Por qué esto es “metafísicamente indecidible”
Este es el punto que conecta con algo más amplio en filosofía de la física (Ladyman, French, en el contexto del realismo estructural óntico): la mecánica cuántica, como teoría empírica, es compatible por igual con “hay dos individuos débilmente discernibles” y con “no hay individuos, solo estructura relacional”. Ninguna medición puede distinguir entre ambas, porque ambas reproducen exactamente las mismas predicciones estadísticas — la diferencia es puramente en la interpretación metafísica de qué hay “detrás” del formalismo. A esto Ladyman lo llama subdeterminación metafísica: dos metafísicas rivales, ninguna refutable por los datos, ninguna claramente más simple o más explicativa que la otra.
Esto es interesante en sí mismo, porque es un caso donde el fallo del pensamiento clásico no es que se topa con un límite lógico (à la Priest) sino con un límite de subdeterminación empírica sobre la metafísica — la física no clausura la pregunta, la deja estructuralmente abierta.
¿Quieres que veamos cómo esto se conecta con el debate más general de realismo estructural (¿son las relaciones más fundamentales que los relata?), o prefieres volver al hilo interpretacional y ver cómo cada interpretación (Everett, Bohm, GRW) se posiciona frente a esta pregunta de individuación?