Durante sua longa vida, Russell elaborou algumas das mais influentes teses filosóficas do século XX, e, com elas, ajudou a fomentar uma das suas tradições filosóficas, a assim chamada Filosofia Analítica. Dentre essas teses, destacam-se a tese logicista, ou da lógica simbólica, de fundamentação da Matemática. Segundo Russell, todas as verdades matemáticas - e não apenas as da aritmética, como pensava Gottlob Frege- poderiam ser deduzidas a partir de umas poucas verdades lógicas, e todos os conceitos matemáticos reduzidos a uns poucos conceitos lógicos primitivos.
Um dos elementos impulsionadores desse projeto foi a descoberta, em 1901, de um paradoxo no sistema lógico de Frege: o chamado paradoxo de Russell. A solução de Russell - para esse e outros paradoxos - foi a teoria dos tipos (inicialmente, a teoria simples dos tipos; posteriormente, a teoria ramificada dos tipos), um dos pilares do seu logicismo. Trata-se, segundo Russell, de se imporem certas restrições à suposição de que qualquer propriedade que pode ser predicada de uma entidade de um tipo lógico possa ser predicada com significado de qualquer entidade de outro ou do mesmo tipo lógico. O tipo de uma propriedade deve ser de uma ordem superior ao tipo de qualquer entidade da qual a propriedade possa com significado ser predicada.
Sem comentários:
Enviar um comentário