Hierarchies Ontological and Ideological
MetadataShow full item record
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.
DepartmentMassachusetts Institute of Technology. Department of Linguistics and Philosophy
Oxford University Press
Linnebo, Oystein and Agustin Rayo. "Hierarchies Ontological and Ideological." Mind (2012) 121 (482): 269-308.
Author's final manuscript