Combining Texts

Ideas for 'Leibniz', 'On 'Generation and Corruption'' and 'Thinking About Logic'

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

display all the ideas for this combination of texts

---

4 ideas

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]