Linnebo, Øystein and Rayo, A. (2012) Hierarchies ontological and ideological. Mind 121 (482), pp. 269-308. ISSN 0026-4423.
3174.pdf - Submitted Version
Download (512Kb) | Preview
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.
|Additional Information:||This is a pre-copy-editing, author-produced PDF of an article accepted for publication in "Mind" following peer review. The definitive publisher-authenticated version is not yet available online. This is an early draft and should not be cited without permission.|
|School or Research Centre:||Birkbeck Schools and Research Centres > School of Social Sciences, History and Philosophy > Philosophy|
|Date Deposited:||08 Mar 2011 08:00|
|Last Modified:||17 Jun 2013 09:54|
Archive Staff Only (login required)