Lógica - Indução

...

Todo Corvo é Preto -> contrárias -> Todo Corvo não é Preto

subalternadas -> contraditórias -> subalternadas

Algum Corvo é Preto -> subcontrárias -> Algum Corvo não é Preto

As teorias e leis da ciência natural têm a forma lógica de enunciados estritamente universais, isto é, do tipo “Todo Corvo é Preto”; tais enunciados tem pretensão de validade irrestrita; enunciados universais podem ser expressos sob a forma de negações de enunciados estritamente existenciais, ou de enunciados de não-existência do tipo “Todo Corvo não é Preto” ou “Não há Corvo Preto. O fato de essas leis, que contém implicitamente os indicadores para qualquer tempo em qualquer espaço, poderem ser formuladas como enunciados de não-existência evidencia que são falsificáveis, ou seja, se acolhermos como verdadeiro um enunciado singular que assevera as existência de algo que o universal nega, afirma não existir, está falsificado o enunciado universal. Por exemplo, a ocorrência de um Corvo Preto – “Algum Corvo é Preto” -, falsifica a lei anteriormente enunciada de que “Todo Corvo é não Preto” e vale o mesmo para o caso oposto, ou seja, se acolhermos como verdadeiro um enunciado singular que assevera a não-existência de algo que o universal afirma, nega não existir, está falsificado o enunciado universal. Por exemplo, a ocorrência de um Corvo não-Preto – “Algum Corvo não é Preto”, falsifica a lei anteriormente enunciada de que “Todo Corvo é Preto” – Trata-se da lei lógica conhecida como modus tolens, traduzido na seguinte forma:

Se P, então Q.

Q é falso.

Logo, P é falso.

Por outro lado, os enunciados estritamente existenciais da forma, “Algum Corvo é Preto”, que não contém indicadores de tempo ou espaço, não são falsificáveis, pois, não podem contradizer nenhum enunciado universal, o que leva Popper a considerá-los como metafísicos ou não empíricos. Para se falsificar um enunciado do tipo “Algum Corvo é Preto” teríamos de demonstrar a verdade do enunciado “Todo Corvo não é Preto” o que é impossível, por causa da recusa do princípio de indução. Como se pode ver, a mesma razão que torna os enunciados estritamente universais insuscetíveis de verificação torna os enunciados estritamente universais insuscetíveis de falsificação, é essa a assimetria.