Truthmaker Semantics for Relevant Logic
Journal of Philosophical Logic 49 (4):681-702 (2020)
Abstract
I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I then investigate ways to add conjunction, disjunction, and negation; and I discuss how to justify contraposition and excluded middle within a truthmaker semantics.Author's Profile
DOI
10.1007/s10992-019-09533-9
My notes
Similar books and articles
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
An Exact Truthmaker Semantics for Permission and Obligation.Albert J. J. Anglberger, Johannes Korbmacher & Federico L. G. Faroldi - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. College Publications. pp. 16-31.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
An object‐based truthmaker semantics for modals.Friederike Moltmann - 2018 - Philosophical Issues 28 (1):255-288.
Situations, Alternatives, and the Semantics of 'Cases'.Friederike Moltmann - 2019 - Linguistics and Philosophy (1):1-41.
Simplified semantics for relevant logics (and some of their rivals).Greg Restall - 1993 - Journal of Philosophical Logic 22 (5):481 - 511.
Alternatives and Truthmakers in Conditional Semantics.Paolo Santorio - 2018 - Journal of Philosophy 115 (10):513-549.
Outline of an Object-Based Truthmaker Semantics for Modals and Propositional Attitudes.Friederike Moltmann - forthcoming - In Dirk Kindermann, Peter Van Elswyk & Andy Egan (eds.), Unstructured Content. Oxford University Press.
A relevant theory of conditionals.Edwin D. Mares & André Fuhrmann - 1995 - Journal of Philosophical Logic 24 (6):645 - 665.
Logic and/of Truthmaking.Jamin Asay - 2016 - In Syraya Chin-Mu Yang, Duen-Min Deng & Hanti Lin (eds.), Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium. Springer Verlag.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
The american plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics.Richard Routley - 1984 - Studia Logica 43 (1-2):131 - 158.
Analytics
Added to PP
2019-08-06
Downloads
733 (#11,740)
6 months
126 (#5,644)
2019-08-06
Downloads
733 (#11,740)
6 months
126 (#5,644)
Historical graph of downloads
Author's Profile
Citations of this work
The Laws of Thought and the Laws of Truth as Two Sides of One Coin.Ulf Hlobil - forthcoming - Journal of Philosophical Logic:1-31.
Disjunctive Parts.Mark Jago - forthcoming - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Outstanding Contributions to Logic: Kit Fine. Springer.
Grounding principles for (relevant) implication.Francesca Poggiolesi - 2020 - Synthese 198 (8):7351-7376.
Proof Systems for Exact Entailment.Johannes Korbmacher - forthcoming - Review of Symbolic Logic:1-37.
References found in this work
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
A Theory of Truthmaker Content II: Subject-matter, Common Content, Remainder and Ground.Kit Fine - 2017 - Journal of Philosophical Logic 46 (6):675-702.