On Non-transitive “Identity”

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

Abstract

Graham Priest takes the relation of identity to be non-transitive. In this paper, we are going to discuss several consequences of identity as a non-transitive relation. We will consider the Henkin-style completeness proof for classical first-order logic with a non-transitive “identity” predicate, Leibniz-identity in Priest’s second-order minimal logic of paradox, and the question whether or not identity of individuals should be defined as Leibniz-identity.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-030-25365-3_25

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

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

Non-transitive identity.Graham Priest - 2010 - In Richard Dietz & Sebastiano Moruzzi, Cuts and clouds: vagueness, its nature, and its logic. New York: Oxford University Press. pp. 406--416.
On the Overlap Between Everything and Nothing.Massimiliano Carrara, Filippo Mancini & Jeroen Smid - 2022 - Logic and Logical Philosophy 31 (1):143-160.
Vagueness and Identity. A Granular Approach.Silvia Gaio - 2010 - Dissertation, University of Padova
The non-transitivity of the contingent and occasional identity relations.Ralf M. Bader - 2012 - Philosophical Studies 157 (1):141-152.
Introduction.Timothy Williamson - 1990 - In Identity and Discrimination. Cambridge, Mass., USA: Wiley-Blackwell. pp. 1–3.
Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable.Ian Pratt-Hartmann - 2018 - Mathematical Logic Quarterly 64 (3):218-248.
From Iff to Is: Some New Thoughts on Identity in Relevant Logics.Edwin Mares - 2019 - In Can Başkent & Thomas Macaulay Ferguson, Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 343-363.
On the Logical Adequacy of Identity Criteria.Massimiliano Carrara & Silvia Gaio - unknown
The proper treatment of identity in dialetheic metaphysics.Nicholas K. Jones - 2020 - The Philosophical Quarterly 70 (278):65-92.
Transitivity When the Same are Distinct.Eric de Araujo - 2022 - Erkenntnis 88 (7):2893-2909.

Analytics

Added to PP
2020-06-17

Downloads
30 (#844,534)

6 months
7 (#633,568)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

A novel approach to equality.Andrzej Indrzejczak - 2021 - Synthese 199 (1-2):4749-4774.
Non-transitive Correspondence Analysis.Yaroslav Petrukhin & Vasily Shangin - 2023 - Journal of Logic, Language and Information 32 (2):247-273.

Add more citations

References found in this work

No references found.

Add more references