more on this theme     |     more from this thinker


Single Idea 10522

[filed under theme 9. Objects / F. Identity among Objects / 1. Concept of Identity ]

Full Idea

The relations which are featured in criteria of identity are always equivalence relations.

Clarification

An equivalence relation is transitive, symmetric and reflexive

Gist of Idea

The relations featured in criteria of identity are always equivalence relations

Source

Bob Hale (Abstract Objects [1987], Ch.3.III)

Book Ref

Hale,Bob: 'Abstract Objects' [Blackwell 1987], p.57


A Reaction

This will only apply to strict identity. If I say 'a is almost identical to b', this will obviously not be endlessly transitive (as when we get to k we may have lost the near-identity to a). Are 'two threes' identical to 'three twos'?


The 23 ideas from 'Abstract Objects'

Questions about objects are questions about certain non-vacuous singular terms [Hale]
Objections to Frege: abstracta are unknowable, non-independent, unstatable, unindividuated [Hale]
The modern Fregean use of the term 'object' is much broader than the ordinary usage [Hale]
Often the same singular term does not ensure reliable inference [Hale]
Plenty of clear examples have singular terms with no ontological commitment [Hale]
An expression is a genuine singular term if it resists elimination by paraphrase [Hale]
We should decide whether singular terms are genuine by their usage [Hale]
Realists take universals to be the referrents of both adjectives and of nouns [Hale]
We can't believe in a 'whereabouts' because we ask 'what kind of object is it?' [Hale]
We sometimes apply identity without having a real criterion [Hale]
If singular terms can't be language-neutral, then we face a relativity about their objects [Hale]
It is doubtful if one entity, a universal, can be picked out by both predicates and abstract nouns [Hale]
Many abstract objects, such as chess, seem non-spatial, but are not atemporal [Hale]
If the mental is non-spatial but temporal, then it must be classified as abstract [Hale]
The abstract/concrete distinction is based on what is perceivable, causal and located [Hale]
Colours and points seem to be both concrete and abstract [Hale]
Shapes and directions are of something, but games and musical compositions are not [Hale]
Being abstract is based on a relation between things which are spatially separated [Hale]
The relations featured in criteria of identity are always equivalence relations [Hale]
The abstract/concrete distinction is in the relations in the identity-criteria of object-names [Hale]
Token-letters and token-words are concrete objects, type-letters and type-words abstract [Hale]
There is a hierarchy of abstraction, based on steps taken by equivalence relations [Hale]
If F can't have location, there is no problem of things having F in different locations [Hale]