🧬 biology

Revisiting the Aerts-Broekaert-Smets quantum model of the liar paradox

Este artículo proporciona una reconstrucción pedagógica del modelo cuántico de la paradoja del mentiroso de Aerts-Broekaert-Smets utilizando la notación de Dirac para aclarar que, si bien la dinámica unitaria puede representarse en un espacio de cuatro dimensiones de solo verdad, el agrandamiento del espacio de estados es necesario para dar cuenta de las estructuras de medición y la memoria cognitiva en los procesos de revisión.

Autores originales: Massimiliano Sassoli de Bianchi

Publicado 2026-09-10

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Massimiliano Sassoli de Bianchi

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ⚕️ Esta es una explicación generada por IA de un preprint que no ha sido revisado por pares. No es consejo médico. No tome decisiones de salud basándose en este contenido. Leer descargo de responsabilidad completo

En el estudio de cómo funciona la mente humana, los investigadores se han sentido fascinados durante mucho tiempo por la brecha entre la lógica simple y el pensamiento complejo. Durante décadas, los científicos han intentado construir modelos matemáticos para explicar cómo tomamos decisiones, sopesamos opciones y cambiamos de opinión. Recientemente, ha surgido un campo conocido como cognición cuántica, que toma prestadas herramientas de la física para describir estos procesos mentales. En este marco, la mente no es vista como una computadora estática que simplemente almacena hechos, sino como un sistema dinámico donde el acto de hacer una pregunta puede realmente cambiar el estado de la información que se está considerando. Este enfoque ayuda a explicar por qué el razonamiento humano a veces parece contradictorio o inestable, especialmente cuando se enfrenta a acertijos autorreferenciales. Uno de los acertijos más famosos de estos es la paradoja del mentiroso, una oración que se refiere a sí misma de una manera que crea un bucle infinito de verdad y falsedad. Comprender cómo la mente navega este bucle ofrece una ventana a la mecánica de la deliberación misma.

Un investigador ha revisado un modelo específico de esta paradoja, propuesto originalmente por los físicos Aerts, Broekaert y Smets, para aclarar exactamente cómo funciona y qué revela sobre la naturaleza del pensamiento. Su trabajo se centra en un escenario que involucra dos oraciones que se refieren entre sí: una afirma que la otra es falsa, y la otra afirma que la primera es verdadera. Cuando una persona intenta determinar la verdad de estas oraciones, su mente entra en un estado de oscilación, saltando de un lado a otro entre diferentes asignaciones de verdad sin llegar nunca a establecer una respuesta estable. El modelo original utilizó una estructura matemática compleja para describir este salto, sugiriendo que la mente necesita un "espacio" adicional para llevar la cuenta de dónde proviene cada pensamiento. El nuevo análisis aclara que este espacio adicional no es necesario para el movimiento interno y rítmico del ciclo mismo, el cual puede ser descrito completamente en un espacio de cuatro dimensiones más simple. Sin embargo, el espacio ampliado es estrictamente necesario para modelar con precisión el acto de la medición, específicamente, el momento en que una decisión consciente inicia el proceso.

El investigador encontró que si solo se observan los valores de verdad finales —si una oración es verdadera o falsa— se puede describir el ciclo utilizando un modelo más pequeño y simple. En esta visión reducida, el movimiento de la mente a través de la paradoja se asemeja a una rotación suave y predecible a través de cuatro estados distintos. Sin embargo, esta visión más simple se desmorona en el momento en que se intenta modelar el acto real de pensar. Cuando una persona toma una decisión, como decidir creer que la primera oración es verdadera, esa decisión crea un punto de partida específico que es diferente de una situación en la que el mismo valor de verdad fue alcanzado siguiendo una cadena de lógica. El modelo original, más complejo, incluye una capa oculta de información que registra este origen. Sin este registro, el modelo no puede distinguir entre un pensamiento que fue elegido libremente y uno que fue forzado por la lógica del paso anterior. Esta distinción es crucial para la estructura de la medición porque permite al modelo representar con precisión cómo una sola decisión desencadena una secuencia específica de eventos mentales, a pesar de que el ciclo de oscilación subsiguiente no depende inherentemente de esta distinción para existir.

Al reescribir el modelo en un lenguaje matemático más claro, el autor demostró que las dimensiones "adicionales" en la teoría original no son solo trucos matemáticos; representan una forma de memoria cognitiva. Esta memoria rastrea la historia de cómo se formó una creencia. En el caso de la paradoja del mentiroso, esta historia es esencial para el proceso de medición porque el mismo valor de verdad puede conducir a diferentes pensamientos futuros dependiendo de cómo se llegó a él. Si una persona decide que una oración es verdadera, el siguiente paso en su pensamiento podría ser diferente que si simplemente infirió que era verdadera a partir de una conclusión previa. El investigador demostró que esta capacidad de distinguir entre decisión e inferencia es lo que permite al modelo iniciar correctamente el bucle paradójico. Sin esta distinción, el modelo no puede representar el acto cognitivo que inicia el proceso, aun cuando la oscilación misma pueda describirse sin ella.

El estudio también derivó una descripción precisa de la energía y el movimiento detrás de este ciclo mental, mostrando que la progresión de la mente a través de la paradoja sigue un patrón estricto y rítmico. Calcularon las probabilidades exactas de que la mente se encuentre en cualquier estado específico en cualquier momento dado, revelando que el sistema se mueve a través de las cuatro etapas del bucle en una secuencia perfectamente cronometrada. Este movimiento rítmico no es aleatorio; es un flujo determinista que solo es interrumpido cuando se toma una nueva decisión. El investigador enfatiza que, si bien el movimiento interno de la mente puede describirse de forma sencilla, el acto de iniciar el proceso requiere el modelo más complejo y enriquecido. Esto sugiere que la complejidad del pensamiento humano a menudo no reside en la complejidad de las ideas mismas, sino en la forma en que mantenemos la cuenta de cómo llegamos a ellas.

Finalmente, el autor conecta este rompecabezas específico con una comprensión más amplia de cómo los humanos deliberan sobre decisiones difíciles. Sugiere que la paradoja del mentiroso es un ejemplo extremo de un proceso mental común: el vaivén de sopesar opciones. En muchas decisiones, una persona puede elegir tentativamente un camino, solo para encontrar que las consecuencias de esa elección hacen que parezca menos probable, lo que provoca un cambio hacia otra opción. A veces, este proceso se estabiliza y la persona llega a una conclusión firme. Otras veces, como en la paradoja del mentiroso, el proceso se desestabiliza a sí mismo, llevando a un ciclo interminable de reconsideración. La investigación indica que la clave para comprender estos ciclos es reconocer que nuestras mentes llevan un registro de nuestra historia de razonamiento. Este registro actúa como una forma mínima de memoria, permitiéndonos distinguir entre una elección que tomamos y una conclusión a la que fuimos forzados. Al comprender este mecanismo, obtenemos una imagen más clara de por qué algunos pensamientos se quedan atrapados en bucles mientras que otros avanzan hacia una resolución.

Resumen Técnico: Revisión del Modelo Cuántico de la Paradoja del Mentiroso de Aerts-Broekaert-Smets

Planteamiento del Problema
El artículo aborda la estructura matemática y conceptual del modelo cuántico de la paradoja del mentiroso de dos oraciones propuesto originalmente por Aerts, Broekaert y Smets (ABS). La paradoja del mentiroso involucra un sistema de proposiciones autorreferenciales donde las asignaciones de verdad oscilan indefinidamente en lugar de estabilizarse. El modelo original utilizó un formalismo cuántico para describir esta dinámica semántica, integrando el comportamiento oscilatorio dentro de una evolución unitaria. Sin embargo, la presentación original dependía fuertemente de representaciones explícitas de vectores y matrices, dejando la lógica estructural subyacente —particularmente la necesidad del agrandamiento dimensional de un espacio de estado local de 2 dimensiones a 4 dimensiones por oración (lo que resulta en un espacio de Hilbert total de 16 dimensiones)— algo opaca. El presente trabajo busca reconstruir este modelo para clarificar la distincción entre los valores de verdad que surgen de decisiones cognitivas directas frente a aquellos que surgen de la inferencia semántica, y determinar precisamente qué aspectos de la dinámica requieren el agrandamiento del espacio de estados.

Metodología
El autor emplea una reconstrucción pedagógica del modelo ABS utilizando la notación de Dirac y estructuras de producto tensorial. La metodología consiste en:

Factorización del Espacio de Estados: Reinterpretar el espacio de una oración de 4 dimensiones ( $C^4$ ) como un producto tensorial de dos grados de libertad binarios: el valor de verdad ( $H_{tr}$ ) y el origen de ese valor ( $H_{or}$ ), donde el origen es ya sea "decisión" ( $d$ ) o "inferencia semántica" ( $s$ ). Esto conduce a una factorización $H = H_{or} \otimes H_{tr}$ .
Derivación de Operadores: Derivar el Hamiltoniano ( $H$ ) que genera la evolución cíclica de cuatro estados de la paradoja del doble mentiroso. Esto se logra mediante la diagonalización del operador de evolución discreta ( $U$ ) en una base de Fourier discreta y expresando $H$ en una forma de operador compacta, evitando las complicadas manipulaciones de matrices de los artículos originales.
Análisis Comparativo: Contrastar la representación "extendida" (16 dimensiones, $C^4 \otimes C^4$ ) con una representación de "solo verdad" (4 dimensiones, $C^2 \otimes C^2$ ). El autor analiza la equivalencia unitaria entre estos espacios y examina cómo se comportan los proyectores de medida en cada uno.
Extensión a Procesos de Revisión: Investigar escenarios donde el grado de libertad del origen se vuelve dinámicamente necesario, específicamente en procesos que involucran la revisión de hipótesis, donde estados con contenidos de verdad idénticos pero historias diferentes requieren sucesores distintos.

Contribuciones Clave y Resultados

Clarificación de Entrelazamiento vs. Separabilidad:
El artículo demuestra que en la representación extendida ( $H_{or} \otimes H_{tr}$ ), los casos no paradójicos (asignaciones de verdad consistentes) corresponden a estados separables a través de la partición origen-verdad. En contraste, el estado del mentiroso es entrelazado a través de esta partición. Específicamente, el estado del mentiroso es un acoplamiento coherente entre las estructuras de correlación estables de los casos no paradójicos.
Formulación Compacta del Hamiltoniano:
El autor deriva el Hamiltoniano que genera la dinámica de evolución cíclica en una forma de operador compacto:
$H = \frac{\pi}{4\tau} \left[ 3I - U^2 - (1+i)U - (1-i)U^\dagger \right]$
También proporciona expresiones de forma cerrada para las probabilidades de transición $P_n(t)$ entre los cuatro estados del ciclo, confirmando la naturaleza periódica de la evolución con un periodo de $4\tau$ .
Necesidad del Agrandamiento Dimensional:
Un hallazgo central es que el espacio de Hilbert de 16 dimensiones no es requerido para la parte unitaria de la dinámica. La evolución cíclica puede describirse plenamente en un espacio de 4 dimensiones de "solo verdad" ( $C^2 \otimes C^2$ ) mediante un mapa de identificación unitaria $\Gamma$ .
- Sin embargo, el agrandamiento sí es estrictamente requerido por la estructura de la medida. En el espacio de solo verdad, es imposible construir un estado tal que los proyectores de verdad de una sola oración lo mapeen sobre cuatro estados mutuamente ortogonales (las cuatro fases del ciclo). Las etiquetas de origen ( $d$ vs. $s$ ) son necesarias para distinguir las cuatro fases ortogonales iniciadas por una decisión sobre una sola oración.
Memoria Cognitiva y Revisión:
El artículo muestra que el grado de libertad del origen actúa como una forma mínima de "memoria cognitiva". Aunque es redundante para el ciclo estándar de cuatro pasos, se vuelve dinámicamente necesario cuando el sistema admite procesos de revisión. Si un sujeto cognitivo revisa una hipótesis para evitar un ciclo repetitivo, los estados con valores de verdad idénticos pero orígenes (historias) diferentes deben tener sucesores diferentes. En tales casos, una representación de solo verdad falla al capturar la dinámica, y el sistema explora un subespacio de 8 dimensiones.
Corrección de Inconsistencias Históricas:
El autor identifica un error de signo y una discrepancia en el orden de la base en el Hamiltoniano y los operadores de evolución reportados en los artículos históricos originales [1, 2], asegurando que el Hamiltoniano derivado conmute con el operador de evolución y admita la superposición uniforme como un estado fundamental de energía cero.

Significancia y Pretensiones
El artículo afirma proporcionar una comprensión estructural más clara y transparente del modelo ABS. Su significancia principal radica en la separación de los requisitos dinámicos de los requisitos de medida:

Dinámica Unitaria: El comportamiento oscilatorio de la paradoja del mentiroso es una propiedad de la evolución unitaria en un espacio de verdad de 4 dimensiones; el agrandamiento dimensional no es una necesidad dinámica para el ciclo en sí.
Medida/Contextualidad: El agrandimiento es una necesidad para representar la contextualidad de la interacción cognitiva. Permite al modelo representar el acto de "decidir" sobre una sola oración como una proyección que identifica de manera única una fase específica del ciclo inferencial, una hazaña imposible en el espacio reducido de solo verdad.
Deliberación: El autor sugiere que el modelo ofrece un mecanismo dinámico mínimo relevante para procesos deliberativos más amplios. La distinción entre "decisión" e "inferencia" (las etiquetas de origen) proporciona una forma formal de modelar cómo las elecciones provisionales pueden desencadenar consecuencias semánticas que bien pueden estabilizar (auto-reforzantes) o desestabilizar (auto-oscilantes) un estado cognitivo. La paradoja del mentiroso representa el caso extremo de desestabilización donde el contexto es una orden lógica pura, impidiendo la estabilización.

El artículo concluye modestamente, posicionando su trabajo como una aclaración pedagógica que hace más explícita la estructura conceptual de los modelos de cognición cuántica, particularmente respecto al papel del entrelazamiento en la dinámica semántica y la representación de la historia cognitiva.

Más como este