Abstract
We begin to fill a lacuna in the relevance logic enterprise by providing a foundational analysis of identity in relevance logic. We consider rival interpretations of identity in this context, settling on the relevant indiscernibility interpretation, an interpretation related to Dunn's relevant predication project. We propose a general test for the stability of an axiomatisation of identity, relative to this interpretation, and we put various axiomatisations to this test. We fill our discussion out with both formal and philosophical remarks on identity in relevance logic.
Similar content being viewed by others
REFERENCES
A. R. Anderson and N. D. Belnap (1975). Entailment: The Logic of Relevance and Necessity, volume I, Princeton University Press, Princeton.
A. R. Anderson, N. D. Belnap and J. M. Dunn (1992). Entailment: The Logic of Relevance and Necessity, volume II, Princeton University Press, Princeton.
R. Carnap (1947). Meaning and Necessity, University of Chicago Press, Chicago.
J. M. Dunn (1987). “Relevant predication 1: The formal theory”, Journal of Philosophical Logic 16, 347–381. Reprinted in Anderson, Belnap and Dunn (1992), 445–471. Page references are to this reprinting.
J. M. Dunn (1990). “The frame problem and relevant predication”, in Knowledge, Representation and Defeasible Reasoning (H. Kyburg, R. Loui and C. Carlson, eds.), Kluwer Academic Publishers, Dordrecht, 108–116.
J. M. Dunn (1990a). “Relevant predication 2: intrinsic properties and internal relations”, Philosophical Studies 60, 177–206.
J. M. Dunn (1990b). “Relevant predication 3: essential properties”, in Truth or Consequences: Essays in Honor of Nuel Belnap (J. M. Dunn and A. Gupta, eds.), Kluwer Academic Publishers, Dordrecht, 77–95.
J. M. Dunn (199+). “A logic framework for the notion of natural property”, manuscript.
J. M. Dunn (199+a). “Is existence a (relevant) predicate?”, manuscript.
K. Fine (1988). “Semantics for quantified relevance logic”, Journal of Philosophical Logic 17, 27–59. Reprinted in Anderson, Belnap and Dunn (1992), 235–266.
J. A. Fodor (1987). “Modules, frames, fridgeons, sleeping dogs, and the music of the spheres”, in The Robot's Dilemma (Z. W. Plyshyn, ed.), Ablex Publishing Corporation, Norwood, NJ., 139–149.
G. Gentzen (1934). “Untersuchungen über das Logische Schliessen”, Mathematische Zeitschrift 39, 176–210, 405–531. English translation, “Investigations into logical deduction”, by M. E. Szabo, in The Collected Papers of Gerhard Gentzen (M. E. Szabo, ed.), North-Holland Publishing Co., Amsterdam, 1969, 68–131.
P. Geach (1969). God and the Soul, Routledge and Kegan Paul Ltd., London.
P. Kremer (1989). “Relevant predication: grammatical characterisations”, Journal of Philosophical Logic 18, 349–382.
P. Kremer (1994). Real Properties, Relevance Logic and Identity, Doctoral Dissertation, University of Pittsburgh, University Microfilms, Ann Arbor.
P. Kremer (1997). “Dunn's relevant predication, real properties and identity”, Erkenntnis 47, 37–65.
R. C. B. Marcus (1975). “Does the principle of substitutivity rest on a mistake?”, The Logical Enterprise (A. R. Anderson, R.M. Martin, R. C. B. Marcus, eds.), Yale University Press, New Haven, 31–38. Reprinted in Marcus (1993), 101–109. Page references are to this reprinting.
R. C. B. Marcus (1986). “Some revisionary proposals about belief and believing”, Philosophy and Phenomenological Research 50, 133–153. Revised and reprinted in Marcus (1993), 233–255.
R. C. B. Marcus (1993). Modalities: Philosophical Essays, Oxford University Press, Oxford.
E. Mares (1992). “Semantics for relevance logic with identity”, Studia Logica 51, 1–20.
R. K. Meyer and R. Routley (1974). “E is a conservative extension of EI”, Philosophia 4, 223–249.
W. V. O. Quine (1953). “Three grades of modal involvement”, Proceedings of the Eleventh Congress of Philosophy 14, North-Holland Publishing Co., Amsterdam, 65–81. Reprinted in The Ways of Paradox and Other Essays (W. V. O. Quine), second edition, Harvard University Press, Cambridge, MA, 1976, 156–174.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kremer, P. Relevant identity. Journal of Philosophical Logic 28, 199–222 (1999). https://doi.org/10.1023/A:1004323917968
Issue Date:
DOI: https://doi.org/10.1023/A:1004323917968