quinta-feira, 4 de dezembro de 2008

bom....fica pra próxima!




Estava entediado no trabalho e resolvi ler algo a respeito de Bertrand Russel, importante matemático, filósofo e lógico do séc. XX. Me deparei com a seguinte frase.

"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."


Um comentário:

Unknown disse...

caso não conheça, vai uma boa dica: leia o Logicomix, quadrinho sobre a história da lógica centrado na biografia do russell, mas que tb fala do wittgenstein, frege e toda essa tchurma. pirante e bem acessível pra leigos (como eu). abs