A Simple Proof of Grounding Internality

Thought: A Journal of Philosophy 8 (3):154-166 (2019)
  Copy   BIBTEX

Abstract

Some people think that grounding is a type of identity. And some people think that grounding connections hold necessarily. I show that, under plausible assumptions, if grounding is a type of identity, then grounding connections hold necessarily.

Similar books and articles

Internality and interpretable automorphism groups in simple theories.Ziv Shami - 2004 - Annals of Pure and Applied Logic 129 (1-3):149-162.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Cut-Elimination for Simple Type Theory with an Axiom of Choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
A Simple Proof that Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.
Truth‐Grounding and Transitivity.Tuomas E. Tahko - 2013 - Thought: A Journal of Philosophy 2 (4):332-340.
Simplicity and Economy in Bolzano’s Theory of Grounding.Stefan Roski & Antje Rumberg - 2016 - Journal of the History of Philosophy 54 (3):469-496.
Ground grounded.Theodore Sider - 2020 - Philosophical Studies 177 (3):747-767.
Caring and Internality.Agnieszka Jaworska - 2007 - Philosophy and Phenomenological Research 74 (3):529-568.
Completeness of MLL Proof-Nets w.r.t. Weak Distributivity.Jean-Baptiste Joinet - 2007 - Journal of Symbolic Logic 72 (1):159 - 170.
On nested simple recursion.Ján Komara - 2011 - Archive for Mathematical Logic 50 (5-6):617-624.

Analytics

Added to PP
2019-05-22

Downloads
266 (#55,966)

6 months
48 (#43,853)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Adam Lovett
London School of Economics

Citations of this work

Metaphysical grounding.Ricki Bliss & Kelly Trogdon - 2021 - Stanford Encyclopedia of Philosophy.
Grounding, Necessity, and Relevance.Salim Hirèche - 2023 - Philosophical Studies:1-22.
Reasons Why Not - On the Positive Grounds of Negative Truths.Julio De Rizzo - 2019 - Stuttgart, Deutschland: Metzler Verlag/ Springer.

Add more citations

References found in this work

Metaphysical Dependence: Grounding and Reduction.Gideon Rosen - 2010 - In Bob Hale & Aviv Hoffmann (eds.), Modality: Metaphysics, Logic, and Epistemology. Oxford University Press. pp. 109-135.
Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical Grounding. Cambridge University Press. pp. 37--80.
To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
Against Grounding Necessitarianism.Alexander Skiles - 2015 - Erkenntnis 80 (4):717-751.
The question of realism.Kit Fine - 2001 - Philosophers' Imprint 1:1-30.

View all 25 references / Add more references