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.

Categories

Keywords

DOI

10.1002/tht3.416

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
Grounding, Explanation, and the Limit of Internality.Jon Erling Litland - 2015 - Philosophical Review 124 (4):481-532.
Bolzano’s concept of grounding against the background of normal proofs.Antje Rumberg - 2013 - Review of Symbolic Logic 6 (3):424-459.
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.
Concept Formation and Concept Grounding.Jörgen Sjögren & Christian Bennet - 2014 - Philosophia 42 (3):827-839.
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.
Grounding and metaphysical explanation: it’s complicated.Anna-Sofia Maurin - 2019 - Philosophical Studies 176 (6):1573-1594.
Reconstructing the grounding of Kant's ethics: a critical assessment.Christian Onof - 2009 - Kant Studien 100 (4):496-517.
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