Combining Texts

All the ideas for 'fragments/reports', 'Constructibility and Mathematical Existence' and 'Subjective and Objective'

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

10 ideas

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
8758 We could talk of open sentences, instead of sets [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
10265 Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro]
8759 We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
10264 Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro]
12. Knowledge Sources / B. Perception / 4. Sense Data / d. Sense-data problems
3296 Sense-data are a false objectification of what is essentially subjective [Nagel]
15. Nature of Minds / A. Nature of Mind / 1. Mind / a. Mind
3295 Inner v outer brings astonishment that we are a particular person [Nagel]
16. Persons / B. Nature of the Self / 4. Presupposition of Self
3293 If you assert that we have an ego, you can still ask if that future ego will be me [Nagel]
16. Persons / F. Free Will / 1. Nature of Free Will
3292 The most difficult problem of free will is saying what the problem is [Nagel]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
468 Musical performance can reveal a range of virtues [Damon of Ath.]
23. Ethics / D. Deontological Ethics / 3. Universalisability
3294 As far as possible we should become instruments to realise what is best from an eternal point of view [Nagel]