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 |
| _version_ | 1811085040657891328 |
|---|---|
| author | Linnebo, Oystein |
| author2 | Massachusetts Institute of Technology. Department of Linguistics and Philosophy |
| author_facet | Massachusetts Institute of Technology. Department of Linguistics and Philosophy Linnebo, Oystein |
| author_sort | Linnebo, Oystein |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T13:01:59Z |
| format | Article |
| id | mit-1721.1/73655 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T13:01:59Z |
| publishDate | 2012 |
| publisher | Oxford University Press |
| record_format | dspace |
| spelling | mit-1721.1/736552022-10-01T12:39:16Z Hierarchies Ontological and Ideological Linnebo, Oystein Massachusetts Institute of Technology. Department of Linguistics and Philosophy Rayo, Agustin 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. 2012-10-05T17:48:38Z 2012-10-05T17:48:38Z 2012-04 Article http://purl.org/eprint/type/JournalArticle 1460-2113 0026-4423 http://hdl.handle.net/1721.1/73655 Linnebo, Oystein and Agustin Rayo. "Hierarchies Ontological and Ideological." Mind (2012) 121 (482): 269-308. https://orcid.org/0000-0003-1847-2770 en_US http://dx.doi.org/10.1093/mind/fzs050 Mind Creative Commons Attribution-Noncommercial-Share Alike 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ application/pdf Oxford University Press MIT web domain |
| spellingShingle | Linnebo, Oystein Hierarchies Ontological and Ideological |
| title | Hierarchies Ontological and Ideological |
| title_full | Hierarchies Ontological and Ideological |
| title_fullStr | Hierarchies Ontological and Ideological |
| title_full_unstemmed | Hierarchies Ontological and Ideological |
| title_short | Hierarchies Ontological and Ideological |
| title_sort | hierarchies ontological and ideological |
| url | http://hdl.handle.net/1721.1/73655 https://orcid.org/0000-0003-1847-2770 |
| work_keys_str_mv | AT linnebooystein hierarchiesontologicalandideological |