Falsificabilidade, O Que Torna uma Afirmação Científica

• Enunciar precisamente o critério de demarcação de Karl Popper: uma teoria é científica na medida em que é logicamente incompatível com alguma observação possível.
• Explicar a assimetria lógica entre verificação e falsificação que motiva o critério.
• Aplicar o critério aos próprios casos paradigmáticos de Popper, a relatividade geral de Einstein e o teste do eclipse de Eddington de 1919, contrastados com os exemplos de Popper de história marxista e psicanálise.
• Distinguir "ainda não falsificado" de "provado verdadeiro," e "difícil de testar" de "infalsificável."
• Identificar raciocínio infalsificável ou ad hoc em afirmações técnicas do dia a dia.

Karl Popper desenvolveu o critério de falsificabilidade, como documentado na entrada da Stanford Encyclopedia of Philosophy sobre Popper, como resposta a um problema específico: o que separa ciência genuína de afirmações que meramente se vestem de ciência? A resposta de Popper não foi "ciência faz afirmações que foram confirmadas por evidência," muitas afirmações pseudocientíficas podem apontar para instâncias confirmadoras, mas algo mais afiado: uma teoria ganha o rótulo de "científica" apenas na medida em que é falsificável, significando que ela proíbe certas observações de acontecer. Se uma teoria é compatível com literalmente qualquer observação que você pudesse fazer, se nenhum experimento, nenhuma medição, nenhum resultado jamais pudesse contar contra ela, então a teoria não diz nada sobre o mundo em particular, por mais impressionante que soe seu vocabulário.

O raciocínio por trás disso se apoia em uma assimetria lógica que remonta ao problema da indução de Hume: nenhum número finito de observações confirmadoras jamais pode provar uma afirmação universal ("todos os cisnes são brancos," "essa estrutura de dados sempre redimensiona em tempo constante amortizado"), porque a próxima observação sempre poderia ser a exceção. Mas uma única contra-instância genuína, um cisne negro, uma entrada patológica que quebra o limite amortizado, pode refutá-la conclusivamente. Confirmação é assintótica e nunca completa; refutação, quando acontece, é decisiva. Popper construiu seu critério inteiro sobre essa assimetria: já que uma teoria nunca pode ser verificada de uma vez por todas, a única coisa que significativamente distingue uma teoria científica de uma não científica é se ela está exposta a esse tipo de refutação decisiva de forma alguma.

Este conceito é o retorno direto do conceito anterior nesta trilha. Transformar uma pergunta em uma hipótese produz uma afirmação específica e verificável, mas "verificável" e "científica" não são automaticamente a mesma coisa até que a afirmação seja mostrada genuinamente falsificável, no sentido preciso de Popper: deve existir alguma observação concebível que, se ocorresse, forçaria você a abandonar a afirmação. Uma afirmação que sobrevive a todo resultado possível por design ainda não foi verificada em nenhum sentido significativo, não importa quanto pareça uma hipótese.

O critério de demarcação, enunciado precisamente

O critério de Popper, como a entrada da Stanford Encyclopedia of Philosophy sobre Popper o documenta: uma teoria é científica se é logicamente incompatível com observações empíricas possíveis, e não científica se é compatível com todas elas. O teste não é "isso foi confirmado?" mas "isso poderia, mesmo em princípio, ser mostrado errado, e por quê?" Uma teoria científica corre um risco, ela proíbe algo. Quanto mais uma teoria proíbe, mais falsificável, e na visão de Popper mais científica e informativa, ela é; uma teoria que não proíbe nada é empiricamente vazia independentemente de quanto poder explicativo aparente pareça ter.

Einstein e o eclipse de 1919: o caso paradigmático de risco genuíno

Popper repetidamente apontou a teoria geral da relatividade de Einstein como o exemplo mais claro de uma teoria se comportando exatamente como uma teoria científica deveria. A relatividade geral previu que a luz passando perto de um corpo massivo, o sol, especificamente, seria desviada pela gravidade em uma quantidade pequena e específica, contradizendo a previsão Newtoniana de nenhum desvio desse tipo (ou um valor diferente e menor sob um tratamento Newtoniano da luz como matéria). Isso foi, como a entrada da Stanford Encyclopedia of Philosophy o descreve, uma previsão genuinamente arriscada: uma consequência de som improvável que, se as observações tivessem saído de outra forma, teria falsificado a teoria completamente. Não havia forma de reinterpretar "a luz das estrelas se dobra em aproximadamente a quantidade prevista perto do sol" de modo que qualquer resultado contasse como confirmando isso.

As expedições de eclipse solar de 1919 de Arthur Eddington mediram as posições aparentes de estrelas perto do sol durante a totalidade (a única vez que uma luz tão fraca é visível contra o brilho do sol) e encontraram desvios consistentes com o valor previsto por Einstein em vez do Newtoniano. O ponto de Popper não foi simplesmente que a teoria foi confirmada; foi que a teoria tinha sido exposta a um teste que poderia ter saído de outra forma, e não saiu. O próprio termo de Popper para o que uma teoria ganha ao sobreviver a tal teste é corroboração, deliberadamente distinto de prova: uma teoria bem corroborada resistiu a tentativas sérias de refutação e é, provisoriamente, a melhor teoria disponível, mas permanece exposta a ser falsificada por alguma observação futura. Corroboração é um relatório sobre como uma teoria se saiu até agora, não um certificado de verdade permanente.

Marxismo e psicanálise: os casos de contraste de Popper

Popper contrastou isso diretamente com teorias que ele considerava pseudocientíficas, mais proeminentemente certas interpretações de teorias marxistas de história e psicanálise Freudiana e Adleriana. Sua objeção era específica: não era que essas teorias tinham sido testadas e consideradas falsas, mas que, como de fato praticadas por seus aderentes, elas pareciam capazes de explicar qualquer observação depois do fato. Popper descreveu teorias psicanalíticas como efetivamente irrefutáveis nesse sentido, não havia, em sua avaliação, nenhum comportamento humano concebível que não pudesse ser acomodado pelo aparato explicativo da teoria, o que significava que o poder explicativo aparente da teoria vinha ao custo de não proibir nada. Uma ilustração bem conhecida que Popper ofereceu contrasta duas ações opostas, um homem empurrando uma criança em um rio para afogá-la, e um homem sacrificando sua própria vida para salvar uma criança que se afoga, ambas as quais, ele observou, poderiam ser "explicadas" dentro da teoria Adleriana como expressões do mesmo complexo de inferioridade subjacente. Uma teoria que explica tanto uma ação quanto seu exato oposto igualmente bem não foi testada por nenhum dos resultados.

A avaliação de Popper do marxismo especificamente era mais historicamente matizada: ele sustentava que a teoria original de Marx sobre a história fazia previsões genuinamente arriscadas e falsificáveis, sobre a trajetória de economias capitalistas, por exemplo, e era científica em sua forma original. O que mudou seu status, no relato de Popper, foi o que aconteceu quando essas previsões falharam em se materializar: em vez de abandonar ou revisar a teoria, aderentes posteriores introduziram explicações adicionais para acomodar a discrepância depois do fato, preservando a teoria contra a evidência falsificadora em vez de deixar a evidência contar contra ela. A queixa de Popper era dirigida a esse movimento, sua frase para isso, segundo a Stanford Encyclopedia of Philosophy, era que isso convertia a teoria em "dogmatismo reforçado", em vez de ao conteúdo da teoria original.

Uma ressalva: falsificação nem sempre é tão limpa quanto soa

A entrada da Stanford Encyclopedia of Philosophy sobre ciência e pseudociência levanta uma complicação importante que a filosofia da ciência posterior (particularmente a tese Duhem-Quine) afiou ainda mais: nenhuma teoria é jamais testada inteiramente isoladamente. Um teste de uma teoria sempre também se apoia em suposições auxiliares, sobre instrumentos, condições de fundo, outras teorias aceitas, e uma previsão falhada tecnicamente falsifica apenas a conjunção da teoria e suas suposições auxiliares, não a teoria sozinha. Isso não desfaz o critério de Popper, mas significa que "falsificável em princípio" e "limpamente falsificado por este único resultado" não são exatamente a mesma coisa na prática; distinguir a falsidade da própria teoria de uma suposição auxiliar quebrada é significativo o suficiente para ser seu próprio conceito mais adiante nesta trilha. É também por isso que a mesma entrada de enciclopédia nota um enigma genuíno para o critério de Popper: astrologia, um dos seus exemplos favoritos de pseudociência, na verdade foi rigorosamente testada e refutada em estudos controlados, o que a torna falsificada, não infalsificável, e mostra que infalsificabilidade sozinha não captura tudo que torna uma afirmação pseudocientífica na prática.

Exemplo 1 — o teste do eclipse, reconstruído

Afirmação sob teste: a previsão da relatividade geral de que a luz de uma estrela distante, passando perto do limbo do sol, seria desviada por um ângulo atribuível à gravidade do sol, um valor específico, não nulo, não Newtoniano.

O que a teria falsificado: se as placas fotográficas de Eddington, tiradas durante o eclipse de 1919 e comparadas contra placas de referência das mesmas estrelas tiradas quando o sol estava em outro lugar do céu, tivessem mostrado nenhum desvio mensurável, ou um desvio correspondendo ao valor Newtoniano (diferente, menor), a previsão da teoria teria falhado completamente, não havia interpretação alternativa sob a qual "nenhum desvio" ainda contaria como consistente com a afirmação específica da relatividade geral.

O que foi observado: os desvios medidos foram consistentes com o valor previsto por Einstein em vez de um Newtoniano ou nenhum efeito.

Por que isso conta como corroboração genuína em vez de mera busca de confirmação: a teoria apostou, antes da observação, em uma previsão numérica específica que diferia da alternativa reinante e do caso nulo. O teste tinha duas formas de sair que teriam envergonhado a teoria, e uma forma que a teria apoiado; o fato de o resultado de apoio ter ocorrido é o que torna isso uma instância de uma teoria sobrevivendo a risco real, exatamente no sentido que o critério de Popper pede.

Exemplo 2 — a "explicação" Adleriana de comportamentos opostos

Afirmação sob teste (como Popper a descreve): o comportamento humano é impulsionado por tentativas de compensar sentimentos de inferioridade (a estrutura Adleriana).

Observação A: um homem empurra uma criança em um rio, com a intenção de afogá-la.

"Explicação" oferecida: o homem se sentia inferior e este ato foi uma afirmação de poder para compensar.

Observação B: um homem diferente arrisca sua própria vida para salvar uma criança que se afoga.

"Explicação" oferecida: esse homem também se sentia inferior, e o resgate heroico foi sua forma de provar a si mesmo que era capaz de um ato difícil.

Por que isso falha no critério de Popper: duas ações diretamente opostas foram ambas acomodadas pelo mesmo aparato teórico, depois de cada uma ocorrer, usando o mesmo mecanismo subjacente. Não há observação sobre o comportamento de nenhum dos homens que a teoria, como aplicada aqui, teria tratado como inconsistente com ela. Porque a teoria pode ser esticada para caber em qualquer resultado depois do fato, nenhuma ação observada individual jamais esteve de fato em risco de contradizê-la, que é precisamente o que desqualifica o raciocínio aqui como falsificável, independentemente de quão psicologicamente plausível cada explicação individual possa soar tomada isoladamente.

Exemplo 3 — uma afirmação de CC tornada falsificável

Versão infalsificável: "Essa camada de cache melhora o desempenho do sistema." Como enunciada, quase qualquer resultado pode ser dobrado nessa afirmação, se os tempos de resposta melhoram, o cache recebe o crédito; se não melhoram, sempre se pode dizer que a carga de trabalho "não era amigável ao cache" ou que o benefício "aparece sob condições diferentes," sem especificar quais condições de antemão. Nada é proibido, então nada está genuinamente sendo testado.

Refinamento falsificável: "Para cargas de trabalho intensivas em leitura com uma taxa de acerto de cache acima de 80%, adicionar essa camada de cache vai reduzir o tempo de resposta mediano em pelo menos 15% comparado a nenhum cache, medido sob carga de outra forma idêntica." Essa versão proíbe resultados específicos, uma taxa de acerto acima de 80% sem melhoria mensurável, ou com uma melhoria bem abaixo de 15%, a refutaria completamente, sem ambiguidade sobre o que contaria como um teste falhado.

• Confundir "ainda não falsificado" com "provado verdadeiro." A corroboração de Popper explicitamente não é verificação, uma teoria que sobreviveu a todo teste até agora, incluindo a relatividade geral de Einstein, permanece em princípio exposta a refutação futura. Tratar uma hipótese bem corroborada como permanentemente resolvida inverte a assimetria lógica sobre a qual todo o critério se apoia.
• Confundir "difícil de testar" com "infalsificável." Uma afirmação pode ser difícil, cara, ou atualmente impraticável de testar e ainda ser falsificável em princípio, falsificabilidade é sobre se alguma observação concebível poderia contar contra a afirmação, não sobre quão fácil essa observação atualmente é de obter. O próprio Popper inicialmente julgou mal a seleção natural como não testável e depois retratou isso, reconhecendo-a como testável, embora difícil.
• Tratar "alguma evidência a apoia" como equivalente a "é científica." Afirmações pseudocientíficas rotineiramente acumulam instâncias confirmadoras aparentes, como o exemplo Adleriano de Popper mostra, o problema nunca foi escassez de anedotas de apoio, foi que nenhuma anedota contrária também era possível.
• Assumir que um único teste falhado sempre falsifica limpamente a própria teoria. Porque testes dependem de suposições auxiliares (instrumentos, condições, outras afirmações de fundo), uma previsão falhada tecnicamente falsifica a conjunção teoria-mais-suposições, desembaraçar qual parte de fato quebrou é uma habilidade distinta, coberta no próximo conceito nesta trilha.
• Assumir que infalsificabilidade é a única coisa que torna uma afirmação pseudocientífica. Como a entrada da Stanford Encyclopedia of Philosophy sobre ciência e pseudociência aponta, algumas das próprias pseudociências paradigmáticas de Popper, astrologia entre elas, na verdade foram testadas e refutadas, então ser falsificada não é o mesmo que nunca ter sido falsificável, e o critério, por mais útil que seja, não resolve sozinho todo caso disputado.

O critério de demarcação de Popper sustenta que uma teoria conta como científica em proporção a quanto ela proíbe: ela deve ser logicamente incompatível com alguma observação concebível, porque nenhum conjunto finito de confirmações jamais pode verificar uma afirmação universal enquanto uma única contra-instância genuína pode refutar uma. A relatividade geral de Einstein, testada pelas observações do eclipse de 1919 de Eddington, é o caso paradigmático de Popper de uma teoria correndo um risco real e específico e sobrevivendo a ele, ganhando corroboração, não prova. Os casos de contraste de Popper, história marxista e psicanálise Adleriana e Freudiana, foram criticados não por faltar evidência de apoio mas por serem esticáveis para acomodar qualquer observação depois do fato, não proibindo nada e portanto não explicando nada no sentido falsificável. O critério é poderoso mas não é toda a história: falsificação na prática testa uma teoria junto com suas suposições auxiliares, e algumas das próprias pseudociências paradigmáticas de Popper acabam tendo sido falsificadas em vez de infalsificáveis, ambas razões para tratar o critério com cuidado em vez de como uma checklist mecânica.