A Critical Overview of the Most Recent Logics of Grounding

DOI10.1007/978-3-319-31644-4_15zbMath1436.03068OpenAlexW2500901074MaRDI QIDQ3295827

Francesca Poggiolesi

Publication date: 13 July 2020

Published in: Boston Studies in the Philosophy and History of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-31644-4_15

zbMATH Keywords

proof theorylogicgrounding

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (6)

Grounding and Propositional Identity: A Solution to Wilhelm’s Inconsistencies ⋮ Ground-theoretic equivalence ⋮ Grounding principles for (relevant) implication ⋮ On constructing a logic for the notion of complete and immediate formal grounding ⋮ Grounding rules for (relevant) implication ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Cites Work

• Simple consequence relations
• Gentzen calculi for modal propositional logic
• Balzano's theory of ground and consequence
• Untersuchungen über das logische Schliessen. I
• From single agent to multi-agent via hypersequents
• LOGICAL GROUNDS
• A LOGIC FOR ‘BECAUSE’
• A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
• THE PURE LOGIC OF GROUND
• BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Critical Overview of the Most Recent Logics of Grounding