Show simple item record

dc.contributor.authorLinnebo, Oystein
dc.date.accessioned2012-10-05T17:48:38Z
dc.date.available2012-10-05T17:48:38Z
dc.date.issued2012-04
dc.identifier.issn1460-2113
dc.identifier.issn0026-4423
dc.identifier.urihttp://hdl.handle.net/1721.1/73655
dc.description.abstractGodel claimed that Zermelo-Fraenkel set theory is `what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Godel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning in finitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.en_US
dc.language.isoen_US
dc.publisherOxford University Pressen_US
dc.relation.isversionofhttp://dx.doi.org/10.1093/mind/fzs050
dc.rightsCreative Commons Attribution-Noncommercial-Share Alike 3.0en_US
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/3.0/en_US
dc.sourceMIT web domainen_US
dc.titleHierarchies Ontological and Ideologicalen_US
dc.typeArticleen_US
dc.identifier.citationLinnebo, Oystein and Agustin Rayo. "Hierarchies Ontological and Ideological." Mind (2012) 121 (482): 269-308.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Linguistics and Philosophyen_US
dc.contributor.mitauthorRayo, Agustin
dc.relation.journalMinden_US
dc.eprint.versionAuthor's final manuscripten_US
dc.type.urihttp://purl.org/eprint/type/JournalArticleen_US
eprint.statushttp://purl.org/eprint/status/PeerRevieweden_US
dspace.orderedauthorsLinnebo, Oystein; Rayo, Agustinen_US
dc.identifier.orcidhttps://orcid.org/0000-0003-1847-2770
dspace.mitauthor.errortrue
mit.licenseOPEN_ACCESS_POLICYen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record