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

---

Single Idea 10704

[filed under theme 5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic ]

Full Idea

In second-order logic only the formation rules are completely formalizable, not the inference rules.

Gist of Idea

We can formalize second-order formation rules, but not inference rules

Source

Michael Potter (Set Theory and Its Philosophy [2004], 01.2)

Book Ref

Potter,Michael: 'Set Theory and Its Philosophy' [OUP 2004], p.13

---

A Reaction

He cites Gödel's First Incompleteness theorem for this.