Combining Texts

All the ideas for 'Subjectivist's Guide to Objective Chance', 'Investigations into Logical Deduction' 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 / H. Proof Systems / 4. Natural Deduction
13832 Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]
     Full Idea: Gentzen thought that his natural deduction gets at the heart of logical reasoning, and used the sequent calculus only as a convenient tool for proving his chief results.
     From: report of Gerhard Gentzen (Investigations into Logical Deduction [1935]) by Ian Hacking - What is Logic? §05
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.
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
9425 Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis]
     Full Idea: Later Lewis said we must choose between the intersection of the axioms of the tied best systems. He chose for laws the axioms that are in all the tied systems (but then there may be few or no axioms in the intersection).
     From: comment on David Lewis (Subjectivist's Guide to Objective Chance [1980], p.124) by Stephen Mumford - Laws in Nature