Combining Texts

Ideas for 'Unconscious Cerebral Initiative', 'A Future for Presentism' and 'Set Theory and Its Philosophy'

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

display all the ideas for this combination of texts

---

1 idea

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

10704	We can formalize second-order formation rules, but not inference rules [Potter]
	Full Idea: In second-order logic only the formation rules are completely formalizable, not the inference rules.
	From: Michael Potter (Set Theory and Its Philosophy [2004], 01.2)
	A reaction: He cites Gödel's First Incompleteness theorem for this.