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

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