Combining Texts

All the ideas for '67: Platonic Questions', 'A Note on the entscheidungsproblem' and 'What Price Bivalence?'

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


4 ideas

5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine]
5. Theory of Logic / K. Features of Logics / 7. Decidability
Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]
7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic
Terms learned by ostension tend to be vague, because that must be quick and unrefined [Quine]
15. Nature of Minds / A. Nature of Mind / 2. Psuche
When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch]