A Hierarquia de tipos lógicos de Oswaldo Chateaubriand

Resumo

Compara-se a hieraquia de tipos lógicos de Oswaldo Chateaubriand com a hierarquia de tipos lógicos de Frege-Russell e com a hierarquia cumulativa de conjuntos puros. Mostra-se como as noções de propriedade lógica e de proposição lógica emergem da hierarquia de Chateaubriand, e sugerem-se modificações nesta hierarquia para adequá-la ao projeto inacabado de Kurt Gödel para a fundamentação das ciências formais.