Combining Texts

All the ideas for 'Principles of Theoretical Logic', 'Experience First (and reply)' and 'talk'

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

---

5 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

17750

The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]

11. Knowledge Aims / A. Knowledge / 2. Understanding

19542

It is nonsense that understanding does not involve knowledge; to understand, you must know [Dougherty/Rysiew]

19543

To grasp understanding, we should be more explicit about what needs to be known [Dougherty/Rysiew]

11. Knowledge Aims / A. Knowledge / 7. Knowledge First

19541

Rather than knowledge, our epistemic aim may be mere true belief, or else understanding and wisdom [Dougherty/Rysiew]

14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem

7296	'Grue' is not a colour [Milsted]