THE PURE LOGIC OF GROUND

DOI10.1017/S1755020311000086zbMath1250.03010OpenAlexW2066454455MaRDI QIDQ5389587

Kit Fine

Publication date: 21 April 2012

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

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

zbMATH Keywords

groundfact-based semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (41)

Grounding and supplementation ⋮ Pure logic of many-many ground ⋮ Emptying a paradox of ground ⋮ LOGICAL GROUNDS ⋮ What is wrong with self-grounding? ⋮ A problem for a logic of ‘because’ ⋮ An impure logic of representational grounding ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Grounding generalizations ⋮ A theory of truthmaker content. II: Subject-matter, common content, remainder and ground ⋮ Open future, supervaluationism and the growing-block theory: a stage-theoretical account ⋮ Building low level causation out of high level causation ⋮ Grounding and a priori epistemology: challenges for conceptualism ⋮ Ground-theoretic equivalence ⋮ Essence and modal knowledge ⋮ The logic of relative fundamentality ⋮ The emergence of ground: some limitative results ⋮ Grounding principles for (relevant) implication ⋮ A semantics for the impure logic of ground ⋮ The metalogic of ground: pure and iterative systems ⋮ A hyperintensional criterion of irrelevance ⋮ On constructing a logic for the notion of complete and immediate formal grounding ⋮ Towards a theory of ground-theoretic content ⋮ Grounding, conceivability, and the mind-body problem ⋮ A logic for best explanations ⋮ A Critical Overview of the Most Recent Logics of Grounding ⋮ On defining the notion of complete and immediate formal grounding ⋮ Axiomatic theories of partial ground. I: The base theory ⋮ Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth ⋮ ON WEAK GROUND ⋮ Hyper-slingshot. Is fact-arithmetic possible? ⋮ PURE LOGIC OF ITERATED FULL GROUND ⋮ The logic of ground ⋮ The essence of grounding ⋮ Bolzano and Kim on grounding and unification ⋮ Grounding and dependence ⋮ Grounding, quantifiers, and paradoxes ⋮ Do We Need Mathematical Facts? ⋮ Grounding rules for (relevant) implication ⋮ Toward a generalization of the logic of grounding ⋮ Formal explanations as logical derivations

Cites Work

• Troubles with truth-making: Necessitation and projection

This page was built for publication: THE PURE LOGIC OF GROUND