Synthese:1-41 (forthcoming)

Abstract
Say that two sentences are ground-theoretically equivalent iff they are interchangeable salva veritate in grounding contexts. Notoriously, ground-theoretic equivalence is a hyperintensional matter: even logically equivalent sentences may fail to be interchangeable in grounding contexts. Still, there seem to be some substantive, general principles of ground-theoretic equivalence. For example, it seems plausible that any sentences of the form \ and \ are ground-theoretically equivalent. What, then, are in general the conditions for two sentences to stand in the relation of ground-theoretic equivalence, and what are the logical features of that relation? This paper develops and defends an answer to these questions based on the mode-ified truthmaker theory of content presented in my recent paper ‘Towards a theory of ground-theoretic content’ :785–814, 2018).
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1007/s11229-019-02154-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,217
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical Grounding. Cambridge University Press. pp. 37--80.
Metaphysical Dependence: Grounding and Reduction.Gideon Rosen - 2010 - In Bob Hale & Aviv Hoffmann (eds.), Modality: Metaphysics, Logic, and Epistemology. Oxford University Press. pp. 109-36.
The Pure Logic of Ground.Kit Fine - 2012 - Review of Symbolic Logic 5 (1):1-25.
Angellic Content.Kit Fine - 2016 - Journal of Philosophical Logic 45 (2):199-226.
Grounding and Truth-Functions.Fabrice Correia - 2010 - Logique Et Analyse 53 (211):251-279.

View all 28 references / Add more references

Citations of this work BETA

Singular Troubles with Singleton Socrates.Stephan Krämer - forthcoming - Philosophy and Phenomenological Research.

Add more citations

Similar books and articles

Pure Logic of Iterated Full Ground.Jon Erling Litland - 2018 - Review of Symbolic Logic 11 (3):411-435.
On the Logic of Factual Equivalence.Fabrice Correia - 2016 - Review of Symbolic Logic 9 (1):103-122.
Model-Based Recasting in Answer-Set Programming.Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits & Stefan Woltran - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):75-104.
Σ 1 0 and Π 1 0 Equivalence Structures.Douglas Cenzer, Valentina Harizanov & Jeffrey B. Remmel - 2011 - Annals of Pure and Applied Logic 162 (7):490-503.
Axiomatic Theories of Partial Ground I: The Base Theory.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):161-191.
Models and Logical Consequence.Gil Sagi - 2014 - Journal of Philosophical Logic 43 (5):943-964.
Yet Another Puzzle of Ground.Johannes Korbmacher - 2015 - Kriterion - Journal of Philosophy 29 (2):1-10.
Maximal R.E. Equivalence Relations.Jeffrey S. Carroll - 1990 - Journal of Symbolic Logic 55 (3):1048-1058.
Ground.Michael J. Raven - 2015 - Philosophy Compass 10 (5):322-333.
Propositional Logic for Ground Semigroups of Context.Rolf Nossum - 2002 - Logic Journal of the IGPL 10 (3):273-297.

Analytics

Added to PP index
2019-06-18

Total views
22 ( #441,643 of 2,324,951 )

Recent downloads (6 months)
3 ( #303,931 of 2,324,951 )

How can I increase my downloads?

Downloads

My notes