Combining Philosophers

Ideas for Heraclitus, Baron,S/Miller,K and George Boolos

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

2 ideas

5. Theory of Logic / K. Features of Logics / 4. Completeness

10834

Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos]

5. Theory of Logic / K. Features of Logics / 6. Compactness

13841

Why should compactness be definitive of logic? [Boolos, by Hacking]