Combining Texts

All the ideas for 'works (all lost)', 'Fath and Love, or the King and Queen' and 'Constructibility and Mathematical Existence'

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


11 ideas

1. Philosophy / D. Nature of Philosophy / 6. Hopes for Philosophy
If all laws were abolished, philosophers would still live as they do now [Aristippus elder]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
We could talk of open sentences, instead of sets [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro]
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
Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / h. Against ethics
Only the Cyrenaics reject the idea of a final moral end [Aristippus elder, by Annas]
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
The road of freedom is the surest route to happiness [Aristippus elder, by Xenophon]
23. Ethics / A. Egoism / 3. Cyrenaic School
People who object to extravagant pleasures just love money [Aristippus elder, by Diog. Laertius]
Pleasure is the good, because we always seek it, it satisfies us, and its opposite is the most avoidable thing [Aristippus elder, by Diog. Laertius]
24. Political Theory / C. Ruling a State / 2. Leaders / b. Monarchy
The whole point of a monarch is that we accept them as a higher-born, ideal person [Novalis]
25. Social Practice / D. Justice / 3. Punishment / b. Retribution for crime
Errors result from external influence, and should be corrected, not hated [Aristippus elder, by Diog. Laertius]