47 ideas
| 9570 | In Field's Platonist view, set theory is false because it asserts existence for non-existent things [Field,H, by Chihara] |
| 10260 | Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro] |
| 9912 | There are no such things as numbers [Benacerraf] |
| 9901 | Numbers can't be sets if there is no agreement on which sets they are [Benacerraf] |
| 8958 | In Field's version of science, space-time points replace real numbers [Field,H, by Szabó] |
| 9151 | Benacerraf says numbers are defined by their natural ordering [Benacerraf, by Fine,K] |
| 13891 | To understand finite cardinals, it is necessary and sufficient to understand progressions [Benacerraf, by Wright,C] |
| 17904 | A set has k members if it one-one corresponds with the numbers less than or equal to k [Benacerraf] |
| 17906 | To explain numbers you must also explain cardinality, the counting of things [Benacerraf] |
| 9898 | We can count intransitively (reciting numbers) without understanding transitive counting of items [Benacerraf] |
| 17903 | Someone can recite numbers but not know how to count things; but not vice versa [Benacerraf] |
| 9897 | The application of a system of numbers is counting and measurement [Benacerraf] |
| 18221 | 'Metric' axioms uses functions, points and numbers; 'synthetic' axioms give facts about space [Field,H] |
| 9899 | The successor of x is either x and all its members, or just the unit set of x [Benacerraf] |
| 9900 | For Zermelo 3 belongs to 17, but for Von Neumann it does not [Benacerraf] |
| 8697 | Disputes about mathematical objects seem irrelevant, and mathematicians cannot resolve them [Benacerraf, by Friend] |
| 8304 | No particular pair of sets can tell us what 'two' is, just by one-to-one correlation [Benacerraf, by Lowe] |
| 9906 | If ordinal numbers are 'reducible to' some set-theory, then which is which? [Benacerraf] |
| 9908 | The job is done by the whole system of numbers, so numbers are not objects [Benacerraf] |
| 9907 | If any recursive sequence will explain ordinals, then it seems to be the structure which matters [Benacerraf] |
| 9909 | The number 3 defines the role of being third in a progression [Benacerraf] |
| 9911 | Number words no more have referents than do the parts of a ruler [Benacerraf] |
| 8925 | Mathematical objects only have properties relating them to other 'elements' of the same structure [Benacerraf] |
| 9938 | How can numbers be objects if order is their only property? [Benacerraf, by Putnam] |
| 8757 | The Indispensability Argument is the only serious ground for the existence of mathematical entities [Field,H] |
| 9910 | Number-as-objects works wholesale, but fails utterly object by object [Benacerraf] |
| 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] |
| 9903 | Number words are not predicates, as they function very differently from adjectives [Benacerraf] |
| 9904 | The set-theory paradoxes mean that 17 can't be the class of all classes with 17 members [Benacerraf] |
| 18215 | It seems impossible to explain the idea that the conclusion is contained in the premises [Field,H] |
| 18214 | Mathematics is only empirical as regards which theory is useful [Field,H] |
| 18216 | Abstractions can form useful counterparts to concrete statements [Field,H] |
| 18210 | Why regard standard mathematics as truths, rather than as interesting fictions? [Field,H] |
| 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ó] |
| 18213 | Abstract objects are only applicable to the world if they are impure, and connect to the physical [Field,H] |
| 9905 | Identity statements make sense only if there are possible individuating conditions [Benacerraf] |
| 18222 | Beneath every extrinsic explanation there is an intrinsic explanation [Field,H] |
| 9917 | 'Abstract' is unclear, but numbers, functions and sets are clearly abstract [Field,H] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 18223 | In theories of fields, space-time points or regions are causal agents [Field,H] |
| 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] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |