da forma; mas, para Carnap, forma e forma logica. Dai essa obstinada perseguicao da formalizacao completa, e a extrusao do conteudo que lhe e correlativa.Por que foi abandonado o projeto do Aufbau?"Pode-se refutar e matar uma teoria cientifica; uma filosofia so morre de velhice". (F.Waismann)Das tres pernas do tripe sobre o qual se assentou o projeto do Aufbau - o ideal utopico de reconstruir racionalmente o mundo, o objetivo racionalista classico de justificar a ciencia empirica e o caminho neotranscendental" de procurar a justificacao atraves da forma - nenhuma resistiu incolume.Deixemos de lado as criticas como as de Quine e Goodman - procedentes, por certo - que mostram que o projeto de formalizacao completa do conhecimento empirico nao foi realizado pelo Aufbau, ou mesmo que nao pode ser realizado, tout court. Suponhamos por hipotese que Carnap tivesse razao, ao afirmar no 155 que, enfim, "a formalizacao final do sistema pode ser efetuada"; "agora e possivel expressar todos os objetos e enunciados do sistema construcional de modo puramente logico. Assim, nosso objetivo da completa formalizacao do sistema construcional e alcancado" (Aufbau; pp. 237-8). Uma pergunta salta imediatamente aos olhos: poderia um tal resultado ser considerado consistente com qualquer coisa ainda passivel de ser chamada empirismo? M. Friedman[22] coloca o impasse em termos perfeitamente claros. "Se conseguimos desvincular significado objetivo e conhecimento da ostensao e aloja-los em vez disso na forma logica ou estrutura, corremos entao o risco de divorciar de um todo o significado objetivo de qualquer relacao com a experiencia ou o mundo empirico. Isto e, corremos o risco de eliminar completamente a distincao entre conhecimento empirico e conhecimento logico-matematico." (grifo meu)Este risco de pitagorizacao ja havia sido apontado por Russell em relacao a Poincare, que tambem defendia a tese de que a ciencia so trata das relacoes entre as coisas, e nao das coisas mesmas. Dizia Russell: "podemos ate levar a teoria mais longe, e dizer que em geral as relacoes sao na maior parte desconhecidas, e o que e conhecido sao as propriedades das relacoes, tais como as trata a matematica". Poincare nao se abala, nem ve por que deveria recuar diante de um tal resultado, e responde: "o senhor Russell nao se enganou, esse e exatamente o meu pensamento"[23]. Carnap, que se gabara no Aufbau de ir mais longe do que Poincare no que diz respeito a premissa (Aufbau, p. 30), certamente nao tera a mesma disposicao de ir tao longe quanto ele em relacao as consequencias. O empirismo nao pode ser combinado com a logica formal da maneira como ele gostaria, e ele ira preferir ficar com o empirismo, abandonando um caminho que havia conduzido a resultados incompativeis com ele.Quanto ao objetivo de justificar a ciencia empirica, Carnap tinha pensado poder romper o impasse da epistemologia, incapaz de acomodar as solucoes de Kant a nova realidade das ciencias contemporaneas, mas pouco entusiasmada com a perspectiva de uma volta ao ceticismo de Hume. Ao concluir seu trabalho, Carnap se deu conta de que uma ciencia empirica inteiramente justificada estaria naquela situacao que Kant atribui (em O unico fundamento possivel