Hierarchies Ontological and Ideological
Name
Rayo_Hierarchies Ontological.pdf
Size
275.85 KB
Format
Adobe PDF
Checksum (MD5)
81298ae08d8c1045b217c041de1c4072
Author(s)
Linnebo, Oystein
Date Issued
April 2012
Journal
Mind
Publisher
Oxford University Press
Citation
Linnebo, Oystein and Agustin Rayo. "Hierarchies Ontological and Ideological." Mind (2012) 121 (482): 269-308.
Version
Author's final manuscript
Abstract
Godel 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 Godel's remark, and of the surrounding philosophical terrain. In
connection with this, we discuss some technical issues concerning in finitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.
MIT Department
Massachusetts Institute of Technology. Department of Linguistics and Philosophy
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike 3.0
Persistent DSpace Link
DOI of Published Version
http://dx.doi.org/10.1093/mind/fzs050
https://doi.org/10.1093/mind/fzs050
