3 ideas
| 15897 | Zermelo realised that Choice would facilitate the sort of 'counting' Cantor needed [Zermelo, by Lavine] |
| Full Idea: Zermelo realised that the Axiom of Choice (based on arbitrary functions) could be used to 'count', in the Cantorian sense, those collections that had given Cantor so much trouble, which restored a certain unity to set theory. | |
| From: report of Ernst Zermelo (Proof that every set can be well-ordered [1904]) by Shaughan Lavine - Understanding the Infinite I |
| 13082 | The complete concept of an individual includes contingent properties, as well as necessary ones [Leibniz] |
| Full Idea: In this complete concept of possible Peter are contained not only essential or necessary things, ..but also existential things, or contingent items included there, because the nature of an individual substance is to have a perfect or complete concept. | |
| From: Gottfried Leibniz (Of liberty, Fate and God's grace [1690], Grua 311), quoted by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 3.3.1 | |
| A reaction: Compare Idea 13077, where he seems to say that the complete concept is only necessarily linked to properties which will predict future events - though I suppose that would have to include all of the contingent properties mentioned here. |
| 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…). |