Red de Bibliotecas Virtuales de Ciencias Sociales en
América Latina y el Caribe
Por favor, use este identificador para citar o enlazar este ítem:
https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/72286
Título : | A Hierarquia de tipos lógicos de Oswaldo Chateaubriand |
Editorial : | Faculdade de Filosofia e Ciências |
Descripción : | 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. |
URI : | http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/72286 |
Otros identificadores : | https://revistas.marilia.unesp.br/index.php/reic/article/view/719 10.36311/1807-8281.2005.v4n1.719 |
Aparece en las colecciones: | Faculdade de Filosofia e Ciências - FFC/UNESP - Cosecha |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.