4 ideas
3750 | "It is true that x" means no more than x [Ramsey] |
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] |
22200 | If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle] |
18818 | Sentence meaning is given by the actions to which it would lead [Ramsey] |