Author： Linnebo ystein Rayo Agustn
Publisher： Oxford University Press
ISSN： 1460-2113
Source： Mind, Vol.121, Iss.482, 2012-04, pp. : 269-308
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Gdel 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 Gdel'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.
Related content
Hierarchies and tool-using strategies
Behavioral and Brain Sciences, Vol. 14, Iss. 4, 1991-12 ,pp. :
Access to resources
Recommend
Ontological Insecurity and Reflective Processes
Journal of Phenomenological Psychology, Vol. 8, Iss. 2, 1977-01 ,pp. :
Ontological significance of the dream world
Behavioral and Brain Sciences, Vol. 36, Iss. 6, 2013-11 ,pp. :
Matters of principle: Hierarchies, representations, and action
Behavioral and Brain Sciences, Vol. 4, Iss. 4, 1981-12 ,pp. :
ideological implications of addiction theories and treatment
Deviant Behavior, Vol. 20, Iss. 3, 1999-07 ,pp. :