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

DOI10.1007/s11229-016-1265-zOpenAlexW2555076355MaRDI QIDQ1709100

Francesca Poggiolesi

Publication date: 27 March 2018

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://halshs.archives-ouvertes.fr/halshs-01474697/file/lg21.pdf

zbMATH Keywords

derivabilitylogicgrounding

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Grounding and Propositional Identity: A Solution to Wilhelm’s Inconsistencies ⋮ Ground-theoretic equivalence ⋮ Grounding principles for (relevant) implication ⋮ A semantics for the impure logic of ground ⋮ A logic for best explanations ⋮ PURE LOGIC OF ITERATED FULL GROUND ⋮ Grounding, quantifiers, and paradoxes ⋮ Grounding rules for (relevant) implication ⋮ Toward a generalization of the logic of grounding ⋮ Formal explanations as logical derivations ⋮ Defining formal explanation in classical logic by substructural derivability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On defining the notion of complete and immediate formal grounding
• Some puzzles of ground
• Balzano's theory of ground and consequence
• ON THE LOGIC OF FACTUAL EQUIVALENCE
• LOGICAL GROUNDS
• A LOGIC FOR ‘BECAUSE’
• A Critical Overview of the Most Recent Logics of Grounding
• Sequent Calculi for Normal Modal Propositional Logics
• THE PURE LOGIC OF GROUND
• BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS