Falsificabilidade
David Papineau
1. Indução
Uma linha de resposta bastante diferente para o problema da indução deve-se a Karl Popper. Popper olha para a prática da ciência para nos mostrar como lidar com o problema. Segundo o ponto de vista de Popper, para começar a ciência não se baseia na indução. Popper nega que os cientistas começam com observações e inferem depois uma teoria geral. Em vez disso, primeiro propõem uma teoria, apresentando-a como uma conjectura inicialmente não corroborada, e depois comparam as suas previsões com observações para ver se ela resiste aos testes. Se esses testes se mostrarem negativos, então a teoria será experimentalmente falsificada e os cientistas irão procurar uma nova alternativa. Se, pelo contrário, os testes estiverem de acordo com a teoria, então os cientistas continuarão a mantê-la não como uma verdade provada, é certo, mas ainda assim como uma conjectura não refutada.
Se olharmos para a ciência desta maneira, defende Popper, então veremos que ela não precisa da indução. Segundo Popper, as inferências que interessam para a ciência são refutações, que tomam uma previsão falhada como premissa e concluem que a teoria que está por detrás da previsão é falsa. Estas inferências não são indutivas, mas dedutivas. Vemos que um A é não-B, e concluímos que não é o caso que todos os As são Bs. Aqui não há hipótese de a premissa ser verdadeira e a conclusão falsa. Se descobrirmos que um certo pedaço de sódio não fica laranja quando é aquecido, então sabemos de certeza que não é o caso que todo o sódio aquecido fica laranja. Aqui o facto interessante é que é muito mais fácil refutar teorias do que prová-las. Um único exemplo contrário é suficiente para uma refutação conclusiva, mas nenhum número de exemplos favoráveis constituirá uma prova conclusiva.
2. Falsificabilidade
Assim, segundo Popper, a ciência é uma sequência de conjecturas. As teorias científicas são propostas como hipóteses, e são substituídas por