Grounding principles for (relevant) implication

Synthese 198 (8):7351-7376 (2020)
  Copy   BIBTEX

Abstract

Most of the logics of grounding that have so far been proposed contain grounding axioms, or grounding rules, for the connectives of conjunction, disjunction and negation, but little attention has been dedicated to the implication connective. The present paper aims at repairing this situation by proposing adequate grounding principles for relevant implication. Because of the interaction between negation and implication, new grounding principles concerning negation will also arise.

Categories

Keywords

Reprint years

2021

DOI

10.1007/s11229-019-02523-z

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Grounding rules for (relevant) implication.Francesca Poggiolesi - 2020 - Journal of Applied Non-Classical Logics 31 (1):26-55.
Towards a generalization of the logic of grounding.Francesca Poggiolesi & Nissim Francez - 2021 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 36 (1):5-24.
On constructing a logic for the notion of complete and immediate formal grounding.Francesca Poggiolesi - 2018 - Synthese 195 (3):1231-1254.
Investigation into certain implication-negation fragments of propositional logic.Lung-ock Chung - unknown
Grounding, Quantifiers, and Paradoxes.Francesco A. Genco, Francesca Poggiolesi & Lorenzo Rossi - 2021 - Journal of Philosophical Logic 50 (6):1417-1448.
A Critical Overview of the Most Recent Logics of Grounding.Francesca Poggiolesi - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing.
Logical Grounding: The Case of “ if‐then‐else”.Nissim Francez - 2021 - Theoria 87 (5):1175-1192.
Logical Grounding: The Case of “ if‐then‐else”.Nissim Francez - 2021 - Theoria 87 (5):1175-1192.
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable.Gemma Robles & José M. Méndez - 2023 - Journal of Philosophical Logic 52 (3):915-938.
How Principles Ground.David Enoch - 2019 - Oxford Studies in Metaethics 14:1-22.

Analytics

Added to PP
2020-01-09

Downloads
46 (#336,513)

6 months
12 (#305,852)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Grounding rules for (relevant) implication.Francesca Poggiolesi - 2020 - Journal of Applied Non-Classical Logics 31 (1):26-55.

Add more citations

References found in this work

On what grounds what.Jonathan Schaffer - 2009 - In Ryan Wasserman, David Manley & David Chalmers (eds.), Metametaphysics: New Essays on the Foundations of Ontology. Oxford, England: Oxford University Press. pp. 347-383.
Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical grounding: understanding the structure of reality. Cambridge: Cambridge University Press. pp. 37--80.
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.
A logic for 'because'.Benjamin Schnieder - 2011 - Review of Symbolic Logic 4 (3):445-465.

View all 26 references / Add more references