14 ideas
5831 | The new view is that "water" is a name, and has no definition [Schwartz,SP] |
23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
5829 | We refer to Thales successfully by name, even if all descriptions of him are false [Schwartz,SP] |
5830 | The traditional theory of names says some of the descriptions must be correct [Schwartz,SP] |
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] |
23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
21687 | It seems obvious to prefer the simpler of two theories, on grounds of beauty and convenience [Quine] |
21688 | There are four suspicious reasons why we prefer simpler theories [Quine] |
5826 | The intension of "lemon" is the conjunction of properties associated with it [Schwartz,SP] |