Hierarchies Ontological and Ideological

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


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



    Upload a copy of this work     Papers currently archived: 74,247

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


Added to PP

328 (#34,209)

6 months
15 (#60,465)

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

Nominalist Realism.Nicholas K. Jones - 2018 - Noûs 52 (4):808-835.
Against Cumulative Type Theory.Tim Button & Robert Trueman - 2021 - Review of Symbolic Logic:1-43.
Plural Quantification.Ø Linnebo - 2008 - Stanford Encyclopedia of Philosophy.

View all 39 citations / Add more citations