Combining Texts

All the ideas for 'On the Elements of Being: I', 'A Note on the entscheidungsproblem' and 'works'

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

---

5 ideas

5. Theory of Logic / G. Quantification / 2. Domain of Quantification

17743

De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]

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]

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]