Hierarchies Ontological and Ideological
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,...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Oxford University Press
2012
|
| Online Access: | http://hdl.handle.net/1721.1/73655 https://orcid.org/0000-0003-1847-2770 |
| Summary: | 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. |
|---|