Science Fair Project Encyclopedia
Transitivity of identity
The transitivity of identity is the logical principle that, if a=b, and b=c, then a=c.
For example, if you know that the Morning Star is the same thing as the Evening Star, and you know that the Evening Star is Venus, you can conclude that the Morning Star is Venus.
The transitivity of identity (like rules concerning identity generally) is not always valid in epistemological, modal, or otherwise opaque contexts . For example, if Oedipus knows that his wife is Jocasta, and you know that Jocasta is the mother of Oedipus, you may not conclude that Oedipus knows that his wife is his mother.
See also: transitive relation, identity
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details