ON THE LOGIC OF FACTUAL EQUIVALENCE

DOI10.1017/S1755020315000258zbMath1386.03027MaRDI QIDQ2804475

Fabrice Correia

Publication date: 29 April 2016

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

zbMATH Keywords

groundingsituationfactfactual equivalencefirst-degree equivalence

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Combined logics (03B62)

Related Items

A simple sequent calculus for Angell's logic of analytic containment ⋮ THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Logics of synonymy ⋮ Causation and fact granularity ⋮ PROOF SYSTEMS FOR EXACT ENTAILMENT ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ A theory of truthmaker content. I: Conjunction, disjunction and negation ⋮ Ground-theoretic equivalence ⋮ The logic of relative fundamentality ⋮ Grounding principles for (relevant) implication ⋮ On constructing a logic for the notion of complete and immediate formal grounding ⋮ Diversification of object-languages for propositional logics ⋮ The logic of ground ⋮ Identity and aboutness ⋮ Mighty belief revision ⋮ Toward a generalization of the logic of grounding

Cites Work

• Unnamed Item
• Truth-maker semantics for intuitionistic logic
• First degree entailments
• Semantics for analytic containment