3 ideas
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] |
Full Idea: In logic identity is an equivalence relation, which involves reflexivity (x=x), symmetry (if x=y, then y=x), and transitivity (if x=y and y=z, then x=z). | |
From: James Baillie (Problems in Personal Identity [1993], Intr p.4) |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |
Full Idea: In Kripke's puzzle about belief, the subject has two distinct mental files about one and the same object. | |
From: comment on Saul A. Kripke (A Puzzle about Belief [1979]) by François Recanati - Mental Files 17.1 | |
A reaction: [Pierre distinguishes 'London' from 'Londres'] The Kripkean puzzle is presented as very deep, but I have always felt there was a simple explanation, and I suspect that this is it (though I will leave the reader to think it through, as I'm very busy…). |
8478 | Dewey argued long before Wittgenstein that there could not seriously be a private language [Dewey, by Orenstein] |
Full Idea: Dewey argued in the twenties that there could not be, in any serious sense, a private language. Wittgenstein also, years later, came to appreciate this point. | |
From: report of John Dewey (works [1926]) by Alex Orenstein - W.V. Quine Ch.6 | |
A reaction: A nice historical footnote to perhaps the most famous argument in twentieth century philosophy. Can anyone send me the Dewey reference? |