On defining the notion of complete and immediate formal grounding

DOI10.1007/s11229-015-0923-xzbMath1380.03021OpenAlexW1870031994MaRDI QIDQ513936

Francesca Poggiolesi

Publication date: 8 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-015-0923-x

zbMATH Keywords

complexityderivabilitygroundingdefinition

Mathematics Subject Classification ID

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

Related Items (15)

An impure logic of representational grounding ⋮ Grounding and Propositional Identity: A Solution to Wilhelm’s Inconsistencies ⋮ Ground-theoretic equivalence ⋮ The logic of relative fundamentality ⋮ Grounding principles for (relevant) implication ⋮ A semantics for the impure logic of ground ⋮ On constructing a logic for the notion of complete and immediate formal grounding ⋮ Diversification of object-languages for propositional logics ⋮ PURE LOGIC OF ITERATED FULL GROUND ⋮ Bolzano and Kim on grounding and unification ⋮ 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

• Some puzzles of ground
• Balzano's theory of ground and consequence
• LOGICAL GROUNDS
• A LOGIC FOR ‘BECAUSE’
• 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: On defining the notion of complete and immediate formal grounding