scientific article
From MaRDI portal
Publication:3099308
zbMath1253.03028MaRDI QIDQ3099308
Publication date: 1 December 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
propositional logicgroundingfactsoperationallogic of groundingfactual equivalencetruth-functionfactual identitypredicational
Classical first-order logic (03B10) Classical propositional logic (03B05) Logic in the philosophy of science (03A10)
Related Items (37)
Correia semantics revisited ⋮ Tableaux and restricted quantification for systems related to weak Kleene logic ⋮ Grounding and supplementation ⋮ Pure logic of many-many ground ⋮ What is wrong with self-grounding? ⋮ In defence of a logic for ‘because’ ⋮ An impure logic of representational grounding ⋮ A simple sequent calculus for Angell's logic of analytic containment ⋮ Causal necessitarianism and the monotonicity objection ⋮ Fundamentality from grounding trees ⋮ Causation and fact granularity ⋮ A kind route from grounding to fundamentality ⋮ A theory of truthmaker content. II: Subject-matter, common content, remainder and ground ⋮ Building low level causation out of high level causation ⋮ Grounding and a priori epistemology: challenges for conceptualism ⋮ Ground-theoretic equivalence ⋮ An argument against Aristotelian universals ⋮ 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 ⋮ Against grounding necessitarianism ⋮ On constructing a logic for the notion of complete and immediate formal grounding ⋮ Towards a theory of ground-theoretic content ⋮ Explanation by induction? ⋮ 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 ⋮ Hyper-slingshot. Is fact-arithmetic possible? ⋮ PURE LOGIC OF ITERATED FULL GROUND ⋮ Supervenience, Dependence, Disjunction ⋮ The logic of ground ⋮ Bolzano and Kim on grounding and unification ⋮ Grounding and dependence ⋮ Grounding, quantifiers, and paradoxes ⋮ Grounding rules for (relevant) implication ⋮ Formal explanations as logical derivations
This page was built for publication:
