⚛️ física cuántica

Classical and Quantum Logics with Multiple Non-Equivalent and Non-Isomorphic Models

Este artículo refuta las críticas recientes al demostrar que tanto la lógica clásica como la cuántica poseen, de hecho, múltiples modelos mutuamente no equivalentes y no isomorfos.

Autor original: Mladen Pavicic

Publicado 2026-11-03

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autor original: Mladen Pavicic

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por el autor. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

En el estudio de cómo razonamos, existen dos formas distintas de entender la verdad. Una es la lógica familiar de la vida cotidiana, donde si algo es cierto, su opuesto es falso, y la combinación de ideas sigue reglas estrictas y predecibles. La otra es la lógica del mundo cuántico, el reino de los átomos y las partículas subatómicas, donde las cosas pueden existir en múltiples estados a la vez y donde el acto de observar puede cambiar el resultado. Durante décadas, los científicos han intentado construir estructuras matemáticas para representar estos dos tipos de razonamiento. Llaman a estas estructuras "retículos", que son esencialmente mapas que muestran cómo las diferentes ideas se conectan y se relacionan entre sí. Una creencia de larga data en el campo era que existe un solo mapa correcto para la lógica cuántica y un solo mapa correcto para la lógica clásica. Se pensaba que el mapa cuántico tenía que tener una forma específica y rígida conocida como retículo ortomodular, y que el mapa clásico tenía que ser una forma perfectamente equilibrada y distributiva.

Sin embargo, un artículo reciente de Mladen Pavičić desafía esta certeza. El investigador argumenta que esta creencia se basa en un malentendido de lo que es un "modelo" en la lógica. Un modelo es simplemente una forma de probar si las reglas de una lógica se mantienen. Pavičić demuestra que, tanto para la lógica cuántica como para la clásica, no hay solo uno, sino muchos mapas diferentes que funcionan perfectamente bien. Estos mapas no son idénticos entre sí; tienen diferentes formas y estructuras internas, pero todos producen exactamente el mismo conjunto de conclusiones válidas. El artículo demuestra que las formas únicas y rígidas que antes se pensaba que eran las únicas opciones son, en realidad, solo unos pocos casos especiales entre muchos. El autor muestra que los críticos que afirmaban que estos otros mapas eran inválidos estaban equivocados, a menudo porque confundieron las reglas de la lógica misma con las propiedades específicas de un mapa en particular.

El núcleo del trabajo consiste en una comparación cuidadosa de estos diferentes mapas. Pavičić expone las definiciones de la lógica cuántica y la clásica una al lado de la otra, mostrando cómo se construyen a partir de bloques básicos como la negación y la combinación. Luego introduce una familia de estos mapas matemáticos, que van desde los muy generales hasta los más específicos y restrictivos. El hallazgo clave es que una lógica no necesita un mapa único y específico para ser válida. En cambio, una lógica puede ser sólida y completa a través de una amplia variedad de mapas diferentes. Para la lógica cuántica, el artículo muestra que funciona tan bien en mapas que carecen de una propiedad específica llamada ortomodularidad como en aquellos que la poseen. Del mismo modo, para la lógica clásica, las reglas se mantienen verdaderas incluso en mapas que carecen de la distributividad, que es la regla que suele hacer que la lógica clásica se sienta tan ordenada.

El artículo aborda y refuta directamente las críticas recientes de otros investigadores que argumentaban que estos mapas alternativos eran defectuosos. Un grupo de críticos afirmó que, debido a que un tipo específico de mapa, el retículo ortomodular, es el estándar para la mecánica cuántica, ningún otro mapa podía ser una representación válida de la lógica cuántica. Pavičić rebate esto demostrando que la lógica misma no exige esa forma específica; solo exige que las reglas funcionen, y funcionan en muchas formas distintas. Los críticos también argumentaron que si un mapa no tiene las mismas reglas internas que el modelo estándar, no puede ser un modelo verdadero. El artículo demuestra que esto es erróneo al mostrar que todos estos diferentes mapas conducen al mismo conjunto de enunciados demostrables. Si un enunciado es verdadero en un mapa, es verdadero en todos ellos, incluso si los mapas se ven diferentes por dentro.

Otra crítica se centró en la lógica clásica, sugiriendo que, debido a que un mapa no estándar no preservaba una regla estructural específica, no podía ser un modelo válido. El autor señala que esta crítica dependía de un simple error de cálculo. Cuando se realiza la matemática correctamente, el mapa en cuestión sí preserva la estructura necesaria. El artículo enfatiza que la existencia de estos diferentes mapas no significa que la lógica esté rota o sea ambigua. Al contrario, significa que la lógica es lo suficientemente robusta como para funcionar a través de un amplio paisaje de estructuras matemáticas. El autor concluye que el campo se ha centrado demasiado en encontrar un único mapa "perfecto", cuando en realidad, la lógica se define por el conjunto de reglas que se mantienen verdaderas a través de todos estos diversos mapas.

En última instancia, el artículo sirve como una corrección a la comprensión del campo sobre lo que constituye un modelo. Establece que tener múltiples modelos no idénticos para una sola lógica no es un problema a resolver, sino una característica natural del sistema. El trabajo sugiere que los investigadores deberían dejar de intentar forzar toda la lógica en una forma específica y, en su lugar, aceptar la variedad de estructuras que pueden soportar las mismas reglas. Al aclarar estos conceptos erróneos, el artículo abre la puerta a una comprensión más flexible y precisa de cómo opera la lógica tanto en el mundo clásico como en el cuántico, demostrando que el camino hacia la verdad no es un camino único y estrecho, sino una red de muchas rutas válidas.

Resumen Técnico: Lógicas Clásica y Cuántica con Múltiples Modelos No Equivalentes y No Isomorfos

Planteamiento del Problema
El artículo aborda una controversia relativa a los modelos semánticos de la lógica cuántica (LQ) y la lógica clásica (LC). Mientras que el trabajo previo del autor (específicamente las referencias [6] y [7]) estableció que tanto la LQ como la LC poseen múltiples modelos mutuamente no equivalentes y no isomorfos, las críticas recientes de Kowalski, Paoli, Giuntini [5] y Drozdowska [2] cuestionan este resultado. Los críticos argumentan que:

Los retículos ortomodulares (OML) son el único "contraparte algebraica" de la lógica cuántica, lo que hace que otros modelos (como los retículos débilmente ortomodulares, WOML) sean inadecuados para una semántica algebraica equivalente.
La lógica clásica es inherentemente distributiva, y la existencia de modelos no distributivos (como el retículo O6) no constituye evidencia de que la LC sea en sí misma no distributiva.
Modelos específicos (por ejemplo, O6) no preservan la estructura inferencial de la lógica clásica, específicamente la regla de reemplazo de equivalentes.

El autor sostiene que estas críticas carecen de fundamento o se basan en errores de cálculo, y que la existencia de múltiples modelos distintos para una misma lógica es un resultado matemáticamente sólido que no contradice la solidez y la completitud de las lógicas mismas.

Metodología
El artículo emplea un enfoque comparativo y constructivo, revisando y formalizando las definiciones y demostraciones de sus publicaciones anteriores ([6], [7], [9], [12]). La metodología consiste en:

Formalización Comparativa: El autor presenta la LQ y la LC de forma paralela, definiendo sus proposiciones primitivas, conectivas (negación, disyunción) e implicaciones específicas (clásica, cuántica, Sasaki) y equivalencias.
Construcción de la Jerarquía de Retículos: El artículo define una jerarquía de estructuras de retículos, que van desde lo más general a lo más específico:
- WOML: Retículos Débilmente Ortomodulares (que satisfacen una condición de ortomodularidad débil pero no la ortomodularidad total).
- WOML1, WOML2: Variantes más fuertes de WOML.
- OML: Retículos Ortomodulares (que satisfacen la ecuación ortomodular).
- WDOL: Retículos Ortolaterales Débilmente Distributivos.
- DL: Retículos Distributivos (Álgebras de Boole).
  El autor demuestra inclusiones estrictas (por ejemplo, $DL \subsetneq WDOL \subsetneq WOML$ ) e identifica contraejemplos específicos (retículos O6, O7, O8) donde las condiciones más fuertes fallan mientras que las más débiles se mantienen.
Definición y Verificación de Modelos: Utilizando álgebras de Lindenbaum y valoraciones específicas (morfismos de fórmulas a elementos de retículo), el autor define los modelos $M = \langle L, h \rangle$ . Demuestra la Solidez (todos los teoremas de la lógica se cumplen en los modelos) y la Completitud (cualquier fórmula válida en todos los modelos es un teorema de la lógica) para cada clase de retículo. El autor señala explícitamente que O6 sirve como modelo tanto para la LQ como para la LC, junto con otras clases como WOML*, WOML1*, y OML para la LQ, y WOML*, WDOL*, y DL para la LC.
Análisis Crítico: El autor deconstruye sistemáticamente las afirmaciones de los críticos, verificando la consistencia lógica de sus argumentos y comprobando los contraejemplos específicos proporcionados por los críticos (particularmente respecto a la regla de reemplazo en el retículo O6).

Contribuciones Clave y Resultados

Existencia de Modelos No Equivalentes: El artículo demuestra rigurosamente que la LQ es sólida y completa con respecto a una variedad de modelos, incluyendo WOML, WOML*, WOML1*, WOML2*, y OML. Del mismo modo, la LC es sólida y completa con respecto a WOML*, WDOL*, y DL. Crucialmente, estos modelos son no isomorfos (estructuralmente diferentes) y no equivalentes (satisfacen diferentes conjuntos de ecuaciones), pero generan exactamente el mismo conjunto de teoremas para sus respectivas lógicas. Se destaca el retículo O6 como un modelo específico no distributivo y no ortomodular que es válido para ambas lógicas.
Refutación de la "Semántica Única": El autor demuestra que la afirmación de que el OML es el único contraparte algebraica válido para la LQ es falsa. Demuestra que el WOML (que no satisface la ecuación ortomodular $a \cup (b \cap (a' \cup b')) = a \cup b$ ) es un modelo legítimo para la LQ. La ecuación ortomodular es una propiedad del modelo (el retículo), no un teorema expresable dentro de la lógica (LQ) en sí misma.
Refutación de la "Distributividad Inherente": Del mismo modo, el artículo argumenta que la LC no puede definirse como "distributiva" basándose únicamente en el hecho de que la ley distributiva es un teorema. Dado que la LC también admite modelos no distributivos (como O6) y admite las leyes de ortomodularidad y modularidad como teoremas, etiquetar a la LC como "distributiva" es terminológicamente ambiguo y semánticamente restrictivo. La lógica en sí es neutral; las propiedades pertenecen a modelos específicos.
Corrección de Errores de Cálculo: El autor identifica un error de cálculo específico en la crítica de Drozdowska respecto a la regla de reemplazo en el retículo O6. El crítico afirmó que $a \to_c a$ evalúa a $a$ en O6, lo que conduce a un fallo de la regla. El autor corrige esto, mostrando que $a \to_c a = a' \cup a = 1$ . Dado que la regla de reemplazo depende de que las fórmulas evalúen a 1 (validez), y todas las fórmulas iguales a 1 en cualquier modelo pasan por O6, la regla se cumple. El "fallo" del crítico se basó en una premisa falsa.

Significancia y Reivindicaciones
El artículo sostiene que las críticas dirigidas contra la existencia de múltiples modelos para la LQ y la LC son matemáticamente infundadas. El autor afirma que:

El "espacio" para la semántica algebraica de la LQ no está ocupado únicamente por el OML; más bien, una supervariedad de retículos (incluyendo los no ortomodulares) sirve como semántica válida.
El hecho de que diferentes modelos produzcan los mismos teoremas es la esencia de la solidez y la completitud, no una contradicción.
La terminología como "lógica ortomodular" o "lógica distributiva" debe reservarse para los modelos de retículos específicos donde estas ecuaciones se cumplen, en lugar de los sistemas lógicos mismos, para evitar la confusión entre teoremas sintácticos y propiedades semánticas.

El artículo concluye que el campo debe ir más allá del debate sobre la unicidad de estos modelos y, en su lugar, centrarse en resolver los problemas abiertos dentro de la teoría de los retículos ortomodulares. La contribución principal es la consolidación de las demostraciones que muestran que un único sistema lógico puede ser representado fielmente por modelos algebraicos estructuralmente distintos y no equivalentes.

Más como este