Combining Texts

Ideas for 'fragments/reports', 'Thinking About Logic' and 'Introduction to Mathematical Logic'

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

display all the ideas for this combination of texts

---

5 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic

17741

To determine the patterns in logic, one must identify its 'building blocks' [Walicki]

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]