53 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] |
| 17925 | Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan] |
| 17926 | Rejecting double negation elimination undermines reductio proofs [Colyvan] |
| 24137 | Mathematics is just accurate inferences from definitions, and doesn't involve objects [Nietzsche] |
| 17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |
| 17929 | Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan] |
| 17930 | Axioms are 'categorical' if all of their models are isomorphic [Colyvan] |
| 17928 | Ordinal numbers represent order relations [Colyvan] |
| 17923 | Intuitionists only accept a few safe infinities [Colyvan] |
| 17941 | Infinitesimals were sometimes zero, and sometimes close to zero [Colyvan] |
| 17922 | Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan] |
| 17936 | Transfinite induction moves from all cases, up to the limit ordinal [Colyvan] |
| 17940 | Most mathematical proofs are using set theory, but without saying so [Colyvan] |
| 17931 | Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan] |
| 17932 | If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan] |
| 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] |
| 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] |
| 17943 | Probability supports Bayesianism better as degrees of belief than as ratios of frequencies [Colyvan] |
| 17939 | Mathematics can reveal structural similarities in diverse systems [Colyvan] |
| 17938 | Mathematics can show why some surprising events have to occur [Colyvan] |
| 17934 | Proof by cases (by 'exhaustion') is said to be unexplanatory [Colyvan] |
| 17933 | Reductio proofs do not seem to be very explanatory [Colyvan] |
| 17935 | If inductive proofs hold because of the structure of natural numbers, they may explain theorems [Colyvan] |
| 17942 | Can a proof that no one understands (of the four-colour theorem) really be a proof? [Colyvan] |
| 24145 | Mind is a mechanism of abstraction and simplification, aimed at control [Nietzsche] |
| 17937 | Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan] |
| 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] |
| 3031 | The greatest good is not the achievement of desire, but to desire what is proper [Menedemus, by Diog. Laertius] |
| 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] |
| 24140 | Cause and effect is a hypothesis, based on our supposed willing of actions [Nietzsche] |
| 24141 | Having a sense of time presupposes absolute time [Nietzsche] |