78 ideas
| 2930 | The main aim of philosophy must be to determine the order of rank among values [Nietzsche] |
| 20143 | Scientific knowledge is nothing without a prior philosophical 'faith' [Nietzsche] |
| 23722 | Objectivity is not disinterestedness (impossible), but the ability to switch perspectives [Nietzsche] |
| 9641 | Definitions should be replaceable by primitives, and should not be creative [Brown,JR] |
| 4417 | Only that which has no history is definable [Nietzsche] |
| 23715 | Psychologists should be brave and proud, and prefer truth to desires, even when it is ugly [Nietzsche] |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| 9634 | Set theory says that natural numbers are an actual infinity (to accommodate their powerset) [Brown,JR] |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| 9613 | Naïve set theory assumed that there is a set for every condition [Brown,JR] |
| 9615 | Nowadays conditions are only defined on existing sets [Brown,JR] |
| 9617 | The 'iterative' view says sets start with the empty set and build up [Brown,JR] |
| 9642 | A flock of birds is not a set, because a set cannot go anywhere [Brown,JR] |
| 9605 | If a proposition is false, then its negation is true [Brown,JR] |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| 9649 | Axioms are either self-evident, or stipulations, or fallible attempts [Brown,JR] |
| 9638 | Berry's Paradox finds a contradiction in the naming of huge numbers [Brown,JR] |
| 9604 | Mathematics is the only place where we are sure we are right [Brown,JR] |
| 9622 | 'There are two apples' can be expressed logically, with no mention of numbers [Brown,JR] |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| 9648 | π is a 'transcendental' number, because it is not the solution of an equation [Brown,JR] |
| 9621 | Mathematics represents the world through structurally similar models. [Brown,JR] |
| 9646 | There is no limit to how many ways something can be proved in mathematics [Brown,JR] |
| 9647 | Computers played an essential role in proving the four-colour theorem of maps [Brown,JR] |
| 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] |
| 9643 | Set theory may represent all of mathematics, without actually being mathematics [Brown,JR] |
| 9644 | When graphs are defined set-theoretically, that won't cover unlabelled graphs [Brown,JR] |
| 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] |
| 9625 | To see a structure in something, we must already have the idea of the structure [Brown,JR] |
| 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] |
| 9628 | Sets seem basic to mathematics, but they don't suit structuralism [Brown,JR] |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| 9606 | The irrationality of root-2 was achieved by intellect, not experience [Brown,JR] |
| 9612 | There is an infinity of mathematical objects, so they can't be physical [Brown,JR] |
| 9610 | Numbers are not abstracted from particulars, because each number is a particular [Brown,JR] |
| 9620 | Empiricists base numbers on objects, Platonists base them on properties [Brown,JR] |
| 9639 | Does some mathematics depend entirely on notation? [Brown,JR] |
| 9629 | For nomalists there are no numbers, only numerals [Brown,JR] |
| 9630 | The most brilliant formalist was Hilbert [Brown,JR] |
| 9608 | There are no constructions for many highly desirable results in mathematics [Brown,JR] |
| 9645 | Constructivists say p has no value, if the value depends on Goldbach's Conjecture [Brown,JR] |
| 9619 | David's 'Napoleon' is about something concrete and something abstract [Brown,JR] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 4421 | Philosophers have never asked why there is a will to truth in the first place [Nietzsche] |
| 23719 | Forgetfulness is a strong positive ability, not mental laziness [Nietzsche] |
| 4420 | There is only 'perspective' seeing and knowing, and so the best objectivity is multiple points of view [Nietzsche] |
| 4414 | Philosophers invented "free will" so that our virtues would be permanently interesting to the gods [Nietzsche] |
| 4419 | People who think in words are orators rather than thinkers, and think about facts instead of thinking facts [Nietzsche] |
| 9611 | 'Abstract' nowadays means outside space and time, not concrete, not physical [Brown,JR] |
| 9609 | The older sense of 'abstract' is where 'redness' or 'group' is abstracted from particulars [Brown,JR] |
| 9640 | A term can have not only a sense and a reference, but also a 'computational role' [Brown,JR] |
| 4411 | It is a delusion to separate the man from the deed, like the flash from the lightning [Nietzsche] |
| 3793 | We must question the very value of moral values [Nietzsche] |
| 4408 | The concept of 'good' was created by aristocrats to describe their own actions [Nietzsche] |
| 23716 | A strong rounded person soon forgets enemies, misfortunes, and even misdeeds [Nietzsche] |
| 20129 | All animals strive for the ideal conditions to express their power, and hate any hindrances [Nietzsche] |
| 4409 | Only the decline of aristocratic morality led to concerns about "egoism" [Nietzsche] |
| 3259 | Nietzsche rejects impersonal morality, and asserts the idea of living well [Nietzsche, by Nagel] |
| 4416 | Basic justice is the negotiation of agreement among equals, and the imposition of agreement [Nietzsche] |
| 4418 | A masterful and violent person need have nothing to do with contracts [Nietzsche] |
| 4407 | Plato, Spinoza and Kant are very different, but united in their low estimation of pity [Nietzsche] |
| 4415 | Guilt and obligation originated in the relationship of buying and selling, credit and debt [Nietzsche] |
| 23718 | If we say birds of prey could become lambs, that makes them responsible for being birds of prey [Nietzsche] |
| 23717 | Modern nihilism is now feeling tired of mankind [Nietzsche] |
| 23721 | Old tribes always felt an obligation to the earlier generations, and the founders [Nietzsche] |
| 20142 | The state begins with brutal conquest of a disorganised people, not with a 'contract' [Nietzsche] |
| 23720 | Punishment makes people harder, more alienated, and hostile [Nietzsche] |
| 9635 | Given atomism at one end, and a finite universe at the other, there are no physical infinities [Brown,JR] |
| 4410 | The truly great haters in world history have always been priests [Nietzsche] |