Natureza do Juízo Declarativo - 8: Crítica de Frege à Teoria Kantiana do Juízo - 1 (Juízos aritméticos como juízos analíticos)

9 Outubro 2018, 12:00 • António José Teiga Zilhão

Crítica de Frege à definição kantiana de juízo analítico e sua redefinição do conceito de analiticidade em termos de verdade lógica. Crítica de Frege à tese de que o estabelecimento da verdade dos juízos aritméticos necessitaria do recurso a quaisquer intuições (puras, como em Kant, ou empíricas, como em Stuart Mill) e, portanto, à tese de que tais juízos seriam sintéticos. A tese logicista de Frege: os juízos aritméticos seriam analíticos (no sentido de 'analítico' por ele redefinido). Os três grandes desafios que a tese logicista de Frege teve que enfrentar: i) como demonstrar que todas as proposições da aritmética são demonstráveis por métodos puramente lógicos? ii) como definir o conceito de número recorrendo apenas a princípios lógicos? e iii) como derivar o princípio da indução matemática das leis mais gerais da Lógica? Defesa por Frege da correcção da concepção kantiana de que os juízos da Geometria euclidiana seriam verdades sintéticas a priori.