Qué postulan las interpretaciones de la mecánica cuántica como
elementos básicos de la realidad, y el problema de la individuación de
partículas idénticas, con teoría de cuasi-conjuntos, comparación con el
esquema de clausura de Priest y la discernibilidad débil de
Saunders.
Hilo de la conversación
Oriol pregunta por los elementos básicos de la realidad en mecánica
cuántica. Claude separa el formalismo (vector de estado, observables,
regla de Born) de las interpretaciones: realismo de la función de onda
(Everett), Bohm, QBismo, Copenhague, colapso objetivo (GRW, Penrose).
Menciona Bell y Kochen-Specker como límites.
Oriol se interesa por interpretaciones e individuación. Cada
interpretación se presenta con su precio (Everett: mundos; Bohm: no
localidad y equilibrio cuántico; GRW: parámetros ad hoc, pero
distinguible empíricamente). Localidad, determinismo y ausencia de
mundos extra no se pueden tener a la vez.
Individuación: según French y Krause, las partículas idénticas
serían no-individuos; se oponen hilemorfismo y el principio de identidad
de los indiscernibles.
“Sigue con el hilo”: teoría de cuasi-conjuntos Q (objetos m sin
identidad, indistinguibilidad, cuasi-cardinalidad) y paralelo con
Priest. Taxonomía de fallos de la lógica clásica: contradicción,
indeterminación, fallo de aplicabilidad categorial.
Oriol elige el punto 3: no es un inclosure schema sino algo
parecido a fallo de presuposición (Strawson); lecturas deflacionaria y
óntica fuerte.
Oriol no ve la diferencia entre ambas lecturas; Claude usa la
analogía de las olas.
Oriol pregunta qué argumento decide: discernibilidad débil de
Saunders (espín opuesto en el singlete), réplica de French y Krause,
subdeterminación metafísica (Ladyman) y realismo estructural.
Tesis y
conclusiones (incluidas las de Oriol)
El formalismo es silencioso sobre qué hay entre mediciones; cada
interpretación paga un precio distinto.
La individuación cuántica no es una paradoja de autorreferencia ni
una contradicción, sino un fallo de aplicabilidad categorial; no hay
experimento que decida entre las lecturas (subdeterminación
metafísica).
Oriol solo orienta (elige los puntos 1-2 y 3) y admite no ver la
diferencia entre las lecturas; no formula tesis propia.
Autores y referencias
citados
Everett, Bohm, GRW, Penrose, Bell, Kochen-Specker, Wallace, Priest
(In Contradiction; inclosure), Aristóteles, Tomás, Leibniz,
Łukasiewicz, Popper (mencionados como intereses previos), French y
Krause (Identity in Physics; quasi-set theory), Redhead,
Strawson, Saunders (discernibilidad débil), Muller, Ladyman. Sin citas
completas.
Puntos a verificar
La conversación mezcla trazas de razonamiento interno de Claude (“El
usuario pregunta…”) con el texto de respuesta; depurar antes de
citar.
Afirmación de que Bell y Kochen-Specker “muestran que no hay
asignación consistente de valores a todos los observables”: Bell trata
de localidad, KS de contextualidad; matizar.
“Teorema de Indiscernibilidad de los Idénticos” y el argumento que
supuestamente lo hace compatible con la MC solo sin haecceidad:
formulación dudosa, sin fuente; el principio de Leibniz relevante es la
identidad de los indiscernibles.
Atribución a Redhead de “falta de tracción” de la lógica clásica, y
a Priest de tratar la vaguedad con lógicas paracompletas (“In
Contradiction, cap. sobre vaguedad”): comprobar.
La lectura deflacionaria atribuida al marco “nuestro lenguaje” se
parece más a la “visión recibida” con haecceidad que a una posición de
un autor concreto; precisar.
Descripción de la analogía de las olas y de la subdeterminación
(Ladyman, French, Saunders, Muller): verificar la bibliografía.