59 ideas
| 24084 | Seeing with other eyes is more egoism, but exploring other perspectives leads to objectivity [Nietzsche] |
| 24092 | I tell the truth, even if it is repulsive [Nietzsche] |
| 24114 | The pain in truth is when it destroys a belief [Nietzsche] |
| 24104 | We don't create logic, time and space! The mind obeys laws because they are true [Nietzsche] |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| 24112 | To think about being we must have an opinion about what it is [Nietzsche] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 24089 | Essences are fictions needed for beings who represent things [Nietzsche] |
| 24115 | There is no proof that we forget things - only that we can't recall [Nietzsche] |
| 24090 | Our inclinations would not conflict if we were a unity; we imagine unity for our multiplicity [Nietzsche] |
| 24099 | We contain many minds, which fight for the 'I' of the mind [Nietzsche] |
| 24102 | Thoughts are signs (just as words are) [Nietzsche] |
| 24120 | Great orators lead their arguments, rather than following them [Nietzsche] |
| 24097 | The pragmatics of language is more comprehensible than the meaning [Nietzsche] |
| 24108 | Actions are just a release of force. They seize on something, which becomes the purpose [Nietzsche] |
| 24105 | Drives make us feel non-feelings; Will is the effect of those feelings [Nietzsche] |
| 24117 | We need lower and higher drives, but they must be under firm control [Nietzsche] |
| 24113 | Our motives don't explain our actions [Nietzsche] |
| 24087 | People who miss beauty seek the sublime, where even the ugly shows its 'beauty' [Nietzsche] |
| 24091 | The sublimity of nature which dwarfs us was a human creation [Nietzsche] |
| 20344 | Music is not an expressive art, because it expresses no familiar emotions [Hanslick, by Wollheim] |
| 24093 | We can aspire to greatness by creating new functions for ourselves [Nietzsche] |
| 24121 | Greeks might see modern analysis of what is human as impious [Nietzsche] |
| 24107 | Once a drive controls the intellect, it rules, and sets the goals [Nietzsche] |
| 24085 | For absolute morality a goal for mankind is needed [Nietzsche] |
| 24101 | We always assign values, but we may not value those values [Nietzsche] |
| 24094 | Humans are vividly aware of short-term effects, and almost ignorant of the long-term ones [Nietzsche] |
| 24111 | Happiness is the active equilibrium of our drives [Nietzsche] |
| 24109 | Actual morality is more complicated and subtle than theory (which gets paralysed) [Nietzsche] |
| 24110 | Some things we would never do, even for the highest ideals [Nietzsche] |
| 24103 | You should not want too many virtues; one is enough [Nietzsche] |
| 24106 | Talk of 'utility' presupposes that what is useful to people has been defined [Nietzsche] |
| 24086 | The goal is to settle human beings, like other animals, but humans are still changeable [Nietzsche] |
| 24123 | My eternal recurrence is opposed to feeling fragmented and imperfect [Nietzsche] |
| 24088 | See our present lives as eternal! Religions see it as fleeting, and aim at some different life [Nietzsche] |
| 24119 | The eternal return of wastefulness is a terrible thought [Nietzsche] |
| 24116 | Justice says people are not equal, and should become increasingly unequal [Nietzsche] |
| 24098 | Reasons that justify punishment can also justify the crime [Nietzsche] |
| 24118 | Do away with punishment. Counter-retribution is as bad as the crime [Nietzsche] |
| 24100 | If you don't want war, remove your borders; but you set up borders because you want war [Nietzsche] |
| 24095 | Our growth is too subtle to perceive, and long events are too slow for us to grasp [Nietzsche] |
| 24096 | Unlike time, space is subjective. Empty space was assumed, but it doesn't exist [Nietzsche] |
| 24122 | Life is forces conjoined by nutrition, to produce resistance, arrangement and value [Nietzsche] |