Falseabilidade
Origem: Wikipédia, a enciclopédia livre.
Falseabilidade (ou refutabilidade) é um conceito importante na filosofia da ciência (epistemologia). Para uma asserção ser refutável ou falseável, em princípio será possível fazer uma observação ou fazer uma experiência física que tente mostrar que essa asserção é falsa.
Por exemplo, a asserção "todos os corvos são pretos" poderia ser falsificada pela observação de um corvo vermelho. A escola de pensamento que coloca a ênfase na importância da Falseabilidade como um princípio filosófico é conhecida como a Falseabilidade.
[editar] Falsear
A falseabilidade foi desenvolvida inicialmente por Karl Popper nos anos 30 do século XX. Popper reparou que dois tipos de enunciados são de particular valor para os cientistas. O primeiro são enunciados de observações, tais como "este cisne é branco". Na teoria da lógica chamamos a estes enunciados existenciais singulares, uma vez que afirmam a existência de uma coisa em particular. Eles podem ser analisados na forma: existe um x que é cisne e é branco. (∃x) (Cx ∧ Bx) - C sendo o predicado Cisne e B branco.
O segundo tipo de enunciado de interesse para os cientistas categoriza todas as instâncias de alguma coisa, por exemplo "todos os cisnes são brancos". Na lógica chamamos a estes enunciados universais. Eles são normalmente analisados na forma para todos os x, se x é um cisne então x é branco. (∀x) (Cx > Bx)
"Leis" científicas (mais corretamente chamadas teorias) são normalmente tidas como sendo desta forma. Talvez a questão mais difícil na metodologia científica é, como é que podemos chegar às teorias partindo das observações? Como podemos inferir de forma válida um enunciado universal a partir de enunciados existenciais (por muitos que sejam)?
A metodologia indutivista supunha que se pode passar de uma série de enunciados singulares para um enunciado universal. Ou seja, que se pode passar de um "este é um cisne branco", "ali está outro cisne branco", e por aí em diante, para um enunciado universal como "todos os cisnes são brancos". Este método é claramente inválido em lógica, uma vez que será sempre possível que exista um cisne não-branco que por algum motivo não tenha sido observado.
Este era o Problema da indução, identificado por David Hume no século XVIII e cuja resolução é proposta por Popper.
Popper defendeu que a ciência não poderia ser baseada em tal inferência. Ele propôs a falseabilidade como a solução do problema da indução. Popper viu que apesar de um enunciado existencial singular como "este cisne é branco" não pode ser usado para afirmar um enunciado universal, ele pode ser usado para mostrar que um determinado enunciado universal é falso: a observação existencial singular de um cisne negro serve para mostrar que o enunciado universal "todos os cisnes são brancos" é falso. Em lógica chamamos a isto de modus tollens.
