Combining Texts

All the ideas for 'works', 'A Note on the entscheidungsproblem' and 'On Note L to Bayle's 'Rorarius''

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

---

5 ideas

5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction

10121

Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal]

5. Theory of Logic / K. Features of Logics / 7. Decidability

18758

Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]

15. Nature of Minds / B. Features of Minds / 2. Unconscious Mind

19355

The soul doesn't understand many of its own actions, if perceptions are confused and desires buried [Leibniz]

17. Mind and Body / A. Mind-Body Dualism / 5. Parallelism

19350

We should say that body is mechanism and soul is immaterial, asserting their independence [Leibniz]

26. Natural Theory / A. Speculations on Nature / 4. Mathematical Nature

19356

Minds unconsciously count vibration beats in music, and enjoy it when they coincide [Leibniz]