3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |
9567 | Maths deals with quantities of physical significance, ignoring irrelevant features [Geroch] |