Combining Texts

All the ideas for 'Letter Seven', 'A Universe from Nothing' and 'Russell's Metaphysical Logic'

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

21 ideas

2. Reason / D. Definition / 8. Impredicative Definition
21704 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
21705 Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
21727 Definite descriptions theory eliminates the King of France, but not the Queen of England [Linsky,B]
5. Theory of Logic / I. Semantics of Logic / 5. Extensionalism
21719 Extensionalism means what is true of a function is true of coextensive functions [Linsky,B]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
21723 The task of logicism was to define by logic the concepts 'number', 'successor' and '0' [Linsky,B]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
21721 Higher types are needed to distinguished intensional phenomena which are coextensive [Linsky,B]
21703 Types are 'ramified' when there are further differences between the type of quantifier and its range [Linsky,B]
21714 The ramified theory subdivides each type, according to the range of the variables [Linsky,B]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
21713 Did logicism fail, when Russell added three nonlogical axioms, to save mathematics? [Linsky,B]
21715 For those who abandon logicism, standard set theory is a rival option [Linsky,B]
7. Existence / C. Structure of Existence / 2. Reduction
21110 An understanding of the most basic physics should explain all of the subject's mysteries [Krauss]
7. Existence / C. Structure of Existence / 6. Fundamentals / c. Monads
21105 In 1676 it was discovered that water is teeming with life [Krauss]
8. Modes of Existence / B. Properties / 11. Properties as Sets
21729 Construct properties as sets of objects, or say an object must be in the set to have the property [Linsky,B]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / a. Preconditions for ethics
168 To understand morality requires a soul [Plato]
27. Natural Reality / B. Modern Physics / 1. Relativity / a. Special relativity
21109 Space itself can expand (and separate its contents) at faster than light speeds [Krauss]
27. Natural Reality / B. Modern Physics / 1. Relativity / b. General relativity
21104 General Relativity: the density of energy and matter determines curvature and gravity [Krauss]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / d. Quantum mechanics
21107 Uncertainty says that energy can be very high over very short time periods [Krauss]
27. Natural Reality / B. Modern Physics / 4. Standard Model / e. Protons
21106 Most of the mass of a proton is the energy in virtual particles (rather than the quarks) [Krauss]
27. Natural Reality / C. Space / 2. Space
21112 Empty space contains a continual flux of brief virtual particles [Krauss]
27. Natural Reality / E. Cosmology / 3. The Beginning
21108 The universe is precisely 13.72 billion years old [Krauss]
27. Natural Reality / E. Cosmology / 10. Multiverse
21111 It seems likely that cosmic inflation is eternal, and this would make a multiverse inevitable [Krauss]