Ignorance with(out) Grasping

Este trabajo propone un marco semántico sensible al tema que define la ignorancia como una noción hiperintensional, permitiendo modelar cómo un agente puede ser ignorante de una proposición sin serlo de otra lógicamente equivalente, y así ofrecer sistemas lógicos completos para distintas formas de ignorancia que resuelven el problema de la omnisciencia lógica.

Lo esencial

¡Claro que sí! Imagina que este artículo es como un viaje para entender por qué no saber algo es mucho más complicado y fascinante de lo que parece a simple vista.

Aquí tienes la explicación de la investigación de Kubyshkina y Petrolo, traducida a un lenguaje sencillo, con analogías de la vida diaria.

---

🧠 El Gran Problema: ¿Por qué "no saber" es tan difícil de medir?

Imagina que tienes dos cajas idénticas. Una contiene una manzana y la otra contiene dos mitades de una manzana. Lógicamente, son lo mismo (tienen el mismo "contenido" o verdad).

En la lógica tradicional (la que usan los ordenadores y los filósofos clásicos), si un agente (una persona o un robot) sabe que hay una manzana, automáticamente debe saber que hay dos mitades de manzana. Si no sabe una, no sabe la otra. Se asume que los agentes son genios perfectos (lo que llaman "omnisciencia lógica"): si saben una cosa, saben todas sus consecuencias y versiones equivalentes.

Pero los humanos no somos genios perfectos.
Aquí es donde entra la idea de la ignorancia hiperintensional.

La Analogía del Viajero y el Mapa

Imagina al Rey Guillermo III (un personaje real del siglo XVII).

1. Sabía que Inglaterra podía evitar una guerra con Francia.
2. Pero no sabía qué era una "guerra nuclear" (porque la tecnología no existía en su época).

Si le preguntas: "¿Sabes si Inglaterra puede evitar una guerra con Francia usando armas nucleares?", él diría: "No, no lo sé".
Aunque la frase "Evitar una guerra" y "Evitar una guerra nuclear" son lógicamente equivalentes (si evitas la guerra, evitas la guerra nuclear), el Rey no las entiende igual.

• El problema: La lógica clásica diría que si no sabe una, no sabe la otra. Pero el Rey sí sabía lo básico, solo que no podía "agarrar" o entender el concepto de "nuclear".
• La solución de los autores: Para entender la ignorancia real, no basta con mirar qué es verdad. Hay que mirar de qué trata la idea (su "tema") y si la persona tiene la capacidad mental de entender ese tema.

🔍 La Nueva Lente: La "Semántica Sensible al Tema"

Los autores proponen una nueva forma de medir la ignorancia. Imagina que cada idea tiene un tema (como una etiqueta en un archivo).

Para que alguien no sea ignorante de algo, necesita dos cosas:

1. Verdad: Que la información sea correcta.
2. Comprensión del Tema: Que la persona tenga la "etiqueta" mental para entender de qué se habla.

Si la etiqueta no está en tu cerebro, eres ignorante, aunque la información sea cierta.

El paper analiza tres tipos de "no saber" usando esta nueva lente:

1. La Ignorancia de "¿Sí o No?" (Ignorance Whether)

• La situación: No sabes si algo es verdad o falso.
• El ejemplo: No sabes si mañana lloverá.
• La novedad: Si no entiendes el concepto de "meteorología" (el tema), no puedes estar "en duda" sobre si lloverá o no. Simplemente, tu cerebro no procesa la pregunta.
• La analogía: Es como intentar adivinar si un código de computadora es correcto si ni siquiera sabes qué es un código. No es que tengas dudas; es que la pregunta no tiene sentido para ti.

2. La Ignorancia de "Verdad Desconocida" (Ignorance as Unknown Truth)

• La situación: Algo es verdad, pero tú no lo sabes.
• El ejemplo: Hay vida en un planeta lejano (es verdad), pero tú no lo sabes.
• La novedad: Si no entiendes el concepto de "vida extraterrestre", no puedes ser ignorante de su existencia. Tu ignorancia no es un "vacío" de información, es una falta de capacidad para entender el tema.
• La analogía: Es como tener un libro escrito en un idioma que no conoces. El libro existe (es verdad), pero para ti es como si no existiera porque no puedes "agarrar" el tema.

3. La Ignorancia "Descreída" (Disbelieving Ignorance)

• La situación: Algo es verdad, pero tú crees firmemente que es falso.
• El ejemplo: Crees que la Tierra es plana (falso), pero la Tierra es redonda (verdadero).
• La novedad: Para estar "descreído" de algo, primero tienes que entender el tema. Si no sabes qué es la "geometría" o la "astronomía", no puedes creer que la Tierra es plana; simplemente no tienes la idea en tu cabeza.
• La analogía: No puedes odiar un plato de comida que nunca has probado ni siquiera imaginado. Para "descreer" que algo es verdad, primero tienes que tener la idea en tu mente.

🚀 ¿Por qué es importante esto? (El fin del "Genio Perfecto")

En la lógica tradicional, los agentes son como superordenadores: si saben A, saben B, C, D y todas las combinaciones posibles. Esto es útil para máquinas, pero no para humanos.

Los humanos tenemos límites:

• Nos falta atención.
• Nos faltan conceptos (como el Rey Guillermo III y las armas nucleares).
• A veces, no entendemos la pregunta.

Al usar esta nueva lógica (la hiperintensional), los autores logran crear sistemas que no nos obligan a ser genios.

• Pueden modelar a una persona que sabe que "2+2=4" pero no sabe que "2+2 es igual a la cantidad de patas de una mesa cuadrada", simplemente porque no ha pensado en la conexión de los temas.
• Esto resuelve el problema de la omnisciencia lógica: explica por qué no sabemos todo lo que lógicamente deberíamos saber.

💡 En Resumen

Este paper nos dice que la ignorancia no es solo "no tener la respuesta". A veces, la ignorancia es "no tener la pregunta" o "no entender el idioma de la pregunta".

Al igual que un turista en un país extranjero puede estar "ignorante" de las leyes locales no porque sea tonto, sino porque no entiende el idioma, nosotros somos ignorantes de muchas verdades porque no hemos "agarrado" el tema.

La conclusión final: Para entender realmente cómo funciona la mente humana (y sus errores), necesitamos dejar de tratar la ignorancia como un simple "no saber" y empezar a verla como una falta de comprensión del tema. ¡Y eso cambia todo!

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Ignorance with(out) Grasping" (Ignorancia con/sin aprehensión) de Ekaterina Kubyshkina y Mattia Petrolo, estructurado según los puntos solicitados.

1. El Problema: La Omnicencia Lógica y la Naturaleza Hiperintensional de la Ignorancia

El artículo aborda dos problemas fundamentales en la lógica epistémica y la filosofía de la mente:

• La Omnicencia Lógica: En los sistemas estándar de lógica epistémica (basados en semántica de Kripke), los agentes se modelan como razonadores perfectos. Si un agente conoce una proposición $\phi$ y $\phi$ implica lógicamente a $\psi$, el agente necesariamente conoce $\psi$. Esto es irrealista para agentes humanos o computacionales con capacidades de razonamiento limitadas.
• La Ignorancia como Notión Hiperintensional: Tradicionalmente, la ignorancia se ha formalizado como la negación del conocimiento o la ausencia de creencia verdadera. Sin embargo, los autores argumentan que la ignorancia es una notión hiperintensional. Esto significa que un agente puede ser ignorante de una proposición $\phi$ pero no de otra proposición $\psi$, incluso si $\phi$ y $\psi$ son lógicamente o necesariamente equivalentes.
  • Ejemplo clave: El Rey Guillermo III de Inglaterra no era ignorante de que Inglaterra podía evitar una guerra con Francia ($p$), pero sí era ignorante de si podía evitar una guerra nuclear con Francia ($p \land (q \lor \neg q)$), debido a que no poseía el concepto de "guerra nuclear". Aunque las proposiciones son equivalentes, el agente no "aprehende" (grasps) el contenido o el tema de la segunda.

Los sistemas lógicos existentes para la ignorancia (como $I_w$, $I_u$, $I_d$) utilizan semántica de Kripke estándar, lo que implica que si $\phi \leftrightarrow \psi$, entonces $I\phi \leftrightarrow I\psi$. Esto falla en capturar la intuición de que la ignorancia depende del contenido y la capacidad cognitiva del agente para "aprehender" ese contenido.

2. Metodología: Semántica Sensible al Tema (Topic-Sensitive Semantics)

Para resolver esto, los autores emplean un marco semántico sensible al tema, basado en trabajos previos de Rossi & Özgün y Hawke et al. La metodología se centra en:

• Introducción de "Temas": Cada proposición tiene un tema (de qué trata). Se define un operador de fusión de temas ($\oplus$) y un conjunto de temas que el agente puede "aprehender" o "graspar" ($K$).
• Condición de Aprehensión (Grasping): Una fórmula $I\phi$ (ignorancia de $\phi$) es verdadera no solo por condiciones de verdad/falsedad en mundos posibles, sino también si el agente no aprehende el tema de $\phi$.
• Reformulación de los Operadores: Se redefinen tres operadores de ignorancia existentes añadiendo una condición de aprehensión:
  1. Ignorancia "Whether" ($I_w$): Ignorancia sobre si $\phi$ es verdadero o falso.
  2. Ignorancia como Verdad Desconocida ($I_u$): $\phi$ es verdadero pero el agente no lo sabe.
  3. Ignorancia Descreyente ($I_d$): $\phi$ es verdadero, pero el agente cree que es falso.

La semántica se define sobre modelos sensibles al tema $M = (W, R, v, T)$, donde $T$ es un modelo de temas que asigna un tema a cada variable proposicional y define qué temas están dentro del alcance cognitivo del agente ($K$).

3. Contribuciones Clave

El artículo presenta tres sistemas lógicos nuevos, cada uno diseñado para capturar una forma específica de ignorancia hiperintensional:

A. Sistema $HIW$ (Ignorancia Hiperintensional "Whether")

• Definición Semántica: $M, w \models I_w\phi$ si y solo si el tema de $\phi$ no está contenido en el conjunto de temas aprehendidos ($t(\phi) \not\sqsubseteq K$) O el agente no sabe si $\phi$ es verdadero o falso en los mundos accesibles.
• Axiomatización: Incluye axiomas que vinculan la no-ignorancia con la aprehensión del tema (ej. si el agente aprehende el tema de una tautología, no es ignorante de ella).
• Resultado: Sistema sólido y completo.

B. Sistema $HIU$ (Ignorancia Hiperintensional como Verdad Desconocida)

• Definición Semántica: $M, w \models I_u\phi$ si $t(\phi) \not\sqsubseteq K$ O ($\phi$ es verdadero en $w$ y falso en algún mundo accesible).
• Característica: A diferencia de la versión estándar, aquí la ignorancia no es estrictamente fáctica si el tema no se aprehende. Si el agente no entiende el tema, puede ser "ignorante" de una proposición falsa (en el sentido de no tener una creencia verdadera sobre ella), pero el sistema ajusta la facticidad cuando el tema sí se aprehende.
• Resultado: Sistema sólido y completo.

C. Sistema $HDI$ (Ignorancia Hiperintensional Descreyente)

• Definición Semántica: $M, w \models I_d\phi$ si y solo si el agente aprehende el tema ($t(\phi) \sqsubseteq K$), $\phi$ es verdadero en $w$, y el agente cree que $\phi$ es falso en todos los mundos accesibles.
• Diferencia Crítica: Para la ignorancia descreyente, la aprehensión del tema es una condición necesaria. No se puede "descreer" algo si no se entiende de qué se trata (se tendría "ignorancia completa" en su lugar). Se introduce un operador primitivo $G\phi$ ("el agente aprehende el tema de $\phi$").
• Resultado: Sistema sólido y completo.

4. Resultados Principales

1. Resolución de la Omnicencia Lógica:
   Los autores demuestran que en sus sistemas hiperintensionales ($HIW$, $HIU$, $HDI$), los principios que generan la omnicencia lógica fallan:

   • Cierre bajo implicación: Si $\models \phi \to \psi$, no necesariamente $\models \neg I\phi \to \neg I\psi$. Un agente puede no ser ignorante de $\phi$ (saberlo) pero ser ignorante de $\psi$ si no aprehende el tema de $\psi$.
   • Regla de Omnicencia: Si $\models \phi$, no necesariamente $\models \neg I\phi$. Un agente puede ser ignorante de una tautología si no aprehende el tema de sus componentes.
   • Cierre bajo equivalencia: Si $\models \phi \leftrightarrow \psi$, no necesariamente $\models \neg I\phi \leftrightarrow \neg I\psi$. Esto permite distinguir entre proposiciones lógicamente equivalentes basándose en el contenido temático.

2. Ejemplo de William III:
   Los sistemas permiten modelar formalmente el caso de Guillermo III:

   • El agente no es ignorante de $p$ (guerra convencional) porque aprehende el tema.
   • El agente sí es ignorante de $p \land (q \lor \neg q)$ (guerra nuclear) porque no aprehende el tema $q$ (guerra nuclear), a pesar de la equivalencia lógica.

3. Pruebas de Sólidez y Completitud:
   Se proporcionan pruebas formales completas (incluidas en los apéndices del artículo) para demostrar que los tres sistemas son tanto sólidos (todos los teoremas son válidos en la semántica) como completos (todas las fórmulas válidas son demostrables).

5. Significado e Impacto

• Puente entre Lógica e Intuición: El trabajo cierra la brecha entre las representaciones relacionales estándar de la ignorancia y las intuiciones naturales sobre el papel del contenido y la comprensión cognitiva.
• Nueva Perspectiva sobre la Ignorancia: Propone que la ignorancia no es simplemente la falta de conocimiento, sino una actitud compleja que depende de la capacidad del agente para "aprehender" el tema de la proposición. Esto es crucial para modelar la ignorancia en contextos de aprendizaje, educación y limitaciones cognitivas.
• Solución a la Omnicencia Lógica: Ofrece una solución elegante al problema de la omnicencia lógica reformulándolo en términos de ignorancia. En lugar de restringir la lógica modal, se restringe la capacidad del agente para acceder a ciertas proposiciones basándose en su "tema", lo que es más natural para modelar agentes reales.
• Fundamento para Futuras Investigaciones: Abre la puerta a formalizar otras formas de ignorancia (como la "ignorancia completa" o "deep ignorance") utilizando la sensibilidad al tema como mecanismo central, sugiriendo que la ignorancia es inherentemente hiperintensional.

En resumen, el artículo establece que la ignorancia es una propiedad hiperintensional que requiere modelos semánticos que distingan no solo entre mundos posibles, sino también entre los temas que los agentes pueden o no comprender, proporcionando así herramientas lógicas precisas para analizar las limitaciones cognitivas humanas.