Kriener, Jönne (2015) Groundedness. PhD thesis, Birkbeck, University of London.
|
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: | 01 Nov 2023 12:24 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/40121 |
| DOI: | https://doi.org/10.18743/PUB.00040121 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
