Combining Texts

All the ideas for 'Symbolic Reasoning', 'A Note on the entscheidungsproblem' and 'works'

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

---

4 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set

21548

The null class is the class with all the non-existents as its members [MacColl, by Lackey]

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]

11. Knowledge Aims / A. Knowledge / 4. Belief / d. Cause of beliefs

20945

Belief is no more rational than is tasting and smelling [Hamann]

28. God / A. Divine Nature / 2. Divine Nature

7666	God is not a mathematician, but a poet [Hamann, by Berlin]