Combining Texts

All the ideas for 'works', 'Aristotle on Substance' and 'A Note on the entscheidungsproblem'

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]

9. Objects / C. Structure of Objects / 3. Matter of an Object

16083

Aristotelian matter seriously threatens the intrinsic unity and substantiality of its object [Gill,ML]

26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / b. Prime matter

17006

Prime matter has no place in Aristotle's theories, and passages claiming it are misread [Gill,ML]

16093

Prime matter is actually nothing and potentially everything (or potentially an element) [Gill,ML]