An observer-based approach to the sorites paradox and the logic derived from that

El artículo propone una solución a la paradoja del montón mediante una semántica de objetos en flujo dependiente del observador y el tiempo, donde los vacíos de verdad derivados de la observación interrumpida generan una lógica de tres valores idéntica a la lógica de tres valores fuerte de Kleene, eliminando así el carácter paradójico del problema.

Lo esencial

El Misterio de la Pila de Arena: Una Solución desde la "Mirada Interrumpida"

Imagina que tienes una pila de arena. Si le quitas un grano, sigue siendo una pila. Si le quitas otro, sigue siendo una pila. Pero, ¿en qué momento exacto deja de ser una pila para convertirse en "no una pila"?

Este es el famoso Paradoja del Sorites (o de la pila de arena). Es un rompecabezas lógico que nos dice que, si seguimos quitando granos uno a uno, nunca deberíamos llegar a un punto donde la pila desaparezca, y sin embargo, sabemos que al final no queda nada.

El autor del artículo, Athanassios Tzouvaras, propone una solución muy interesante que no requiere matemáticas extrañas, sino que se basa en cómo vemos las cosas en la vida real.

1. La Idea Principal: No miramos todo el tiempo

La solución del autor se basa en una idea simple: Nadie mira las cosas sin parar.

Imagina que estás observando una montaña de arena que crece lentamente grano a grano.

• La teoría clásica: Asume que tienes una cámara de seguridad que graba 24/7 sin interrupciones. En este escenario, la paradoja es un problema terrible porque, en algún instante exacto, la montaña debería dejar de ser "montaña".
• La teoría del autor (FOS): Reconoce que los humanos somos como cámaras con baterías limitadas. Nos distraemos, parpadeamos, miramos el móvil o nos vamos a por un café.

El autor llama a esto "Brechas de Observación" (o watching gaps). Son esos momentos en los que dejas de mirar el objeto.

2. La Analogía del "Objeto Fluido"

El autor dice que los objetos no son fijos como una piedra, sino que son como agua que fluye (de ahí el nombre "semántica de objeto en flujo").

Imagina que el objeto (la pila de arena) es un río.

• Cuando tú (el observador) miras el río, ves el agua en un estado concreto.
• Cuando te distraes (la "brecha"), el río sigue fluyendo.
• Cuando vuelves a mirar, el agua ha cambiado un poco.

El truco está en que el cambio ocurre mientras no estás mirando.

3. ¿Cómo resuelve esto la paradoja?

Aquí viene la magia de la explicación:

1. La regla de lo imperceptible: Si miras la pila de arena en un segundo y luego la miras en el segundo siguiente (sin distracciones), no notarás ningún cambio. Sigue siendo una pila.
2. El salto invisible: Pero, si miras la pila, te distraes durante 5 minutos (una brecha de observación) y luego vuelves a mirar, ¡puede que ahora sea una montaña enorme! O al revés: miras una montaña, te vas a comer un sándwich y cuando vuelves, solo queda un puñado de arena.

La conclusión: El cambio de "pila" a "no pila" no ocurre en un instante mágico que puedes detectar. Ocurre durante el tiempo que no estás mirando.

El autor dice que la paradoja desaparece porque admitimos que nuestra visión es interrumpida. No necesitamos inventar números extraños ni mundos paralelos; solo necesitamos aceptar que la realidad cambia en los huecos de nuestra atención.

4. La Lógica de los "Tres Estados"

El autor también nos dice que esto crea una nueva forma de lógica. En lugar de solo "Verdadero" o "Falso", tenemos tres estados:

1. Verdadero: Lo veo y es una pila.
2. Falso: Lo veo y no es una pila.
3. Indeterminado (o "No sé"): No lo estoy mirando en este momento.

Es como si tuvieras un semáforo. Si no estás mirando el tráfico, el estado de los coches es "indeterminado" para ti. El autor demuestra matemáticamente que esta forma de pensar coincide con una lógica matemática ya conocida (la lógica de Kleene), lo que le da mucha solidez a su idea.

5. ¿Por qué es realista? (La ciencia detrás de la idea)

El autor consultó a expertos en visión y psicología para ver si esto tiene sentido en la vida real. La respuesta fue un SÍ rotundo:

• Nuestros ojos se cansan si miramos algo fijo mucho tiempo (fatiga neural).
• Tenemos que parpadear o mover la vista para que la imagen no se desvanezca.
• Nuestra atención es "discreta": funciona como un interruptor de luz (encendido/apagado), no como un flujo continuo.

En resumen:
La paradoja del Sorites nos atormenta porque intentamos aplicar una lógica de "cámara de vigilancia perfecta" a un mundo donde los humanos somos observadores imperfectos que se distraen.

La solución es tan simple como decir: "El cambio ocurre cuando no estamos mirando". Esos momentos de distracción (las brechas) son los puentes invisibles donde las cosas cambian de estado sin que nos demos cuenta, evitando así la contradicción lógica.

Es como si la vida fuera una película donde los cortes de edición (cuando la cámara se apaga) son los únicos momentos en los que la magia puede ocurrir.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "An observer-based approach to the sorites paradox and the logic derived from that" (Un enfoque basado en el observador para la paradoja del sorites y la lógica derivada de la misma) de Athanassios Tzouvaras.

1. El Problema: La Paradoja del Sorites (SP) y la Indefinición

La paradoja del sorites surge en el ámbito de la vaguedad, específicamente en predicados vagos discretos (como "ser calvo", "ser grande" o "ser un montón"). Matemáticamente, el problema se manifiesta como un fallo en el principio de inducción:

• Si $P(n)$ es "n es pequeño", es evidente que $P(0)$ es verdadero y $P(N)$ es falso para un $N$ suficientemente grande.
• Sin embargo, la premisa intuitiva es que $P(n) \Rightarrow P(n+1)$ (si $n$ es pequeño, $n+1$ también lo es).
• Esto conduce a una transición "vaga" o misteriosa de $P$ a $\neg P$ sin cruzar ningún límite discernible.
• En el conjunto de los números naturales estándar ($\mathbb{N}$), esto es paradójico porque implica la existencia de subconjuntos sin elemento mínimo o máximo, lo cual es imposible en $\mathbb{N}$.
• Soluciones anteriores han recurrido a modelos no estándar de la aritmética, pero estos introducen "números no estándar" que son inaplicables a la experiencia cotidiana y física.

El objetivo del artículo es formalizar estas transiciones vagas sin abandonar el terreno de los números naturales estándar, incorporando factores ignorados en tratamientos estándar: el observador y el tiempo.

2. Metodología: Semántica de Objetos en Flujo (FOS)

El autor propone una nueva semántica llamada Semántica de Objetos en Flujo (Fluxing-Object Semantics - FOS). Esta metodología modifica la semántica clásica de primer orden introduciendo dos dimensiones críticas:

A. Objetos como Funciones Parciales

En lugar de tratar los objetos como entidades estáticas, en FOS los objetos son representados como funciones parciales finitas:
$$f: I \times \mathbb{N} \to A$$
Donde:

• $I$ es un conjunto de agentes (observadores).
• $\mathbb{N}$ es el eje del tiempo (discreto y lineal).
• $A$ es una estructura relacional clásica que contiene las "formas" o estados del objeto.
• $f(i, t)$ denota la forma del objeto percibida por el observador $i$ en el tiempo $t$.

La parcialidad es clave: La función $f$ no está definida para todos los pares $(i, t)$. Si $f(i, t)$ no está definida, significa que el observador no está "mirando" el objeto en ese momento. Esto introduce huecos de observación (watching gaps).

B. Predicados Estables vs. Objetos Cambiantes

• Objetos: Cambian con el tiempo y dependen del observador.
• Predicados: Se asume que los predicados (propiedades como "ser calvo") son abstractos y estables, independientes del tiempo y del observador. El cambio no ocurre en la definición del predicado, sino en la percepción del objeto.

C. Definición de "Cambio Imperceptible"

Un objeto $f$ se considera que cambia imperceptiblemente respecto a una propiedad $\phi$ si, para cualquier observador $i$, si observa el objeto en dos momentos consecutivos $t$ y $t+1$ (es decir, si $f(i, t)$ y $f(i, t+1)$ están definidos), entonces la verdad de $\phi$ no cambia entre esos momentos:
$$\langle i, t \rangle \Vdash \phi(f) \iff \langle i, t+1 \rangle \Vdash \phi(f)$$
Esto captura la intuición de que un cambio gradual no es perceptible en intervalos de tiempo continuos de observación.

3. Resultados Técnicos y Lógicos

A. Resolución de la Paradoja del Sorites

La solución central reside en la interrupción de la observación:

1. Si un observador cambia de opinión sobre un objeto (ej. de "no calvo" a "calvo") entre dos momentos $t$ y $s$, la Proposición 3.3 demuestra que debe existir un "hueco de observación" (un tiempo $t'$ tal que $t < t' < s$ donde $f(i, t')$ no está definido).
2. Durante la observación continua (sin huecos), la propiedad no puede cambiar debido a la condición de cambio imperceptible.
3. Por lo tanto, la transición vaga ocurre exclusivamente durante los intervalos donde el observador no está prestando atención. La paradoja se disuelve porque la transición no es un salto mágico en la realidad, sino un salto en la información disponible debido a la interrupción perceptual.

B. Lógica de Tres Valores (Lógica de Kleene Fuerte)

La parcialidad de las funciones genera huecos de valor de verdad:

• Si $f(i, t)$ no está definido, ni $\phi(f)$ ni $\neg\phi(f)$ se satisfacen.
• Esto introduce un tercer valor de verdad: Indeterminado (U).
• El autor demuestra formalmente (en el Apéndice) que la lógica resultante de FOS es idéntica a la Lógica de Tres Valores de Kleene Fuerte.
  • Las tablas de verdad para $\neg$, $\land$ y $\lor$ coinciden exactamente con las de Kleene.
  • El valor designado es $T$ (Verdadero), pero $U$ (Indeterminado) es un estado válido y consistente.

C. Justificación Empírica y Psicológica

El artículo no es puramente especulativo; cita evidencia de la psicología cognitiva y la teoría de la visión:

• Atención Discreta: Expertos como Erick Weichselgartner y John Tsotsos confirman que la atención humana no es continua, sino discreta o "episódica".
• Fatiga Neural: La retina y las neuronas visuales sufren fatiga si se fija la vista en un punto sin movimiento o parpadeo, causando que los detalles se desvanezcan. Esto fisiológicamente justifica la necesidad de "huecos de observación" (parpadeo, movimiento de ojos, distracción) para mantener la percepción.

4. Contribuciones Clave

1. Modelado Formal de la Vaguedad en $\mathbb{N}$: Logra modelar la transición vaga sin recurrir a números no estándar, manteniéndose dentro de los números naturales estándar mediante la introducción de la dimensión temporal y observacional.
2. El Concepto de "Hueco de Observación" (Watching Gap): Identifica la interrupción perceptual como el mecanismo físico y lógico que permite la transición de un estado a su opuesto sin violar la condición de imperceptibilidad.
3. Derivación de la Lógica de Kleene: Establece un vínculo formal directo entre la semántica de objetos cambiantes con observadores y la lógica de tres valores de Kleene, proporcionando una justificación semántica para esta lógica específica.
4. Explicación del "Cruce de Horizonte": Ofrece una explicación realista de cómo los seres humanos cruzan "horizontes" (límites vagos) en la vida cotidiana (ej. notar el envejecimiento de un amigo tras un largo tiempo sin verlo), atribuyéndolo a los periodos de no observación.

5. Significado e Impacto

El trabajo de Tzouvaras es significativo porque:

• Puente entre Lógica y Cognición: Conecta la lógica formal con la psicología de la percepción y la fisiología visual, ofreciendo una base empírica para la lógica de la vaguedad.
• Solución Pragmática: Proporciona una solución a la paradoja del sorites que es aplicable a la experiencia humana real, a diferencia de las soluciones puramente matemáticas (modelos no estándar) que son abstractas e inaplicables.
• Fundamentación de la Lógica de Tres Valores: Refuerza la utilidad de la lógica de Kleene Fuerte no como una curiosidad algebraica, sino como la lógica natural para sistemas donde la información es incompleta o intermitente debido a las limitaciones del observador.

En resumen, el artículo argumenta que la paradoja del sorites es un artefacto de asumir una observación continua y omnisciente. Al reconocer que los observadores reales operan con atención intermitente y limitada, la transición vaga se vuelve lógicamente consistente y físicamente plausible.