Combining Texts

All the ideas for 'poems', 'Constructibility and Mathematical Existence' and 'The Iliad'

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]
17. Mind and Body / A. Mind-Body Dualism / 8. Dualism of Mind Critique
2170 Homer does not distinguish between soul and body [Homer, by Williams,B]
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
2171 The 'will' doesn't exist; there is just conclusion, then action [Homer, by Williams,B]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
6017 Nomos is king [Pindar]
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
21819 Plato says the Good produces the Intellectual-Principle, which in turn produces the Soul [Homer, by Plotinus]
24. Political Theory / C. Ruling a State / 2. Leaders / a. Autocracy
11388 Let there be one ruler [Homer]
28. God / C. Attitudes to God / 5. Atheism
14829 Homer so enjoys the company of the gods that he must have been deeply irreligious [Homer, by Nietzsche]