124 ideas
19073 | True philosophy aims at absolute unity, while our understanding sees only separation [Hegel] |
15624 | Free thinking has no presuppositions [Hegel] |
15631 | The ideal of reason is the unification of abstract identity (or 'concept') and being [Hegel] |
15612 | Older metaphysics naively assumed that thought grasped things in themselves [Hegel] |
21768 | Logic is metaphysics, the science of things grasped in thoughts [Hegel] |
21984 | We must break up the rigidity that our understanding has imposed [Hegel] |
224 | When questions are doubtful we should concentrate not on objects but on ideas of the intellect [Plato] |
22081 | Let thought follow its own course, and don't interfere [Hegel] |
15626 | Categories create objective experience, but are too conditioned by things to actually grasp them [Hegel] |
15616 | If truth is just non-contradiction, we must take care that our basic concepts aren't contradictory [Hegel] |
232 | Opposites are as unlike as possible [Plato] |
8937 | Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic [Hegel on Plato] |
21767 | Dialectic is seen in popular proverbs like 'pride comes before a fall' [Hegel] |
15638 | Dialectic is the moving soul of scientific progression, the principle which binds science together [Hegel] |
15639 | Socratic dialectic is subjective, but Plato made it freely scientific and objective [Hegel] |
15615 | Older metaphysics became dogmatic, by assuming opposed assertions must be true and false [Hegel] |
19070 | Superficial truth is knowing how something is, which is consciousness of bare correctness [Hegel] |
5644 | In Hegel's logic it is concepts (rather than judgements or propositions) which are true or false [Hegel, by Scruton] |
19072 | In the deeper sense of truth, to be untrue resembles being bad; badness is untrue to a thing's nature [Hegel] |
19071 | The deeper sense of truth is a thing matching the idea of what it ought to be [Hegel] |
10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
11011 | Same say there are positive, negative and neuter free logics [Read] |
11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
10986 | Not all validity is captured in first-order logic [Read] |
10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
21595 | Excluded middle is the maxim of definite understanding, but just produces contradictions [Hegel] |
10973 | A theory is logically closed, which means infinite premisses [Read] |
11007 | Quantifiers are second-order predicates [Read] |
10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
10988 | Any first-order theory of sets is inadequate [Read] |
10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
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] |
15628 | The idea that contradiction is essential to rational understanding is a key modern idea [Hegel] |
15629 | Tenderness for the world solves the antinomies; contradiction is in our reason, not in the essence of the world [Hegel] |
15630 | Antinomies are not just in four objects, but in all objects, all representations, all objects and all ideas [Hegel] |
11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
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] |
11016 | Would a language without vagueness be usable at all? [Read] |
11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
15634 | Thought about particulars is done entirely through categories [Hegel] |
22078 | Even simple propositions about sensations are filled with categories [Hegel] |
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] |
220 | The concept of a master includes the concept of a slave [Plato] |
211 | If admirable things have Forms, maybe everything else does as well [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] |
16151 | Plato moves from Forms to a theory of genera and principles in his later work [Plato, by Frede,M] |
218 | Participation is not by means of similarity, so we are looking for some other method of participation [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] |
212 | The whole idea of each Form must be found in each thing which participates in it [Plato] |
215 | If things partake of ideas, this implies either that everything thinks, or that everything actually is thought [Plato] |
217 | Nothing can be like an absolute idea, because a third idea intervenes to make them alike (leading to a regress) [Plato] |
214 | If absolute greatness and great things are seen as the same, another thing appears which makes them seem great [Plato] |
10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
15851 | Parts must belong to a created thing with a distinct form [Plato] |
21981 | The one substance is formless without the mediation of dialectical concepts [Hegel] |
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] |
15637 | Essence is the essential self-positing unity of immediacy and mediation [Hegel] |
15613 | Real cognition grasps a thing from within itself, and is not satisfied with mere predicates [Hegel] |
15847 | Two things relate either as same or different, or part of a whole, or the whole of the part [Plato] |
11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
10989 | The standard view of conditionals is that they are truth-functional [Read] |
11017 | Some people even claim that conditionals do not express propositions [Read] |
10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
15636 | The Cogito is at the very centre of the entire concern of modern philosophy [Hegel] |
22300 | Existence is just a set of relationships [Hegel] |
15609 | The sensible is distinguished from thought by being about singular things [Hegel] |
15625 | Sense perception is secondary and dependent, while thought is independent and primitive [Hegel] |
15619 | Empiricism made particular knowledge possible, and blocked wild claims [Hegel] |
15620 | Empiricism contains the important idea that we should see knowledge for ourselves, and be part of it [Hegel] |
15622 | Empiricism unknowingly contains and uses a metaphysic, which underlies its categories [Hegel] |
15621 | Empiricism of the finite denies the supersensible, and can only think with formal abstraction [Hegel] |
15632 | The Humean view stops us thinking about perception, and finding universals and necessities in it [Hegel] |
15623 | Humean scepticism, unlike ancient Greek scepticism, accepts the truth of experience as basic [Hegel] |
10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
15617 | In abstraction, beyond finitude, freedom and necessity must exist together [Hegel] |
15608 | The act of thinking is the bringing forth of universals [Hegel] |
21986 | Hegel's system has a vast number of basic concepts [Hegel, by Moore,AW] |
15607 | We don't think with concepts - we think the concepts [Hegel] |
15610 | Active thought about objects produces the universal, which is what is true and essential of it [Hegel] |
11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
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] |
15614 | Old metaphysics tried to grasp eternal truths through causal events, which is impossible [Hegel] |
15635 | The older conception of God was emptied of human features, to make it worthy of the Infinite [Hegel] |
21980 | God is the absolute thing, and also the absolute person [Hegel] |
15618 | If God is the abstract of Supremely Real Essence, then God is a mere Beyond, and unknowable [Hegel] |
234 | We couldn't discuss the non-existence of the One without knowledge of it [Plato] |
15633 | We establish unification of the Ideal by the ontological proof, deriving being from abstraction of thinking [Hegel] |