61 ideas
| 18290 | But what is the reasoning of the body, that it requires the wisdom you seek? [Nietzsche] |
| 18303 | Reject wisdom that lacks laughter [Nietzsche] |
| 18305 | To love truth, you must know how to lie [Nietzsche] |
| 8472 | Sentential logic is consistent (no contradictions) and complete (entirely provable) [Orenstein] |
| 8476 | Axiomatization simply picks from among the true sentences a few to play a special role [Orenstein] |
| 8480 | S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein] |
| 8474 | Unlike elementary logic, set theory is not complete [Orenstein] |
| 8465 | Mereology has been exploited by some nominalists to achieve the effects of set theory [Orenstein] |
| 8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
| 8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
| 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] |
| 8454 | The whole numbers are 'natural'; 'rational' numbers include fractions; the 'reals' include root-2 etc. [Orenstein] |
| 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] |
| 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] |
| 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] |
| 9903 | Number words are not predicates, as they function very differently from adjectives [Benacerraf] |
| 8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |
| 9904 | The set-theory paradoxes mean that 17 can't be the class of all classes with 17 members [Benacerraf] |
| 8458 | Just individuals in Nominalism; add sets for Extensionalism; add properties, concepts etc for Intensionalism [Orenstein] |
| 9905 | Identity statements make sense only if there are possible individuating conditions [Benacerraf] |
| 8457 | The Principle of Conservatism says we should violate the minimum number of background beliefs [Orenstein] |
| 20757 | The powerful self behind your thoughts and feelings is your body [Nietzsche] |
| 18289 | Forget the word 'I'; 'I' is performed by the intelligence of your body [Nietzsche] |
| 8477 | People presume meanings exist because they confuse meaning and reference [Orenstein] |
| 8471 | Three ways for 'Socrates is human' to be true are nominalist, platonist, or Montague's way [Orenstein] |
| 8484 | If two people believe the same proposition, this implies the existence of propositions [Orenstein] |
| 18299 | The will is constantly frustrated by the past [Nietzsche] |
| 18297 | We created meanings, to maintain ourselves [Nietzsche] |
| 18293 | The noble man wants new virtues; the good man preserves what is old [Nietzsche] |
| 18301 | We only really love children and work [Nietzsche] |
| 18307 | I want my work, not happiness! [Nietzsche] |
| 18291 | Virtues can destroy one another, through jealousy [Nietzsche] |
| 18287 | People now find both wealth and poverty too much of a burden [Nietzsche] |
| 18295 | If you want friends, you must be a fighter [Nietzsche] |
| 18286 | The greatest experience possible is contempt for your own happiness, reason and virtue [Nietzsche] |
| 18296 | An enduring people needs its own individual values [Nietzsche] |
| 18294 | The state coldly claims that it is the people, but that is a lie [Nietzsche] |
| 18304 | Saints want to live as they desire, or not to live at all [Nietzsche] |
| 18300 | Whenever we have seen suffering, we have wanted the revenge of punishment [Nietzsche] |
| 18302 | Man and woman are deeply strange to one another! [Nietzsche] |
| 18292 | I can only believe in a God who can dance [Nietzsche] |
| 18298 | Not being a god is insupportable, so there are no gods! [Nietzsche] |
| 18288 | Heaven was invented by the sick and the dying [Nietzsche] |
| 18306 | We don't want heaven; now that we are men, we want the kingdom of earth [Nietzsche] |