David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Notre Dame Journal of Formal Logic 43 (1):27-50 (2002)
This paper is the first part of an exploration into the logical properties of relative identity. After providing the semantic grounds for various monadic logics of relative identity, I define the minimal system and its nine extensions. It is suggested that despite their purely formal origin at least some of them may contain nontrivial philosophical insights. All logics are axiomatized by means of sound and complete sequent calculi. I show their affinities with existing formalizations
|Keywords||relative identity indiscernibility|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Christopher Hughes Conn (2012). Relative Identity, Singular Reference, and the Incarnation : A Response to Le Poidevin. Religious Studies 48 (1):61 - 82.
Similar books and articles
Massimiliano Carrara & Elisabetta Sacchi (2007). Cardinality and Identity. Journal of Philosophical Logic 36 (5):539 - 556.
Harold W. Noonan (1980). Objects and Identity: An Examination of the Relative Identity Thesis and its Consequences. Distributors for the U.S. And Canada [by] Kluwer Boston.
P. Garbacz (2004). Subsumption and Relative Identity. Axiomathes 14 (4):341-360.
Massimiliano Carrara (2009). Relative Identity and the Number of Artifacts. Techne 13 (2):108-122.
Stéphane Demri & Rajeev Goré (2000). Display Calculi for Logics with Relative Accessibility Relations. Journal of Logic, Language and Information 9 (2):213-236.
James Cain (1989). The Doctrine of the Trinity and the Logic of Relative Identity. Religious Studies 25 (2):141 - 152.
Ramon Jansana (1995). Abstract Modal Logics. Studia Logica 55 (2):273 - 299.
A. Avron (2000). Implicational F-Structures and Implicational Relevance Logics. Journal of Symbolic Logic 65 (2):788-802.
Added to index2010-08-24
Total downloads12 ( #128,722 of 1,101,781 )
Recent downloads (6 months)4 ( #81,958 of 1,101,781 )
How can I increase my downloads?