3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
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] |
19284 | Asserting a necessity just expresses our inability to imagine it is false [Blackburn] |