A Critical Overview of the Most Recent Logics of Grounding

DOI10.1007/978-3-319-31644-4_15MaRDI QIDQ3295827zbMATH OpenOpenAlexFDO

Authors 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

groundingproof theorylogic

Mathematics Subject Classification ID

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

Recommendations

• Toward a generalization of the logic of grounding
• Grounding, quantifiers, and paradoxes
• An impure logic of representational grounding
• Logics of common ground
• A semantics for the impure logic of ground
• On constructing a logic for the notion of complete and immediate formal grounding
• Logical optimality of groundness analysis
• scientific article; zbMATH DE number 7644093
• Grounding and ontological dependence
• The logic of ground

Cites work

• scientific article; zbMATH DE number 1252393 (Why is no real title available?)
• scientific article; zbMATH DE number 3450154 (Why is no real title available?)
• scientific article; zbMATH DE number 6174943 (Why is no real title available?)
• scientific article; zbMATH DE number 6457706 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A cut-free simple sequent calculus for modal logic S5
• A logic for `because'
• Balzano's theory of ground and consequence
• Bolzano's concept of grounding (\textit{Abfolge}) against the background of normal proofs
• Explanation in metaphysics and Bolzano's theory of ground and consequence
• From single agent to multi-agent via hypersequents
• Gentzen calculi for modal propositional logic
• Grounding and truth-functions
• LOGICAL GROUNDS
• Simple consequence relations
• THE PURE LOGIC OF GROUND
• Untersuchungen über das logische Schliessen. I

Cited in

(17)

• Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
• Grounding rules for (relevant) implication
• Toward a generalization of the logic of grounding
• Could the grounds's grounding the grounded ground the grounded?
• Grounding, quantifiers, and paradoxes
• Grounding and truth-functions
• An impure logic of representational grounding
• The logic of ground
• New frontiers in ground, essence, and modality: introduction
• On weak ground
• Disjunction and the logic of grounding
• Ground-theoretic equivalence
• Grounding principles for (relevant) implication
• The emergence of ground: some limitative results
• Grounding and Propositional Identity: A Solution to Wilhelm’s Inconsistencies
• On defining the notion of complete and immediate formal grounding
• On constructing a logic for the notion of complete and immediate formal grounding

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3295827)