Main Page | See live article | Alphabetical index 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 or modal 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: transitivity, identity This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.