41 ideas
9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
19108 | Truth is proper assertion, but that has varying standards [Misak] |
19094 | For pragmatists the loftiest idea of truth is just a feature of what remains forever assertible [Misak] |
19105 | Truth isn't a grand elusive property, if it is just the aim of our assertions and inquiries [Misak] |
19100 | Truth makes disagreements matter, or worth settling [Misak] |
19099 | 'True' is used for emphasis, clarity, assertion, comparison, objectivity, meaning, negation, consequence... [Misak] |
19103 | 'That's true' doesn't just refer back to a sentence, but implies sustained evidence for it [Misak] |
19101 | Disquotation is bivalent [Misak] |
19096 | Disquotationalism resembles a telephone directory [Misak] |
19106 | Disquotations says truth is assertion, and assertion proclaims truth - but what is 'assertion'? [Misak] |
19098 | Deflating the correspondence theory doesn't entail deflating all the other theories [Misak] |
19104 | Deflationism isn't a theory of truth, but an account of its role in natural language [Misak] |
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
9896 | A prime number is one which is measured by a unit alone [Dummett] |
18255 | Addition of quantities is prior to ordering, as shown in cyclic domains like angles [Dummett] |
9895 | A number is a multitude composed of units [Dummett] |
9852 | We understand 'there are as many nuts as apples' as easily by pairing them as by counting them [Dummett] |
9829 | The identity of a number may be fixed by something outside structure - by counting [Dummett] |
9828 | Numbers aren't fixed by position in a structure; it won't tell you whether to start with 0 or 1 [Dummett] |
9876 | Set theory isn't part of logic, and why reduce to something more complex? [Dummett] |
9884 | The distinction of concrete/abstract, or actual/non-actual, is a scale, not a dichotomy [Dummett] |
9869 | Realism is just the application of two-valued semantics to sentences [Dummett] |
19109 | The anti-realism debate concerns whether indefeasibility is a plausible aim of inquiry [Misak] |
9880 | Nominalism assumes unmediated mental contact with objects [Dummett] |
9885 | The existence of abstract objects is a pseudo-problem [Dummett] |
9858 | Abstract objects nowadays are those which are objective but not actual [Dummett] |
9859 | It is absurd to deny the Equator, on the grounds that it lacks causal powers [Dummett] |
9860 | 'We've crossed the Equator' has truth-conditions, so accept the Equator - and it's an object [Dummett] |
9872 | Abstract objects need the context principle, since they can't be encountered directly [Dummett] |
9848 | Content is replaceable if identical, so replaceability can't define identity [Dummett, by Dummett] |
9842 | Frege introduced criteria for identity, but thought defining identity was circular [Dummett] |
21513 | We can no more expect a precise definition of coherence than we can of the moral ideal [Ewing] |
21497 | If undetailed, 'coherence' is just a vague words that covers all possible arguments [Ewing] |
9849 | Maybe a concept is 'prior' to another if it can be defined without the second concept [Dummett] |
9850 | An argument for conceptual priority is greater simplicity in explanation [Dummett] |
9873 | Abstract terms are acceptable as long as we know how they function linguistically [Dummett] |
9993 | There is no reason why abstraction by equivalence classes should be called 'logical' [Dummett, by Tait] |
9857 | We arrive at the concept 'suicide' by comparing 'Cato killed Cato' with 'Brutus killed Brutus' [Dummett] |
9833 | To abstract from spoons (to get the same number as the forks), the spoons must be indistinguishable too [Dummett] |
9836 | Fregean semantics assumes a domain articulated into individual objects [Dummett] |
18257 | Why should the limit of measurement be points, not intervals? [Dummett] |