Combining Texts

All the ideas for 'works', 'The Roots of Reference' and 'works'

unexpand these ideas     |    start again     |     specify just one area for these texts

5 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]
     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
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]
     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
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
17743 De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]
     Full Idea: In 1846 De Morgan introduced the enormously influential notion of a possibly arbitrary and stipulated 'universe of discourse'. It replaced Boole's original - and metaphysically a bit suspect - universe of 'all things'.
     From: report of Augustus De Morgan (works [1846]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1
     A reaction: This not only brings formal logic under control, but also reflects normal talk, because there is always an explicit or implicit domain of discourse when we talk. Of virtually any conversation, you can say what it is 'about'.
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]
     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.
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
14296 Dispositions are physical states of mechanism; when known, these replace the old disposition term [Quine]
     Full Idea: Each disposition, in my view, is a physical state or mechanism. ...In some cases nowadays we understand the physical details and set them forth explicitly in terms of the arrangement and interaction of small bodies. This replaces the old disposition.
     From: Willard Quine (The Roots of Reference [1990], p.11), quoted by Stephen Mumford - Dispositions 01.3
     A reaction: A challenge to the dispositions and powers view of nature, one which rests on the 'categorical' structural properties, rather than the 'hypothetical' dispositions. But can we define a mechanism without mentioning its powers?