Hierarchies Ontological and Ideological

Oystein Linnebo, Agustin Rayo

Research output: Contribution to journalArticle

28 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)269-308
Number of pages40
JournalMind
Volume121
Issue number482
DOIs
Publication statusPublished - Apr 2012

Fingerprint Dive into the research topics of 'Hierarchies Ontological and Ideological'. Together they form a unique fingerprint.

  • Cite this

    Linnebo, O., & Rayo, A. (2012). Hierarchies Ontological and Ideological. Mind, 121(482), 269-308. https://doi.org/10.1093/mind/fzs050