Combining Texts

All the ideas for 'On What Grounds What', 'Believing the Axioms I' and 'Science of Logic'

unexpand these ideas     |    start again     |     specify just one area for these texts


50 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Modern Quinean metaphysics is about what exists, but Aristotelian metaphysics asks about grounding [Schaffer,J]
     Full Idea: On the now dominant Quinean view, metaphysics is about what there is (such as properties, meanings and numbers). I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what.
     From: Jonathan Schaffer (On What Grounds What [2009], Intro)
     A reaction: I find that an enormously helpful distinction, and support the Aristotelian view. Schaffer's general line is that what exists is fairly uncontroversial and dull, but the interesting truths about the world emerge when we grasp its structure.
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
If you tore the metaphysics out of philosophy, the whole enterprise would collapse [Schaffer,J]
     Full Idea: Traditional metaphysics is so tightly woven into the fabric of philosophy that it cannot be torn out without the whole tapestry unravelling.
     From: Jonathan Schaffer (On What Grounds What [2009], 2.3)
     A reaction: I often wonder why the opponents of metaphysics still continue to do philosophy. I don't see how you address questions of ethics, or philosophy of mathematics (etc) without coming up against highly general and abstract over-questions.
1. Philosophy / E. Nature of Metaphysics / 6. Metaphysics as Conceptual
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.
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.
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.
2. Reason / A. Nature of Reason / 5. Objectivity
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.
2. Reason / B. Laws of Thought / 3. Non-Contradiction
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.
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.
2. Reason / B. Laws of Thought / 6. Ockham's Razor
We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J]
     Full Idea: Occam's Razor should only be understood to concern substances: do not multiply basic entities without necessity. There is no problem with the multiplication of derivative entities - they are an 'ontological free lunch'.
     From: Jonathan Schaffer (On What Grounds What [2009], 2.1)
     A reaction: The phrase 'ontological free lunch' comes from Armstrong. This is probably what Occam meant. A few extra specks of dust, or even a few more numbers (thank you, Cantor!) don't seem to challenge the principle.
2. Reason / C. Styles of Reason / 1. Dialectic
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.
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.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
New axioms are being sought, to determine the size of the continuum [Maddy]
     Full Idea: In current set theory, the search is on for new axioms to determine the size of the continuum.
     From: Penelope Maddy (Believing the Axioms I [1988], §0)
     A reaction: This sounds the wrong way round. Presumably we seek axioms that fix everything else about set theory, and then check to see what continuum results. Otherwise we could just pick our continuum, by picking our axioms.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
The Axiom of Extensionality seems to be analytic [Maddy]
     Full Idea: Most writers agree that if any sense can be made of the distinction between analytic and synthetic, then the Axiom of Extensionality should be counted as analytic.
     From: Penelope Maddy (Believing the Axioms I [1988], §1.1)
     A reaction: [Boolos is the source of the idea] In other words Extensionality is not worth discussing, because it simply tells you what the world 'set' means, and there is no room for discussion about that. The set/class called 'humans' varies in size.
Extensional sets are clearer, simpler, unique and expressive [Maddy]
     Full Idea: The extensional view of sets is preferable because it is simpler, clearer, and more convenient, because it individuates uniquely, and because it can simulate intensional notions when the need arises.
     From: Penelope Maddy (Believing the Axioms I [1988], §1.1)
     A reaction: [She cites Fraenkel, Bar-Hillet and Levy for this] The difficulty seems to be whether the extensional notion captures our ordinary intuitive notion of what constitutes a group of things, since that needs flexible size and some sort of unity.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy]
     Full Idea: The Axiom of Infinity is a simple statement of Cantor's great breakthrough. His bold hypothesis that a collection of elements that had lurked in the background of mathematics could be infinite launched modern mathematics.
     From: Penelope Maddy (Believing the Axioms I [1988], §1.5)
     A reaction: It also embodies one of those many points where mathematics seems to depart from common sense - but then most subjects depart from common sense when they get more sophisticated. Look what happened to art.
Infinite sets are essential for giving an account of the real numbers [Maddy]
     Full Idea: If one is interested in analysis then infinite sets are indispensable since even the notion of a real number cannot be developed by means of finite sets alone.
     From: Penelope Maddy (Believing the Axioms I [1988], §1.5)
     A reaction: [Maddy is citing Fraenkel, Bar-Hillel and Levy] So Cantor's great breakthrough (Idea 13021) actually follows from the earlier acceptance of the real numbers, so that's where the departure from common sense started.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI
The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy]
     Full Idea: The Power Set Axiom is indispensable for a set-theoretic account of the continuum, ...and in so far as those attempts are successful, then the power-set principle gains some confirmatory support.
     From: Penelope Maddy (Believing the Axioms I [1988], §1.6)
     A reaction: The continuum is, of course, notoriously problematic. Have we created an extra problem in our attempts at solving the first one?
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
Efforts to prove the Axiom of Choice have failed [Maddy]
     Full Idea: Jordain made consistent and ill-starred efforts to prove the Axiom of Choice.
     From: Penelope Maddy (Believing the Axioms I [1988], §1.7)
     A reaction: This would appear to be the fate of most axioms. You would presumably have to use a different system from the one you are engaged with to achieve your proof.
Modern views say the Choice set exists, even if it can't be constructed [Maddy]
     Full Idea: Resistance to the Axiom of Choice centred on opposition between existence and construction. Modern set theory thrives on a realistic approach which says the choice set exists, regardless of whether it can be defined, constructed, or given by a rule.
     From: Penelope Maddy (Believing the Axioms I [1988], §1.7)
     A reaction: This seems to be a key case for the ontology that lies at the heart of theory. Choice seems to be an invaluable tool for proofs, so it won't go away, so admit it to the ontology. Hm. So the tools of thought have existence?
A large array of theorems depend on the Axiom of Choice [Maddy]
     Full Idea: Many theorems depend on the Axiom of Choice, including that a countable union of sets is countable, and results in analysis, topology, abstract algebra and mathematical logic.
     From: Penelope Maddy (Believing the Axioms I [1988], §1.7)
     A reaction: The modern attitude seems to be to admit anything if it leads to interesting results. It makes you wonder about the modern approach of using mathematics and logic as the cutting edges of ontological thinking.
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
The Iterative Conception says everything appears at a stage, derived from the preceding appearances [Maddy]
     Full Idea: The Iterative Conception (Zermelo 1930) says everything appears at some stage. Given two objects a and b, let A and B be the stages at which they first appear. Suppose B is after A. Then the pair set of a and b appears at the immediate stage after B.
     From: Penelope Maddy (Believing the Axioms I [1988], §1.3)
     A reaction: Presumably this all happens in 'logical time' (a nice phrase I have just invented!). I suppose we might say that the existence of the paired set is 'forced' by the preceding sets. No transcendental inferences in this story?
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
Limitation of Size is a vague intuition that over-large sets may generate paradoxes [Maddy]
     Full Idea: The 'limitation of size' is a vague intuition, based on the idea that being too large may generate the paradoxes.
     From: Penelope Maddy (Believing the Axioms I [1988], §1.3)
     A reaction: This is an intriguing idea to be found right at the centre of what is supposed to be an incredibly rigorous system.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J]
     Full Idea: We can automatically infer 'there are roses' from 'there are red roses' (with no shift in the meaning of 'roses'). Likewise one can automatically infer 'there are numbers' from 'there are prime numbers'.
     From: Jonathan Schaffer (On What Grounds What [2009], 2.1)
     A reaction: He similarly observes that the atheist's 'God is a fictional character' implies 'there are fictional characters'. Schaffer is not committing to a strong platonism with his claim - merely that the existence of numbers is hardly worth disputing.
7. Existence / A. Nature of Existence / 3. Being / d. Non-being
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.
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.
7. Existence / A. Nature of Existence / 3. Being / e. Being and nothing
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?
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
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.
Grounding is unanalysable and primitive, and is the basic structuring concept in metaphysics [Schaffer,J]
     Full Idea: Grounding should be taken as primitive, as per the neo-Aristotelian approach. Grounding is an unanalyzable but needed notion - it is the primitive structuring conception of metaphysics.
     From: Jonathan Schaffer (On What Grounds What [2009], 2.2)
     A reaction: [he cites K.Fine 1991] I find that this simple claim clarifies the discussions of Kit Fine, where you are not always quite sure what the game is. I agree fully with it. It makes metaphysics interesting, where cataloguing entities is boring.
7. Existence / C. Structure of Existence / 5. Supervenience / a. Nature of supervenience
Supervenience is just modal correlation [Schaffer,J]
     Full Idea: Supervenience is mere modal correlation.
     From: Jonathan Schaffer (On What Grounds What [2009], 2.2)
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
The cosmos is the only fundamental entity, from which all else exists by abstraction [Schaffer,J]
     Full Idea: My preferred view is that there is only one fundamental entity - the whole concrete cosmos - from which all else exists by abstraction.
     From: Jonathan Schaffer (On What Grounds What [2009], 2.1)
     A reaction: This looks to me like weak anti-realism - that there are no natural 'joints' in nature - but I don't think Schaffer intends that. I take the joints to be fundamentals, which necessitates that the cosmos has parts. His 'abstraction' is clearly a process.
7. Existence / D. Theories of Reality / 2. Realism
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.
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.
7. Existence / E. Categories / 4. Category Realism
Maybe categories are just the different ways that things depend on basic substances [Schaffer,J]
     Full Idea: Maybe the categories are determined by the different grounding relations, ..so that categories just are the ways things depend on substances. ...Categories are places in the dependence ordering.
     From: Jonathan Schaffer (On What Grounds What [2009], 1.3)
8. Modes of Existence / A. Relations / 2. Internal Relations
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.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
There exist heaps with no integral unity, so we should accept arbitrary composites in the same way [Schaffer,J]
     Full Idea: I am happy to accept universal composition, on the grounds that there are heaps, piles etc with no integral unity, and that arbitrary composites are no less unified than heaps.
     From: Jonathan Schaffer (On What Grounds What [2009], 2.1 n11)
     A reaction: The metaphysical focus is then placed on what constitutes 'integral unity', which is precisely the question which most interested Aristotle. Clearly if there is nothing more to an entity than its components, scattering them isn't destruction.
The notion of 'grounding' can explain integrated wholes in a way that mere aggregates can't [Schaffer,J]
     Full Idea: The notion of grounding my capture a crucial mereological distinction (missing from classical mereology) between an integrated whole with genuine unity, and a mere aggregate. x is an integrated whole if it grounds its proper parts.
     From: Jonathan Schaffer (On What Grounds What [2009], 3.1)
     A reaction: That gives a nice theoretical notion, but if you remove each of the proper parts, does x remain? Is it a bare particular? I take it that it will have to be an abstract principle, the one Aristotle was aiming at with his notion of 'form'. Schaffer agrees.
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
Belief in impossible worlds may require dialetheism [Schaffer,J]
     Full Idea: One motivation for dialetheism is the view that there are impossible worlds.
     From: Jonathan Schaffer (On What Grounds What [2009], 2.3)
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
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.
11. Knowledge Aims / B. Certain Knowledge / 2. Common Sense Certainty
'Moorean certainties' are more credible than any sceptical argument [Schaffer,J]
     Full Idea: A 'Moorean certainty' is when something is more credible than any philosopher's argument to the contrary.
     From: Jonathan Schaffer (On What Grounds What [2009], 2.1)
     A reaction: The reference is to G.E. Moore's famous claim that the existence of his hand is more certain than standard sceptical arguments. It sounds empiricist, but they might be parallel rational truths, of basic logic or arithmetic.
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
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)
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
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**].
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.
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.
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.
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.
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.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
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?
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
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'?
19. Language / E. Analyticity / 4. Analytic/Synthetic Critique
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.