display all the ideas for this combination of texts
4 ideas
13639 | Quine says higher-order items are intensional, and lack a clearly defined identity relation [Quine, by Shapiro] |
23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |