38 ideas
9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
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] |
13445 | Descartes showed a one-one order-preserving match between points on a line and the real numbers [Descartes, by Hart,WD] |
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] |
9828 | Numbers aren't fixed by position in a structure; it won't tell you whether to start with 0 or 1 [Dummett] |
9829 | The identity of a number may be fixed by something outside structure - by counting [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] |
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] |
16774 | Descartes thinks distinguishing substances from aggregates is pointless [Descartes, by Pasnau] |
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] |
7400 | Descartes said images can refer to objects without resembling them (as words do) [Descartes, by Tuck] |
4310 | We have inner awareness of our freedom [Descartes] |
6553 | Descartes discussed the interaction problem, and compared it with gravity [Descartes, by Lycan] |
9850 | An argument for conceptual priority is greater simplicity in explanation [Dummett] |
9849 | Maybe a concept is 'prior' to another if it can be defined without the second concept [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] |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
19676 | Nature is devoid of thought [Descartes, by Meillassoux] |
6518 | Matter can't just be Descartes's geometry, because a filler of the spaces is needed [Robinson,H on Descartes] |
18257 | Why should the limit of measurement be points, not intervals? [Dummett] |