43 ideas
1502 | Parmenides was much more cautious about accepting ideas than his predecessors [Simplicius on Parmenides] |
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
9358 | There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI] |
9357 | Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI] |
9364 | Names represent a uniformity in experience, or they name nothing [Lewis,CI] |
448 | No necessity could produce Being either later or earlier, so it must exist absolutely or not at all [Parmenides] |
447 | Being must be eternal and uncreated, and hence it is timeless [Parmenides] |
449 | Being is not divisible, since it is all alike [Parmenides] |
1503 | There is no such thing as nothing [Parmenides] |
445 | The realm of necessary non-existence cannot be explored, because it is unknowable [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] |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
444 | The first way of enquiry involves necessary existence [Parmenides] |
450 | Necessity sets limits on being, in order to give it identity [Parmenides] |
9362 | Necessary truths are those we will maintain no matter what [Lewis,CI] |
7803 | Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle] |
451 | Thinking implies existence, because thinking depends on it [Parmenides] |
9365 | We can maintain a priori principles come what may, but we can also change them [Lewis,CI] |
1506 | Parmenides treats perception and intellectual activity as the same [Theophrastus on Parmenides] |
3058 | Only reason can prove the truth of facts [Parmenides] |
21500 | We rely on memory for empirical beliefs because they mutually support one another [Lewis,CI] |
21501 | If we doubt memories we cannot assess our doubt, or what is being doubted [Lewis,CI] |
6556 | If anything is to be probable, then something must be certain [Lewis,CI] |
21498 | Congruents assertions increase the probability of each individual assertion in the set [Lewis,CI] |
5828 | Extension is the class of things, intension is the correct definition of the thing, and intension determines extension [Lewis,CI] |
9361 | We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI] |
21788 | The moral will is self-determining, but the ethical will is met in society [Houlgate] |
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] |
226 | The one is without any kind of motion [Parmenides] |
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] |
9363 | Science seeks classification which will discover laws, essences, and predictions [Lewis,CI] |
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] |
1791 | He was the first person to say the earth is spherical [Parmenides, by Diog. Laertius] |
1794 | He was the first to discover the identity of the Morning and Evening Stars [Parmenides, by Diog. Laertius] |