54 ideas
| 24146 | All the major problems were formulated before Socrates [Nietzsche] |
| 24142 | What matters is how humans can be developed [Nietzsche] |
| 24143 | Thinkers might agree some provisional truths, as methodological assumptions [Nietzsche] |
| 24125 | Aristotle enjoyed the sham generalities of a system, as the peak of happiness! [Nietzsche] |
| 24147 | Thoughts are uncertain, and are just occasions for interpretation [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] |
| 24137 | Mathematics is just accurate inferences from definitions, and doesn't involve objects [Nietzsche] |
| 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] |
| 24131 | There is no 'being'; it is just the opposition to nothingness [Nietzsche] |
| 24151 | I only want thinking that is anchored in body, senses and earth [Nietzsche] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 24150 | We can only understand through concepts, which subsume particulars in generalities [Nietzsche] |
| 24138 | Strongly believed a priori is not certain; it may just be a feature of our existence [Nietzsche] |
| 24130 | An affirmative belief is present in every basic sense impression [Nietzsche] |
| 24124 | We now have innumerable perspectives to draw on [Nietzsche] |
| 24145 | Mind is a mechanism of abstraction and simplification, aimed at control [Nietzsche] |
| 24144 | A cognitive mechanism wanting to know itself is absurd! [Nietzsche] |
| 24139 | A 'person' is just one possible abstraction from a bundle of qualities [Nietzsche] |
| 24133 | I have perfected fatalism, as recurrence and denial of the will [Nietzsche] |
| 24152 | Fate is inspiring, if you understand you are part of it [Nietzsche] |
| 24129 | We start with images, then words, and then concepts, to which emotions attach [Nietzsche] |
| 24127 | Judging actions by intentions - like judging painters by their thoughts! [Nietzsche] |
| 24149 | Values need a perspective, of preserving some aspect of life [Nietzsche] |
| 24148 | If you love something, it is connected with everything, so all must be affirmed as good [Nietzsche] |
| 24135 | Egoism should not assume that all egos are equal [Nietzsche] |
| 24132 | After Socrates virtue is misunderstood, as good for all, not for individuals [Nietzsche] |
| 24126 | We contain multitudes of characters, which can brought into the open [Nietzsche] |
| 24136 | Who can endure the thought of eternal recurrence? [Nietzsche] |
| 24154 | If you want one experience repeated, you must want all of them [Nietzsche] |
| 24153 | Humans are determined by community, so its preservation is their most valued drive [Nietzsche] |
| 24134 | There is always slavery, whether we like it or not [Nietzsche] |
| 24128 | After history following God, or a people, or an idea, we now see it in terms of animals [Nietzsche] |
| 8430 | Causal statements are used to explain, to predict, to control, to attribute responsibility, and in theories [Kim] |
| 24140 | Cause and effect is a hypothesis, based on our supposed willing of actions [Nietzsche] |
| 8396 | Many counterfactuals have nothing to do with causation [Kim, by Tooley] |
| 8429 | Counterfactuals can express four other relations between events, apart from causation [Kim] |
| 8428 | Causation is not the only dependency relation expressed by counterfactuals [Kim] |
| 4781 | Many counterfactual truths do not imply causation ('if yesterday wasn't Monday, it isn't Tuesday') [Kim, by Psillos] |
| 24141 | Having a sense of time presupposes absolute time [Nietzsche] |