56 ideas
17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
15845 | It seems absurd that seeing a person's limbs, the one is many, and yet the many are one [Plato] |
17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
9867 | It is absurd to define a circle, but not be able to recognise a real one [Plato] |
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] |
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] |
9865 | Daily arithmetic counts unequal things, but pure arithmetic equalises them [Plato] |
9897 | The application of a system of numbers is counting and measurement [Benacerraf] |
17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
9900 | For Zermelo 3 belongs to 17, but for Von Neumann it does not [Benacerraf] |
9899 | The successor of x is either x and all its members, or just the unit set of x [Benacerraf] |
17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
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] |
9907 | If any recursive sequence will explain ordinals, then it seems to be the structure which matters [Benacerraf] |
9908 | The job is done by the whole system of numbers, so numbers are not objects [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] |
9910 | Number-as-objects works wholesale, but fails utterly object by object [Benacerraf] |
17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
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] |
14503 | If a mixture does not contain measure and proportion, it is corrupted and destroyed [Plato] |
15857 | Any mixture which lacks measure and proportion doesn't even count as a mixture at all [Plato] |
4447 | If the good is one, is it unchanged when it is in particulars, and is it then separated from itself? [Plato] |
15856 | A thing can become one or many, depending on how we talk about it [Plato] |
374 | If one object is divided into its parts, someone can then say that one are many and many is one [Plato] |
9905 | Identity statements make sense only if there are possible individuating conditions [Benacerraf] |
389 | How can you be certain about aspects of the world if they aren't constant? [Plato] |
390 | If goodness involves moderation and proportion, then it seems to be found in beauty [Plato] |
391 | The good involves beauty, proportion and truth [Plato] |
392 | Neither intellect nor pleasure are the good, because they are not perfect and self-sufficient [Plato] |
393 | Good first, then beauty, then reason, then knowledge, then pleasure [Plato, by PG] |
385 | Some of the pleasures and pains we feel are false [Plato] |
387 | A small pure pleasure is much finer than a large one contaminated with pain [Plato] |
373 | Pleasure is certainly very pleasant, but it doesn't follow that all pleasures are good [Plato] |
379 | The good must be sufficient and perfect, and neither intellect nor pleasure are that [Plato] |
371 | Reason, memory, truth and wisdom are far better than pleasure, for those who can attain them [Plato] |
376 | Would you prefer a life of pleasure without reason, or one of reason without pleasure? [Plato] |
382 | It is unlikely that the gods feel either pleasure or pain [Plato] |
381 | We feel pleasure when we approach our natural state of harmony [Plato] |
386 | Intense pleasure and pain are not felt in a good body, but in a worthless one [Plato] |
388 | Hedonists must say that someone in pain is bad, even if they are virtuous [Plato] |
377 | If you lived a life of maximum pleasure, would you still be lacking anything? [Plato] |
378 | A life of pure pleasure with no intellect is the life of a jellyfish [Plato] |