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

Este artigo propõe uma abordagem baseada no observador e dependente do tempo para o paradoxo do monte, introduzindo a semântica de objetos em fluxo (FOS) que, ao modelar a observação intermitente como lacunas de verdade, resolve o paradoxo através de uma lógica trivalente idêntica à lógica forte de Kleene.

O essencial

Imagine que você está tentando resolver um dos maiores mistérios da filosofia: o Paradoxo do Montão (ou Paradoxo de Sorites).

A pergunta clássica é: Se eu tenho um montão de areia e tiro um grão de cada vez, em que momento exato ele deixa de ser um "montão"?
Se você tirar um grão, ainda é um montão. Se tirar outro, ainda é. Mas, no final, você fica com um único grão, que claramente não é um montão. Onde aconteceu a mudança? A lógica tradicional diz que deve haver um ponto exato, mas nossos sentidos não conseguem encontrá-lo. Isso gera um paradoxo.

O autor deste artigo, Athanassios Tzouvaras, propõe uma solução genial baseada em como nós, humanos, observamos o mundo.

A Ideia Central: O "Piscar de Olhos" da Realidade

A tese do autor é simples: Nós não observamos o mundo de forma contínua e perfeita. Nós observamos em "pedaços", com intervalos entre eles.

Pense na sua vida como um filme.

• A visão tradicional: Acreditamos que o filme da realidade roda sem parar, quadros por quadros, sem falhas.
• A visão do autor: Na verdade, nossa atenção funciona como um projetor de cinema que às vezes piscar ou pula quadros.

O autor chama isso de "Lacuna de Observação" (ou watching gap).

A Analogia do Relógio Quebrado

Imagine que você tem um relógio que mostra o tempo passando.

1. Você olha para o relógio às 12:00. Ele mostra "Pequeno".
2. Você olha novamente às 12:01. Ele ainda mostra "Pequeno".
3. Você olha às 12:02. Ainda "Pequeno".

A lógica diz: se em 12:00 é pequeno e em 12:01 é pequeno, então a mudança para "Grande" não pode ter acontecido entre eles.

Mas e se, entre 12:01 e 12:02, você fechou os olhos ou olhou para o celular?
Nesse intervalo (a "lacuna"), o relógio continuou funcionando. O tempo passou. O objeto mudou. Quando você abre os olhos novamente às 12:02, o relógio pode ter mudado de "Pequeno" para "Grande" enquanto você não estava olhando.

O autor diz que o paradoxo desaparece porque a mudança real acontece nos intervalos onde não estamos prestando atenção.

O Conceito de "Objeto Fluxuante"

O autor cria uma nova lógica chamada Semântica de Objeto Fluxuante (FOS).

• Objetos Clássicos: São como estátuas. Elas são o que são, para sempre.
• Objetos Fluxuantes: São como rios. Eles mudam o tempo todo, dependendo de quem está olhando e quando.

Nesta nova lógica, quando você não está olhando para algo (a "lacuna"), o valor de verdade daquela coisa fica indefinido. Não é "Verdadeiro" nem "Falso". É como se a realidade estivesse em um estado de "suspense" ou "nebuloso" enquanto você não a observa.

Isso cria uma lógica de três valores:

1. Verdadeiro (Você vê que é assim).
2. Falso (Você vê que não é assim).
3. Indeterminado (Você não está olhando, então não sabe).

Curiosamente, o autor prova matematicamente que essa lógica de "Verdadeiro, Falso e Indeterminado" é idêntica a uma lógica famosa chamada Lógica de Kleene Forte, usada em computação para lidar com dados que faltam ou são incertos.

Por que isso faz sentido biologicamente?

O autor não está apenas inventando isso; ele cita neurocientistas e psicólogos.

• Fadiga Neural: Se você tentar olhar fixamente para um ponto sem piscar, sua visão começa a falhar. Os receptores do seu olho se cansam e a imagem desaparece.
• Atenção Discreta: O cérebro humano não processa informações como um vídeo 4K contínuo. Ele funciona em "episódios" ou "quantas". Nós focamos, perdemos o foco, e voltamos a focar.

Portanto, a "lacuna de observação" não é um erro da nossa lógica, é uma característica física da nossa biologia.

A Metáfora do Horizonte

O autor usa uma imagem bonita para explicar isso: Cruzar o Horizonte.
Imagine que você está caminhando em direção ao horizonte. Você nunca vê o momento exato em que o chão termina e o céu começa.

• Se você olhar o tempo todo, o horizonte parece estar sempre lá, recuando.
• Mas, na vida real, a mudança acontece quando você desvia o olhar.

Quando você encontra um amigo depois de 10 anos, você percebe que ele envelheceu. As rugas, o cabelo grisalho. Você não viu o envelhecimento acontecer dia após dia (porque você não estava olhando o tempo todo). A mudança "cruzou o horizonte" durante as lacunas entre os seus encontros.

Resumo da Solução

O Paradoxo do Montão existe porque assumimos que:

1. A mudança é imperceptível (um grão não faz diferença).
2. Nós observamos tudo o tempo todo.

A solução do autor diz:

1. A mudança é imperceptível enquanto observamos.
2. Mas a mudança acontece quando não observamos (nas lacunas).

Portanto, não há contradição. O objeto muda de "Montão" para "Não-Montão" exatamente no momento em que você pisca os olhos ou olha para o lado. A lógica de três valores (Verdadeiro, Falso, Indeterminado) é a ferramenta matemática perfeita para descrever essa realidade humana, onde a verdade depende de quem está olhando e quando.

Em suma: A realidade não muda enquanto você está olhando; ela muda enquanto você está distraído. E é isso que resolve o mistério.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "An observer-based approach to the sorites paradox and the logic derived from that", de Athanassios Tzouvaras, apresentado em português.

1. O Problema: O Paradoxo do Sorites (SP)

O Paradoxo do Sorites (ou paradoxo do monte) é um enigma persistente na lógica e na filosofia, surgindo no domínio da vagueza, especificamente em predicados vagos que referem quantidades medidas por números naturais (ex: "ser careca", "ser grande", "ser um monte").

• A Falha da Indução: Matematicamente, o SP representa a falha do princípio de indução. Se $P(n)$ denota "n é pequeno" (ou "não é grande"), e assumimos que $P(n) \Rightarrow P(n+1)$ (um grão de areia não transforma um monte em não-monte), a transição de $P(n)$ para $\neg P(n)$ ocorre de forma misteriosa, sem cruzar qualquer fronteira definida.
• A Dificuldade: Para os inteiros ordinários ($\mathbb{N}$), é paradoxal que existam subconjuntos definidos por predicados vagos que não possuem um menor elemento (ou seja, não há um "último" número pequeno antes de se tornar grande).
• Abordagens Anteriores: Soluções anteriores frequentemente recorrem a modelos não-padrão da aritmética, onde existem inteiros infinitamente grandes que permitem conjuntos sem menor elemento. No entanto, o autor argumenta que esses inteiros não-padrão são "inviáveis" para a experiência cotidiana e não resolvem o paradoxo dentro do domínio dos números naturais padrão.

2. Metodologia: Semântica de Objetos em Fluxo (FOS)

O autor propõe uma nova abordagem formal baseada na dependência do observador e do tempo, introduzindo a Semântica de Objetos em Fluxo (Fluxing-Object Semantics - FOS).

• Objetos em Fluxo: Diferente dos objetos matemáticos abstratos e atemporais, os objetos físicos são modelados como funções parciais $f: I \times \mathbb{N} \to A$, onde:
  • $I$ é um conjunto de agentes (observadores).
  • $\mathbb{N}$ é o eixo de tempo (discreto e linear).
  • $A$ é uma estrutura relacional clássica (formas do objeto).
  • $f(i, t)$ representa a "forma" do objeto percebida pelo observador $i$ no tempo $t$.
• Parcialidade e Lacunas de Observação: A função $f$ é parcial (e finita), o que significa que para um observador $i$ e um objeto $f$, pode haver momentos $t$ onde $f(i, t)$ não está definido. Isso representa uma "lacuna de observação" (watching gap). O observador não assiste ao objeto continuamente; sua atenção é intermitente.
• Predicados Estáveis: Ao contrário dos objetos, os predicados (propriedades como "careca" ou "monte") são tratados como abstratos e estáveis, independentes do tempo e do agente.
• Definição de Mudança Imperceptível: Um objeto $f$ é considerado "mudando imperceptivelmente" (i.c.) em relação a um predicado $\phi$ se, para qualquer observador $i$, sempre que ele observa o objeto em tempos consecutivos $t$ e $t+1$ (ambos definidos), a verdade de $\phi(f)$ permanece inalterada. Ou seja, durante a observação contínua, não há mudança de estado perceptível.

3. Contribuições Chave e Mecanismo de Resolução

A contribuição central do artigo é a demonstração de que a parcialidade das funções (as lacunas de observação) elimina o caráter paradoxal do Sorites.

• O Papel das Lacunas de Observação:
  • Se um observador assiste continuamente a um objeto que muda imperceptivelmente, ele nunca verá uma mudança de predicado (de "pequeno" para "grande").
  • Qualquer mudança de visão (ex: de $P(f)$ para $\neg P(f)$) só pode ocorrer se houver uma lacuna de observação entre os momentos $t$ e $s$.
  • Durante a lacuna (quando o observador não está olhando), o objeto pode mudar de estado de forma imperceptível para o observador, mas perceptível para a realidade subjacente.
• Resolução do Paradoxo: O paradoxo surge da suposição de que a transição ocorre sob observação contínua. Ao admitir que a observação humana é naturalmente interrompida (devido à fadiga neural, piscar de olhos, desvio de atenção), a transição vago ocorre nos intervalos não observados. Assim, não há violação da condição de "mudança imperceptível" durante a observação, e a indução falha apenas porque o observador não está presente em todos os passos.

4. Resultados Lógicos

O artigo deriva uma lógica específica a partir da FOS:

• Lógica de Três Valores: Devido à parcialidade das funções, existem casos onde nem $\phi$ nem $\neg \phi$ são verdadeiros em um dado momento $t$ para um observador $i$ (quando o objeto não está sendo observado). Isso cria "lacunas de valor de verdade".
• Identidade com Kleene Forte: Se interpretarmos essas lacunas como um terceiro valor de verdade (Indeterminado/Undetermined - $U$), a FOS gera uma lógica de três valores com os valores $\{T, F, U\}$.
• Prova Técnica: O autor prova formalmente (no Apêndice) que as tabelas de verdade para os conectivos $\land$ (e), $\lor$ (ou) e $\neg$ (não) na FOS são idênticas às da Lógica de Três Valores de Kleene Forte (Strong Kleene Logic).
  • Isso significa que a lógica subjacente ao paradoxo do Sorites, quando modelada com observadores intermitentes, é consistentemente a lógica de Kleene.

5. Significado e Discussão

• Justificativa Psicológica e Fisiológica: O autor valida a premissa de "observação interrompida" consultando especialistas em psicologia cognitiva e visão.
  • Cita a teoria de que a atenção é discreta (episódica) e não contínua.
  • Explica a fadiga neural: os receptores da retina esgotam neurotransmissores se fixados por muito tempo, exigindo movimento ou interrupção para "recarregar". Isso justifica fisiologicamente por que os humanos não podem observar um objeto continuamente sem lacunas.
• Cruzamento de Horizonte (Horizon Crossing): O conceito é aplicado ao "cruzamento de horizonte" (a transição de um estado para o oposto, como de "jovem" para "velho").
  • Em modelos não-padrão, o horizonte é uma fronteira matemática impossível de ser localizada.
  • Na FOS, o cruzamento de horizonte ocorre exatamente durante as lacunas de observação. Nós não testemunhamos o momento exato da mudança porque ele acontece quando não estamos olhando.
• Implicações Filosóficas: O artigo sugere que a vagueza não é uma propriedade intrínseca do mundo ou dos predicados, mas sim uma consequência da interação entre a mudança contínua dos objetos e a natureza intermitente da percepção humana. O paradoxo desaparece quando se reconhece que a "verdade" de um predicado vago é dependente do observador e do tempo de observação.

Conclusão

O artigo oferece uma solução elegante para o Paradoxo do Sorites sem abandonar os números naturais padrão ou recorrer a entidades matemáticas não-padrão. Ao formalizar a observação como um processo parcial e intermitente (FOS), o autor demonstra que a mudança de predicados vagos ocorre nas "lacunas" da atenção, resolvendo a contradição lógica e estabelecendo uma conexão direta entre a fenomenologia da vagueza e a lógica de Kleene Forte.