BIROn - Birkbeck Institutional Research Online

    Hierarchies ontological and ideological

    Linnebo, Øystein and Rayo, A. (2012) Hierarchies ontological and ideological. Mind 121 (482), pp. 269-308. ISSN 0026-4423.

    3174.pdf - First Submitted (AKA Pre-print)

    Download (524kB) | Preview


    Gödel 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 Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.


    Item Type: Article
    Additional Information: This is a pre-copy-editing, author-produced PDF of an article accepted for publication in "Mind" following peer review. The definitive publisher-authenticated version is not yet available online. This is an early draft and should not be cited without permission.
    School: Birkbeck Faculties and Schools > Faculty of Humanities and Social Sciences > School of Historical Studies
    Depositing User: Administrator
    Date Deposited: 08 Mar 2011 08:00
    Last Modified: 02 Aug 2023 16:54


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item