🔢 mathematics

Anti-Exceptionalism About Logic and the Regress Problem

Este artigo argumenta que o anti-excepcionalismo sobre a lógica enfrenta um problema de regresso não resolvido em casos de desacordo fundamental, onde os critérios abdutivos usados para escolher entre teorias lógicas são, eles próprios, carregados de teoria e logicamente contestados, espelhando, assim, a estrutura intratável do problema epistemológico do critério.

Autores originais: YI DING

Publicado 2026-08-14

📖 7 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: YI DING

Artigo original sob licença CC BY 4.0 (https://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

As Regras do Jogo: Por que a Lógica Pode Estar Presa em um Loop

Imagine que você está tentando construir o livro de regras definitivo para um jogo. Você quer que as regras sejam perfeitas, justas e incontestáveis. No mundo da ciência, geralmente descobrimos as melhores regras observando o jogo que está sendo jogado, testando diferentes livros de regras e vendo qual deles explica melhor a ação. É assim que escolhemos entre teorias na física ou na biologia. Mas existe um canto especial da ciência chamado lógica. Por muito tempo, as pessoas acreditaram que a lógica era diferente de tudo o mais. Elas acreditavam que a lógica era o "árbitro" que nunca cometia erros, o conjunto de regras que existia antes mesmo de o jogo começar, e a única maneira de provar que qualquer outra regra estava certa.

No entanto, um grupo de pensadores começou a dizer: "Espere um minuto". Eles argumentam que a lógica é como qualquer outra ciência. Eles chamam isso de Anti-Excepcionalismo. A ideia deles é que as regras lógicas não são perfeitas ou imutáveis; elas são apenas teorias que usamos para dar sentido ao raciocínio, e devemos escolher a melhor usando as mesmas ferramentas que usamos para tudo o mais: observar as evidências, manter as coisas simples e ver o que funciona melhor. Isso é chamado de Abdução (ou "inferência para a melhor explicação"). É como ser um detetive: você observa as pistas e adivinha qual história as une da melhor forma.

Mas aqui está o problema: para decidir qual teoria lógica é a melhor história de detetive, você tem que usar a própria lógica para verificar as pistas. Se dois detetives (duas teorias lógicas diferentes) discordam de uma regra básica, como você decide quem está certo sem já assumir que um deles está certo? Este artigo explora se essa ideia "Anti-Excepcionalista" pode realmente resolver o problema de escolher entre diferentes lógicas, ou se ela fica presa em um loop onde você precisa de uma regra para escolher a regra, e outra regra para escolher essa regra, para sempre.

O Dilema do Detetive: Quando as Regras Lutam Entre Si Si

Este artigo, escrito por Yi Ding, aborda um problema complicado enfrentado pela visão "Anti-Excepcionalista" da lógica. O autor argumenta que, embora a ideia de tratar a lógica como uma ciência normal seja atraente, ela atinge um muro enorme quando duas teorias lógicas discordam fundamentalmente. O artigo sugere que o método usado para escolher entre essas teorias — o "trabalho de detetive" da abdução — fica preso em um loop infinito, muito parecido com um famoso enigma da filosofia chamado "O Probleo do Critério".

A Configuração: A Lógica como Ciência
O artigo começa explicando a visão Anti-Excepcionalista. Imagine que a lógica não é um conjunto sagrado e imutável de leis escritas nas estrelas. Em vez disso, imagine que ela é uma caixa de ferramentas. Temos diferentes ferramentas (diferentes teorias lógicas), como a Lógica Clássica (o tipo padrão) e a Lógica Intuicionista (um tipo mais rigoroso que não aceita certos atalhos). Os Anti-Excepcionalistas dizem que devemos escolher a melhor ferramenta com base em Critérios Abdutivos:

Simplicidade: Qual ferramenta é mais fácil de usar?
Força: Qual ferramenta explica mais coisas?
Ajuste: Qual ferramenta combina com os dados (como as pessoas realmente raciocinam ou como a matemática funciona)?

O objetivo é ser neutro, como um juiz que não escolhe um lado até ouvir as evidências.

A Armadilha: As Pistas Carregadas de Teoria
O artigo argumenta que esse "juiz neutro" não existe de fato. Aqui está o porquê: a "evidência" que você usa para julgar as ferramentas é, ela própria, moldada pela ferramenta que você está segurando.

Imagine um Lógico Clássico e um Lógico Intuicionista discutindo.

O Lógico Clássico diz: "Minha ferramenta é mais simples porque tem menos regras".
O Intuicionista diz: "Não, minha ferramenta é mais simples porque não assume que coisas existem sem que possamos prová-las".

Quem está certo? O artigo diz que depende do que você valoriza. Mas aqui está o detalhe: O que conta como "simples" ou "forte" depende da lógica na qual você já acredita. O Lógico Clássico vê a recusa do Intuicionista em aceitar certa regra como uma fraqueza; o Intuicionista vê isso como uma força. As "pistas" (os dados) são "carregadas de teoria", o que significa que são coloridas pela própria teoria. Você não pode usar as pistas para escolher a teoria porque as pistas já foram escolhidas pela teoria.

O Loop Infinito: O Problema da Meta-Lógica
Isso leva à principal descoberta do artigo: um Problema de Regresso.
Para decidir entre a Lógica A e a Lógica B, você precisa de uma "Meta-Lógica" (uma lógica de nível superior) para avaliar os argumentos.

Se você usar a Lógica A como sua Meta-Lógica, você está simplesmente assumindo que a Lógica A está certa para provar que a Lógica A está certa. Isso é raciocínio circular.
Se você usar a Lógica B, você está assumindo a direção oposta.
Então, você precisa de uma Lógica C para escolher entre A e B. Mas então, como você escolhe a Lógica C? Você precisa de uma Lógica D. E então de uma Lógica E.

O artigo mostra que isso continua para sempre. Você está preso em um loop onde precisa de uma regra para escolher a regra, e outra regra para escolher essa regra, sem um ponto de partida.

Por que as Soluções Comuns Não Funcionam
O autor testa quatro maneiras pelas quais as pessoas geralmente tentam escapar deste loop e mostra por que elas falham para a lógica:

Começar com fatos específicos (Particularismo): Em outros campos, você poderia dizer: "Eu sei que tenho duas mãos, então vamos construir uma regra a partir disso". Mas na lógica, os "fatos" (como "este argumento é válido") são exatamente o que os dois lados contestam. Você não pode começar com um fato se os dois logísticos não conseguem concordar sobre o que é um fato.
Começar com um método (Metodismo): Você poderia dizer: "Vamos apenas usar o método da 'Abdução'". Mas o artigo argumenta que usar o método da Abdução requer lógica. Se você não tem uma lógica para rodar o método, o método não pode começar.
Desistir (Ceticismo): Você poderia dizer: "Ok, não podemos saber qual lógica está certa". Mas se não podemos saber, então o próprio conselho do Anti-Excepcionalista ("use a abdução para escolher") também não é comprovado.
A Fuga do "Terreno Comum": Talvez ambos os lados concordem em algumas regras básicas (como "se A e B, então A") e possam usar isso como um ponto de partida neutro? O artigo diz que não. Mesmo essas regras básicas são contestadas por outros tipos de logísticos (como os Lógicos Relevantes), e o "terreno comum" não é forte o suficiente para realizar o trabalho pesado de provar teorias complexas.

A Conclusão: Um Limite Modesto
O artigo não diz que o Anti-Excepcionalismo é falso. Ele não diz que a lógica não é revisável. Em vez disso, sugere que a visão Anti-Excepcionalista possui um ponto cego estrutural específico.

O autor conclui que, embora possamos tratar a lógica como ciência em muitos aspectos, não podemos usar um método abdutivo "neutro" para resolver desacordos fundamentais entre lógicas. O método de "inferência para a melhor explicação" não consegue sair de dentro da caixa para escolher a caixa. O artigo sugere que, se quisermos escolher entre essas diferenças lógicas profundas, talvez tenhamos que confiar em objetivos ou valores filosóficos mais amplos, em vez de uma lista de verificação puramente científica e neutra.

Em resumo, o artigo encontra que o sonho Anti-Excepcionalista de uma maneira perfeitamente neutra e científica de escolher entre todas as lógicas atinge um muro. O "detetive" precisa de uma lupa para encontrar as pistas, mas a própria lupa é uma das coisas sendo investigadas. O loop é real, e o artigo argumenta que as saídas padrão para o loop não funcionam para a lógica.

Resumo Técnico: Anti-excepcionalismo sobre a Lógica e o Problema do Regresso

Enunciado do Problema
O artigo aborda um desafio estrutural enfrentado pelo anti-excepcionalismo metodológico sobre a lógica. O anti-excepcionalismo, articulado por estudiosos como Hjortland (2017) e Martin e Hjortland (2020, 2022, 2025), postula que a lógica é contínua com as ciências naturais: as teorias lógicas não são a priori, não são analiticamente verdadeiras e não são irrevisáveis. Em vez disso, a escolha teórica na lógica procede via abdução (inferência para a melhor explicação), utilizando critérios como simplicidade, força e ajuste com os dados (ex.: intuições sobre validade, prática matemática).

O problema central identificado é que, em casos de desacordo lógico fundamental (ex.: entre a lógica clássica e a intuicionista quanto à Lei do Terceiro Excluído, ou entre a lógica clássica e a paraconsistente quanto ao Princípio da Explosão), os critérios abdutivos usados para adjudicar entre teorias rivais são carregados de teoria (theory-laden). O que conta como "mais simples", "mais forte" ou um "melhor ajuste" depende do pano de fundo lógico sob o qual essas virtudes são avaliadas. Consequentemente, a meta-lógica necessária para avaliar argumentos para uma lógica-objeto é ela própria logicamente contestada. Isso gera um regresso: para escolher entre a lógica $L_1$ e $L_2$ , deve-se selecionar uma meta-lógica $M$ ; mas a escolha de $M$ é, por si só, uma escolha entre lógicas, exigindo uma meta-meta-lógica, e assim por diante.

Metodologia
O artigo emprega uma análise conceitual dos compromissos metodológicos do anti-excepcionalismo, traçando uma analogia estrutural com o Problema do Critério na epistemologia (Chisholm 1973, 1982).

Análise dos Critérios Abdutivos: O autor demonstra que critérios como simplicidade e força não são neutros. Por exemplo, um lógico clássico vê a semântica bivalente da lógica clássica como mais simples, enquanto um intuicionista vê a semântica prova-teórica da lógica intuicionista como ontologicamente mais simples. A ponderação dessas dimensões é, em si, uma escolha teórica influenciada pelo pano de fundo lógico.
Mapeamento Estrutural: O artigo mapeia o regresso lógico sobre o Problema do Critério epistemológico. Analisa como as respostas epistemológicas padrão — Particularismo (partindo de reivindicações de conhecimento particular) — Metodismo (partindo de um critério geral) e Ceticismo (negando a possibilidade do conhecimento) — se traduzem para o domínio da lógica.
Avaliação de Rotas de Escape: O artigo avalia e rejeita sistematicamente quatro respostas potenciais disponíveis ao anti-excepcionalista:
- Meta-abdução: Usar a abdução para escolher uma meta-lógica.
- Fundamento Comum: Depender de um núcleo compartilhado de princípios lógicos.
- Quietismo: Aceitar o regresso como uma característica de toda investigação fundacional.
- Incerteza Científica Normal: Argumentar que o carregamento teórico na lógica é análogo ao das ciências.

Principais Contribuições

Identificação do Regresso: O artigo identifica um regresso estrutural específico e não resolvido no anti-excepcionalismo metodológico que surge especificamente ao adjudicar desacordos lógicos fundamentais. Diferente de críticas anteriores (ex.: Hlobil 2021 sobre os limites do abativismo ou o Problema da Adoção sobre a adoção racional de regras), este argumento visa o procedimento de comparar teorias rivais quando os critérios são carregados de teoria.
Analogia Estrutural: Estabelece que o regresso lógico é estruturalmente idêntico ao Problema do Critério na epistemologia.
Refutação de Soluções Padrão: O artigo argumenta que as soluções epistemológicas padrão falham quando transpostas para a lógica:
- O Particularismo Lógico falha porque o anti-excepcionalismo nega que qualquer princípio lógico tenha um status fixo e irrevisável (ao contrário da dependência do particularista em reivindicações de conhecimento certo).
- O Metodismo Lógico falha porque a aplicação do método (abdução) pressupõe uma lógica, que é justamente o que está em disputa.
- O Ceticismo Lógico (ou Niilismo) é instável para o anti-excepcionalista, pois mina a validade do raciocínio abdutivo usado para justificar a própria visão.
Crítica das Rotas de Escape:
- A meta-abdução apenas empurra o regresso para um nível acima.
- O fundamento comum é insuficiente porque o "núcleo comum" pode ser contestado por outras lógicas (ex.: lógicos relevantes) e pode carecer de força para servir como uma meta-lógica para provar correção/completude.
- O Quietismo concede que o anti-excepcionalismo não pode funcionar como uma metodologia para resolver desacordos, reduzindo-o a uma descrição de um predicamento em vez de um guia para a escolha teórica.
- O argumento da "Incerteza Normal" falha porque, diferentemente da ciência, a lógica carece de restrições empíricas independentes (como dispositivos de medição) que sejam relativamente neutras em relação à teoria; as "observações" lógicas (intuições) são profundamente carregadas de teoria.

Resultos
A análise conclui que o anti-excepcionalismo metodológico enfrenta um desafio estrutural genuíno e limitador. O anti-excepcionalista não pode alegar fornecer um procedimento neutro e não circular para resolver desacordos lógicos fundamentais usando critérios abdutivos. O regresso não é meramente um obstáculo epistêmico temporário, mas uma limitação estrutural inerente ao compromisso da visão com a continuidade entre lógica e ciência quando aplicada a disputas fundacionais.

Significância
A significância do artigo é modesta, porém precisa. Não pretende refutar o anti-excepcionalismo ou provar que a lógica é excepcional. Em vez disso, demonstra que as ambições metodológicas do anti-excepcionalismo são limitadas. Especificamente, mostra que a abdução não pode servir como um árbitro neutro entre lógicas fundamentalmente opostas sem pressupor uma delas.

O artigo sugere que, se os desacordos lógicos fundamentais devem ser resolvidos, pode não ser através de critérios metodológicos neutros, mas através de considerações filosóficas mais amplas sobre os propósitos que a lógica serve (valores e propósitos). Esta conclusão alinha-se com o espírito naturalista do anti-excepcionalismo, ao mesmo tempo que abandona a afirmação de que existe uma metodologia neutra para a escolha de teorias lógicas. O trabalho serve para estreitar o escopo do anti-excepcionalismo metodológico e destaca um problema estrutural específico que requer uma resposta sustentada da literatura.

As Regras do Jogo: Por que a Lógica Pode Estar Presa em um Loop

O Dilema do Detetive: Quando as Regras Lutam Entre Si Si

Resumo Técnico: Anti-excepcionalismo sobre a Lógica e o Problema do Regresso

Mais como este