LOGICAL GROUNDS

DOI10.1017/S1755020313000300MaRDI QIDQ2940865zbMATH OpenOpenAlexFDO

Authors Fabrice Correia

Publication date 21 January 2015

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020313000300

zbMATH Keywords

grounding

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05)

Cites work

• A logic for `because'
• An introduction to non-classical logic. From if to is
• Davis's formulation of Kripke's theory of truth: A correction
• Grounding, dependence, and paradox
• Outline of a Theory of Truth
• Some puzzles of ground
• THE PURE LOGIC OF GROUND
• What truth depends on

Cited in

(30)

• Pure logic of many-many ground
• Diversification of object-languages for propositional logics
• Defining formal explanation in classical logic by substructural derivability
• Fundamentality from grounding trees
• Axiomatic theories of partial ground. I: The base theory
• Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth
• A Critical Overview of the Most Recent Logics of Grounding
• Grounding rules for (relevant) implication
• PURE LOGIC OF ITERATED FULL GROUND
• Formal explanations as logical derivations
• Grounding generalizations
• Prospects for a theory of decycling
• Toward a generalization of the logic of grounding
• What is wrong with self-grounding?
• Bolzano and Kim on grounding and unification
• Grounding and dependence
• Grounding, quantifiers, and paradoxes
• An impure logic of representational grounding
• The logic of ground
• Grounding operators: transitivity and trees, logicality and balance
• Ground-theoretic equivalence
• Grounding and ontological dependence
• Towards a theory of ground-theoretic content
• An account of truthmaking
• On ground and consequence
• Grounding principles for (relevant) implication
• The logic of relative fundamentality
• Structure by proxy, with an application to grounding
• 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: LOGICAL GROUNDS

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