Combining Texts

All the ideas for 'That Politics may be reduced to a Science', 'On the Elements of Being: I' and 'Constructibility and Mathematical Existence'

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]
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
8508 A 'trope' is an abstract particular, the occurrence of an essence [Williams,DC]
8509 A world is completely constituted by its tropes and their connections [Williams,DC]
8510 'Socrates is wise' means a concurrence sum contains a member of a similarity set [Williams,DC]
23. Ethics / C. Virtue Theory / 4. External Goods / d. Friendship
21093 Friendship without community spirit misses out on the main part of virtue [Hume]
24. Political Theory / B. Nature of a State / 3. Constitutions
21091 It would be absurd if even a free constitution did not impose restraints, for the public good [Hume]
24. Political Theory / C. Ruling a State / 2. Leaders / d. Elites
21092 Nobility either share in the power of the whole, or they compose the power of the whole [Hume]