An impure logic of representational grounding

DOI10.1007/S10992-016-9409-7MaRDI QIDQ1685155zbMATH OpenOpenAlexFDO

Authors Fabrice Correia

Publication date 13 December 2017

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-016-9409-7

zbMATH Keywords

logic of groundingmetaphysical groundingtruth-functions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other nonclassical logic (03B60)

Recommendations

• A Critical Overview of the Most Recent Logics of Grounding
• The logic of ground
• The logic of relative fundamentality
• On weak ground
• On constructing a logic for the notion of complete and immediate formal grounding

Cites work

• A logic for `because'
• A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
• Grounding and supplementation
• Grounding and truth-functions
• LOGICAL GROUNDS
• On defining the notion of complete and immediate formal grounding
• On weak ground
• Some puzzles of ground
• The construction of logical space
• THE PURE LOGIC OF GROUND
• Well founding grounding grounding

Cited in

(17)

• On constructing a logic for the notion of complete and immediate formal grounding
• The logic of ground
• Ground-theoretic equivalence
• The logic of relative fundamentality
• On ground and consequence
• A semantics for the impure logic of ground
• The metalogic of ground: pure and iterative systems
• A Critical Overview of the Most Recent Logics of Grounding
• PURE LOGIC OF ITERATED FULL GROUND
• On weak ground
• Grounding generalizations
• Structured propositions and a semantics for unrestricted impure logics of ground
• Ground first: against the proof-theoretic definition of ground
• Reasons and grounds: a proof-theoretical investigation
• A new semantic framework for the logic of worldly grounding (and beyond)
• Introduction: Truthmaker semantics: what, what for, and how?
• Approaches to the impure logic of ground

This page was built for publication: An impure logic of representational grounding

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