A LOGIC FOR ‘BECAUSE’

DOI10.1017/S1755020311000104zbMath1253.03020OpenAlexW2108081713MaRDI QIDQ3096822

Benjamin Schnieder

Publication date: 14 November 2011

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

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

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)

Related Items (33)

Grounding and supplementation ⋮ Pure logic of many-many ground ⋮ LOGICAL GROUNDS ⋮ A problem for a logic of ‘because’ ⋮ In defence of a logic for ‘because’ ⋮ An impure logic of representational grounding ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Explanation by status as empty-base explanation ⋮ Grounding and a priori epistemology: challenges for conceptualism ⋮ Ground-theoretic equivalence ⋮ How to properly lose direction ⋮ An argument against Aristotelian universals ⋮ The logic of relative fundamentality ⋮ On ground and consequence ⋮ Grounding principles for (relevant) implication ⋮ Explanatory asymmetries, ground, and ontological dependence ⋮ On constructing a logic for the notion of complete and immediate formal grounding ⋮ Towards a theory of ground-theoretic content ⋮ Explanation by induction? ⋮ A logic for best explanations ⋮ The consequence argument ungrounded ⋮ 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 ⋮ PURE LOGIC OF ITERATED FULL GROUND ⋮ The logic of ground ⋮ Bolzano and Kim on grounding and unification ⋮ Grounding and dependence ⋮ Why pure mathematical truths are metaphysically necessary: a set-theoretic explanation ⋮ Grounding, quantifiers, and paradoxes ⋮ Grounding rules for (relevant) implication ⋮ Formal explanations as logical derivations ⋮ Defining formal explanation in classical logic by substructural derivability

Cites Work

• Truth-making without truth-makers
• Probability, explanation, and information
• Balzano's theory of ground and consequence
• A Brief History of Natural Deduction
• TRUTH-FUNCTIONALITY

This page was built for publication: A LOGIC FOR ‘BECAUSE’