Combining Philosophers

All the ideas for Hermarchus, John von Neumann and Paul Audi

expand these ideas     |    start again     |     specify just one area for these philosophers

23 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
3340 Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
15943 Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
3355 Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
13489 Von Neumann treated cardinals as a special sort of ordinal [Neumann, by Hart,WD]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
22716 Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone]
12336 A von Neumann ordinal is a transitive set with transitive elements [Neumann, by Badiou]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / g. Von Neumann numbers
18179 For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy]
18180 Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann]
15925 Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
13672 All the axioms for mathematics presuppose set theory [Neumann]
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
17292 Avoid 'in virtue of' for grounding, since it might imply a reflexive relation such as identity [Audi,P]
17295 Ground relations depend on the properties [Audi,P]
17297 A ball's being spherical non-causally determines its power to roll [Audi,P]
17302 Ground is irreflexive, asymmetric, transitive, non-monotonic etc. [Audi,P]
17303 The best critique of grounding says it is actually either identity or elimination [Audi,P]
7. Existence / C. Structure of Existence / 1. Grounding / b. Relata of grounding
17294 Grounding is a singular relation between worldly facts [Audi,P]
17300 If grounding relates facts, properties must be included, as well as objects [Audi,P]
7. Existence / C. Structure of Existence / 1. Grounding / c. Grounding and explanation
17296 We must accept grounding, for our important explanations [Audi,P]
7. Existence / C. Structure of Existence / 1. Grounding / d. Grounding and reduction
17301 Reduction is just identity, so the two things are the same fact, so reduction isn't grounding [Audi,P]
7. Existence / D. Theories of Reality / 8. Facts / b. Types of fact
17293 Worldly facts are obtaining states of affairs, with constituents; conceptual facts also depend on concepts [Audi,P]
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
17298 Two things being identical (like water and H2O) is not an explanation [Audi,P]
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
17299 There are plenty of examples of non-causal explanation [Audi,P]
25. Social Practice / F. Life Issues / 6. Animal Rights
6005 Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley]