💻 computer science

Stratified Counterpossible Logic

Este artigo introduz os sistemas de lógica estratificada SCP e SCP1, que distinguem entre impossibilidade lógica e metafísica para evitar verdades contrafactuais vazias, ao mesmo tempo em que provam sua correção, completude e decidibilidade.

Autores originais: 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 leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: 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)

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você é um juiz presidindo um tribunal de "E se?". Normalmente, esses casos são fáceis. Se alguém pergunta: "E se eu perder o ônibus?", você pode facilmente imaginar um mundo onde você perdeu o ônibus e calcular as consequências (você está atrasado, está com fome, etc.).

Mas o que acontece quando alguém pergunta: "E se 2 + 2 = 5?" ou "E se Hobbes tivesse o quadrado do círculo?" (uma tarefa matematicamente impossível)?

Por muito tempo, os lógicos argumentaram que, como esses pontos de partida são impossíveis, a resposta a qualquer pergunta que os siga deveria ser "Verdadeira" por padrão. É como dizer: "Como a premissa é um absurdo, a frase inteira é automaticamente verdadeira". Isso é chamado de Vacuísmo.

Os autores deste artigo, Chen Huang e Xuefeng Wen, dizem: "Espere um pouco. Isso não parece certo".

Intuição 1: "Se Hobbes tivesse o quadrado do círculo, crianças doentes no Afeganistão teriam sido curadas". Isso parece Falso. O quadrado do círculo não tem nada a ver com curar crianças.
Intuição 2: "Se Hobbes tivesse o quadrado do círculo, nós teríamos ficado surpresos". Isso parece Verdadeiro. Se alguém fizesse o impossível, ficaríamos chocados.

Se a regra do "Vacuísmo" fosse verdadeira, ambas as frases seriam verdadeiras, o que ignora a diferença entre uma conexão absurda e uma conexão lógica. Os autores querem construir um sistema que respeite essas diferenças.

O Problema: Misturando Impossibilidades "Duras" e "Suaves"

Os autores argumentam que os sistemas anteriores tratavam todas as coisas "impossíveis" como a mesma bagunça. Eles não distinguiam entre:

Impossibilidade Metafísica: Coisas que quebram as regras do nosso universo, mas não as regras da matemática. (ex: "O ouro tem número atômico 50" ou "A água não é H2O").
Impossibilidade Lógica: Coisas que quebram as regras fundamentais da própria lógica. (ex: "Um círculo quadrado" ou "P e não-P").

Os autores propõem uma Lógica de Contrapossíveis Estratificada (SCP). Pense nisso como um edifício de três andares onde as regras mudam em cada andar.

Os Três Andares do Edifício

O Andar Superior (Possibilidade Metafísica): Este é o nosso mundo normal e mundos que são ligeiramente diferentes, mas ainda fazem sentido. Aqui, o ouro é ouro, a água é água e as leis da física prevalecem.
O Andar Médio (Lógico-Normal, mas Metafisicamente Impossível): Esta é a zona do "E se?". Aqui, podemos imaginar o ouro tendo número atômico 50. É estranho e quebra as leis da natureza, mas as leis da lógica ainda funcionam. Ainda podemos fazer matemática e ainda podemos dizer "Se o ouro é 50, ele ainda é um metal". A lógica está intacta; a química é que é diferente.
O Porão (Mundos Anti-Lógicos): Esta é a zona do caos puro. Aqui, as próprias regras da lógica entram em colapso. Uma afirmação pode ser verdadeira e falsa ao mesmo tempo. É aqui que vive o "quadrado do círculo".

A Inovação Principal: O sistema dos autores nos permite descer do Andar Superior para o Andar Médio para discutir cenários "anti-essenciais" (como o ouro tendo um número diferente) sem perdermos a sanidade lógica. Podemos ainda raciocinar claramente lá. Mas se descermos até o Porão, as regras da lógica colapsam e temos que ser muito cuidadosos sobre como julgamos os resultados.

Os Dois Sistemas: SCP e SCP1

O artigo introduz duas versões desta lógica:

1. SCP (O Sistema Básico):
Este sistema separa com sucesso os andares. Ele nos permite dizer que "Se a água fosse XYZ, ela ainda seria molhada" é um experimento mental válido porque estamos no Andar Médio, onde a lógica ainda funciona. No entanto, os autores notaram uma pequena brecha: se você perguntar sobre uma impossibilidade lógica (como o quadrado do círculo), o sistema poderia tecnicamente dizer: "Oh, não existem mundos no Porão onde isso aconteça", e declarar a afirmação como "Verdadeira" apenas porque a lista de mundos está vazia. Isso é uma forma de o "Vacuísmo" que eles queriam evitar.

2. SCP1 (O Sistema Atualizado):
Para corrigir a brecha, os autores criaram o SCP1. Eles adicionaram uma regra estrita: A função de seleção não pode ser vazia.
Imagine um juiz dizendo: "Mesmo que a premissa seja impossível, você deve encontrar pelo menos um cenário no Porão para avaliar a consequência".

Se você perguntar: "Se Hobbes tivesse o quadrado do círculo, as crianças seriam curadas?", o SCP1 força o sistema a procurar um mundo onde Hobbes tenha o quadrado do círculo.
Nesse mundo caótico do Porão, como não há ligação lógica entre "quadrar o círculo" e "curar crianças", o sistema conclui que a afirmação é Falsa.
Isso impede o sistema de trapacear ao dizer "É verdade porque nada existe".

Por Que Isso Importa

O artigo prova que esta nova maneira de pensar é matematicamente sólida (não quebra), completa (pode responder a todas as perguntas válidas) e decidível (podemos escrever um programa de computador para resolvê-la).

A Conclusão:
Os autores construíram um mapa melhor para "Mundos Impossíveis".

Mapas antigos diziam: "Todos os lugares impossíveis são iguais; nada faz sentido lá".
Este artigo diz: "Não, existem diferentes tipos de lugares impossíveis. Alguns são apenas estranhos (Andar Médio) onde ainda podemos pensar claramente. Outros são caóticos (Porão) onde a lógica quebra. E mesmo no porão caótico, não devemos simplesmente desistir e dizer que tudo é verdade; devemos verificar se o 'E se' realmente se conecta ao resultado".

Ao separar essas camadas, os autores nos permitem ter conversas filosóficas sérias sobre cenários impossíveis sem perder o nosso pé no chão lógico.

Resumo Técnico: Lógica de Contrapossíveis Estratificada (SCP e SCP1)

Problema
O artigo aborda as limitações da semântica de contrafactuais padrão (ex: Stalnaker-Lewis) quando aplicada a contrapossíveis — condicionais com antecedentes impossíveis. A semântica padrão frequentemente resulta em "vacuidade", onde todos os contrapossíveis são trivialmente verdadeiros porque seus antecedentes são insatisfatíveis. Isso entra em conflito com distinções intuitivas, como a diferença entre "Se Hobbes tivesse o quadrado do círculo, as crianças seriam curadas" (intuitivamente falso) e "Se Hobbes tivesse o quadrado do círculo, nós ficaríamos surpresos" (intuitivamente verdadeiro).

Além disso, as abordagens não vacuistas existentes (ex: mundos impossíveis de Nolan) frequentemente tratam todas as impossibilidades como uma categoria monolítica. Essa confluência de impossibilidades metafísicas (ex: "água não é H2O", que viola propriedades essenciais mas obedece à lógica clássica) com contradições lógicas (ex: $P \land \neg P$ ) cria um dilema: sistemas que acomodam contradições lógicas muitas vezes sacrificam as regras de inferência necessárias para o raciocínio sobre hipóteses metafísicas. O artigo argumenta que os frameworks atuais falham em modelar suficientemente a estrutura interna do domínio impossível, levando a um compromisso entre força lógica e a capacidade de avaliar contrapossíveis não triviais.

Metodologia
Os autores propõem um framework semântico estratificado que particiona o espaço lógico em três camadas distintas:

Mundos Logicamente Normais ( $N$ ): Mundos consistentes com a lógica clássica. Esta região é subdividida por uma relação de acessibilidade metafísica ( $R_M$ ) para distinguir entre cenários metafisicamente possíveis e metafisicamente impossíveis (mas logicamente possíveis).
Mundos Anti-Lógicos ( $I$ ): Mundos onde as normas da lógica clássica falham (ex: mundos paraconsistentes onde $\phi \land \neg \phi$ ocorre).
Semântica de Seleção: O sistema emprega uma função de seleção $f$ $f$ para avaliar condicionais. A função é restringida pelo tipo de antecedente:
- Se o antecedente é metafisicamente possível, a seleção é restrita aos mundos acessíveis por $R_M$ .
- Se o antecedente é metafisicamente impossível, mas logicamente possível, a seleção estende-se a $N$ , mas permanece dentro de $R_L$ (acessibilidade lógica).
- Se o antecedente é logicamente impossível, a seleção estende-se a $I$ .

O artigo define dois sistemas:

SCP (Lógica de Contrapossíveis Estratificada): O sistema base que estabelece a hierarquia $N/R_M/I$ . Ele valida a lógica clássica padrão dentro de $N$ e permite a avaliação não vacua de impossibilidades metafísicas.
SCP1: Uma extensão do SCP projetada para resolver o problema da "vacuidade" no domínio anti-lógico. Ela impõe uma restrição de não-vazio na função de seleção ( $f(w, \phi) \neq \emptyset$ ) e trata a acessibilidade lógica ( $R_L$ ) como uma relação universal sobre $N$ .

Contribuições e Resultados Principais

Semântica Estratificada: O artigo formaliza um modelo de três camadas onde a necessidade metafísica está aninhada na necessidade lógica. Isso permite que o sistema avalie condicionais "anti-essenciais" (ex: "Se o ouro tivesse número atômico 50...") usando lógica clássica dentro de $N$ , enquanto reserva $I$ para contradições lógicas genuínas.
Sistemas Axiomáticos:
- SCP é definido com axiomas para lógica proposicional clássica, operadores modais S5 para necessidade lógica ( $\Box_L$ ) e metafísica ( $\Box_M$ ), e axiomas condicionais específicos (ID, SOC-M, SIC).
- SCP1 estende o SCP com os axiomas (NE) e (SOC-L) para impor a não-vacuidade e a acessibilidade lógica universal.
Propriedades Meta-Lógicas: Os autores fornecem provas rigorosas para ambos os sistemas, demonstrando:
- Correção (Soundness): Os sistemas axiomáticos são corretos em relação aos seus respectivos modelos semânticos.
- Completude (Completeness): Ambos os sistemas são completos; qualquer inferência válida é derivável.
- Decidibilidade (Decidability): Ambos os sistemas possuem a propriedade de modelo finito, garantindo que sejam decidíveis. Isso é alcançado através de técnicas de filtração que constroem modelos finitos a partir de modelos canônicos.
Resolução da Vacuidade: No SCP1, a restrição de não-vazio garante que contrapossíveis com antecedentes impossíveis não sejam trivialmente verdadeiros. Em vez disso, seu valor de verdade depende da conexão substantiva entre o antecedente e o consequente dentro dos mundos anti-lógicos selecionados.

Significância
O artigo afirma que esta abordagem estratificada distingue com sucesso diferentes tipos de impossibilidade sem sacrificar as regras de inferência lógica para o raciocínio metafísico. Ao separar o domínio da contradição lógica da impossibilidade metafísica, o sistema permite a dedução significativa em cenários onde propriedades essenciais são violadas (ex: experimentos mentais científicos), mantendo ao mesmo tempo um framework robusto para lidar com contradições lógicas.

Os autores sugerem que este framework hierárquico é generalizável para outros domínios modais, como a distinção entre obrigações primárias e secundárias na lógica deôntica ou a modelagem de limitações cognitivas na lógica epistêmica. O trabalho fornece um caminho semântico formal para resolver conflitos modais e caracterizar a estrutura da impossibilidade, indo além da dicotomia binária "possível vs. impossível".

O Problema: Misturando Impossibilidades "Duras" e "Suaves"

Os Três Andares do Edifício

Os Dois Sistemas: SCP e SCP1

Por Que Isso Importa

Resumo Técnico: Lógica de Contrapossíveis Estratificada (SCP e SCP1)

Mais como este