77 ideas
| 326 | For relaxation one can consider the world of change, instead of eternal things [Plato] |
| 315 | Philosophy is the supreme gift of the gods to mortals [Plato] |
| 306 | Nothing can come to be without a cause [Plato] |
| 9641 | Definitions should be replaceable by primitives, and should not be creative [Brown,JR] |
| 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] |
| 324 | Before the existence of the world there must have been being, space and becoming [Plato] |
| 20364 | The apprehensions of reason remain unchanging, but reasonless sensation shows mere becoming [Plato] |
| 9619 | David's 'Napoleon' is about something concrete and something abstract [Brown,JR] |
| 12042 | Plato's Forms were seen as part of physics, rather than of metaphysics [Plato, by Annas] |
| 307 | Something will always be well-made if the maker keeps in mind the eternal underlying pattern [Plato] |
| 318 | In addition to the underlying unchanging model and a changing copy of it, there must also be a foundation of all change [Plato] |
| 321 | For knowledge and true opinion to be different there must be Forms; otherwise we are just stuck with sensations [Plato] |
| 317 | The universe is basically an intelligible and unchanging model, and a visible and changing copy of it [Plato] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 334 | Only bird-brained people think astronomy is entirely a matter of evidence [Plato] |
| 5962 | Plato says the soul is ordered by number [Plato, by Plutarch] |
| 330 | No one wants to be bad, but bad men result from physical and educational failures, which they do not want or choose [Plato] |
| 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] |
| 316 | Music has harmony like the soul, and serves to reorder disharmony within us [Plato] |
| 332 | One should exercise both the mind and the body, to avoid imbalance [Plato] |
| 328 | Everything that takes place naturally is pleasant [Plato] |
| 322 | Intelligence is the result of rational teaching; true opinion can result from irrational persuasion [Plato] |
| 331 | Bad governments prevent discussion, and discourage the study of virtue [Plato] |
| 311 | The cosmos must be unique, because it resembles the creator, who is unique [Plato] |
| 310 | The creator of the cosmos had no envy, and so wanted things to be as like himself as possible [Plato] |
| 9635 | Given atomism at one end, and a finite universe at the other, there are no physical infinities [Brown,JR] |
| 325 | We must consider the four basic shapes as too small to see, only becoming visible in large numbers [Plato] |
| 327 | There are two types of cause, the necessary and the divine [Plato] |
| 314 | Heavenly movements gave us the idea of time, and caused us to inquire about the heavens [Plato] |
| 312 | Time came into existence with the heavens, so that there will be a time when they can be dissolved [Plato] |
| 309 | Clearly the world is good, so its maker must have been concerned with the eternal, not with change [Plato] |
| 308 | If the cosmos is an object of perception then it must be continually changing [Plato] |