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.

    [img]
    Preview
    Text
    3174.pdf - First Submitted (AKA Pre-print)

    Download (524kB) | Preview

    Abstract

    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.

    Metadata

    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
    URI: https://eprints.bbk.ac.uk/id/eprint/3174

    Statistics

    Activity Overview
    6 month trend
    950Downloads
    6 month trend
    331Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item