49 ideas
| 9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
| 9570 | In Field's Platonist view, set theory is false because it asserts existence for non-existent things [Field,H, by Chihara] |
| 9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
| 10260 | Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro] |
| 8958 | In Field's version of science, space-time points replace real numbers [Field,H, by Szabó] |
| 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] |
| 18221 | 'Metric' axioms uses functions, points and numbers; 'synthetic' axioms give facts about space [Field,H] |
| 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] |
| 8757 | The Indispensability Argument is the only serious ground for the existence of mathematical entities [Field,H] |
| 18212 | Nominalists try to only refer to physical objects, or language, or mental constructions [Field,H] |
| 10261 | The application of mathematics only needs its possibility, not its truth [Field,H, by Shapiro] |
| 18218 | Hilbert explains geometry, by non-numerical facts about space [Field,H] |
| 9623 | Field needs a semantical notion of second-order consequence, and that needs sets [Brown,JR on Field,H] |
| 9876 | Set theory isn't part of logic, and why reduce to something more complex? [Dummett] |
| 18215 | It seems impossible to explain the idea that the conclusion is contained in the premises [Field,H] |
| 18216 | Abstractions can form useful counterparts to concrete statements [Field,H] |
| 18214 | Mathematics is only empirical as regards which theory is useful [Field,H] |
| 18210 | Why regard standard mathematics as truths, rather than as interesting fictions? [Field,H] |
| 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] |
| 18211 | You can reduce ontological commitment by expanding the logic [Field,H] |
| 8959 | Field presumes properties can be eliminated from science [Field,H, by Szabó] |
| 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] |
| 18213 | Abstract objects are only applicable to the world if they are impure, and connect to the physical [Field,H] |
| 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] |
| 18222 | Beneath every extrinsic explanation there is an intrinsic explanation [Field,H] |
| 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] |
| 9917 | 'Abstract' is unclear, but numbers, functions and sets are clearly abstract [Field,H] |
| 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] |
| 19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |
| 18223 | In theories of fields, space-time points or regions are causal agents [Field,H] |
| 18257 | Why should the limit of measurement be points, not intervals? [Dummett] |
| 18220 | Both philosophy and physics now make substantivalism more attractive [Field,H] |
| 18219 | Relational space is problematic if you take the idea of a field seriously [Field,H] |