💻 computer science

Stratified Counterpossible Logic

Este artículo introduce los sistemas de lógica estratificada SCP y SCP1, los cuales distinguen entre la imposibilidad lógica y la metafísica para evitar verdades contrafácticas vacuas al demostrar su corrección, completitud y decidibilidad.

Autores originales: Chen Huang (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University), Xuefeng Wen (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University)

Publicado 2026-07-01

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Chen Huang (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University), Xuefeng Wen (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University)

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 los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un juez presidiendo una sala de tribunal de "Qué pasaría si". Normalmente, estos casos son fáciles. Si alguien pregunta: "¿Qué pasaría si pierdo el autobús?", puedes imaginar fácilmente un mundo donde pierdes el autobús y calcular las consecuencias (llegas tarde, tienes hambre, etc.).

Pero, ¿qué ocurre cuando alguien pregunta: "¿Qué pasaría si 2 + 2 = 5?" o "¿Qué pasaría si Hobbes hubiera cuadratura el círculo?" (una tarea matemáticamente imposible)?

Durante mucho tiempo, los lógicos argumentaron que, debido a que estos puntos de partida son imposibles, la respuesta a cualquier pregunta que les siga debería ser "Verdadera" por defecto. Es como decir: "Dado que la premisa es un sinsentido, toda la oración es automáticamente verdadera". Esto se llama Vacuismo.

Los autores de este artículo, Chen Huang y Xuefeng Wen, dicen: "Un momento. Eso no nos parece correcto".

Intuición 1: "Si Hobbes hubiera cuadratura el círculo, los niños enfermos en Afganistán habrían sido curados". Esto se siente Falso. Cuadrar el círculo no tiene nada que ver con curar a los niños.
Intuición 2: "Si Hobbes hubiera cuadratura el círculo, nos habríamos sorprendido". Esto se siente Verdadero. Si alguien hiciera lo imposible, nos sorprenderíamos.

Si la regla del "Vacuismo" fuera cierta, ambas oraciones serían verdaderas, lo que ignora la diferencia entre una conexión absurda y una lógica. Los autores quieren construir un sistema que respete estas diferencias.

El Problema: Mezclar imposibilidades "Duras" y "Blandas"

Los autores argumentan que los sistemas anteriores trataban todas las cosas "imposibles" como el mismo desastre. No distinguían entre:

Imposibilidad Metafísica: Cosas que rompen las reglas de nuestro universo pero no las reglas de la matemática. (ej. "El oro tiene el número atómico 50" o "El agua no es H2O").
Imposibilidad Lógica: Cosas que rompen las reglas fundamentales de la lógica misma. (ej. "Un círculo cuadrado" o "P y no-P").

Los autores proponen una Lógica de Contrafácticos Estratificada (SCP). Piensa en esto como un edificio de tres pisos donde las reglas cambian en cada planta.

Los Tres Pisos del Edificio

El Piso Superior (Posibilidad Metafísica): Este es nuestro mundo normal y mundos que son ligeramente diferentes pero que aún tienen sentido. Aquí, el oro es oro, el agua es agua y las leyes de la física se mantienen.
El Piso Medio (Lógicamente Normal pero Metafísicamente Imposible): Esta es la zona del "Qué pasaría si". Aquí podemos imaginar que el oro tiene el número atómico 50. Es extraño y rompe las leyes de la naturaleza, pero las leyes de la lógica todavía funcionan. Todavía podemos hacer matemáticas y todavía podemos decir "Si el oro es 50, sigue siendo un metal". La lógica está intacta; la química es simplemente diferente.
El Sótano (Mundos Anti-lógicos): Esta es la zona del caos puro. Aquí, las reglas de la lógica misma se rompen. Una afirmación puede ser verdadera y falsa al mismo tiempo. Aquí es donde vive el "cuadrar el círculo".

La Innovación Clave: El sistema de los autores nos permite bajar del Piso Superior al Piso Medio para discutir escenarios "anti-esenciales" (como que el oro tenga un número diferente) sin perder la razón lógica. Podemos seguir razonando con claridad allí. Pero si bajamos hasta el Sótano, las reglas de la lógica colapsan y tenemos que ser muy cuidadosos con cómo juzgamos los resultados.

Los Dos Sistemas: SCP y SCP1

El artículo introduce dos versiones de esta lógica:

1. SCP (El Sistema Básico):
Este sistema separa con éxito los pisos. Nos permite decir que "Si el agua fuera XYZ, seguiría siendo húmeda" es un experimento mental válido porque estamos en el Piso Medio donde la lógica aún funciona. Sin embargo, los autores notaron un pequeño vacío legal: si preguntas por una imposibilidad lógica (como cuadrar el círculo), el sistema técnicamente podría decir: "Oh, no hay mundos en el Sótano donde esto ocurra", y declarar la afirmación como "Verdadera" solo porque la lista de mundos está vacía. Esto es una forma de el "Vacuismo" que querían evitar.

2. SCP1 (El Sistema Actualizado):
Para solucionar el vacío legal, los autores crearon SCP1. Añadieron una regla estricta: La función de selección no puede estar vacía.
Imagina a un juez diciendo: "Incluso si la premisa es imposible, debes encontrar al menos un escenario en el Sótano para evaluarlo".

Si preguntas: "Si Hobbes hubiera cuadratura el círculo, ¿se habrían curado los niños?", SCP1 obliga al sistema a buscar un mundo donde Hobbes haya cuadratura el círculo.
En ese mundo caótico del Sótano, dado que no hay un vínculo lógico entre "cuadrar el círculo" y "curar a los niños", el sistema concluye que la afirmación es Falsa.
Esto evita que el sistema haga trampa diciendo: "Es verdad porque nada existe".

Por qué esto importa

El artículo demuestra que esta nueva forma de pensar es matemáticamente sólida (no se rompe), completa (puede responder a todas las preguntas válidas) y decidible (podemos escribir un programa de computadora para resolverlo).

La Conclusión:
Los autores han construido un mejor mapa para los "Mundos Imposibles".

Los mapas antiguos decían: "Todos los lugares imposibles son lo mismo; nada tiene sentido allí".
Este artículo dice: "No, existen diferentes tipos de lugares imposibles. Algunos son solo extraños (Piso Medio) donde todavía podemos pensar con claridad. Otros son caóticos (Sótano) donde la lógica se rompe. Y aun en el sótano caótico, no deberíamos simplemente rendirnos y decir que todo es verdad; deberíamos comprobar si el 'Qué pasaría si' realmente conecta con el resultado".

Al separar estas capas, los autores nos permiten tener conversaciones filosóficas serias sobre escenarios imposibles sin perder nuestro fundamento lógico.

Resumen Técnico: Lógica de Contraposibles Estratificada (SCP y SCP1)

Planteamiento del Problema
El artículo aborda las limitaciones de la semántica contrafáctica estándar (por ejemplo, Stalnaker-Lewis) cuando se aplica a los contraposibles—condicionales con antecedentes imposibles. La semántica estándar suele producir "vacuismo", donde todos los contraposibles son trivialmente verdaderos porque sus antecedentes son insatisfactibles. Esto entra en conflicto con distinciones intuitivas, como la diferencia entre "Si Hobbes hubiera cuadrado el círculo, los niños serían curados" (intuitivamente falso) y "Si Hobbes hubiera cuadrado el círculo, estaríamos sorprendidos" (intuitivamente verdadero).

Además, los enfoques no vacuistas existentes (por ejemplo, los mundos imposibles de Nolan) a menudo tratan todas las imposibilidades como una categoría monolítica. Esta confluencia de imposibilidades metafísicas (por ejemplo, "el agua no es H2O", que viola propiedades esenciales pero obedece a la lógica clásica) con contradicciones lógicas (por ejemplo, $P \land \neg P$ ) crea un dilema: los sistemas que acomodan las contradicciones lógicas a menudo sacrifican las reglas de inferencia necesarias para razonar sobre hipótesis metafísicas. El artículo argumenta que los marcos actuales no logran modelar suficientemente la estructura interna del dominio imposible, lo que conduce a un compromiso entre la fuerza lógica y la capacidad de evaluar contraposibles no triviales.

Metodología
Los autores proponen un marco semántico estratificado que particiona el espacio lógico en tres capas distintas:

Mundos Normales de la Lógica ( $N$ ): Mundos consistentes con la lógica clásica. Esta región se subdivide mediante una relación de accesibilidad metafísica ( $R_M$ ) para distinguir entre escenarios metafísicamente posibles y metafísicamente imposibles (pero lógicamente posibles).
Mundos Anti-Lógicos ( $I$ ): Mundos donde las normas de la lógica clásica fallan (por ejemplo, mundos paraconsistentes donde $\phi \land \neg \phi$ se cumple).
Semántica de Selección: El sistema emplea una función de selección $f$ $f$ para evaluar condicionales. La función está restringida por el tipo de antecedente:
- Si el antecedente es metafísicamente posible, la selección se restringe a los mundos accesibles mediante $R_M$ .
- Si el antecedente es metafísicamente imposible pero lógicamente posible, la selección se extiende a $N$ pero permanece dentro de $R_L$ (accesibilidad lógica).
- Si el antecedente es lógicamente imposible, la selección se extiende a $I$ .

El artículo define dos sistemas:

SCP (Lógica de Contraposibles Estratificada): El sistema base que establece la jerarquía $N/R_M/I$ . Valida la lógica proposicional clásica dentro de $N$ y permite la evaluación no vacua de imposibilidades metafísicas.
SCP1: Una extensión de SCP diseñada para resolver el problema del "vacuismo" en el dominio anti-lógico. Impone una restricción de no vaciedad en la función de selección ( $f(w, \phi) \neq \emptyset$ ) y trata la accesibilidad lógica ( $R_L$ ) como una relación universal sobre $N$ .

Contribuciones Clave y Resultados

Semántica Estratificada: El artículo formaliza un modelo de tres capas donde la necesidad metafísica está anidada dentro de la necesidad lógica. Esto permite al sistema evaluar condicionales "anti-esenciales" (por ejemplo, "Si el oro tuviera número atómico 50...") utilizando la lógica clásica dentro de $N$ , mientras reserva $I$ para contradicciones lógicas genuinas.
Sistemas Axiomáticos:
- SCP se define con axiomas para la lógica proposicional clásica, operadores modales S5 para la necesidad lógica ( $\Box_L$ ) y metafísica ( $\Box_M$ ), y axiomas condicionales específicos (ID, SOC-M, SIC).
- SCP1 extiende SCP con los axiomas (NE) y (SOC-L) para imponer la no vaciedad y la accesibilidad lógica universal.
Propiedades Meta-Lógicas: Los autores proporcionan pruebas rigurosas para ambos sistemas demostrando:
- Corrección (Soundness): Los sistemas axiomáticos son correctos con respecto a sus respectivos modelos semánticos.
- Completitud (Completeness): Ambos sistemas son completos; cualquier inferencia válida es derivable.
- Decidibilidad (Decidability): Ambos sistemas poseen la propiedad de modelo finito, lo que asegura que sean decidibles. Esto se logra mediante técnicas de filtración que construyen modelos finitos a partir de modelos canónicos.
Resolución del Vacuismo: En SCP1, la restricción de no vaciedad asegura que los contraposibles con antecedentes imposibles no sean trivialmente verdaderos. En su lugar, su valor de verdad depende de la conexión sustantiva entre el antecedente y el consecuente dentro de los mundos anti-lógicos seleccionados.

Significación
El artículo sostiene que este enfoque estratificado distingue con éxito entre diferentes tipos de imposibilidad sin sacrificar las reglas de inferencia lógica para el razonamiento metafísico. Al separar el dominio de la contradicción lógica de la imposibilidad metafísica, el sistema permite la deducción significativa en escenarios donde se violan propiedades esenciales (por ejemplo, experimentos mentales científicos) manteniendo al mismo tiempo un marco robusto para manejar contradicciones lógicas.

Los autores sugieren que este marco jerárquico es generalizable a otros dominios modales, como la distinción entre obligaciones primarias y secundarias en la lógica deontica o el modelado de limitaciones cognitivas en la lógica epistémica. El trabajo proporciona un camino semántico formal para resolver conflictos modales y caracterizar la estructura de la imposibilidad, yendo más allá de la dicotomía binaria de "posible vs. imposible".

El Problema: Mezclar imposibilidades "Duras" y "Blandas"

Los Tres Pisos del Edificio

Los Dos Sistemas: SCP y SCP1

Por qué esto importa

Resumen Técnico: Lógica de Contraposibles Estratificada (SCP y SCP1)

Más como este