62 ideas
1502 | Parmenides was much more cautious about accepting ideas than his predecessors [Simplicius on Parmenides] |
10405 | In the iterative conception of sets, they form a natural hierarchy [Swoyer] |
10407 | Logical Form explains differing logical behaviour of similar sentences [Swoyer] |
449 | Being is not divisible, since it is all alike [Parmenides] |
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] |
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] |
14592 | Some abstract things have a beginning and end, so may exist in time (though not space) [Swoyer] |
452 | All our concepts of change and permanence are just names, not the truth [Parmenides] |
10421 | Supervenience is nowadays seen as between properties, rather than linguistic [Swoyer] |
14594 | Ontologists seek existence and identity conditions, and modal and epistemic status for a thing [Swoyer] |
10410 | Anti-realists can't explain different methods to measure distance [Swoyer] |
13076 | Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne] |
10416 | Can properties have parts? [Swoyer] |
10399 | If a property such as self-identity can only be in one thing, it can't be a universal [Swoyer] |
14595 | Can properties exemplify other properties? [Swoyer] |
10417 | There are only first-order properties ('red'), and none of higher-order ('coloured') [Swoyer] |
10413 | The best-known candidate for an identity condition for properties is necessary coextensiveness [Swoyer] |
10402 | Various attempts are made to evade universals being wholly present in different places [Swoyer] |
10400 | Conceptualism says words like 'honesty' refer to concepts, not to properties [Swoyer] |
10403 | If properties are abstract objects, then their being abstract exemplifies being abstract [Swoyer] |
14593 | Quantum field theory suggests that there are, fundamentally, no individual things [Swoyer] |
13103 | Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne] |
13102 | If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne] |
13104 | Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne] |
13100 | Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne] |
13068 | We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne] |
13069 | The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne] |
13072 | Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne] |
17080 | Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne] |
1504 | Something must be unchanging to make recognition and knowledge possible [Aristotle on Parmenides] |
13101 | Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne] |
444 | The first way of enquiry involves necessary existence [Parmenides] |
450 | Necessity sets limits on being, in order to give it identity [Parmenides] |
10406 | One might hope to reduce possible worlds to properties [Swoyer] |
13081 | Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne] |
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] |
10404 | Extreme empiricists can hardly explain anything [Swoyer] |
13071 | We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne] |
10408 | Intensions are functions which map possible worlds to sets of things denoted by an expression [Swoyer] |
10409 | Research suggests that concepts rely on typical examples [Swoyer] |
10401 | The F and G of logic cover a huge range of natural language combinations [Swoyer] |
10420 | Maybe a proposition is just a property with all its places filled [Swoyer] |
555 | People who say that the cosmos is one forget that they must explain movement [Aristotle on Parmenides] |
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] |
1792 | He taught that there are two elements, fire the maker, and earth the matter [Parmenides, by Diog. Laertius] |
10412 | If laws are mere regularities, they give no grounds for future prediction [Swoyer] |
10411 | Two properties can have one power, and one property can have two powers [Swoyer] |
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] |