3 ideas
4748 | Anselm of Canterbury identified truth with God [Anselm, by Engel] |
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] |
19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |