On constructing a logic for the notion of complete and immediate formal grounding

Synthese 195 (3):1231-1254 (2018)
  Copy   BIBTEX

Abstract

In Poggiolesi we have introduced a rigorous definition of the notion of complete and immediate formal grounding; in the present paper our aim is to construct a logic for the notion of complete and immediate formal grounding based on that definition. Our logic will have the form of a calculus of natural deduction, will be proved to be sound and complete and will allow us to have fine-grained grounding principles.

Categories

Keywords

Reprint years

DOI

10.1007/s11229-016-1265-z

Other Versions

No versions found

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

On defining the notion of complete and immediate formal grounding.Francesca Poggiolesi - 2016 - Synthese 193 (10).
Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
Pure Logic of Many-Many Ground.Jon Erling Litland - 2016 - Journal of Philosophical Logic 45 (5):531-577.
Simplicity and Economy in Bolzano’s Theory of Grounding.Stefan Peter Roski & Antje Rumberg - 2016 - Journal of the History of Philosophy 54 (3):469-496.
On weak ground.Louis deRosset - 2014 - Review of Symbolic Logic 7 (4):713-744.
A Puzzle About Partial Grounding.Michael J. Clark - 2015 - Thought: A Journal of Philosophy 4 (3):189-197.
Well Founding Grounding Grounding.Gabriel Oak Rabin & Brian Rabern - 2016 - Journal of Philosophical Logic 45 (4):349-379.
Arithmetic complexity of the predicate logics of certain complete arithmetic theories.Valery Plisko - 2001 - Annals of Pure and Applied Logic 113 (1-3):243-259.
Truthmaking and Grounding.Aaron M. Griffith - 2014 - Inquiry: An Interdisciplinary Journal of Philosophy 57 (2):196-215.
Grounding: necessary or contingent?Kelly Trogdon - 2013 - Pacific Philosophical Quarterly 94 (4):465-485.

Analytics

Added to PP
2016-11-18

Downloads
148 (#288,898)

6 months
14 (#827,216)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Francesca Poggiolesi
Francesca Poggiolesi
Centre National de la Recherche Scientifique

Citations of this work

Hyperintensionality.Francesco Berto & Daniel Nolan - 2021 - Stanford Encyclopedia of Philosophy.
A Semantics for the Impure Logic of Ground.Louis deRosset & Kit Fine - 2023 - Journal of Philosophical Logic 52 (2):415-493.
Debunking Logical Ground: Distinguishing Metaphysics from Semantics.Michaela Markham McSweeney - 2020 - Journal of the American Philosophical Association 6 (2):156-170.
Ground and Grain.Peter Fritz - 2021 - Philosophy and Phenomenological Research 105 (2):299-330.

View all 45 citations / Add more citations

References found in this work

Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder, Metaphysical grounding: understanding the structure of reality. Cambridge: Cambridge University Press. pp. 37--80.
On what grounds what.Jonathan Schaffer - 2009 - In David Chalmers, David Manley & Ryan Wasserman, Metametaphysics: New Essays on the Foundations of Ontology. Oxford, GB: Oxford University Press. pp. 347-383.
Metaphysical grounding.Ricki Bliss & Kelly Trogdon - 2021 - Stanford Encyclopedia of Philosophy.
Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
The Pure Logic of Ground.Kit Fine - 2012 - Review of Symbolic Logic 5 (1):1-25.

View all 26 references / Add more references