Combining Texts

All the ideas for 'Works of Love', 'Intuitionism and Formalism' and 'Syntagma'

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


10 ideas

4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
Scientific laws largely rest on the results of counting and measuring [Brouwer]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionists only accept denumerable sets [Brouwer]
Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer]
8. Modes of Existence / B. Properties / 8. Properties as Modes
If matter is entirely atoms, anything else we notice in it can only be modes [Gassendi]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
We observe qualities, and use 'induction' to refer to the substances lying under them [Gassendi]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman]
22. Metaethics / B. Value / 2. Values / g. Love
Perfect love is not in spite of imperfections; the imperfections must be loved as well [Kierkegaard]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
Atoms are not points, but hard indivisible things, which no force in nature can divide [Gassendi]
How do mere atoms produce qualities like colour, flavour and odour? [Gassendi]