Hierarchies Ontological and Ideological

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...

Full description

Bibliographic Details
Main Author: Linnebo, Oystein (Author)
Other Authors: Massachusetts Institute of Technology. Department of Linguistics and Philosophy (Contributor), Rayo, Agustin (Contributor)
Format: Article
Language:English
Published: Oxford University Press, 2012-10-05T17:48:38Z.
Subjects:
Article
Online Access:Get fulltext
LEADER 00988 am a22001693u 4500
001 73655
042 |a dc 
100 1 0 |a Linnebo, Oystein  |e author 
100 1 0 |a Massachusetts Institute of Technology. Department of Linguistics and Philosophy  |e contributor 
100 1 0 |a Rayo, Agustin  |e contributor 
245 0 0 |a Hierarchies Ontological and Ideological 
260 |b Oxford University Press,   |c 2012-10-05T17:48:38Z. 
856 |z Get fulltext  |u http://hdl.handle.net/1721.1/73655 
520 |a 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. 
546 |a en_US 
655 7 |a Article 
773 |t Mind 

Similar Items