more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 10985

[filed under theme 5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics ]

Full Idea

Those who believe mathematics goes beyond logic use that fact to argue that classical logic is right to exclude second-order logic.

Gist of Idea

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

Source

Stephen Read (Thinking About Logic [1995], Ch.2)

Book Ref

Read,Stephen: 'Thinking About Logic' [OUP 1995], p.54