3 ideas
3299 | 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) [Baillie] |
18801 | Classical negation is circular, if it relies on knowing negation-conditions from truth-conditions [Dummett] |
7566 | The Identity of Indiscernibles is really the same as the verification principle [Jolley] |