23 ideas
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
4568 | If 'Queen of England' does not refer if there is no queen, its meaning can't refer if there is one [Cooper,DE] |
21642 | If quantification is all substitutional, there is no ontology [Quine] |
17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
1633 | Absolute ontological questions are meaningless, because the answers are circular definitions [Quine] |
18964 | Ontology is relative to both a background theory and a translation manual [Quine] |
4574 | If some peoples do not have categories like time or cause, they can't be essential features of rationality [Cooper,DE] |
18965 | We know what things are by distinguishing them, so identity is part of ontology [Quine] |
4573 | If it is claimed that language correlates with culture, we must be able to identify the two independently [Cooper,DE] |
4575 | A person's language doesn't prove their concepts, but how are concepts deduced apart from language? [Cooper,DE] |
1634 | Two things are relative - the background theory, and translating the object theory into the background theory [Quine] |
4561 | Many sentences set up dispositions which are irrelevant to the meanings of the sentences [Cooper,DE] |
4564 | I can meaningfully speculate that humans may have experiences currently impossible for us [Cooper,DE] |
4565 | The verification principle itself seems neither analytic nor verifiable [Cooper,DE] |
4563 | 'How now brown cow?' is used for elocution, but this says nothing about its meaning [Cooper,DE] |
4562 | Most people know how to use the word "Amen", but they do not know what it means [Cooper,DE] |
4571 | Reference need not be a hit-or-miss affair [Cooper,DE] |
8470 | Reference is inscrutable, because we cannot choose between theories of numbers [Quine, by Orenstein] |
4566 | Any thesis about reference is also a thesis about what exists to be referred to [Cooper,DE] |
4572 | If predicates name things, that reduces every sentence to a mere list of names [Cooper,DE] |
4576 | An analytic truth is one which becomes a logical truth when some synonyms have been replaced [Cooper,DE] |
18963 | Indeterminacy translating 'rabbit' depends on translating individuation terms [Quine] |