43 ideas
| 21761 | If we start with indeterminate being, we arrive at being and nothing as a united pair [Hegel, by Houlgate] |
| Full Idea: Presuppositionless thinking which begins by thinking pure, indeterminate being must therefore come to think being and nothing in terms of one another. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Stephen Houlgate - An Introduction to Hegel 02 'From indeterminate' | |
| A reaction: In Houlgate's account this seems to be the key Hegelian thought. Simply by confronting nothingness he gets the idea that one concept can lead to an alternative, and that the two can then be grasped together, which is his dialectic. |
| 21764 | Thought about being leads to a string of other concepts, like becoming, quantity, specificity, causality... [Hegel, by Houlgate] |
| Full Idea: In the course of (Hegel's) logic, we come to understand that to think being is to think becoming, quality, quantity, specificity, essence and existence, substance and causality, and, ultimately, self-determining reason itself. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Stephen Houlgate - An Introduction to Hegel 02 'The Method' | |
| A reaction: Extraordinary! Houlgate spells out nicely what some commentators seem to gloss over, the huge a priori ambitions of Hegel's thought. I find his entire programme utterly implausible. |
| 21769 | We must start with absolute abstraction, with no presuppositions, so we start with pure being [Hegel] |
| Full Idea: The beginning must be an absolute - an abstract beginning; and so it may not presuppose anything, must not be mediated by anything or have a ground; rather it is itself to be the ground of the entire science. ...The beginning therefore is pure being. | |
| From: Georg W.F.Hegel (Science of Logic [1816], p.70), quoted by Stephen Houlgate - An Introduction to Hegel 03 'Logic' | |
| A reaction: This is the 'presuppositionless' beginning of Hegel's metaphysics, which Houlgate emphasises. Hegel's logic is very obviously a direct descendent of Descartes' Cogito. But it is pure thought, with no mention of a Self. |
| 22037 | Objectivity is not by correspondence, but by the historical determined necessity of Geist [Hegel, by Pinkard] |
| Full Idea: What gives objectivity to a judgment about an object is not correspondence, but the way in which a judgement is located within a pattern of reasonng that is determined by the way in which Geist is historically determined as necessarily taking the object. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816], Intro) by Terry Pinkard - German Philosophy 1760-1860 | |
| A reaction: I quote this, but I'm blowed if I can make sense of how objectivity could be achieved in such a way. How can a historical process create a necessary judgement? Sorry, I'm fairly new to Hegel. Pinker says it is the practice of giving reasons. |
| 21983 | Being and nothing are the same and not the same, which is the identity of identity and non-identity [Hegel] |
| Full Idea: Pure being and pure nothing are the same, ...but on the contrary they are not the same ...they are absolutely distinct. ...This is the identity of identity and non-identity. | |
| From: Georg W.F.Hegel (Science of Logic [1816], I.i.i.1C p.82,74), quoted by A.W. Moore - The Evolution of Modern Metaphysics 07.7 | |
| A reaction: Even Moore, who is very patient with Hegel, gets cross at this point, describing such talk as 'shocking'. He's not wrong. Moore later says that the reason in reality tolerates contradictions, but human understanding can't. |
| 21985 | The so-called world is filled with contradiction [Hegel] |
| Full Idea: The so-called world is never and nowhere without contradiction. (...but it is unable to endure it) | |
| From: Georg W.F.Hegel (Science of Logic [1816], I.i.ii.2C(b)), quoted by A.W. Moore - The Evolution of Modern Metaphysics 07.7 | |
| A reaction: [Second bit in Ency I §11] To clarify this one would need to understand 'so-called'. Note that his claim is not that the world contains occasional contradictions, but that the whole of reality is contradictory. I think this idea is nonsense. |
| 21766 | Dialectic is the instability of thoughts generating their opposite, and then new more complex thoughts [Hegel, by Houlgate] |
| Full Idea: The dialectical principle, for Hegel, is the principle whereby apparently stable thoughts reveal their inherent instability by turning into their opposites and then into new, more complex thoughts (as being turns to nothing, and then becoming). | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Stephen Houlgate - An Introduction to Hegel 02 'The Method' | |
| A reaction: Houlgate says this is unique to Hegel, and is NOT the familiar thesis-antithesis-synthesis idea of dialectic, found in Kant and Engels. Hegelian idea shares the Greek idea of insights arising from oppositions. |
| 21978 | Hegel's dialectic is not thesis-antithesis-synthesis, but usually negation of negation of the negation [Hegel, by Moore,AW] |
| Full Idea: The dialectic is often described in terms of thesis, antithesis, and synthesis - though this is not a Hegelian way of speaking. Hegel himself sometimes describes it in terms of negation and negation of the negation. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816], I.i.i.C(c) p.150) by A.W. Moore - The Evolution of Modern Metaphysics 07.4 | |
| A reaction: A footnote says the first form of description only occurs once in Hegel's work. I am guessing that Marx is responsible for the standard misrepresentation. |
| 18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
| Full Idea: Frege rejected the traditional categories as importing psychological and linguistic impurities into logic. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by Ian Rumfitt - The Boundary Stones of Thought 1.2 | |
| A reaction: Resisting such impurities is the main motivation for making logic entirely symbolic, but it doesn't follow that the traditional categories have to be dropped. |
| 8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
| Full Idea: Just as functions are fundamentally different from objects, so also functions whose arguments are and must be functions are fundamentally different from functions whose arguments are objects. The latter are first-level, the former second-level, functions. | |
| From: Gottlob Frege (Function and Concept [1891], p.38) | |
| A reaction: In 1884 he called it 'second-order'. This is the standard distinction between first- and second-order logic. The first quantifies over objects, the second over intensional entities such as properties and propositions. |
| 8492 | Relations are functions with two arguments [Frege] |
| Full Idea: Functions of one argument are concepts; functions of two arguments are relations. | |
| From: Gottlob Frege (Function and Concept [1891], p.39) | |
| A reaction: Nowadays we would say 'two or more'. Another interesting move in the aim of analytic philosophy to reduce the puzzling features of the world to mathematical logic. There is, of course, rather more to some relations than being two-argument functions. |
| 8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
| Full Idea: I am of the opinion that arithmetic is a further development of logic, which leads to the requirement that the symbolic language of arithmetic must be expanded into a logical symbolism. | |
| From: Gottlob Frege (Function and Concept [1891], p.30) | |
| A reaction: This may the the one key idea at the heart of modern analytic philosophy (even though logicism may be a total mistake!). Logic and arithmetical foundations become the master of ontology, instead of the servant. The jury is out on the whole enterprise. |
| 21762 | To grasp an existence, we must consider its non-existence [Hegel, by Houlgate] |
| Full Idea: It is only to the extent that we can say that something is not, that we can say what it actually is. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Stephen Houlgate - An Introduction to Hegel 02 'From indeterminate' | |
| A reaction: A key idea for Hegel, but it leaves me flat. Thinking about the non-being of something throws no light at all for me on the inexpressible actuality of its existence. |
| 21977 | Nothing exists, as thinkable and expressible [Hegel] |
| Full Idea: Nothing can be thought of, imagined, spoken of, and therefore it is. | |
| From: Georg W.F.Hegel (Science of Logic [1816], I.i.i.C.1 Rem 3 p.101), quoted by A.W. Moore - The Evolution of Modern Metaphysics 07.4 | |
| A reaction: This sounds like Meinong on circular squares. Does this mean that the negation of every truth also somehow exists? I struggle with this idea. Lewis Carroll nailed it. |
| 21760 | Thinking of nothing is not the same as simply not thinking [Hegel, by Houlgate] |
| Full Idea: Thinking of nothing is not the same as simply not thinking. Thought that suspends all its presuppositions and so ends up thinking of nothing determinate still remains thought, albeit utterly indeterminate and inchoate thought. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Stephen Houlgate - An Introduction to Hegel 02 'From indeterminate' | |
| A reaction: This is the very starting point of Hegel's dialectical inferences in his 'Logic'. It is hard to entirely disagree, though I wonder whether the exercise is actually possible. What are you aware of if you have a thought with no content? |
| 18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
| Full Idea: Frege regarded the existence of horses as a property of the concept 'horse'. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by Fred Sommers - Intellectual Autobiography 'Realism' |
| 21765 | The ground of a thing is not another thing, but the first thing's substance or rational concept [Hegel, by Houlgate] |
| Full Idea: Hegel's logic reveals that the true ground of something is not something other than it is, but the substance of that thing itself, or the rational concept that makes the thing what it is. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Stephen Houlgate - An Introduction to Hegel 02 'The Method' | |
| A reaction: This seems to be classic Aristotelian essentialism, though Aristotle was also interested in dependence relations. |
| 22059 | Kant's thing-in-itself is just an abstraction from our knowledge; things only exist for us [Hegel, by Bowie] |
| Full Idea: For Hegel there is no thing-in-itself, because the thing only becomes a something by being for us. Kant's thing-in-itself is the result of abstracting from the thing everything we know about it. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Andrew Bowie - German Philosophy: a very short introduction 3 | |
| A reaction: This seems to pinpoint why Hegel is an idealist philosopher. Frege objected to abstraction for similar reasons. I don't understand how the tree outside my window can only exist 'for me'. I have a much better theory about the tree. |
| 22083 | Hegel believe that the genuine categories reveal things in themselves [Hegel, by Houlgate] |
| Full Idea: Hegel believed, unlike Kant, that the categories of the understanding, when properly understood, disclose the nature of things in themselves and not just the character of things as they appear to us. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Stephen Houlgate - Hegel p.101 | |
| A reaction: 'Properly understood' sounds like 'no true Scotsman'. This is thoroughgoing idealism, because reality is determined by the activity of the mind, and not from outside. The Hegel story makes more sense if you see the categories as evolutionary. |
| 22080 | The nature of each category relates itself to another [Hegel] |
| Full Idea: In the categories, something through its own nature relates itself to the other. | |
| From: Georg W.F.Hegel (Science of Logic [1816], p.125), quoted by Stephen Houlgate - Hegel p.99 | |
| A reaction: This is the doctrine of internal relations rejected by Moore and Russell, and also the key idea in Hegel's logic - that ideas give rise to other ideas, without contribution by the thinker. |
| 4028 | Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege] |
| Full Idea: Frege's theory of properties (which he calls 'concepts') yields too few properties, by identifying coextensive properties, and also too many, by letting every predicate express a property. | |
| From: comment on Gottlob Frege (Function and Concept [1891]) by DH Mellor / A Oliver - Introduction to 'Properties' §2 | |
| A reaction: Seems right; one extension may have two properties (have heart/kidneys), two predicates might express the same property. 'Cutting nature at the joints' covers properties as well as objects. |
| 8489 | The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege] |
| Full Idea: I regard a regular definition of 'object' as impossible, since it is too simple to admit of logical analysis. Briefly: an object is anything that is not a function, so that an expression for it does not contain any empty place. | |
| From: Gottlob Frege (Function and Concept [1891], p.32) | |
| A reaction: Here is the core of the programme for deriving our ontology from our logic and language, followed through by Russell and Quine. Once we extend objects beyond the physical, it becomes incredibly hard to individuate them. |
| 21772 | In absolute knowing, the gap between object and oneself closes, producing certainty [Hegel] |
| Full Idea: In absolute knowing ...the separation of the object from the certainty of oneself is completely eliminated: truth is now equated with certainty and this certainty with truth. | |
| From: Georg W.F.Hegel (Science of Logic [1816], p.49), quoted by Stephen Houlgate - An Introduction to Hegel 03 'Absolute' | |
| A reaction: I don't understand this, but I note it because Hegel is evidently not a fallibilist about knowledge. I take this idea to be Descartes' 'clear and distinct ideas', wearing a grand rhetorical uniform. |
| 20954 | The 'absolute idea' is when all the contradictions are exhausted [Hegel, by Bowie] |
| Full Idea: The point in philosophy at which the contradictions are exhausted is what Hegel means by the 'absolute idea'. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Andrew Bowie - Introduction to German Philosophy 4 'Questions' | |
| A reaction: {Can't think of a response to this one) |
| 21972 | Hegel, unlike Kant, said how things appear is the same as how things are [Hegel, by Moore,AW] |
| Full Idea: Hegel rejected the fundamental Kantian distinction between how things knowably appear and how they unknowably are in themselves. This was anathema to him. For Hegel how things knowably appear is how they manifestly are. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by A.W. Moore - The Evolution of Modern Metaphysics 07.2 | |
| A reaction: We shouldn't assume that Hegel was therefore a realist, because Berkeley would agree with this idea. Hegel rejected transcendental idealism for this reason. Hegel wanted to get rid of the immanent/transcendent distinction |
| 22038 | Hegel's non-subjective idealism is the unity of subjective and objective viewpoints [Hegel, by Pinkard] |
| Full Idea: The unity of the two points of view (subjective and objective) constitutes Hegel's idealism. ...He kept emphasising that it was not 'subjective' idealism. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Terry Pinkard - German Philosophy 1760-1860 10 | |
| A reaction: Subjective idealism denies the objective point of view. [**20th June 2019, 10:49 am. This is the 20,000th idea in the database. The project was begun in 1997, as organised notes to help with teaching. For the last ten years today has been my target**]. |
| 22044 | Hegel claimed his system was about the world, but it only mapped conceptual interdependence [Pinkard on Hegel] |
| Full Idea: In the view of the later Schelling, although Hegel's system only really laid out the ways in which the senses of various concepts depended on each other, it claimed to be a system about the world itself. | |
| From: comment on Georg W.F.Hegel (Science of Logic [1816]) by Terry Pinkard - German Philosophy 1760-1860 | |
| A reaction: I'm no expert, but I'm inclined to agree with Schelling. Since I am suspicious of the idea that each concept generates its own negation, I also doubt the accuracy of Hegel's map. I'm a hopeless case. |
| 21464 | The Absolute is the primitive system of concepts which are actualised [Hegel, by Gardner] |
| Full Idea: In Hegel the Absolute is the exhaustive, unconditioned and self-grounding system of concepts made concrete in actuality, the world of experience. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Sebastian Gardner - Kant and the Critique of Pure Reason 10 'Absolute' | |
| A reaction: If I collect multiple attempts to explain what the Absolute is, I may one day drift toward a hazy understanding of it. Right now this idea means nothing to me, but I pass it on. His notion of 'concept' seems a long way from the normal modern one. |
| 22084 | Authentic thinking and reality have the same content [Hegel] |
| Full Idea: Thinking in its immanent determination and the true nature of things form one and the same content. | |
| From: Georg W.F.Hegel (Science of Logic [1816], p.45), quoted by Stephen Houlgate - Hegel p.101 | |
| A reaction: This is not much use unless we have a crystal clear idea of 'immanent determination', because we need to eliminate errors. |
| 21975 | The absolute idea is being, imperishable life, self-knowing truth, and all truth [Hegel] |
| Full Idea: The absolute idea alone is being, imperishable life, self-knowing truth, and is all truth. ....All else is error, confusion, opinion, endeavour, caprice, and transitoriness. | |
| From: Georg W.F.Hegel (Science of Logic [1816], II.iii.3 p.824), quoted by A.W. Moore - The Evolution of Modern Metaphysics 07.4 | |
| A reaction: Hegel sounding a bit too much like an over-excited preacher here. The absolute idea seems to be the unified totality of all truths about reality. For Hegel human self-awareness is a big part of that. The idea is being because there is only one substance. |
| 21976 | The absolute idea is the great unity of the infinite system of concepts [Hegel, by Moore,AW] |
| Full Idea: We can think of the absolute idea roughly as the entire infinite system of interrelated concepts, in their indissoluble unity, as exercised in the self-consciousness towards which the process [of thought] leads. It is the 'telos' of the process. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816], II.iii.3 p.825) by A.W. Moore - The Evolution of Modern Metaphysics 07.4 | |
| A reaction: This expounds the quotation in Idea 21975. Moore emphasises concepts, where Hegel emphasises the truth. The connection is in Idea 5644. |
| 22058 | Hegel's 'absolute idea' is the interdependence of all truths to justify any of them [Hegel, by Bowie] |
| Full Idea: Hegel's system culminates in the 'absolute idea', the explanation of why all particular truths depend on the relationship to other truths for their justification. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Andrew Bowie - German Philosophy: a very short introduction 3 | |
| A reaction: The 'hyper-coherence' theory of justification. The normal claim is that there must be considerable local coherence to provide decent support. Hegel's picture sounds like part of the Enlightenment Dream. Is the idea of 'all truths' coherent? |
| 12893 | Contextualism says sceptical arguments are true, relative to their strict context [Cohen,S] |
| Full Idea: Contextualism explains the appeal of sceptical arguments by allowing that the claims of the sceptic are true, relative to the very strict context in which they are made. | |
| From: Stewart Cohen (Contextualism Defended [2005], p.57) | |
| A reaction: This strikes me a right. I've always thought that global scepticism must be conceded if we are being very strict indeed about justification, but also that it is ridiculous to be that strict. So the epistemological question is 'How strict should we be?' |
| 12896 | Knowledge is context-sensitive, because justification is [Cohen,S] |
| Full Idea: The context-sensitivity of knowledge is inherited from one of its components, i.e. justification. | |
| From: Stewart Cohen (Contextualism Defended [2005], p.68) | |
| A reaction: I think this is exactly right - that there is nothing relative or contextual about what is actually true, or what someone believes, but knowleddge is wholly relative because it rests on shifting standards of justification. |
| 12894 | There aren't invariant high standards for knowledge, because even those can be raised [Cohen,S] |
| Full Idea: The problem for invariantism is that competent speakers, under sceptical pressure, tend to deny that we know even the most conspicuous facts of perception, the clearest memories etc. | |
| From: Stewart Cohen (Contextualism Defended [2005], p.58) | |
| A reaction: This is aimed at Idea 12892. This seems to me a strong response to the rather weak invariantist case (that there is 'really and truly' only one invariant standard for knowledge). Full strength scepticism about everything demolishes all knowledge. |
| 20953 | Every concept depends on the counter-concepts of what it is not [Hegel, by Bowie] |
| Full Idea: Hegel relies on the claim that every concept depends for its determinacy upon its relation to other concepts which it is not (so that even the concept of being depends, for example, upon the concept of nothing). | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Andrew Bowie - Introduction to German Philosophy 4 'Questions' | |
| A reaction: How does he know this? A question I keep asking about continental philosophers. The negation concepts must be entirely non-conscious. Which negation concepts are relevant to the concept 'tree'? |
| 9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
| Full Idea: Concepts, for Frege, are the ontological counterparts of predicative expressions. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: That sounds awfully like what many philosophers call 'universals'. Frege, as a platonist (at least about numbers), I would take to be in sympathy with that. At least we can say that concepts seem to be properties. |
| 10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
| Full Idea: Frege had a notorious difficulty over the concept 'horse', when he suggests that if we wish to assert something about a concept, we are obliged to proceed indirectly by speaking of an object that represents it. | |
| From: report of Gottlob Frege (Function and Concept [1891], Ch.2.II) by Bob Hale - Abstract Objects | |
| A reaction: This sounds like the thin end of a wedge. The great champion of objects is forced to accept them here as a façon de parler, when elsewhere they have ontological status. |
| 8488 | A concept is a function whose value is always a truth-value [Frege] |
| Full Idea: A concept in logic is closely connected with what we call a function. Indeed, we may say at once: a concept is a function whose value is always a truth-value. ..I give the name 'function' to what is meant by the 'unsaturated' part. | |
| From: Gottlob Frege (Function and Concept [1891], p.30) | |
| A reaction: So a function becomes a concept when the variable takes a value. Problems arise when the value is vague, or the truth-value is indeterminable. |
| 9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
| Full Idea: For Frege, concepts differ from objects in being inherently incomplete in nature. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: This is because they are 'unsaturated', needing a quantified variable to complete the sentence. This could be a pointer towards Quine's view of properties, as simply an intrinsic feature of predication about objects, with no separate identity. |
| 4972 | I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege] |
| Full Idea: From sameness of meaning there does not follow sameness of thought expressed. A fact about the Morning Star may express something different from a fact about the Evening Star, as someone may regard one as true and the other false. | |
| From: Gottlob Frege (Function and Concept [1891], p.14) | |
| A reaction: This all gets clearer if we distinguish internalist and externalist theories of content. Why take sides on this? Why not just ask 'what is in the speaker's head?', 'what does the sentence mean in the community?', and 'what is the corresponding situation?' |
| 21763 | When we explicate the category of being, we watch a new category emerge [Hegel, by Houlgate] |
| Full Idea: For Hegel, by explicating the indeterminate category of being, we do not merely restate in different words what is obviously 'contained' in it; we watch a new category emerge. | |
| From: report of Georg W.F.Hegel (Science of Logic [1816]) by Stephen Houlgate - An Introduction to Hegel 02 'The Method' | |
| A reaction: This is obviously a response to Kant's view of analyticity, as merely explicating the contents of the subject of the sentence, without advancing knowledge or conceptual resources. A key idea of Hegel's, which I find unconvincing. |
| 8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |
| Full Idea: The ontological proof of God's existence suffers from the fallacy of treating existence as a first-level concept. | |
| From: Gottlob Frege (Function and Concept [1891], p.38 n) | |
| A reaction: [See Idea 8490 for first- and second-order functions] This is usually summarised as the idea that existence is a quantifier rather than a predicate. |