Combining Texts

All the ideas for 'Fear and Trembling', 'Constructibility and Mathematical Existence' and 'Go Figure: a Path through Fictionalism'

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

8 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]
7. Existence / D. Theories of Reality / 7. Fictionalism
19494 Fictionalism allows that simulated beliefs may be tracking real facts [Yablo]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / b. Worlds as fictions
19493 Governing possible worlds theory is the fiction that if something is possible, it happens in a world [Yablo]
28. God / A. Divine Nature / 6. Divine Morality / a. Divine morality
16006 Either Abraham rises higher than universal ethics, or he is a mere murderer [Kierkegaard]
28. God / A. Divine Nature / 6. Divine Morality / d. God decrees morality
7577 Abraham was willing to suspend ethics, for a higher idea [Kierkegaard]