BIROn - Birkbeck Institutional Research Online

Hierarchies ontological and ideological

Linnebo, Øystein and Rayo, A. (2012) Hierarchies ontological and ideological. Mind 121 (482), pp. 269-308. ISSN 0026-4423.

[img]
Preview
Text
3174.pdf - Submitted Version

Download (512Kb) | Preview
Official URL: http://dx.doi.org/10.1093/mind/fzs050

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.

Item Type: Article
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
Depositing User: Administrator
Date Deposited: 08 Mar 2011 08:00
Last Modified: 17 Jun 2013 09:54
URI: http://eprints.bbk.ac.uk/id/eprint/3174

Archive Staff Only (login required)

Edit/View Item Edit/View Item