Combining Texts

All the ideas for 'Structures and Structuralism in Phil of Maths', 'Intrinsic and Extrinsic Properties' and 'Phenomenology of Spirit'

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


51 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
Philosophy moves essentially in the element of universality [Hegel]
     Full Idea: Philosophy moves essentially in the element of universality.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], Pref 01)
     A reaction: I would take this to be uncontroversially correct. An interesting test case is applied ethics, which seems embedded in current cultural practices. I would always take it to be searching for what is universal in each situation.
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
Philosophy aims to reveal the necessity and rationality of the categories of nature and spirit [Hegel, by Houlgate]
     Full Idea: For Hegel, philosophy's principal task is to disclose the enduring necessity and rationality of the categories and forms of nature and spirit that it examines.
     From: report of Georg W.F.Hegel (Phenomenology of Spirit [1807]) by Stephen Houlgate - An Introduction to Hegel 4 'Phenomenology'
     A reaction: The idea that a miserable little evolved and transient mammal on a tiny planet has direct insight into the necessities and categories of nature and spirit looks a shade optimistic to me. You have to admire the ambition, though.
1. Philosophy / G. Scientific Philosophy / 3. Scientism
Without philosophy, science is barren and futile [Hegel]
     Full Idea: Let other sciences try to argue as much as they like without philosophy - without it they can have in them neither life, Spirit, nor truth.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], Pref 67)
     A reaction: To be pinned up in every physics laboratory in the world. On the whole I agree with this. My slogan is 'science is the servant of philosophy'. An unphilosophical scientist is just a technologist, an artisan.
1. Philosophy / H. Continental Philosophy / 1. Continental Philosophy
Truth does not appear by asserting reasons and then counter-reasons [Hegel]
     Full Idea: It is not difficult to see that the way of asserting a proposition, adducing reasons for it, and in the same way refuting its opposite by reasons, is not the form in which truth can appear.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], p.28), quoted by Stephen Houlgate - Hegel p.100
     A reaction: This is a pretty good description of the way Plato and Aristotle do philosophy, so this idea, which must be a founding idea for the 'continental school', is extremely radical. Personally I identify rationality with believing things for good reasons.
2. Reason / A. Nature of Reason / 8. Naturalising Reason
The structure of reason is a social and historical achievement [Hegel, by Pinkard]
     Full Idea: The lesson of Hegel's Phenomenology was that the structure of reason was social, and was therefore a historical achievement.
     From: report of Georg W.F.Hegel (Phenomenology of Spirit [1807]) by Terry Pinkard - German Philosophy 1760-1860 10
     A reaction: This must be one of the most influential ideas to have filtered into the modern world. It is a predecessor of Marxist sociology. The idea that stands against it is Frege's platonist view of logic, making it necessary, despite being historical.
2. Reason / A. Nature of Reason / 9. Limits of Reason
Truth does not come from giving reasons for and against propositions [Hegel]
     Full Idea: The way of asserting a proposition, adducing reasons for it, and in the same way refuting its opposite by reasons, is not the form in which truth can appear.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], Pref 48)
     A reaction: I can't see Plato or Aristotle agreeing with this. It is obviously the prelude to Hegel's dialectical account of reasoning. However, if we don't believe things because we have good reason to, I'm not sure where we shoud start.
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Give up objects necessitating truths, and say their natures cause the truths? [Cameron]
     Full Idea: We could abandon the view that truthmakers necessitate the truth of that which makes them true, and say that an object makes a truth when its intrinsic nature suffices for that truth. The object would have a different intrinsic nature if the truth failed.
     From: Ross P. Cameron (Intrinsic and Extrinsic Properties [2009], 'Truthmakers')
     A reaction: [He cites Josh Parsons 1999, 2005 for this] This approach seems closely related to Kit Fine's proposal that necessities arise from the natures of things. It sounds to me as if an object with that intrinsic nature would necessitate that truth.
3. Truth / B. Truthmakers / 5. What Makes Truths / c. States of affairs make truths
Truthmaker requires a commitment to tropes or states of affairs, for contingent truths [Cameron]
     Full Idea: The most popular view is that an object is a truthmaker if the object couldn't exist and the truth be false. But contingent predications are also held to need truthmakers. Socrates is not necessarily snub-nosed, so a trope or state of affairs is needed.
     From: Ross P. Cameron (Intrinsic and Extrinsic Properties [2009], 'Truthmakers')
     A reaction: Cameron calls this 'some heavy ontological commitments'. If snub-nosedness is necessitated by the trope of 'being snub-nosed', what is the truthmaker for Socrates having that trope?
3. Truth / D. Coherence Truth / 1. Coherence Truth
The true is the whole [Hegel]
     Full Idea: The true is the whole.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], Pref 20)
     A reaction: This is the full idealist coherence view of truth, that one only approaches the Truth (capital T) as one builds up a more and more coherent picture. It makes truth unattainable, and that strikes me as a bit silly.
3. Truth / F. Semantic Truth / 2. Semantic Truth
While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price]
     Full Idea: While truth can be defined in a relative way, as truth in one particular model, a non-relative notion of truth is implied, as truth in all models.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: [The article is actually discussing arithmetic] This idea strikes me as extremely important. True-in-all-models is usually taken to be tautological, but it does seem to give a more universal notion of truth. See semantic truth, Tarski, Davidson etc etc.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price]
     Full Idea: In standard ZFC ('Zermelo-Fraenkel with Choice') set theory we deal merely with pure sets, not with additional urelements.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: The 'urelements' would the actual objects that are members of the sets, be they physical or abstract. This idea is crucial to understanding philosophy of mathematics, and especially logicism. Must the sets exist, just as the urelements do?
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price]
     Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
'Analysis' is the theory of the real numbers [Reck/Price]
     Full Idea: 'Analysis' is the theory of the real numbers.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: 'Analysis' began with the infinitesimal calculus, which later built on the concept of 'limit'. A continuum of numbers seems to be required to make that work.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
Mereological arithmetic needs infinite objects, and function definitions [Reck/Price]
     Full Idea: The difficulties for a nominalistic mereological approach to arithmetic is that an infinity of physical objects are needed (space-time points? strokes?), and it must define functions, such as 'successor'.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: Many ontologically austere accounts of arithmetic are faced with the problem of infinity. The obvious non-platonist response seems to be a modal or if-then approach. To postulate infinite abstract or physical entities so that we can add 3 and 2 is mad.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price]
     Full Idea: A common formulation of Peano Arithmetic uses 2nd-order logic, the constant '1', and a one-place function 's' ('successor'). Three axioms then give '1 is not a successor', 'different numbers have different successors', and induction.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: This is 'second-order' Peano Arithmetic, though it is at least as common to formulate in first-order terms (only quantifying over objects, not over properties - as is done here in the induction axiom). I like the use of '1' as basic instead of '0'!
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set-theory gives a unified and an explicit basis for mathematics [Reck/Price]
     Full Idea: The merits of basing an account of mathematics on set theory are that it allows for a comprehensive unified treatment of many otherwise separate branches of mathematics, and that all assumption, including existence, are explicit in the axioms.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: I am forming the impression that set-theory provides one rather good model (maybe the best available) for mathematics, but that doesn't mean that mathematics is set-theory. The best map of a landscape isn't a landscape.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price]
     Full Idea: Structuralism has emerged from the development of abstract algebra (such as group theory), the creation of axiom systems, the introduction of set theory, and Bourbaki's encyclopaedic survey of set theoretic structures.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: In other words, mathematics has gradually risen from one level of abstraction to the next, so that mathematical entities like points and numbers receive less and less attention, with relationships becoming more prominent.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / b. Varieties of structuralism
Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price]
     Full Idea: Relativist Structuralism simply picks one particular model of axiomatised arithmetic (i.e. one particular interpretation that satisfies the axioms), and then stipulates what the elements, functions and quantifiers refer to.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: The point is that a successful model can be offered, and it doesn't matter which one, like having any sort of aeroplane, as long as it flies. I don't find this approach congenial, though having a model is good. What is the essence of flight?
There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price]
     Full Idea: The term 'structure' has two uses in the literature, what can be called 'particular structures' (which are particular relational systems), but also what can be called 'universal structures' - what particular systems share, or what they instantiate.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §6)
     A reaction: This is a very helpful distinction, because it clarifies why (rather to my surprise) some structuralists turn out to be platonists in a new guise. Personal my interest in structuralism has been anti-platonist from the start.
Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price]
     Full Idea: According to 'pattern' structuralism, what we study are not the various particular isomorphic models of arithmetic, but something in addition to them: a corresponding pattern.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §7)
     A reaction: Put like that, we have to feel a temptation to wield Ockham's Razor. It's bad enough trying to give the structure of all the isomorphic models, without seeking an even more abstract account of underlying patterns. But patterns connect to minds..
There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price]
     Full Idea: There are four main variants of structuralism in the philosophy of mathematics - formalist structuralism, relativist structuralism, universalist structuralism (with modal variants), and pattern structuralism.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §9)
     A reaction: I'm not sure where Chihara's later book fits into this, though it is at the nominalist end of the spectrum. Shapiro and Resnik do patterns (the latter more loosely); Hellman does modal universalism; Quine does the relativist version. Dedekind?
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price]
     Full Idea: Formalist Structuralism endorses structural methodology in mathematics, but rejects semantic and metaphysical problems as either meaningless, or purely formal, or as inference relations.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §3)
     A reaction: [very compressed] I find the third option fairly congenial, certainly in preference to rather platonist accounts of structuralism. One still needs to distinguish the mathematical from the non-mathematical in the inference relations.
Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price]
     Full Idea: It is tempting to take a modal turn, and quantify over all possible objects, because if there are only a finite number of actual objects, then there are no models (of the right sort) for Peano Arithmetic, and arithmetic is vacuously true.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: [compressed; Geoffrey Hellman is the chief champion of this view] The article asks whether we are not still left with the puzzle of whether infinitely many objects are possible, instead of existent.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price]
     Full Idea: Universalist Structuralism is a semantic thesis, that an arithmetical statement asserts a universal if-then statement. We build an if-then statement (using quantifiers) into the structure, and we generalise away from any one particular model.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: There remains the question of what is distinctively mathematical about the highly generalised network of inferences that is being described. Presumable the axioms capture that, but why those particular axioms? Russell is cited as an originator.
Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price]
     Full Idea: Universalist Structuralism is eliminativist about abstract objects, in a distinctive form. Instead of treating the base element (say '1') as an ambiguous referring expression (the Relativist approach), it is a variable which is quantified out.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: I am a temperamental eliminativist on this front (and most others) so this is tempting. I am also in love with the concept of a 'variable', which I take to be utterly fundamental to all conceptual thought, even in animals, and not just a trick of algebra.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price]
     Full Idea: Relativist Structuralism must first assume the existence of an infinite set, otherwise there would be no model to pick, and arithmetical terms would have no reference.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: See Idea 10169 for Relativist Structuralism. They point out that ZFC has an Axiom of Infinity.
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
Essentialists say intrinsic properties arise from what the thing is, irrespective of surroundings [Cameron]
     Full Idea: The essentialist approach would be to say that an intrinsic property is one such that it is no part of what it is to instantiate that property that the bearer stands in some relation to its surroundings.
     From: Ross P. Cameron (Intrinsic and Extrinsic Properties [2009], 'Analysis')
     A reaction: This is offered as an alternative to the David Lewis account in terms of duplicates across possible worlds. You will have gathered by now, if you have spent days poring over my stuff, that I favour the essentialist approach.
An object's intrinsic properties are had in virtue of how it is, independently [Cameron]
     Full Idea: Intrinsic properties are those that an object has solely in virtue of how it is, independently of its surroundings.
     From: Ross P. Cameron (Intrinsic and Extrinsic Properties [2009], 'Intro')
     A reaction: Better not mention quantum mechanics and fields if you want to talk of objects being independent of their surroundings. Am I 'independent' of gravity, or is gravity 'independent' of me?
8. Modes of Existence / E. Nominalism / 6. Mereological Nominalism
A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price]
     Full Idea: One way for a nominalist to reject appeal to all abstract objects, including sets, is to only appeal to nominalistically acceptable objects, including mereological sums.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: I'm suddenly thinking that this looks very interesting and might be the way to go. The issue seems to be whether mereological sums should be seen as constrained by nature, or whether they are unrestricted. See Mereology in Ontology...|Intrinsic Identity.
9. Objects / E. Objects over Time / 1. Objects over Time
Most criteria for identity over time seem to leave two later objects identical to the earlier one [Cameron]
     Full Idea: Criteria for identity across times have proven hard to give. Whatever criteria we lay down, it seems that there are possible situations in which two later objects bear the relevant relation to one earlier object, though only one of them can be identical.
     From: Ross P. Cameron (Intrinsic and Extrinsic Properties [2009], 'Personal')
     A reaction: We only have to think of twins, amoebae that fission, and the Ship of Theseus. We seem to end up inventing a dubious criterion in order to break the tie.
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
I develop philosophical science from the simplest appearance of immediate consciousness [Hegel, by Hegel]
     Full Idea: In my 'Phenomenology of Spirit' the procedure adopted was to begin from the first and simplest appearance of the spirit, from immediate consciousness, and to develop the dialectic right up to the standpoint of philosophical science.
     From: report of Georg W.F.Hegel (Phenomenology of Spirit [1807]) by Georg W.F.Hegel - Logic (Encyclopedia I) §25 Rem
     A reaction: I take metaphysics to be either Parmenidean (starting from Being) or Cartesian (starting from mind), and this (surprisingly, given his lengthy talk of Being) shows Hegel to be a quintessentially Cartesian philosopher. Aristotle is the great Parmenidean.
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
Being is Thought [Hegel]
     Full Idea: Being is Thought.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], Pref 54)
     A reaction: You won't find a more succinct slogan for idealism than that. Speaking as what Tim Williamson (referring to himself) calls a 'rottweiler realist', I can't quite get the hang of Hegel's claim. What does he think thought is, if it isn't about the world?
The Absolute is not supposed to be comprehended, but felt and intuited [Hegel]
     Full Idea: The Absolute is not supposed to be comprehended, it is to be felt and intuited.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], Pref 06)
     A reaction: Hegel was a rather romantic philosopher. Where does the 'supposed' come from? If the Absolute is only felt and intuited, can the resulting apprehensions be reported to others? Is this, in fact, mysticism?
Genuine idealism is seeing the ideal structure of the world [Hegel, by Houlgate]
     Full Idea: Genuine (as opposed to subjective) idealism, for Hegel, is the point of view that knows the world to have a rational, and therefore 'ideal', structure.
     From: report of Georg W.F.Hegel (Phenomenology of Spirit [1807]) by Stephen Houlgate - An Introduction to Hegel 04 'The Unhappy'
     A reaction: Compare Leibniz, whose monad theory is said to be a sort of idealism, because it places ideas at the heart of reality. Is Plato also this sort of 'genuine' idealism? Do we need different terms for 'genuine' and 'subjective' idealism? And 'transcendental'?
In the Absolute everything is the same [Hegel]
     Full Idea: In the Absolute everything is the same.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], Pref 16)
     A reaction: This is indistinguishable from the great spherical reality of Parmenides. It is not unreasonable to enquire about the epistemology of this claim. Is Hegel a seer, or can we all intuit this insight into reality?
12. Knowledge Sources / B. Perception / 1. Perception
Experience is immediacy, unity, forces, self-awareness, reason, culture, absolute being [Hegel, by Houlgate]
     Full Idea: Experience moves from 1) immediacy, to 2) united objects with properties, 3) its forces and laws, 4) self-consciousness in the process, 5) seeing a rational realm, 6) seeing a cultural realm, 7) seeing the absolute being of consciousness.
     From: report of Georg W.F.Hegel (Phenomenology of Spirit [1807]) by Stephen Houlgate - An Introduction to Hegel 03 'From certainty'
     A reaction: [My summary of Houlgate's summary of the key sequence of ideas in The Phenomenology of Spirit]. I stare at it with bewilderment, but cannot decide whether or not Hegel is pursuing a worthwhile project. [also Houlgate p.77 and 102]
12. Knowledge Sources / B. Perception / 5. Interpretation
Hegel tried to avoid Kant's dualism of neutral intuitions and imposed concepts [Hegel, by Pinkard]
     Full Idea: Hegel tried to avoid the untenable Kantian dualism between concepts and intuitions, and the Kantian mechanism of the 'imposition' of concepts on sensibility entailed by that dualism (with intuition having neutral content).
     From: report of Georg W.F.Hegel (Phenomenology of Spirit [1807]) by Terry Pinkard - German Philosophy 1760-1860 09
     A reaction: [Pinker is describing the opening of Phenomenology] In modern discussions this concerns the idea of The Given, which is wholly uninterpreted raw experience. Sellars and MacDowell. Kant seems to split an agent into two (Master/Slave).
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
Consciousness derives its criterion of knowledge from direct knowledge of its own being [Hegel]
     Full Idea: In what consciousness affirms from within itself as being-in-itself or the True we have the standard which consciousness itself sets up by which to measure what it knows.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], p.053), quoted by Stephen Houlgate - An Introduction to Hegel 03 'The Method'
     A reaction: This seems to be a very close relation of Descartes' 'clear and distinct conceptions'. This certainly places Hegel in the Rationalist camp.
15. Nature of Minds / B. Features of Minds / 1. Consciousness / b. Essence of consciousness
Consciousness is shaped dialectically, by opposing forces and concepts [Hegel, by Aho]
     Full Idea: In 'The Phenomenology of Spirit' Hegel offers a panoptic account of Western consciousness as a dialectical process shaped by opposing principles - such as subject/object, freedom/determinism, temporal/eternal, and particular/universal.
     From: report of Georg W.F.Hegel (Phenomenology of Spirit [1807]) by Kevin Aho - Existentialism: an introduction 2 'Subjective'
     A reaction: A helpful pointer, for us poor analytic philosophers, who stare in bewilderment at Hegel's stuff, despite its apparent importance. At moment it is the politics that strikes me as most interesting in Hegel. This is cultured consciousness, pre-Marx.
15. Nature of Minds / B. Features of Minds / 1. Consciousness / c. Parts of consciousness
Consciousness is both of objects, and of itself [Hegel]
     Full Idea: Consciousness is, on the one hand, consciousness of the object, and on the other, consciousness of itself.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], p.052), quoted by Stephen Houlgate - An Introduction to Hegel 03 'The Method'
     A reaction: Hume challenges whether there is any knowledge of consciousness purely in itself. Schopenhauer flatly disagreed (Idea 4166) - but then he would, wouldn't he?
16. Persons / A. Concept of a Person / 4. Persons as Agents
Hegel claims knowledge of self presupposes desire, and hence objects [Hegel, by Scruton]
     Full Idea: Hegel seems to argue that the immediate knowledge of self (the Cartesian premise) presupposes the activity that constitutes the self, and this presupposes desire, and hence the knowledge of objects.
     From: report of Georg W.F.Hegel (Phenomenology of Spirit [1807]) by Roger Scruton - Short History of Modern Philosophy Ch.12
     A reaction: This hardly amounts to an argument, but I find it quite sympathetic as a claim. It fits comfortably with modern externalist accounts of thought. While solipsism seems a logical possibility, it hardly amounts to a coherent account of mental life.
16. Persons / E. Rejecting the Self / 2. Self as Social Construct
For Hegel knowledge of self presupposes objects, and also a public and moral social world [Hegel, by Scruton]
     Full Idea: Hegel tries to show that knowledge of self as subject presupposes not just knowledge of objects, but knowledge of a public social world, in which there is moral order and civic trust.
     From: report of Georg W.F.Hegel (Phenomenology of Spirit [1807]) by Roger Scruton - Short History of Modern Philosophy Ch.12
     A reaction: This is not far off Wittgenstein's private language argument. It is also Popper's 'World Three', of society and language. Human reality is incomprehensible without some recognition of the culture in which we immerse, like fish in water.
23. Ethics / F. Existentialism / 6. Authentic Self
The in-itself must become for-itself, which requires self-consciousness [Hegel]
     Full Idea: The in-itself has to express itself outwardly and become for itself, and this means simply that it has to posit self-consciousness as one with itself.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], Pref 26)
     A reaction: This famous distinction seems to be at the core of idealism, but also to be the germ of existentialism (prior to Kierkegaard), which builds on this view of what it means to exist as an individual. Self-consciousness in nature is inevitable?
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
Modern life needs individuality, but must recognise that human agency is social [Hegel, by Pinkard]
     Full Idea: Hegel argued that the modern world necessarily had to make space for individuals and their inviolable conscience, while not becoming so individualistic that it failed to acknowledge the deep sociality of human agency. ...Subjectivity became a right.
     From: report of Georg W.F.Hegel (Phenomenology of Spirit [1807]) by Terry Pinkard - German Philosophy 1760-1860 09
     A reaction: [at the end of the chapter on the history of Geist in the Phenomenology] Conservatives, revolutionaries and communitarians all claim Hegel as their own. The sociality is a matter of mutual law-giving, as in the Master/Slave.
Human nature only really exists in an achieved community of minds [Hegel]
     Full Idea: Human nature only really exists in an achieved community of minds.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], Pref 69)
     A reaction: A lovely slogan, that makes Hegel the father of the communitarian movement. The politics of Hegel can, of course, be sinister, so one must proceed with care, and study history to see where it can all go wrong.
25. Social Practice / E. Policies / 5. Education / d. Study of history
History is the progress of the consciousness of freedom [Hegel]
     Full Idea: The History of the World is none other than than the progress of the consciousness of freedom.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807]), quoted by Peter Singer - Marx 2
     A reaction: [no ref given] Presumably there is an evolutionary view implicit in this. Presumably also later generations are hereby superior to previous generations. Since no one still has this view of history, does that invalidate Hegel?
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
The movement of pure essences constitutes the nature of scientific method [Hegel]
     Full Idea: The movement of pure essences constitutes the nature of scientific method in general.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], Pref 34)
     A reaction: This would appear to be precisely the idea of scientific essentialism - if he is saying that science seeks to understand the movement (or power) of essences as they occur in nature.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
Science confronts the inner necessities of objects [Hegel]
     Full Idea: Scientific cognition demands surrender to the life of the object, or, what amounts to the same thing, confronting and expressing its inner necessity.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], Pref 53)
     A reaction: This strikes me as being a much better account of what science tries to do than all the modern talk about laws and theories.
28. God / B. Proving God / 1. Proof of God
The God of revealed religion can only be understood through pure speculative knowledge [Hegel]
     Full Idea: God is attainable in pure speculative knowledge alone and is only in that knowledge, and is only that knowledge itself, for He is Spirit; and this speculative knowledge is the knowledge of revealed religion.
     From: Georg W.F.Hegel (Phenomenology of Spirit [1807], p.461), quoted by Stephen Houlgate - An Introduction to Hegel 04 'Absolute'
     A reaction: If you were hoping to find out why Hegel believed in God, I fear this is the best evidence available. He is evidently opposed to natural theology. Hegel's language makes it very hard to grasp how we sees the nature of God.
28. God / C. Attitudes to God / 4. God Reflects Humanity
God is the essence of thought, abstracted from the thinker [Hegel, by Feuerbach]
     Full Idea: In Hegel the essence of God is actually nothing other than the essence of thought, or thought abstracted from the ego, that is, from the one who thinks.
     From: report of Georg W.F.Hegel (Phenomenology of Spirit [1807]) by Ludwig Feuerbach - Principles of Philosophy of the Future §23
     A reaction: Presumably Descartes' Cogito is the origin for this train of thought. This is Feuerbach's reading of Hegel, but the former was keen on the idea of God as idealised humanity.
29. Religion / B. Monotheistic Religion / 4. Christianity / a. Christianity
Hegel made the last attempt to restore Christianity, which philosophy had destroyed [Hegel, by Feuerbach]
     Full Idea: The Hegelian philosophy is the last magnificent attempt to restore Christianity, which was lost and wrecked, through philosophy, and to restore Christianity (as usual in the modern era) by identifying it with the negation of Christianity.
     From: report of Georg W.F.Hegel (Phenomenology of Spirit [1807]) by Ludwig Feuerbach - Principles of Philosophy of the Future §21
     A reaction: What is meant by the 'negation' of Christianity needs some untangling, but I suspect that a lot of 'continental' philosophy 1750-1950 is to do with Christianity, unlike British empiricism, which is intrinsically atheistic.