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, we...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Article |
| Language: | English |
| Published: |
Oxford University Press,
2012-10-05T17:48:38Z.
|
| Subjects: | |
| Online Access: | Get fulltext |