From Iff to Is: Some New Thoughts on Identity in Relevant Logics

In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 343-363 (2019)
  Copy   BIBTEX

Abstract

In this paper, I set out a semantics for identity in relevant logic that is based on an analogy between the biconditional and identity. This analogy supports the semantics that Priest has set out for identity in basic relevant logic and it motivates a version of the Routley–Meyer semantics in which identities can be viewed as constraints on the ternary relation that is used to treat implication.

Categories

Keywords

Reprint years

DOI

10.1007/978-3-030-25365-3_16

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Relevant Logic E and Some Close Neighbours: A Reinterpretation.Edwin Mares & Shawn Standefer - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):695--730.
On the Ternary Relation and Conditionality.Jc Beall, Ross T. Brady, J. Michael Dunn, A. P. Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John Slaney & Richard Sylvan - 2012 - Journal of Philosophical Logic 41 (3):595 - 612.
A Routley-Meyer type semantics for relevant logics including B r plus the disjunctive syllogism.Gemma Robles & José M. Méndez - 2010 - Journal of Philosophical Logic 39 (2):139-158.
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
A Routley-Meyer Semantics for Łukasiewicz 3-valued Logic.Gemma Robles - 2018 - Proceedings of the XXIII World Congress of Philosophy 19:29-34.
Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics.Katalin Bimbo, Jon Michael Dunn & Nicholas Ferenz - 2018 - Australasian Journal of Logic 15 (2):171-209.
Relational semantics for the 4-valued relevant logics BN4 and E4.Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela & Marcos M. Recio - 2016 - Logic and Logical Philosophy 25 (2):173-201.
A cognitive view of relevant implication.Daniele Porello & Claudio Masolo - 2015 - In Antonio Lieto, Cristina Battaglino, Daniele P. Radicioni & Manuela Sanguinietti (eds.), Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, Turin, Italy, September 28-29, 2015. pp. 40--53.
A relevant theory of conditionals.Edwin D. Mares & André Fuhrmann - 1995 - Journal of Philosophical Logic 24 (6):645 - 665.
A Routley-Meyer semantics for Ackermann's logics of “strenge implication”.José M. Méndez - 2009 - Logic and Logical Philosophy 18 (3-4):191-219.
Simplified semantics for relevant logics (and some of their rivals).Greg Restall - 1993 - Journal of Philosophical Logic 22 (5):481 - 511.
Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.
Neighborhoods for entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
Conservativity of Heyting implication over relevant quantification.Robert Goldblatt - 2009 - Review of Symbolic Logic 2 (2):310-341.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.

Analytics

Added to PP
2020-06-17

Downloads
11 (#1,105,752)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edwin Mares
Victoria University of Wellington

Citations of this work

Identity in Mares-Goldblatt Models for Quantified Relevant Logic.Shawn Standefer - 2021 - Journal of Philosophical Logic 50 (6):1389-1415.

Add more citations

References found in this work

No references found.

Add more references