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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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 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.
Constructing ω-stable structures: model completeness.John T. Baldwin & Kitty Holland - 2004 - Annals of Pure and Applied Logic 125 (1-3):159-172.
Grounding and the argument from explanatoriness.David Mark Kovacs - 2017 - Philosophical Studies 174 (12):2927-2952.
An Impure Logic of Representational Grounding.Fabrice Correia - 2017 - Journal of Philosophical Logic 46 (5):507-538.
Logical grounds.Fabrice Correia - 2013 - Review of Symbolic Logic (1):1-29.
Kant on Proving Aristotle’s Logic as Complete.Huaping Lu-Adler - 2016 - Kantian Review 21 (1):1-26.

Analytics

Added to PP
2016-11-18

Downloads
72 (#224,393)

6 months
12 (#202,587)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Hyperintensionality.Francesco Berto & Daniel Nolan - 2021 - Stanford Encyclopedia of Philosophy.
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.
A Semantics for the Impure Logic of Ground.Louis deRosset & Kit Fine - 2023 - Journal of Philosophical Logic 52 (2):415-493.

View all 23 citations / Add more citations

References found in this work

On what grounds what.Jonathan Schaffer - 2009 - In David Manley, David J. Chalmers & Ryan Wasserman (eds.), Metametaphysics: New Essays on the Foundations of Ontology. Oxford University Press. pp. 347-383.
Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical Grounding. Cambridge University Press. pp. 37--80.
Metaphysical grounding.Ricki Bliss & Kelly Trogdon - 2021 - Stanford Encyclopedia of Philosophy.
Basic proof theory.A. S. Troelstra - 1996 - 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 22 references / Add more references