16 ideas
20728 | Metaphysics is hopeless with its present epistemology; common-sense realism is needed [Colvin] |
23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
12221 | 'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine] |
19321 | We might do without names, by converting them into predicates [Quine, by Kirkham] |
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] |
20726 | We can only distinguish self from non-self if there is an inflexible external reality [Colvin] |
20727 | Common-sense realism rests on our interests and practical life [Colvin] |
20730 | If objects are doubted because their appearances change, that presupposes one object [Colvin] |
20729 | Arguments that objects are unknowable or non-existent assume the knower's existence [Colvin] |
20731 | The idea that everything is relations is contradictory; relations are part of the concept of things [Colvin] |