Ignorance with(out) Grasping

Este trabalho propõe uma semântica sensível ao tópico para modelar a ignorância como uma noção hiperintensional, permitindo que agentes sejam ignorantes de uma proposição sem o serem de outra logicamente equivalente, e utiliza essa estrutura para desenvolver sistemas lógicos completos que abordam diferentes formas de ignorância e resolvem o problema da onisciência lógica.

O essencial

Imagine que você está tentando explicar para um amigo por que ele não sabe algo. A pergunta clássica seria: "Você não sabe que a água ferve a 100 graus?" ou "Você não sabe que 2+2 é 4?".

Na lógica tradicional, a resposta seria simples: se você sabe uma coisa, você sabe todas as coisas que são logicamente iguais a ela. Se "2+2=4" é a mesma coisa que "4=4", então se você sabe um, você sabe o outro. Mas a vida real (e a mente humana) não funciona assim.

Este artigo, escrito por Ekaterina Kubyshkina e Mattia Petrolo, propõe uma nova maneira de entender a ignorância. Eles dizem que a ignorância não é apenas "não saber". É algo mais complexo, como se fosse uma luz que só acende se você entender o assunto.

Aqui está a explicação do conceito, usando analogias do dia a dia:

1. O Problema: A "Cegueira" Lógica vs. A Realidade

Imagine que você é um viajante do tempo (como o Rei Guilherme III mencionado no texto).

• Você sabe que a Inglaterra pode evitar uma guerra com a França (Proposição A).
• Você não sabe o que é uma "guerra nuclear" (Proposição B).

A lógica antiga diria: "Se 'Evitar a guerra' é logicamente igual a 'Evitar a guerra nuclear' (porque uma guerra nuclear é um tipo de guerra), então você deveria saber se pode evitar a guerra nuclear também."

Mas isso é absurdo! Você pode entender o conceito de "guerra" sem entender o conceito de "nuclear". Você pode estar ignorante sobre o segundo, mesmo sabendo do primeiro.

O artigo diz: A ignorância é "hiperintensional". Isso é uma palavra chique para dizer: A ignorância depende do conteúdo e do tema da frase, não apenas da verdade lógica dela.

2. A Solução: A "Lupa" do Tópico

Para resolver isso, os autores criaram uma lógica onde a ignorância tem duas condições para existir:

1. Você não tem a resposta (não sabe se é verdade ou mentira).
2. OU, você não consegue nem "segurar" o assunto na sua mente (você não entende o tópico).

A Analogia da Chave e da Fechadura:
Pense no conhecimento como uma chave que abre uma porta.

• Na lógica antiga, se duas portas são feitas do mesmo material (são logicamente equivalentes), a mesma chave abre as duas.
• Neste novo modelo, cada porta tem uma etiqueta de tema (ex: "Guerra", "Nuclear", "Política").
• Para você saber se a porta está aberta ou fechada, você precisa ter a chave E precisa saber ler a etiqueta.
• Se você tem a chave para "Guerra", mas não sabe ler a etiqueta "Nuclear", você está ignorante sobre a porta "Guerra Nuclear", mesmo que ela seja feita do mesmo material da porta "Guerra".

3. Os Três Tipos de Ignorância

Os autores analisam três formas diferentes de ser ignorante, como se fossem três tipos de "cegueira":

• Ignorância "Não sei se" (Ignorance Whether):

  • Cenário: Você não sabe se vai chover ou não.
  • A nova regra: Você só é ignorante se você entende o que é "chuva". Se você nunca viu chuva e não entende o conceito, você não está apenas "ignorante", você está "incompreendido". A lógica nova diz: "Se você não entende o tema, você é ignorante, ponto final".

• Ignorância "Verdade Desconhecida" (Ignorance as Unknown Truth):

  • Cenário: Algo é verdade (ex: "Existe vida em Marte"), mas você não sabe.
  • A nova regra: Para ser ignorante disso, você precisa ter a capacidade de pensar em "Marte". Se você não tem o conceito de Marte, não faz sentido dizer que você "sabe" ou "não sabe". Você simplesmente não tem acesso à informação porque o "tópico" não existe na sua mente.

• Ignorância "Descrente" (Disbelieving Ignorance):

  • Cenário: Algo é verdade, mas você acredita que é mentira. (Ex: Você acredita que Roma não é a capital da Itália, mas é).
  • A nova regra: Para ter essa crença errada, você precisa entender o que é Roma e o que é capital. Se você não entende o conceito, você não pode "acreditar errado". Você só pode estar confuso ou totalmente alheio. A lógica exige que você "segure" o tema para poder estar errado sobre ele.

4. Por que isso é importante? (O Monstro da Onisciência Lógica)

Na lógica de computadores e inteligência artificial, existe um problema chamado "Onisciência Lógica". É como se, se um computador soubesse um fato, ele soubesse instantaneamente todas as consequências complexas desse fato.

• Exemplo: Se um robô sabe "2+2=4", a lógica antiga diz que ele sabe "2+2=4 e a capital da França é Paris" (porque "2+2=4" implica logicamente qualquer coisa se combinada com "verdade"). Isso torna os robôs "deuses" do conhecimento, o que não é realista.

Ao usar a lógica de "Tópico" proposta neste artigo, podemos dizer:
"O robô sabe '2+2=4', mas ele não entende o conceito de 'Paris'. Portanto, ele não precisa saber a conexão entre os dois."

Isso torna a inteligência artificial e a modelagem da mente humana muito mais realistas. Ela permite que agentes (humanos ou máquinas) saibam coisas sem saber tudo o que logicamente deriva delas, desde que não dominem o "tema" da questão.

Resumo Final

O artigo diz que a ignorância não é apenas um "buraco" no conhecimento. É uma interação entre o que existe no mundo e o que a mente consegue compreender.

• Antes: Se A = B, então não saber A é o mesmo que não saber B.
• Agora: Se A = B, mas você não entende o "tema" de B, você pode saber A e ser totalmente ignorante sobre B.

É como tentar explicar física quântica para alguém que não sabe o que é um átomo. Não adianta dizer "você não sabe a resposta", porque a pessoa nem tem as ferramentas (o tópico) para formular a pergunta. A ignorância, neste novo modelo, é sobre a falta de compreensão do assunto, não apenas a falta de resposta.

Resumo técnico

Resumo Técnico: Ignorância como uma Noção Hiperintensional

1. O Problema

O artigo aborda a representação formal da ignorância na lógica epistêmica. Atualmente, a ignorância carece de uma formalização padrão com propriedades semânticas bem estabelecidas, comparável aos sistemas para conhecimento e crença.

• Limitações dos Sistemas Atuais: As abordagens existentes (como Ignorance Whether de van der Hoek & Lomuscio, Ignorance as Unknown Truth de Steinsvold, e Disbelieving Ignorance de Kubyshkina & Petrolo) utilizam semântica de Kripke padrão. Nessas estruturas, a ignorância é tratada como uma modalidade extensional ou intensional, onde se assume que se duas proposições são logicamente equivalentes ($\phi \leftrightarrow \psi$), um agente é ignorante de uma se e somente se for ignorante da outra.
• O Problema da Hiperintensionalidade: A intuição filosófica e epistemológica sugere que a ignorância é hiperintensional. Um agente pode ser ignorante de uma proposição $\phi$ (ex: "A Inglaterra pode evitar uma guerra com a França") sem ser ignorante de uma proposição logicamente equivalente $\psi$ (ex: "A Inglaterra pode evitar uma guerra com a França usando armas nucleares"), caso o agente não compreenda o tópico ou conteúdo específico de $\psi$ (ex: o conceito de guerra nuclear).
• Omnisciência Lógica: A semântica padrão sofre do problema da omnisciência lógica, onde agentes são modelados como dedutores perfeitos. Repensar a ignorância sob uma ótica hiperintensional oferece uma nova perspectiva para mitigar esse problema.

2. Metodologia

Os autores propõem uma abordagem baseada em semântica sensível a tópicos (topic-sensitive semantics), adaptando o trabalho de Rossi & Özgün e Hawke et al.

• Estrutura Semântica:
  • Utilizam modelos que incluem um conjunto de mundos possíveis ($W$), uma relação de acessibilidade ($R$), uma função de valoração ($v$) e um modelo de tópicos ($T$).
  • O modelo de tópicos define um conjunto de tópicos, um operador de fusão de tópicos ($\oplus$), e uma função que atribui um tópico a cada variável proposicional.
  • Introduzem um tópico designado $K$, representando a totalidade dos tópicos que o agente consegue compreender (grasp).
• Condição de Verdade Hiperintensional:
  • A verdade de uma fórmula de ignorância $I\phi$ depende não apenas da verdade de $\phi$ em mundos acessíveis, mas também de uma condição adicional: o agente deve ou não compreender o tópico de $\phi$.
  • Formalmente, para que um agente não seja ignorante de $\phi$ (ou seja, para que $\neg I\phi$ seja verdadeiro), é necessário que o tópico de $\phi$ esteja contido no conjunto de tópicos compreendidos pelo agente ($t(\phi) \sqsubseteq K$) E que o agente tenha uma atitude epistêmica definida sobre $\phi$ (ex: saber se é verdadeiro ou falso).
  • Se o agente não compreende o tópico ($t(\phi) \not\sqsubseteq K$), ele é considerado ignorante, independentemente da verdade lógica da proposição.

3. Contribuições Principais

Os autores reavaliam e reformulam três sistemas lógicos existentes, transformando-os em sistemas hiperintensionais:

1. Sistema $HIW$ (Ignorância Hiperintensional "Whether"):

   • Refina a noção de "ignorar se $\phi$ é verdadeiro ou falso".
   • Adiciona a condição de que o agente só pode não ser ignorante se compreender o tópico de $\phi$.
   • Axiomatização completa e prova de correção (soundness) e completude.

2. Sistema $HIU$ (Ignorância Hiperintensional como Verdade Desconhecida):

   • Refina a noção de "ignorar que $\phi$ é verdadeiro" (ignorância factual).
   • Diferente do sistema original $IU$, aqui a ignorância não é estritamente factiva se o tópico não for compreendido. Se o agente não compreende o tópico, ele é ignorante, mesmo que a proposição seja verdadeira.
   • Axiomatização completa e prova de correção e completude.

3. Sistema $HDI$ (Ignorância Hiperintensional Descrente):

   • Refina a noção de "ignorância descrente" (o agente acredita que $\neg\phi$, mas $\phi$ é verdadeiro).
   • Introduz um operador primitivo $G\phi$ ("o agente compreende o tópico de $\phi$").
   • Diferenciação crucial: Para ser ignorante descrente, o agente deve compreender o tópico (caso contrário, seria apenas ignorância completa).
   • Axiomatização completa e prova de correção e completude.

4. Resultados

• Teoremas de Correção e Completude: Para cada um dos três sistemas ($HIW$, $HIU$, $HDI$), os autores provam que os sistemas são sound (todos os teoremas são válidos na semântica proposta) e complete (todas as fórmulas válidas são deriváveis no sistema). As provas utilizam modelos canônicos construídos a partir de conjuntos maximalmente consistentes.
• Resolução da Hiperintensionalidade: Os sistemas demonstram formalmente que é possível distinguir entre proposições logicamente equivalentes.
  • Exemplo: Um agente pode não ser ignorante de $p$ (compreende o tópico), mas ser ignorante de $p \land (q \lor \neg q)$ se não compreender o tópico de $q$, mesmo que $p \leftrightarrow (p \land (q \lor \neg q))$.
• Mitigação da Omnisciência Lógica:
  • Os autores redefinem o problema da omnisciência lógica em termos de ignorância: "Se um agente não é ignorante de $\phi$, ele não é ignorante de todas as consequências de $\phi$".
  • Demonstram que, nos sistemas hiperintensionais propostos, os princípios de fechamento sob implicação lógica ($LO_{\to}^I$), regra de necessidade ($LO_{NEC}^I$) e fechamento sob equivalência ($LO_{RE}^I$) não são válidos.
  • Isso permite modelar agentes reais que possuem limitações cognitivas (não compreendem certos tópicos), evitando a atribuição de omnisciência lógica.

5. Significado e Conclusão

O trabalho estabelece a ignorância como uma noção inerentemente hiperintensional, preenchendo uma lacuna na literatura lógica e epistemológica.

• Ponte entre Lógica e Intuição: O framework conecta as definições formais padrão (baseadas em relações de acessibilidade) com intuições naturais sobre o papel do conteúdo e da compreensão na formação da ignorância.
• Flexibilidade: Ao introduzir a condição de "compreensão de tópico" (grasping), o sistema permite modelar diferentes graus e tipos de ignorância (desde a completa falta de compreensão até a crença falsa em tópicos compreendidos).
• Aplicabilidade: A abordagem oferece uma solução elegante para o problema da omnisciência lógica, não negando a lógica, mas restringindo a capacidade do agente de acessar as consequências lógicas baseando-se na sua capacidade cognitiva de "compreender" os tópicos envolvidos.

Em suma, o artigo propõe que a ignorância não é apenas a ausência de conhecimento, mas uma atitude complexa que depende da interação entre a verdade da proposição, a estrutura lógica e a capacidade cognitiva do agente de apreender o conteúdo (tópico) dessa proposição.