Combining Texts

All the ideas for 'Letters to Edward Stillingfleet', 'Modes of Extension: comment on Fine' and 'A Note on the entscheidungsproblem'

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

---

5 ideas

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]

9. Objects / D. Essence of Objects / 3. Individual Essences

15990

Every individual thing which exists has an essence, which is its internal constitution [Locke]

11. Knowledge Aims / B. Certain Knowledge / 1. Certainty

15994

If it is knowledge, it is certain; if it isn't certain, it isn't knowledge [Locke]

18. Thought / E. Abstraction / 7. Abstracta by Equivalence

18883

Any equivalence relation among similar things allows the creation of an abstractum [Simons]

18884

Abstraction is usually seen as producing universals and numbers, but it can do more [Simons]