Linnebo, Øystein and Rayo, A. (2012) Hierarchies ontological and ideological. Mind 121 (482), pp. 269-308. ISSN 0026-4423.
|
Text
3174.pdf - First Submitted (AKA Pre-print) Download (524kB) | 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.
Metadata
| 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: | Birkbeck Faculties and Schools > Faculty of Humanities and Social Sciences > School of Historical Studies |
| Depositing User: | Administrator |
| Date Deposited: | 08 Mar 2011 08:00 |
| Last Modified: | 02 Aug 2023 16:54 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/3174 |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
Edit/View Item