BLOG DO PROFESSOR MIGUEL

9. Hume atacou a metafísica demonstrativa em termos epistemológicos. Defendeu que os argumentos puramente racionais apenas permitem estabelecer as verdades formais da lógica e da matemática. A negação de um enunciado autocontraditório não é uma verdade factual substancial, mas algo meramente convencional que reflete o modo como usamos as palavras. Kant combateu a metafísica transcendente, argumentando que as noções de substância e causa apenas produzem conhecimento se forem aplicadas à matéria bruta fornecida pelos sentidos, e não se forem utilizadas para lá dos limites da experiência. Os positivistas lógicos atacaram a metafísica transcendente de forma ainda mais veemente, baseados no princípio de verificabilidade, defendendo que as suas afirmações não têm sentido visto não serem verificáveis na experiência.

10. Kant opôs-se também a um tipo de metafísica caracterizado não tanto por ir além do mundo das aparências como pelas extrapolações em direção ao infinito que construiu a partir delas, por exemplo, as teses de que o mundo é infinitamente grande, que é eterno, composto por partes infinitesimais, e por aí adiante. Kant formou pares de asserções deste gênero com as suas negações e argumentou, num aparente desafio à lógica, que ambos os membros de cada par são autocontraditórios. Este tipo de metafísica, que se ocupa do quantitativamente inacessível (e não com o qualitativamente inacessível), está aberta às mesmas objeções.

11. As teorias sobre o que foi designado por "categorias do ser" encontram-se entre as sobreviventes do longo combate que opôs a metafísica aos seus detratores. O dualismo psicofísico, argutamente tratado em Descartes, mas já defendido antes e também depois, é talvez o caso mais familiar. Esta forma de dualismo tem raízes epistemológicas. Uma é a distinção entre dois tipos de experiência: as sensações e a introspecção. Outra é a alegada infalibilidade das crenças acerca de conteúdos mentais em contraste com a falibilidade das crenças sobre o mundo material objetivo. Os materialistas, como Hobbes, argumentaram que a atividade mental é corpórea, ainda que apenas numa pequena escala. Os idealistas como Berkeley (e, de certo modo, os fenomenistas como Mill) defenderam que os corpos materiais são complexos de sensações, quer efetivas, quer existentes na mente de Deus ou hipotéticas.

12. O domínio platônico das idéias alberga um alegado terceira categoria, a das entidades abstratas, por exemplo, propriedades, relações, classes, números e proposições. Os valores foram aí incluídos de maneira a providenciar algo acerca do qual os juízos de valor sejam verdadeiros.

13. O monismo pode ser nem mental nem físico, mas neutral. Russell, William James, Mach e, até certo ponto, Hume, pensavam que os corpos e as mentes eram formados pelo mesmo tipo de sensações, possíveis e atuais, tal como as imagens que as copiam. Estas sensações combinam-se para constituir os corpos; as sensações e as imagens constituem as mentes.

14. Além dos tipos de metafísica consideradas até ao momento, cujo objetivo é construir uma concepção do mundo como um todo, há também uma metafísica de âmbito mais restrito que procura examinar a detalhada estrutura do mundo: os indivíduos, as suas propriedades, as relações que mantêm entre si, os acontecimentos que preenchem a sua história – a mudança, portanto – e também os acontecimentos que constituem as partes mais desinteressantes e as mais férteis dessa história; o fato de os indivíduos possuírem propriedades, e por aí adiante. A doutrina de Aristóteles transformou estes tópicos num tema de investigação organizada (ainda que as suas categorias fossem bastante diferentes das mencionadas atrás). Em certa medida, foram absorvidos pela lógica filosófica uma vez que esses aspectos mais subtis da estrutura do mundo correspondem às características formais da linguagem (do pensamento e do discurso), assumidas como distinções básicas da lógica formal.

15. A questão fundamental da epistemologia, mas talvez não a mais interessante, é a definição de conhecimento. Platão colocou-a no Teeteto e concluiu que o conhecimento é algo mais que crença verdadeira, ainda que a inclua. A idéia de que a justificação constitui o elemento remanescente enfrenta dificuldades sérias exceto, como muitos sustentam, se a regressão ao infinito a que parece dar origem puder ser evitada defendendo, por exemplo, que algumas crenças não são justificadas por outras crenças, mas pela experiência. Muitos filósofos consideram, no entanto, que este problema tem um interesse reduzido uma vez que o próprio conhecimento tem um interesse reduzido. Tudo quanto importa é a crença racional justificada. Contudo, foi também sugerido de forma persuasiva que o elemento em falta na definição não deverá ser acidental ou que deverá possuir como causa o fato que o torna verdadeiro.

16. Quase toda a epistemologia envolve duas distinções amplas: a primeira entre o que Leibniz chamou "verdades da razão" e "verdades de fato", a segunda entre o que é conhecido direta ou imediatamente e o que é conhecido por inferência. As verdades da razão são verdades necessárias que podem ser descobertas a priori, isto é, sem a dependência dos sentidos e apenas pelo pensamento. As verdades de fato são contingentes, baseando-se a sua justificação na experiência. As duas distinções sobrepõem-se. Algumas verdades da razão devem ser imediatamente conhecidas para que as restantes possam ser inferidas. As primeiras são consideradas axiomas ou princípios da lógica e da matemática. A perspectiva convencional acerca de verdades de fato não imediatas sustenta que estas são realmente inferidas, mas não com base na lógica dedutiva. Neste caso é necessária a indução, um processo que consiste em derivar generalizações irrestritas com base num número limitado de instâncias. Peirce e, ainda com maior veemência, Popper, negaram ou marginalizaram a indução.

17. Deste ponto de vista, os enunciados gerais são propostos como hipóteses dignas de serem investigadas e, em seguida, examinam-se as conseqüências deles deduzidas; são rejeitados caso estas se revelem falsas e preservados, com crescente confiança, quanto maior o número de testes a que sobrevivam. Esta concepção está mais próxima da prática científica que a teoria convencional da indução, mas, aparentemente, permite-lhe entrar ainda pela porta do fundo.