O objectivo da tese é apresentar um retrato de K. F. Gödel enquanto filósofo sistemático, tentando captar o seu ideal de uma filosofia rigorosa. Ou seja, explorar a busca de Gödel pelo rigor em filosofia (aplicável a conceitos metafísicos) através da questão da metodologia, numa espécie de tríptico: platonismo (parte I); metodologia (II); meta-física (III). Por platonismo entende-se a procura da justificação rigoro-sa do platonismo matemático de Gödel, investigação insatisfatória que o levou a reconsiderar a natureza e o método da própria filosofia; por metafísica, a projecção (para o futuro) de uma metafísica exacta.

UM RETRATO DE GÖDEL ENQUANTO FILÓSOFO A FILOSOFIA COMO CIÊNCIA DE RIGOR

NUNO JERÓNIMO CFCUL doutorando

História e Filosofia das Ciências Olga POMBO e Franco de OLIVEIRA co-tutela IHPST: Mark VAN ATTEN

Kurt Friedrich Gödel 1974

Philosophy as an exact theory should do for metaphysics as much as Newton did for physics.

Gödel [1906-1978] was the first man to demonstrate that certain mathematical theorems can neither be proved nor disproved with the accepted, rigorous methods of mathematics. […] It will never be possible to acquire with mathematical means the certainty that mathematics does not contain contradictions. […] This is not a philo-sophical principle or a plausible intellectual attitude, but the result of a rigorous mathematical proof of an extre-mely sophisticated kind.

John von Neumann 1951

Alguns temas: (I) As posições realistas de Gödel. Exercícios práticos (1942-1959) de rigor informal. (II) Como justificar rigorosa-

mente o acesso a uma realidade abstracta e independente? A influência da lógica matemática sobre a filosofia. (III) Rigor e metafí-sica (Platão, Leibniz, Viena, Husserl). O que é e para que serve uma metafísica exacta? (Apêndices) A recepção de Gödel em Portugal.

Centro de Filosofia das Ciênciasda Universidade de Lisboa

CFCULhttp://cfcul.fc.ul.pt

nm�eronimo@gmail.com

Nuno Jerónimo