🤖 AI

Difference-Making without Making a Difference

O artigo argumenta que a definição mais recente de Andreas & Günther sobre causalidade real colapsa as distinções propostas por eles entre as explicações fatual, contrafactual e baseada em regularidade, e demonstra ainda que todas as sete de suas definições falham quando aplicadas a exemplos cruciais.

Autores originais: Sander Beckers

Publicado 2026-06-24

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Sander Beckers

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 um grupo de filósofos (Andreas e Günther, ou "AG" para abreviar) que passaram anos tentando construir o "Detector de Causalidade" definitivo. Ao longo de sete diferentes artigos, eles construíram sete versões diferentes deste detector. Eles alegaram que cada nova versão era uma grande atualização, corrigindo as falhas da anterior. E também alegaram que essas versões pertenciam a três "escolas de pensamento" completamente diferentes sobre como as causas funcionam:

Diferenciação Factual: O evento realmente mudou o resultado?
Diferenciação Contrafactual: O resultado teria sido diferente se o evento não tivesse acontecido?
Regularidade: O evento seguiu um padrão consistente?

Em seu artigo mais recente, AG introduziu seu detector mais novo (AG7), alegando que era um detector "Factual" superior aos outros e que não dependia do pensamento confuso do "e se" das escolas de pensamento "Contrafactual".

Sander Beckers, o autor deste artigo, entra e diz: "Espere um minuto. Vocês não construíram nada de novo, e não consertaram nada. Na verdade, todo o seu sistema de classificação é um castelo de cartas."

Aqui está a decomposição do argumento de Beckers usando analogias simples:

1. O "Novo" Detector é Apenas um Antigo com uma Roupa Nova

AG afirma que sua definição mais recente (AG7) é uma abordagem "Factual" única. Beckers mostra que, matematicamente, AG7 é idêntico a uma de suas definições mais antigas (AG5).

A Analogia: Imagine que AG construiu um carro vermelho (AG5) e afirmou que era uma "Máquina de Velocidade". Então, eles pintaram o carro de azul, adicionaram um aerofólio e o chamaram de "Máquina de Velocidade Factual" (AG7), insistindo que era um veículo totalmente diferente. Beckers abre o capô e diz: "É exatamente o mesmo motor, chassi e transmissão. Vocês apenas mudaram a pintura."
O Resultado: A afirmação de AG de que possuem um novo e distinto tipo de conta é falsa. Eles são essencialmente a mesma máquina.

2. As "Escolas de Pensamento" São, na Verdade, a Mesma Classe

AG argumentou que seus detectores "Fatais" e de "Regularidade" eram fundamentalmente diferentes dos detectores "Contrafactuais" (o "e se") usados por outros filósofos famosos. Eles disseram que seu novo método não precisava fazer perguntas do tipo "E se?".

Beckers prova que o detector "Factual" de AG pode ser reescrito como um detector "Contrafactual".

A Analogia: AG afirma ter inventado um elevador "Sem Gravidade" que funciona sem cabos. Beckers demonstra que, se você olhar a matemática, o elevador deles é, na verdade, um elevador padrão com cabos que, por acaso, usa um painel de controle diferente. O rótulo "Sem Gravidade" é uma ilusão; a mecânica subjacente é a mesma dos elevadores de "Gravidade" (Contrafactuais) que todos os outros usam.
O Resultado: A distinção entre as contas "Factual", "Regularidade" e "Contrafactual" é uma "distinção sem diferença". Todas são a mesma coisa usando chapéus diferentes.

3. O Problema do "Vai e Vem": Mudando as Regras no Meio do Jogo

A parte mais danosa da crítica de Beckers é que a própria lógica de AG contradiz a si mesma quando eles analisam exemplos específicos. AG utiliza dois cenários famosos para testar seus detectores:

A "Preempção Precoce" (O Assassino): Um aprendiz de assassino atira na vítima. Um supervisor estava pronto para atirar se o aprendiz falhasse. O aprendiz tem sucesso. (Intuição: o aprendiz é a causa).
A "Troca Simples" (O Engenheiro): Um engenheiro inverte uma chave para enviar um trem pela trilha certa em vez da esquerda. As trilhas se fundem e o trem chega no horário. (Intuição: o engenheiro não é a causa; o trem chegaria de qualquer maneira).

A Contradição:

Em seus artigos iniciais (AG1–AG4): AG disse: "Podemos distinguir estas duas situações apenas olhando para a estrutura da história (o diagrama de fiação). A história do Assassino tem um plano de "reserva"; a história da Troca não tem. Portanto, nossas regras funcionam perfeitamente."
Em seus artigos posteriores (AG5–AG7): AG percebeu que suas regras estruturais não estavam funcionando para algumas variações. Então, eles adicionaram uma nova regra chamada "Desvio" (uma verificação moral ou de normalidade). Eles disseram: "Não podemos apenas olhar a estrutura; temos que perguntar se o plano de reserva foi 'estranho' ou 'errado'."

Beckers aponta a armadilha:

Se você usar a antiga regra estrutural, seus novos detectores dão a resposta errada em alguns exemplos de troca.
Se você usar a nova regra de "Desvio", seus detectores dão a resposta errada em alguns exemplos de assassino (especificamente, um cenário onde o plano de reserva é moralmente "bom" em vez de "mau").
A Analogia: Imagine um juiz que diz: "Eu posso distinguir um homicídio de um acidente apenas olhando as fotos da cena do crime". Então, ele percebe que sua análise de fotos falha, então ele adiciona uma nova regra: "Eu também preciso verificar o caráter moral do suspeito".
- Beckers diz: "Você não pode ter as duas coisas. Se você depende da regra do caráter moral, você admite que sua análise de fotos foi inútil. Mas se você depende da análise de fotos, você obtém os vereditos errados. Você está mudando as traves toda vez que perde um jogo."

O Veredito Final

Beckers conclui que Andreas e Günther não progrediram.

A definição "nova" deles é apenas uma antiga.
A "nova" categoria de causalidade deles é, na verdade, a mesma das categorias antigas que eles alegaram rejeitar.
Suas explicações mutáveis sobre como resolver enigmas clássicos minam a confiabilidade de todas as sete de suas definições.

Em suma, AG tentou construir uma casa nova, mas Beckers mostrou que eles apenas rearranjaram os móveis da antiga, e o alicerce é instável.

Problema
Andreas e Günther (AG) propuseram recentemente uma série de sete definições de causalidade real (AG1–AG7) em diversos artigos. Em seu trabalho mais recente (AG7, Andreas & Günther, 2025), eles introduzem uma conta de "diferenciação factual" (factual difference-making), alegando que ela oferece vereditos superiores em exemplos paradigmáticos comparados à literatura anterior. Além disso, eles classificam suas definições em três tipos distintos e concorrentes: contas de diferenciação factual, de diferenciação contrafactual e baseadas em regularidade. Eles argumentam que sua nova abordagem factual evita o apelo "confuso" à dependência contrafactual encontrada em teorias dominantes (ex: Halpern & Pearl, 2005; Halpern, 2016) e que suas contas baseadas em regularidade (AG5, AG6) contrastam com as abordagens contrafactuais.

O problema central abordado neste artigo é duplo:

Consistência Interna: AG falham ao não comparar sua conta atual (AG7) com as seis contas anteriores (AG1–AG6) que eles próprios propuseram. Não está claro se a nova definição de "diferenciação factual" realmente difere de suas definições anteriores de "baseadas em regularidade".
Distinções Teóricas: AG afirmam que as contas de diferenciação factual, de diferenciação contrafactual e baseadas em regularidade são categorias distintas. Este artigo investiga se essas distinções são substantivas ou meramente nominais.
Coerência Metodológica: AG avaliam suas definições com base em vereditos intuitivos para exemplos específicos (ex: Preempção Precoce vs. Interruptor Simples). No entanto, sua análise desses exemplos mudou entre seus artigos anteriores e posteriores, criando um conflito em suas próprias motivações teóricas.

Metodologia
O autor emprega uma análise lógica formal das definições fornecidas por AG. A metodologia envolve:

Provas de Equivalência Formal: O artigo prova rigorosamente a equivalência lógica entre a definição atual de AG (AG7) e sua definição anterior (AG5). Além disso, constrói uma variante contrafactual de AG7 (denotada como AG7*) e prova sua equivalência à AG7 original.
Análise Comparativa: O artigo compara as condições estruturais e os requisitos semânticos de AG1 através de AG7, focando especificamente nas condições relativas a variáveis "não resolvidas" (unsettled), submodelos mínimos e condições de desvio (deviancy).
Reavaliação de Estudo de Caso: O artigo reexamina os exemplos de "Preempção Precoce" (Early Preemption) e "Interruptor Simples" (Simple Switch) (e seus variantes como "Interruptor Estendido" e "Interruptor Halpern") sob a ótica dos argumentos estruturais anteriores de AG versus seus argumentos baseados em desvio posteriores. Introduz uma variação ("Backup 2") para testar a consistência da condição de desvio.

Principais Contribuições e Resultados

Equivalência de AG7 e AG5:
O artigo prova o Teorema 2.2, demonstrando que AG7 é logicamente equivalente a AG5. Embora AG7 utilize terminologia de "diferenciação factual" (condições C1 e C2 relativas a modelos não resolvidos) e AG5 utilize uma formulação diferente (condições D1 e D2 relativas à não-implicação), as definições produzem resultados idênticos. Como AG5 é quase idêntica a AG6 (diferindo apenas na formulação da condição de desvio), três das sete definições de AG são efetivamente a mesma.
Colapso das Tipologias Causais:
O artigo prova o Teorema 3.2, mostrando que AG7 é equivalente a uma conta de diferenciação contrafactual (AG7*). AG7* substitui as condições factuais por condições contrafactuais (verificando se $\neg C$ impede $E$ ).

Resultado: A conta de "diferenciação factual" de AG é revelada como uma instância de uma conta de diferenciação contrafactual.
Resultado: Consequentemente, mostra-se que a distinção que AG estabelece entre contas "factuais", "contrafactuais" e de "regularidade" é uma "distinção sem diferença". A presença de uma condição de desvio (C5) não separa essas categorias, pois contas contrafactuais influentes (ex: Halpern, 2016) também utilizam condições de desvio.

Subversão das Motivações de AG via Análise de Exemplos:
O artigo destaca uma inconsistência crítica no tratamento de AG sobre "Preempção Precoce" e "Interruptor Simples":

Visão Anterior (AG1, AG2, AG4): AG argumentavam que esses casos são distinguidos unicamente por suas propriedades estruturais. Eles alegavam que outras contas falhavam em distingui-los estruturalmente, enquanto a deles tinha sucesso.
Visão Posterior (AG5, AG6, AG7): AG mudaram o argumento para afirmar que a distinção depende de uma condição de desvio não estrutural.
O Dilema:
- Se AG mantiverem a visão estrutural, suas contas posteriores (AG5–AG7) oferecem os vereditos errados sobre variantes do exemplo do interruptor (ex: Interruptor Estendido, Interruptor Halpern) que eles anteriormente alegavam tratar corretamente.
- Se AG mantiverem a visão de desvio, suas contas falham em distinguir a Preempção Precoce do Interruptor Simples em casos onde o processo de reserva (backup) não é desviante (ex: "Backup 2", onde a reserva do supervisor é moralmente permissível).
Esse "vai e vem" (flip-flopping) compromete a afirmação de que as definições de AG oferecem uma análise estável e superior desses casos paradigmáticos.

Significância e Alegações
O artigo conclui que o trabalho recente de Andreas e Günther falha em fazer uma diferença substantiva no campo da causalidade real por três razões:

Redundância: A definição mais recente de AG (AG7) é equivalente à sua definição anterior (AG5), o que significa que a "nova" conta não oferece um novo arcabouço teórico.
Falsa Dicotomia: A classificação proposta da causalidade em tipos fatuais, contrafactuais e de regularidade é inválida; AG7 instancia os três, provando que as categorias não são mutuamente exclusivas como AG alegava.
Incoerência: A mudança na análise de AG sobre exemplos-chave (da estrutural para a baseada em desvio) cria um dilema que invalida seus argumentos centrais contra outras contas. Especificamente, isso compromete a crítica frequente de AG de que outras contas falham em distinguir estruturalmente o Interruptor Simples da Preempção Precoce.

O artigo afirma que a tentativa de AG de distinguir entre esses tipos de contas falhou, e que sua série de sete definições não fornece uma teoria de causalidade real coerente ou melhorada em comparação com a literatura existente ou com suas próprias propostas anteriores.

1. O "Novo" Detector é Apenas um Antigo com uma Roupa Nova

2. As "Escolas de Pensamento" São, na Verdade, a Mesma Classe

3. O Problema do "Vai e Vem": Mudando as Regras no Meio do Jogo

O Veredito Final

Mais como este