Salve, Rodrigo: > Permita-me mais uma pergunta, sem relação com o Watzlawick: foi discutido > uma vez na lista o impacto do teorema de Gödel sobre o Tracatus, ou coisa > parecida, você que conhece os dois lados, que pensa a respeito? Ele inválida > o Tractatus? Se sim, onde epecificamente? Gostaria de vê-lo falar a > respeito.
Não me parece muito fácil pensar no Tractatus como uma espécie de conjectura que pode ser "invalidada" por uma demonstração matemática... Do ponto de vista filosófico, o teorema de Gödel só começa me a parecer realmente significativo a partir do momento em que se tem clara a separação entre demonstrações e modelos, ou entre formalismos dedutivos e semânticas. Esta separação não estava clara (para praticamente ninguém salvo Skolem e alguns poucos outros iluminados) na época em que o Tractatus foi escrito. (Nosso colega J-Y. Béziau falou sobre isto aqui na lista há não muito tempo, aliás, numa linha de discussão crítica sobre a contribuição de Frege para a lógica contemporânea.) JM _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
