Geodesic
Identity, Equality, Nameability and Completeness
Bulletin of the Section of Logic, Tome 46 (2017) no. 3-4.

Voir la notice de l'article provenant de la source Library of Science

This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the first is a binary relation between objects while the second is a symbolic relation between terms. Owing to the central role the notion of identity plays in logic, you can be interested either in how to define it using other logical concepts or in the opposite scheme. In the first case, one investigates what kind of logic is required. In the second case, one is interested in the definition of the other logical concepts (connectives and quantifiers) in terms of the identity relation, using also abstraction. The present paper investigates whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic a reliable definition of identity is possible. However, the definition needs the standard semantics and we know that with this semantics completeness is lost. We have also studied the relationship of equality with comprehension and extensionality and pointed out the relevant role played by these two axioms in Henkin’s completeness method. We finish our paper with a section devoted to general semantics, where the role played by the nameable hierarchy of types is the key in Henkin’s completeness method.
Keywords: first-order logic, type theory, identity, equality, indiscernibility, comprehension, completeness, translations, nameability 
@article{BSL_2017_46_3-4_a4,
     author = {Manzano, Mar{\'\i}a and Moreno, Manuel Crescencio},
     title = {Identity, {Equality,} {Nameability} and {Completeness}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {46},
     number = {3-4},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2017_46_3-4_a4/}
}
TY  - JOUR
AU  - Manzano, María
AU  - Moreno, Manuel Crescencio
TI  - Identity, Equality, Nameability and Completeness
JO  - Bulletin of the Section of Logic
PY  - 2017
VL  - 46
IS  - 3-4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2017_46_3-4_a4/
LA  - en
ID  - BSL_2017_46_3-4_a4
ER  - 
%0 Journal Article
%A Manzano, María
%A Moreno, Manuel Crescencio
%T Identity, Equality, Nameability and Completeness
%J Bulletin of the Section of Logic
%D 2017
%V 46
%N 3-4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2017_46_3-4_a4/
%G en
%F BSL_2017_46_3-4_a4
Manzano, María; Moreno, Manuel Crescencio. Identity, Equality, Nameability and Completeness. Bulletin of the Section of Logic, Tome 46 (2017) no. 3-4. http://geodesic.mathdoc.fr/item/BSL_2017_46_3-4_a4/