Combining Philosophers

Ideas for Hilary Kornblith, Stephen Read and Isaiah

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

display all the ideas for this combination of philosophers

---

5 ideas

5. Theory of Logic / A. Overview of Logic / 4. Pure Logic

14187

If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read]

5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic

10986

Not all validity is captured in first-order logic [Read]

5. Theory of Logic / A. Overview of Logic / 6. Classical Logic

10972

The non-emptiness of the domain is characteristic of classical logic [Read]

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic

11024

Semantics must precede proof in higher-order logics, since they are incomplete [Read]

5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics

10985

We should exclude second-order logic, precisely because it captures arithmetic [Read]