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 |
| 3447 | All theory is against free will, and all experience is in favour of it [Johnson,S] |
| Full Idea: All theory is against free will, and all experience is in favour of it. | |
| From: Samuel Johnson (works [1770]), quoted by PG - Db (ideas) |
| 19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |
| Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist? | |
| From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions | |
| A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done? |