Introdução: A Epifania Vienense de 1919 — O Nascimento do Problema da Demarcação

No cotidiano, costumamos tratar a palavra “ciência” como sinônimo de “verdade absoluta provada pelos fatos”. Contudo, inúmeras doutrinas que reivindicam o título de ciência — como astrologia, homeopatia, alquimia ou teorias da conspiração — também se orgulham de acumular milhares de “confirmações empíricas”: um astrólogo sempre encontrará no mapa astral uma explicação para o que lhe aconteceu ontem, e um teórico da conspiração interpretará até a ausência total de provas como a evidência suprema de quão bem a conspiração foi ocultada. Onde passa, então, a fronteira epistemológica exata entre a verdadeira ciência empírica e a pseudociência? Na filosofia da ciência, essa questão central é chamada de problema da demarcação (Demarcation Problem / Abgrenzungsproblem).

No início do século XX, o Círculo de Viena (positivismo lógico), liderado por Moritz Schlick e Rudolf Carnap, tentou traçar essa linha por meio do critério verificacionista de significado: uma proposição só teria sentido científico se pudesse ser conclusivamente verificada por observações empíricas. Mas esse critério logo colidiu com o clássico problema da indução de David Hume: toda lei científica é uma proposição universal da forma $ orall x\, P(x)$ (“todos os cisnes são brancos” ou “toda massa obedece à gravitação universal”). Nem mesmo um bilhão de cisnes brancos observados podem provar dedutivamente uma lei universal sobre infinitos casos! Se exigíssemos verificação completa, até a física de Newton seria expulsa da ciência.

Em 29 de maio de 1919, durante um eclipse solar total na Ilha do Príncipe, o astrônomo britânico Arthur Eddington mediu a deflexão da luz das estrelas ao tangenciar o Sol e confirmou a ousada previsão quantitativa da relatividade geral de Albert Einstein ($1,75$ segundo de arco, contra $0,875$ de Newton). Em Viena, o jovem de 17 anos Karl Popper viveu esse episódio como uma revelação intelectual: ele percebeu que a grandeza da teoria de Einstein não estava em acomodar fatos já conhecidos, mas na coragem de fazer uma previsão arriscada (Risky Prediction) que, se fosse desmentida pela observação, destruiria toda a teoria imediatamente!

  flowchart TD
    A["Empirical Observation Contradicts Prediction (~O)"] --> B{"Naive Falsificationism vs. Duhem-Quine"}
    B -->|"Naive Popperian View"| C["Reject Core Theory H Immediately"]
    B -->|"Duhem-Quine / Lakatosian View"| D["Protect Hard Core H; Modify Auxiliary Belt A_i"]
    D -->|"Predicts Novel Verified Fact (e.g. Neptune 1846)"| E["Progressive Research Programme (Scientific)"]
    D -->|"Only Post-Hoc Excuses, No Novel Predictions"| F["Degenerating Research Programme (Pseudoscientific)"]

1. A Revolução Copernicana de Karl Popper: A Assimetria Lógica entre Verificação e Falsificação

Em 1934, em A Lógica da Pesquisa Científica (Logik der Forschung), Popper propôs seu famoso critério da falsificabilidade (ou refutabilidade, Falsifiability): o que torna uma teoria científica não é sua infalibilidade, mas exatamente o oposto: sua capacidade de entrar em conflito com a experiência e ser refutada! Esse princípio baseia-se na assimetria lógica absoluta entre verificação e falsificação na lógica de predicados:

• Nenhuma quantidade finita de observações favoráveis $O_1, O_2, \dots, O_n$ permite deduzir logicamente uma lei universal $T$ (inferir $T$ a partir de $T \implies O$ e $O$ é a falácia formal da afirmação do consequente).
• Por outro lado, basta um único contraexemplo genuíno $ eg O$ (como avistar um único cisne negro na Austrália) para que, pela regra dedutiva rigorosa do Modus Tollens, de $T \implies O$ e $ eg O$ se deduza com certeza absoluta $ eg T$ (a falsidade da teoria $T$)!

Assim, Popper declarou: uma teoria é científica se e somente se proíbe certos eventos observáveis, isto é, se o conjunto de seus falsificadores potenciais (Potential Falsifiers) não for vazio. A astrologia é pseudociência porque formula suas previsões de modo tão vago que qualquer evento concebível pode ser explicado a posteriori: uma teoria que explica tudo o que possa acontecer na verdade não explica nada, e seu conteúdo informativo empírico é zero! Para Popper, a ciência avança por um processo evolutivo incessante de conjecturas e refutações; teorias que sobrevivem aos testes mais severos nunca são “provadas verdadeiras”, mas adquirem um alto grau de corroboração.

2. A Crise do Falsificacionismo Ingênuo: A Tese de Duhem-Quine e a Descoberta de Netuno

Por mais elegante que fosse o critério de Popper no plano lógico, seu confronto com a história real da física revelou um obstáculo formidável: se os cientistas tivessem seguido literalmente o falsificacionismo ingênuo, todas as grandes teorias científicas teriam morrido no berço!

O físico francês Pierre Duhem (1906) e o filósofo norte-americano W.V.O. Quine (1951) formularam a célebre tese de Duhem-Quine (subdeterminação holista): na prática científica real, uma hipótese teórica central $H$ (como a lei da gravitação de Newton $F = G m_1 m_2 / r^2$) jamais pode, sozinha, implicar uma previsão observável $O$! Para calcular a posição de um planeta amanhã à noite, é indispensável combinar $H$ com toda uma rede de hipóteses auxiliares (Auxiliary Hypotheses) $A_1, A_2, \dots, A_n$ (por exemplo: “existem apenas sete planetas no sistema solar”, “o espaço interplanetário não tem atrito”, “o telescópio não sofre aberração óptica”) e condições iniciais $C_{ ext{init}}$. Portanto, quando uma observação contradiz a previsão ($ eg O$), o Modus Tollens nos diz apenas que a conjunção inteira $(H \land A_1 \land \dots \land A_n \land C_{ ext{init}})$ é falsa! A lógica pura é incapaz de nos dizer se o erro está no núcleo teórico $H$ ou em alguma das hipóteses auxiliares $A_i$!

O episódio mais famoso da história da ciência é a descoberta do planeta Netuno em 1846: no início do século XIX, a órbita observada de Urano divergia gravemente dos cálculos newtonianos ($ eg O$). Os físicos declararam a gravitação de Newton refutada? De modo algum! O francês Urbain Le Verrier e o inglês John Couch Adams mantiveram intocado o núcleo newtoniano $H$ e modificaram a hipótese auxiliar $A_1$, postulando um oitavo planeta desconhecido além de Urano. Em 23 de setembro de 1846, no observatório de Berlim, Johann Gottfried Galle apontou seu telescópio para as coordenadas calculadas por Le Verrier e encontrou Netuno a menos de $1^\circ$ de distância! Uma aparente refutação transformou-se no maior triunfo da mecânica de Newton. Em contrapartida, quando Le Verrier tentou explicar a precessão anômala do periélio de Mercúrio ($43''$ por século) postulando um planeta interior chamado “Vulcano”, fracassou — dessa vez foi realmente necessário substituir o núcleo newtoniano $H$ pela relatividade geral de Einstein.

  flowchart TD
    V["Vienna Circle: Logical Verificationism"] --> P["Karl Popper (1919/1934): Falsifiability & Risky Predictions"]
    P --> DQ["Pierre Duhem & W.V.O. Quine: Holistic Underdetermination"]
    DQ --> K["Thomas Kuhn (1962): Normal Science, Paradigms & Revolutions"]
    K --> L["Imre Lakatos (1970): Progressive vs. Degenerating Research Programmes"]
    L --> M["Modern Multi-Criteria Cluster & Bayesian Confirmation"]

3. Os Paradigmas de Kuhn, os Programas de Lakatos e os Modelos Multicritério Modernos

Para salvar a racionalidade científica e explicar a história real da ciência, a filosofia da ciência da segunda metade do século XX deu três passos decisivos:

1. A Estrutura das Revoluções Científicas de Thomas Kuhn (1962): Kuhn mostrou que durante os longos períodos de ciência normal, os cientistas não tentam refutar seu paradigma, mas dedicam-se à “resolução de quebra-cabeças” (puzzle-solving). As anomalias são deixadas de lado; somente quando seu acúmulo gera uma crise profunda e surge um paradigma rival ocorre uma mudança de paradigma (revolução científica).
2. A Metodologia dos Programas de Pesquisa Científica de Imre Lakatos (MSRP, 1970): Lakatos sintetizou brilhantemente Popper e Kuhn. A unidade de avaliação científica não é uma hipótese isolada, mas um programa de pesquisa histórico composto por um núcleo firme (Hard Core) intocável e um cinturão protetor de hipóteses auxiliares (Protective Belt) que se modifica para absorver anomalias. Como distinguir então a ciência da pseudociência? Lakatos responde: depende de se as mudanças no cinturão protetor são progressivas ou degenerativas!
   • Um programa de pesquisa progressivo (ciência genuína) modifica suas hipóteses auxiliares de modo que não apenas explica as anomalias antigas, mas prevê fatos novos e inesperados (Novel Facts) que são confirmados empiricamente (como a descoberta de Netuno).
   • Um programa de pesquisa degenerativo (pseudociência) limita-se a remendos pós-fato (modificações ad hoc) para salvar as aparências, sem jamais prever um único fato novo testável!
3. Semelhança de Família e Desafios Contemporâneos: Após Larry Laudan (1983) demonstrar que não existe uma única condição necessária e suficiente, filósofos atuais como Massimo Pigliucci e Martin Mahner utilizam modelos multicritério de “semelhança de família” (Wittgenstein) combinados com a teoria bayesiana da confirmação. Diante da atual crise de reprodutibilidade ($p$-hacking, HARKing e Registered Reports na psicologia e biomedicina) e dos debates sobre a teoria das cordas e o multiverso, o legado de Popper e Lakatos continua sendo a bússola indispensável da integridade científica.

| Corrente Filosófica | Critério de Demarcação | Resposta Diante de Anomalia ($