Hierarchies Ontological and Ideological

Mind 121 (482):269 - 308 (2012)
  Copy   BIBTEX

Abstract

Gödel 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 Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,252

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2012-10-24

Downloads
434 (#42,939)

6 months
65 (#65,416)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Agustin Rayo
Massachusetts Institute of Technology
Øystein Linnebo
University of Oslo

Citations of this work

Higher‐order metaphysics.Lukas Skiba - 2021 - Philosophy Compass 16 (10):1-11.
Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.
Nominalist Realism.Nicholas K. Jones - 2018 - Noûs 52 (4):808-835.
Plural quantification.Ø Linnebo - 2008 - Stanford Encyclopedia of Philosophy.

View all 53 citations / Add more citations

References found in this work

Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
Parts of Classes.David K. Lewis - 1991 - Mind 100 (3):394-397.

View all 40 references / Add more references