display all the ideas for this combination of texts
3 ideas
6409 | The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling] |
9887 | Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett] |
8751 | Only applicability raises arithmetic from a game to a science [Frege] |