41 ideas
1502 | Parmenides was much more cautious about accepting ideas than his predecessors [Simplicius on Parmenides] |
10017 | Truth in a model is more tractable than the general notion of truth [Hodes] |
10018 | Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes] |
10015 | Higher-order logic may be unintelligible, but it isn't set theory [Hodes] |
10011 | Identity is a level one relation with a second-order definition [Hodes] |
10016 | When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes] |
10027 | Mathematics is higher-order modal logic [Hodes] |
10026 | Arithmetic must allow for the possibility of only a finite total of objects [Hodes] |
10021 | It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes] |
10022 | Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes] |
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] |
16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
10023 | Talk of mirror images is 'encoded fictions' about real facts [Hodes] |
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] |
555 | People who say that the cosmos is one forget that they must explain movement [Aristotle on 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] |
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] |
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] |
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] |