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 |