59 ideas
224 | When questions are doubtful we should concentrate not on objects but on ideas of the intellect [Plato] |
232 | Opposites are as unlike as possible [Plato] |
8937 | Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic [Hegel on Plato] |
17749 | Post proved the consistency of propositional logic in 1921 [Walicki] |
17765 | Propositional language can only relate statements as the same or as different [Walicki] |
17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |
17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
17759 | Ordinals play the central role in set theory, providing the model of well-ordering [Walicki] |
17741 | To determine the patterns in logic, one must identify its 'building blocks' [Walicki] |
17747 | A 'model' of a theory specifies interpreting a language in a domain to make all theorems true [Walicki] |
17748 | The L-S Theorem says no theory (even of reals) says more than a natural number theory [Walicki] |
17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki] |
13986 | Plato found antinomies in ideas, Kant in space and time, and Bradley in relations [Plato, by Ryle] |
14150 | Plato's 'Parmenides' is perhaps the best collection of antinomies ever made [Russell on Plato] |
17757 | Members of ordinals are ordinals, and also subsets of ordinals [Walicki] |
17755 | Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki] |
17756 | The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki] |
17760 | Two infinite ordinals can represent a single infinite cardinal [Walicki] |
17758 | Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki] |
17762 | In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki] |
17754 | Inductive proof depends on the choice of the ordering [Walicki] |
16150 | One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato] |
229 | The one was and is and will be and was becoming and is becoming and will become [Plato] |
21821 | Plato's Parmenides has a three-part theory, of Primal One, a One-Many, and a One-and-Many [Plato, by Plotinus] |
221 | Absolute ideas, such as the Good and the Beautiful, cannot be known by us [Plato] |
227 | You must always mean the same thing when you utter the same name [Plato] |
223 | If you deny that each thing always stays the same, you destroy the possibility of discussion [Plato] |
210 | It would be absurd to think there were abstract Forms for vile things like hair, mud and dirt [Plato] |
219 | If absolute ideas existed in us, they would cease to be absolute [Plato] |
228 | Greatness and smallness must exist, to be opposed to one another, and come into being in things [Plato] |
211 | If admirable things have Forms, maybe everything else does as well [Plato] |
220 | The concept of a master includes the concept of a slave [Plato] |
16151 | Plato moves from Forms to a theory of genera and principles in his later work [Plato, by Frede,M] |
212 | The whole idea of each Form must be found in each thing which participates in it [Plato] |
213 | Each idea is in all its participants at once, just as daytime is a unity but in many separate places at once [Plato] |
216 | If things are made alike by participating in something, that thing will be the absolute idea [Plato] |
218 | Participation is not by means of similarity, so we are looking for some other method of participation [Plato] |
215 | If things partake of ideas, this implies either that everything thinks, or that everything actually is thought [Plato] |
214 | If absolute greatness and great things are seen as the same, another thing appears which makes them seem great [Plato] |
217 | Nothing can be like an absolute idea, because a third idea intervenes to make them alike (leading to a regress) [Plato] |
15851 | Parts must belong to a created thing with a distinct form [Plato] |
15846 | In Parmenides, if composition is identity, a whole is nothing more than its parts [Plato, by Harte,V] |
15849 | Plato says only a one has parts, and a many does not [Plato, by Harte,V] |
15850 | Anything which has parts must be one thing, and parts are of a one, not of a many [Plato] |
13259 | It seems that the One must be composed of parts, which contradicts its being one [Plato] |
15847 | Two things relate either as same or different, or part of a whole, or the whole of the part [Plato] |
17742 | Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki] |
222 | Only a great person can understand the essence of things, and an even greater person can teach it [Plato] |
225 | The unlimited has no shape and is endless [Plato] |
233 | Some things do not partake of the One [Plato] |
2062 | The only movement possible for the One is in space or in alteration [Plato] |
231 | Everything partakes of the One in some way [Plato] |
17402 | Mendeleev saw three principles in nature: matter, force and spirit (where the latter seems to be essence) [Mendeleev, by Scerri] |
17399 | Elements don't survive in compounds, but the 'substance' of the element does [Mendeleev] |
17400 | Mendeleev focused on abstract elements, not simple substances, so he got to their essence [Mendeleev, by Scerri] |
17401 | Mendeleev had a view of elements which allowed him to overlook some conflicting observations [Mendeleev] |
234 | We couldn't discuss the non-existence of the One without knowledge of it [Plato] |