Saudações ao JM e aos demais, Já que o JM mencionou a discussão sobre a importância dos vovôs da lógica, incluindo Whitehead e Russell (Principia Mathematica), não custa lembrar que o título do paper de Gödel era: Über formal unentscheidbare Sätze der _*Principia Mathematica*_ (!) und verwandter Systeme.- I.
WS Joao Marcos escreveu: > 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 > > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
