Single Idea 3299

[catalogued under 5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic]

Full Idea

In logic identity is an equivalence relation, which involves reflexivity (x=x), symmetry (if x=y, then y=x), and transitivity (if x=y and y=z, then x=z).

Gist of Idea

In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z)

Source

James Baillie (Problems in Personal Identity [1993], Intr p.4)

Book Reference

Baillie,James: 'Problems in Personal Identity' [Paragon House 1993], p.4

---