BIROn - Birkbeck Institutional Research Online

    Groundedness

    Kriener, Jönne (2015) Groundedness. PhD thesis, Birkbeck, University of London.

    [img]
    Preview
    PDF
    kriener-groundedness.pdf - Full Version

    Download (1MB) | Preview

    Abstract

    In philosophical logic, a certain family of model constructions has received particular attention. Prominent examples are the cumulative hierarchy of well-founded sets, and Kripke’s least fixed point models of grounded truth. I develop a general formal theory of groundedness and explain how the well-founded sets, Cantor’s extended numbersequence and Kripke’s concepts of semantic groundedness are all instances of the general concept, and how the general framework illuminates these cases. Then, I develop a new approach to a grounded theory of proper classes. However, the general concept of groundedness does not account for the philosophical significance of its paradigm instances. Instead, I argue, the philosophical content of the cumulative hierarchy of sets is best understood in terms of a primitive notion of ontological priority. Then, I develop an analogous account of Kripke’s models. I show that they exemplify the in-virtue-of relation much discussed in contemporary metaphysics, and thus are philosophically significant. I defend my proposal against a challenge from Kripke’s “ghost of the hierarchy”.

    Metadata

    Item Type: Thesis
    Copyright Holders: The copyright of this thesis rests with the author, who asserts his/her right to be known as such according to the Copyright Designs and Patents Act 1988. No dealing with the thesis contrary to the copyright or moral rights of the author is permitted.
    Depositing User: Acquisitions And Metadata
    Date Deposited: 26 Mar 2015 16:06
    Last Modified: 14 Jun 2021 17:34
    URI: https://eprints.bbk.ac.uk/id/eprint/40121

    Statistics

    Downloads
    Activity Overview
    0Downloads
    0Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item