49 ideas
1502 | Parmenides was much more cautious about accepting ideas than his predecessors [Simplicius on Parmenides] |
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] |
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] |
448 | No necessity could produce Being either later or earlier, so it must exist absolutely or not at all [Parmenides] |
449 | Being is not divisible, since it is all alike [Parmenides] |
447 | Being must be eternal and uncreated, and hence it is timeless [Parmenides] |
445 | The realm of necessary non-existence cannot be explored, because it is unknowable [Parmenides] |
1503 | There is no such thing as nothing [Parmenides] |
21820 | Parmenides at least saw Being as the same as Nous, and separate from the sensed realm [Parmenides, by Plotinus] |
452 | All our concepts of change and permanence are just names, not the truth [Parmenides] |
1504 | Something must be unchanging to make recognition and knowledge possible [Aristotle on Parmenides] |
444 | The first way of enquiry involves necessary existence [Parmenides] |
450 | Necessity sets limits on being, in order to give it identity [Parmenides] |
451 | Thinking implies existence, because thinking depends on it [Parmenides] |
1506 | Parmenides treats perception and intellectual activity as the same [Theophrastus on Parmenides] |
3058 | Only reason can prove the truth of facts [Parmenides] |
1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
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] |
17937 | Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan] |
226 | The one is without any kind of motion [Parmenides] |
5081 | There could be movement within one thing, as there is within water [Aristotle on Parmenides] |
1509 | The one can't be divisible, because if it was it could be infinitely divided down to nothing [Parmenides, by Simplicius] |
20900 | Defenders of the One say motion needs the void - but that is not part of Being [Parmenides, by Aristotle] |
1505 | Reason sees reality as one, the senses see it as many [Aristotle on Parmenides] |
453 | Reality is symmetrical and balanced, like a sphere, with no reason to be greater one way rather than another [Parmenides] |
555 | People who say that the cosmos is one forget that they must explain movement [Aristotle on Parmenides] |
1792 | He taught that there are two elements, fire the maker, and earth the matter [Parmenides, by Diog. Laertius] |
5115 | It is feeble-minded to look for explanations of everything being at rest [Aristotle on Parmenides] |
13217 | The void can't exist, and without the void there can't be movement or separation [Parmenides, by Aristotle] |
22918 | What could have triggered the beginning [of time and being]? [Parmenides] |
1794 | He was the first to discover the identity of the Morning and Evening Stars [Parmenides, by Diog. Laertius] |
1791 | He was the first person to say the earth is spherical [Parmenides, by Diog. Laertius] |