Falseabilidade

Predefinição:Sem-notas Predefinição:Portal-filosofia Falseabilidade, falsificabilidade 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 falseada 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.

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. $\left(\exists x\right)\left(Cx\land Bx\right)\,\!$ Onde: C é o predicado Cisne, B é o predicado 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. $\left(\forall x\right)\left(Cx\to Bx\right)\,\!$

"Leis" científicas, hipóteses com abrangência ampla corroboradas por incontáveis fatos, parte integrante de praticamente toda a teoria científica (mas não devendo com estas ser confundidas), quase sempre são, em virtude de suas validades gerais esperadas, desta forma. Talvez a questão mais difícil na metodologia científica seja: como podemos chegar às hipóteses, mais especificamente às leis, 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 que 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 poder 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.

• POPPER, Karl.(1978) A lógica das ciências sociais. Tempo Brasileiro, Rio de Janeiro.

Ver também

• Método científico
• Karl Popper
• Thomas Kuhn
• Paradoxo do corvo
• Positivismo lógico

Predefinição:Filosofia da ciência