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

(40)

• An impure logic of representational grounding
• On constructing a logic for the notion of complete and immediate formal grounding
• Towards a theory of ground-theoretic content
• Diversification of object-languages for propositional logics
• Axiomatic theories of partial ground. I: The base theory
• Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth
• Bolzano and Kim on grounding and unification
• Grounding and dependence
• Grounding, quantifiers, and paradoxes
• Defining formal explanation in classical logic by substructural derivability
• The logic of ground
• Pure logic of many-many ground
• Prospects for a theory of decycling
• What is wrong with self-grounding?
• An account of truthmaking
• Ground-theoretic equivalence
• Grounding and ontological dependence
• The logic of relative fundamentality
• On ground and consequence
• Structure by proxy, with an application to grounding
• Grounding principles for (relevant) implication
• A Critical Overview of the Most Recent Logics of Grounding
• PURE LOGIC OF ITERATED FULL GROUND
• Grounding rules for (relevant) implication
• Toward a generalization of the logic of grounding
• On defining the notion of complete and immediate formal grounding
• Formal explanations as logical derivations
• Fundamentality from grounding trees
• Grounding generalizations
• Grounding operators: transitivity and trees, logicality and balance
• Ground first: against the proof-theoretic definition of ground
• Reasons and grounds: a proof-theoretical investigation
• Propositional potentialism
• Russell-Myhill and grounding
• What stands between grounding rules and logical rules is the excluded middle
• Web consequence untangled
• Intertranslatability and ground-equivalence
• Conceptual (and hence mathematical) explanation, conceptual grounding and proof
• The problem of extrinsic grounding
• Hyperintensional epistemic justification: a ground-theoretic topic-sensitive semantics

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)