7 ideas
| 13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
| Full Idea: The difficulties historically attributed to the axiom of choice are probably better ascribed to the law of excluded middle. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
| A reaction: The law of excluded middle was a target for the intuitionists, so presumably the debate went off in that direction. |
| 13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
| Full Idea: The finitist may have no conception of function, because functions are transfinite objects. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §4) | |
| A reaction: He is offering a view of Tait's. Above my pay scale, but it sounds like a powerful objection to the finitist view. Maybe there is a finitist account of functions that could be given? |
| 13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
| Full Idea: If experience shows that some aspect of the physical world fails to instantiate a certain mathematical structure, one will modify the theory by sustituting a different structure, while the original structure doesn't lose its status as part of mathematics. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
| A reaction: This seems to be a beautifully simple and powerful objection to the Quinean idea that mathematics somehow only gets its authority from physics. It looked like a daft view to begin with, of course. |
| 541 | Virtue comes more from habit than character [Critias] |
| Full Idea: More men are good through habit than through character. | |
| From: Critias (fragments/reports [c.440 BCE], B09), quoted by John Stobaeus - Anthology 3.29.41 |
| 12719 | Clearly, force is that from which action follows, when unimpeded [Leibniz] |
| Full Idea: The notion of force is as clear as that of action and passion, because it is that from which action follows when nothing prevents it. | |
| From: Gottfried Leibniz (Letters to Paul Pellison-Fontinier [1691], A1.6.226), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 4 | |
| A reaction: For Leibniz, force seems to be a metaphysical notion, rather than a feature of the physical world. I take it to be the bottom level of explanation, and it equates with Aristotelian form and essence. |
| 12720 | Time doesn't exist, since its parts don't coexist [Leibniz] |
| Full Idea: Time never exists, since all of its parts never exist together. | |
| From: Gottfried Leibniz (Letters to Paul Pellison-Fontinier [1691], A1.6.226), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 4 | |
| A reaction: The problem here is that he seems to be admitting that time has 'parts'. Can something have parts and not exist? Events will also fail to exist by this criterion, though we could hardly deny that events (or some such) 'happen'. |
| 542 | Fear of the gods was invented to discourage secret sin [Critias] |
| Full Idea: When the laws forbade men to commit open crimes of violence, and they began to do them in secret, a wise and clever man invented fear of the gods for mortals, to frighten the wicked, even if they sin in secret. | |
| From: Critias (fragments/reports [c.440 BCE], B25), quoted by Sextus Empiricus - Against the Professors (six books) 9.54 |