display all the ideas for this combination of philosophers
1 idea
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. |