María Manzano
Universidad de Salamanca
This article is a continuation of our promenade along the winding roads of identity, equality, nameability and completeness. We continue looking for a place where all these concepts converge. We assume that identity is a binary relation between objects while equality is a symbolic relation between terms. Identity plays a central role in logic and we have looked at it from two different points of view. In one case, identity is a notion which has to be defined and, in the other case, identity is a notion used to define other logical concepts. In our previous paper, [16], we investigated whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic with standard semantics a reliable definition of identity is possible. In the present study we have moved to modal logic and realized that here we can distinguish in the formal language between two different equality symbols, the first one shall be interpreted as extensional genuine identity and only applies for objects, the second one applies for non rigid terms and has the characteristic of synonymy. We have also analyzed the hybrid modal logic where we can introduce rigid terms by definition and can express that two worlds are identical by using the nominals and the @ operator. We finish our paper in the kingdom of identity where the only primitives are lambda and equality. Here we show how other logical concepts can be defined in terms of the identity relation. We have found at the end of our walk a possible point of convergence in the logic Equational Hybrid Propositional Type Theory, [14] and [15].
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.18778/0138-0680.47.3.01
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
External links

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

Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
The Completeness of the First-Order Functional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2014 - Journal of Philosophical Logic 43 (2-3):209-238.
Identity as a Logical Primitive.Leon Henkin - 1975 - Philosophia 5 (1-2):31-45.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Completeness: From Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
How Not to Defend Homosexual Equality.Danny Frederick - 2020 - In Against the Philosophical Tide. Yeovil: Critias Publishing. pp. 183-185.
How to Value Equality.Jeremy Moss - 2015 - Philosophy Compass 10 (3):187-196.
Liberalism, Differential Rights and the Value of Community.Patricia J. Kazan - 1999 - Dissertation, University of Toronto (Canada)
On the Semantics of the Universal Quantifier.Djordje Ubri - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.
On the Semantics of the Universal Quantifier.Djordje Čubrić - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.
Characterizing Classes Defined Without Equality.R. Elgueta - 1997 - Studia Logica 58 (3):357-394.
Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.
The Nyāya on Existence, Knowability and Nameability.J. L. Shaw - 1977 - Journal of Indian Philosophy 5 (3):255-266.
Gender Reflection: Reconciling Feminism and Equality.Laurie Gaughran - 1998 - Philosophy and Social Criticism 24 (5):37-51.
Familiarity and Nameability Do Not Affect Picture Detection.Muriel Boucart & Glyn W. Humphreys - 1990 - Bulletin of the Psychonomic Society 28 (5):409-411.


Added to PP index

Total views
7 ( #1,071,872 of 2,519,681 )

Recent downloads (6 months)
1 ( #406,314 of 2,519,681 )

How can I increase my downloads?


My notes