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
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.creator | Sautter, Frank Thomas | - |
dc.date | 2011-07-05 | - |
dc.date.accessioned | 2022-03-21T17:49:47Z | - |
dc.date.available | 2022-03-21T17:49:47Z | - |
dc.identifier | https://revistas.marilia.unesp.br/index.php/reic/article/view/719 | - |
dc.identifier | 10.36311/1807-8281.2005.v4n1.719 | - |
dc.identifier.uri | http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/72286 | - |
dc.description | 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. | pt-BR |
dc.format | application/pdf | - |
dc.language | por | - |
dc.publisher | Faculdade de Filosofia e Ciências | pt-BR |
dc.relation | https://revistas.marilia.unesp.br/index.php/reic/article/view/719/621 | - |
dc.source | Revista Eletrônica Informação e Cognição; v. 4 n. 1 (2005) | pt-BR |
dc.source | 1807-8281 | - |
dc.title | A Hierarquia de tipos lógicos de Oswaldo Chateaubriand | pt-BR |
dc.type | info:eu-repo/semantics/article | - |
dc.type | info:eu-repo/semantics/publishedVersion | - |
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.