9 ideas
| 13489 | Von Neumann treated cardinals as a special sort of ordinal [Neumann, by Hart,WD] |
| Full Idea: Von Neumann's decision was to start with the ordinals and to treat cardinals as a special sort of ordinal. | |
| From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by William D. Hart - The Evolution of Logic 3 | |
| A reaction: [see Hart 73-74 for an explication of this] |
| 12336 | A von Neumann ordinal is a transitive set with transitive elements [Neumann, by Badiou] |
| Full Idea: In Von Neumann's definition an ordinal is a transitive set in which all of the elements are transitive. | |
| From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Alain Badiou - Briefings on Existence 11 |
| 18179 | For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy] |
| Full Idea: For Von Neumann the successor of n is n U {n} (rather than Zermelo's successor, which is {n}). | |
| From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Penelope Maddy - Naturalism in Mathematics I.2 n8 |
| 18180 | Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann] |
| Full Idea: Von Neumann's version of the natural numbers is in fact preferred because it carries over directly to the transfinite ordinals. | |
| From: comment on John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Penelope Maddy - Naturalism in Mathematics I.2 n9 |
| 15925 | Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine] |
| Full Idea: Each Von Neumann ordinal number is the set of its predecessors. ...He had shown how to introduce ordinal numbers as sets, making it possible to use them without leaving the domain of sets. | |
| From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Shaughan Lavine - Understanding the Infinite V.3 |
| 8463 | Maths can be reduced to logic and set theory [Quine] |
| Full Idea: Researches in the foundations of mathematics have made it clear that all of (interpreted) mathematics can be got down to logic and set theory, and the objects needed for mathematics can be got down to the category of classes (and classes of classes..). | |
| From: Willard Quine (The Scope and Language of Science [1954], §VI) | |
| A reaction: This I take to be a retreat from pure logicism, presumably influenced by Gödel. So can set theory be reduced to logic? Crispin Wright is the one the study. |
| 8461 | The category of objects incorporates the old distinction of substances and their modes [Quine] |
| Full Idea: The category of objects embraces indiscriminately what would anciently have been distinguished as substances and as modes or states of substances. | |
| From: Willard Quine (The Scope and Language of Science [1954], §6) | |
| A reaction: This nicely captures Quine's elimination of properties, by presenting them as inseparable from their objects/substances. Armstrong calls this 'Ostrich Nominalism' (for refusing to address the universals problem) but Quineans are unshaken. |
| 8462 | A hallucination can, like an ague, be identified with its host; the ontology is physical, the idiom mental [Quine] |
| Full Idea: A physical ontology has a place for states of mind. An inspiration or a hallucination can, like the fit of ague, be identified with its host for the duration. It leaves our mentalistic idioms fairly intact, but reconciles them with a physical ontology. | |
| From: Willard Quine (The Scope and Language of Science [1954], §VI) | |
| A reaction: Quine is employing the same strategy that he uses for substances and properties (Idea 8461): take the predication as basic, rather than reifying the thing being predicated. The ague analogy suggests that Quine is an incipient functionalist. |
| 20713 | God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B] |
| Full Idea: Rachels argues 1) If any being is God, he must be a fitting object of worship, 2) No being could be a fitting object of worship, since worship requires the abandonment of one's role as an autonomous moral agent, so 3) There cannot be a being who is God. | |
| From: report of James Rachels (God and Human Attributes [1971], 7 p.334) by Brian Davies - Introduction to the Philosophy of Religion 9 'd morality' | |
| A reaction: Presumably Lionel Messi can be a fitting object of worship without being God. Since the problem is with being worshipful, rather than with being God, should I infer that Messi doesn't exist? |