4 ideas
19043 | Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine] |
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] |
19042 | Terms learned by ostension tend to be vague, because that must be quick and unrefined [Quine] |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |