Combining Texts

All the ideas for 'The Sayings of Confucius', 'Understanding the Infinite' and 'Science without Numbers'

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


62 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
Second-order set theory just adds a version of Replacement that quantifies over functions [Lavine]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
An 'upper bound' is the greatest member of a subset; there may be several of these, so there is a 'least' one [Lavine]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / a. Types of set
Collections of things can't be too big, but collections by a rule seem unlimited in size [Lavine]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / d. Infinite Sets
Those who reject infinite collections also want to reject the Axiom of Choice [Lavine]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI
The Power Set is just the collection of functions from one collection to another [Lavine]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
Replacement was immediately accepted, despite having very few implications [Lavine]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
Foundation says descending chains are of finite length, blocking circularity, or ungrounded sets [Lavine]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
Pure collections of things obey Choice, but collections defined by a rule may not [Lavine]
The controversy was not about the Axiom of Choice, but about functions as arbitrary, or given by rules [Lavine]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / c. Logical sets
The 'logical' notion of class has some kind of definition or rule to characterise the class [Lavine]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
The iterative conception of set wasn't suggested until 1947 [Lavine]
The iterative conception needs the Axiom of Infinity, to show how far we can iterate [Lavine]
The iterative conception doesn't unify the axioms, and has had little impact on mathematical proofs [Lavine]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
Limitation of Size: if it's the same size as a set, it's a set; it uses Replacement [Lavine]
4. Formal Logic / F. Set Theory ST / 6. Ordering in Sets
A collection is 'well-ordered' if there is a least element, and all of its successors can be identified [Lavine]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
In Field's Platonist view, set theory is false because it asserts existence for non-existent things [Field,H, by Chihara]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Second-order logic presupposes a set of relations already fixed by the first-order domain [Lavine]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Mathematical proof by contradiction needs the law of excluded middle [Lavine]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Mathematics is nowadays (thanks to set theory) regarded as the study of structure, not of quantity [Lavine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
In Field's version of science, space-time points replace real numbers [Field,H, by Szabó]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
Every rational number, unlike every natural number, is divisible by some other number [Lavine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
For the real numbers to form a set, we need the Continuum Hypothesis to be true [Lavine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
Cauchy gave a necessary condition for the convergence of a sequence [Lavine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / i. Reals from cuts
The two sides of the Cut are, roughly, the bounding commensurable ratios [Lavine]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Counting results in well-ordering, and well-ordering makes counting possible [Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
The theory of infinity must rest on our inability to distinguish between very large sizes [Lavine]
The infinite is extrapolation from the experience of indefinitely large size [Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / c. Potential infinite
The intuitionist endorses only the potential infinite [Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
'Aleph-0' is cardinality of the naturals, 'aleph-1' the next cardinal, 'aleph-ω' the ω-th cardinal [Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / h. Ordinal infinity
Ordinals are basic to Cantor's transfinite, to count the sets [Lavine]
Paradox: the class of all ordinals is well-ordered, so must have an ordinal as type - giving a bigger ordinal [Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
Paradox: there is no largest cardinal, but the class of everything seems to be the largest [Lavine]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
'Metric' axioms uses functions, points and numbers; 'synthetic' axioms give facts about space [Field,H]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set theory will found all of mathematics - except for the notion of proof [Lavine]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
The Indispensability Argument is the only serious ground for the existence of mathematical entities [Field,H]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
Modern mathematics works up to isomorphism, and doesn't care what things 'really are' [Lavine]
6. Mathematics / C. Sources of Mathematics / 3. Mathematical Nominalism
Nominalists try to only refer to physical objects, or language, or mental constructions [Field,H]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
The application of mathematics only needs its possibility, not its truth [Field,H, by Shapiro]
Hilbert explains geometry, by non-numerical facts about space [Field,H]
Field needs a semantical notion of second-order consequence, and that needs sets [Brown,JR on Field,H]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
It seems impossible to explain the idea that the conclusion is contained in the premises [Field,H]
6. Mathematics / C. Sources of Mathematics / 9. Fictional Mathematics
Abstractions can form useful counterparts to concrete statements [Field,H]
Mathematics is only empirical as regards which theory is useful [Field,H]
Why regard standard mathematics as truths, rather than as interesting fictions? [Field,H]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionism rejects set-theory to found mathematics [Lavine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
You can reduce ontological commitment by expanding the logic [Field,H]
8. Modes of Existence / B. Properties / 12. Denial of Properties
Field presumes properties can be eliminated from science [Field,H, by Szabó]
9. Objects / A. Existence of Objects / 2. Abstract Objects / d. Problems with abstracta
Abstract objects are only applicable to the world if they are impure, and connect to the physical [Field,H]
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Beneath every extrinsic explanation there is an intrinsic explanation [Field,H]
18. Thought / E. Abstraction / 4. Abstracta by Example
'Abstract' is unclear, but numbers, functions and sets are clearly abstract [Field,H]
19. Language / F. Communication / 1. Rhetoric
People who control others with fluent language often end up being hated [Kongzi (Confucius)]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / h. Against ethics
All men prefer outward appearance to true excellence [Kongzi (Confucius)]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Humans are similar, but social conventions drive us apart (sages and idiots being the exceptions) [Kongzi (Confucius)]
23. Ethics / B. Contract Ethics / 2. Golden Rule
Do not do to others what you would not desire yourself [Kongzi (Confucius)]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / f. The Mean
Excess and deficiency are equally at fault [Kongzi (Confucius)]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The virtues of the best people are humility, maganimity, sincerity, diligence, and graciousness [Kongzi (Confucius)]
24. Political Theory / C. Ruling a State / 2. Leaders / d. Elites
Men of the highest calibre avoid political life completely [Kongzi (Confucius)]
24. Political Theory / D. Ideologies / 3. Conservatism
Confucianism assumes that all good developments have happened, and there is only one Way [Norden on Kongzi (Confucius)]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / b. Fields
In theories of fields, space-time points or regions are causal agents [Field,H]
27. Natural Reality / C. Space / 4. Substantival Space
Both philosophy and physics now make substantivalism more attractive [Field,H]
27. Natural Reality / C. Space / 5. Relational Space
Relational space is problematic if you take the idea of a field seriously [Field,H]