7 ideas
3340 | Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn] |
Full Idea: Von Neumann defines each number as the set of all smaller numbers. | |
From: report of John von Neumann (works [1935]) by Simon Blackburn - Oxford Dictionary of Philosophy p.280 |
3355 | Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA] |
Full Idea: Von Neumann suggested that functions be pressed into service to replace sets. | |
From: report of John von Neumann (works [1935]) by José A. Benardete - Metaphysics: the logical approach Ch.23 |
22716 | Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone] |
Full Idea: At age twenty, Von Neumann devised the formal definition of ordinal numbers that is used today: an ordinal number is the set of all smaller ordinal numbers. | |
From: report of John von Neumann (works [1935]) by William Poundstone - Prisoner's Dilemma 02 'Sturm' | |
A reaction: I take this to be an example of an impredicative definition (not predicating something new), because it uses 'ordinal number' in the definition of ordinal number. I'm guessing the null set gets us started. |
9354 | Why should necessities only be knowable a priori? That Hesperus is Phosporus is known empirically [Devitt] |
Full Idea: Why should we accept that necessities can only be known a priori? Prima facie, some necessities are known empirically; for example, that water is necessarily H2O, and that Hesperus is necessarily Phosphorus. | |
From: Michael Devitt (There is no a Priori [2005], §2) | |
A reaction: An important question, whatever your view. If the only thing we can know a priori is necessities, it doesn't follow that necessities can only be known a priori. It gets interesting if we say that some necessities can never be known a priori. |
9353 | We explain away a priori knowledge, not as directly empirical, but as indirectly holistically empirical [Devitt] |
Full Idea: We have no need to turn to an a priori explanation of our knowledge of mathematics and logic. Our intuitions that this knowledge is not justified in some direct empirical way is preserved. It is justified in an indirect holistic way. | |
From: Michael Devitt (There is no a Priori [2005], §2) | |
A reaction: I think this is roughly the right story, but the only way it will work is if we have some sort of theory of abstraction, which gets us up the ladder of generalisations to the ones which, it appears, are necessarily true. |
9356 | The idea of the a priori is so obscure that it won't explain anything [Devitt] |
Full Idea: The whole idea of the a priori is too obscure for it to feature in a good explanation of our knowledge of anything. | |
From: Michael Devitt (There is no a Priori [2005], §3) | |
A reaction: I never like this style of argument. It would be nice if all the components of all our our explanations were crystal clear. Total clarity about anything is probably a hopeless dream, and we may have to settle for murky corners in all explanations. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |