90 ideas
| 19073 | True philosophy aims at absolute unity, while our understanding sees only separation [Hegel] |
| Full Idea: Everything deserving the name of philosophy has constantly been based on the consciousness of an absolute unity, where the understanding sees and accepts only separation. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §213) | |
| A reaction: Puzzled by the role of 'understanding' here. I tend to cite that as the highest aspiration of philosophy. Hegel seems to offer a higher understanding of unity, and a weaker analytic understanding, which is part of our limited psychology. |
| 15624 | Free thinking has no presuppositions [Hegel] |
| Full Idea: Thinking that is free is without presuppositions. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §41 Add1) | |
| A reaction: Fat chance, I would have thought. Hegel's project was indeed to try to get right to the bottom of the presuppositions. My picture is always of holding one thing presupposed while you examine another, and then switching to other presuppositions. |
| 15631 | The ideal of reason is the unification of abstract identity (or 'concept') and being [Hegel] |
| Full Idea: Abstract identity (which is what here is also called 'concept') and being are the two moments that reason seeks to unify; this unification is the Ideal of reason. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §49) | |
| A reaction: Not sure I understand this, but I connect it to Aristotle's approach to the problem of being, which was to abandon the head-on approach, and aim to understand the identities of particulars and kinds. |
| 15612 | Older metaphysics naively assumed that thought grasped things in themselves [Hegel] |
| Full Idea: The older metaphysics has the naïve presupposition that thinking grasps what things are in-themselves, that things only are what they genuinely are when they are captured in thought. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §28 Add) | |
| A reaction: His 'older' metaphysics is prior to Kant's critique. The less naïve version is more aware of antinomies and dialectical conflicts within thought. |
| 21768 | Logic is metaphysics, the science of things grasped in thoughts [Hegel] |
| Full Idea: Logic coincides with metaphysics, with the science of things grasped in thoughts. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §24), quoted by Stephen Houlgate - An Introduction to Hegel 02 'Logic' | |
| A reaction: Not a very clear definition, given that thinking about a table appears to be a 'thing grasped in thought'. Presumably it refers to things which can only be grasped in thought, which seems to make it entirely a priori. |
| 13395 | If an analysis shows the features of a concept, it doesn't seem to 'reduce' the concept [Jubien] |
| Full Idea: An analysis of a concept tells us what the concept is by telling us what its constituents are and how they are combined. ..The features of the concept are present in the analysis, making it surprising the 'reductive' analyses are sought. | |
| From: Michael Jubien (Possibility [2009], 4.5) | |
| A reaction: He says that there are nevertheless reductive analyses, such as David Lewis's analysis of modality. We must disentangle conceptual analysis from causal analysis (e.g. in his example of the physicalist reduction of mind). |
| 21984 | We must break up the rigidity that our understanding has imposed [Hegel] |
| Full Idea: The battle of reason is the struggle to break up the rigidity to which the understanding has reduced everything. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], I §80Z p.115), quoted by A.W. Moore - The Evolution of Modern Metaphysics 07.7 | |
| A reaction: This sounds like a combination of Nietzsche and later Wittgenstein, and may be one of the ideas that launches 'continental' philosophy. Recent French thinkers talk continually of 'liberation'. |
| 22081 | Let thought follow its own course, and don't interfere [Hegel] |
| Full Idea: Let thought follow its own course; and I think badly whenever I add something of my own. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §24 Add 2), quoted by Stephen Houlgate - Hegel p.100 | |
| A reaction: The idea that reason has a course of its own is a mega-assumption, which I would only accept after a lot of persuasion, which I doubt that Hegel can provide. The modern analytic idea of metaphysics as logic has a similar basis. |
| 15626 | Categories create objective experience, but are too conditioned by things to actually grasp them [Hegel] |
| Full Idea: It is the categories that elevate mere perception into objectivity, into experience; but these concepts ...are conditioned by the given material. ...Hence the understanding, or cognition through categories, cannot become cognizant of things-in-themselves. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §43-4) | |
| A reaction: As one often fears with Hegel, this sounds like a deep insight, but is less persuasive when translated into simpler English (if I've got it right!). Being 'conditioned by the material' strikes me as just what is needed for good categories. |
| 15616 | If truth is just non-contradiction, we must take care that our basic concepts aren't contradictory [Hegel] |
| Full Idea: If truth were nothing more than lack of contradiction, one would have to examine first of all, with regard to each concept, whether it does not on its own account, contain an inner contradiction. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §33 Rem) | |
| A reaction: This is a very nice thought, which modern analytic philosophers, steeped in logic, should think about. It is always presumed that a contradiction is between a proposition and its negation, not some inner feature. |
| 15638 | Dialectic is the moving soul of scientific progression, the principle which binds science together [Hegel] |
| Full Idea: The dialectical constitutes the moving soul of scientific progression, and it is the principle through which alone immanent coherence and necessity enter into the content of science. ..[Add 1] It is the principle of all motion, of all life. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §81) |
| 21767 | Dialectic is seen in popular proverbs like 'pride comes before a fall' [Hegel] |
| Full Idea: In the domain of individual ethics, we find the consciousness of dialectic in those universally familiar proverbs 'pride goes before a fall' and 'too much wit outwits itself'. ...Joy relieves itself in tears, and melancholy can be revealed in a smile. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §81), quoted by Stephen Houlgate - An Introduction to Hegel 02 'The Method' | |
| A reaction: 'Too clever by half' is the English version. Hegel's dialectic suggests that each concept somehow implies its opposite, rather than a mere mercurial drift from one extreme to the other. Most pride doesn't lead to a fall. |
| 15639 | Socratic dialectic is subjective, but Plato made it freely scientific and objective [Hegel] |
| Full Idea: It is in the Platonic philosophy that dialectic first occurs in a form which is freely scientific, and hence also objective. With Socrates, dialectical thinking still has a predominantly subjective shape, consistent with his irony. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §81 Add1) | |
| A reaction: I don't understand how dialectic can be 'objective', given that it is a method rather than a belief. Plato certainly seems to elevate dialectic into something almost mystical, because of what is said to be within its power. |
| 15615 | Older metaphysics became dogmatic, by assuming opposed assertions must be true and false [Hegel] |
| Full Idea: The older metaphysics became dogmatism because, given the nature of finite determinations, it had to assume that of two opposed assertions (of the kind that those propositions were) one must be true and the other false. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §32) | |
| A reaction: While dialethism in logic looks very dubious to me, I have every sympathy with Hegel when it comes to the reasonings of ordinary language. There it is much harder to know whether you are addressing truly opposed assertions. |
| 19070 | Superficial truth is knowing how something is, which is consciousness of bare correctness [Hegel] |
| Full Idea: Truth is at first taken to mean that I know how something is. This is truth, however, only in reference to consciousness; it is formal truth, bare correctness. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §213) | |
| A reaction: I would translate this idea as saying that bare correctness is conscious awareness of the truthmaker for some statement. Hegel then offers a 'deeper' account of the nature of truth. I would say awareness is quite separate from the concept of truth. |
| 5644 | In Hegel's logic it is concepts (rather than judgements or propositions) which are true or false [Hegel, by Scruton] |
| Full Idea: The terms of Hegel's logic are not judgements or propositions, but rather concepts: and it is concepts, in this view, that are true or false. | |
| From: report of Georg W.F.Hegel (Logic (Encyclopedia I) [1817]) by Roger Scruton - Short History of Modern Philosophy Ch.12 | |
| A reaction: Quite alien to normal studies of logic, but I can make sense of a correspondence theory of truth for concepts, which might be more interesting than normal propositional or predicate logic. Does the concept of, say, a 'natural law' correspond to anything? |
| 19072 | In the deeper sense of truth, to be untrue resembles being bad; badness is untrue to a thing's nature [Hegel] |
| Full Idea: When truth is viewed in the deeper sense, to be untrue means much the same as to be bad. A bad man is an untrue man, and man who does not behave as his notion or his vocation requires. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §213) | |
| A reaction: See Idea 19071 for the 'deeper sense'. This seems to confirm that Hegel's deeper concept of truth resembles authenticity. I guess it will be something fulfilling the essence of the thing. Doctors must be proper doctors. Gold must be true gold? |
| 19071 | The deeper sense of truth is a thing matching the idea of what it ought to be [Hegel] |
| Full Idea: Truth in the deeper sense is the identity between objectivity and the notion. It is in this deeper sense of truth that we speak of a true state or work of art. These are true if they are as they ought to be (their reality corresponds to their notion). | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §213) | |
| A reaction: This seems to be a correspondence theory, but not as we know it, Jim. He seems to have a value built into truth, which sounds to me like existentialist 'authenticity'. I like what he is saying, but I would analyse it into two or more components. |
| 8472 | Sentential logic is consistent (no contradictions) and complete (entirely provable) [Orenstein] |
| Full Idea: Sentential logic has been proved consistent and complete; its consistency means that no contradictions can be derived, and its completeness assures us that every one of the logical truths can be proved. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
| A reaction: The situation for quantificational logic is not quite so clear (Orenstein p.98). I do not presume that being consistent and complete makes it necessarily better as a tool in the real world. |
| 8476 | Axiomatization simply picks from among the true sentences a few to play a special role [Orenstein] |
| Full Idea: In axiomatizing, we are merely sorting out among the truths of a science those which will play a special role, namely, serve as axioms from which we derive the others. The sentences are already true in a non-conventional or ordinary sense. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
| A reaction: If you were starting from scratch, as Euclidean geometers may have felt they were doing, you might want to decide which are the simplest truths. Axiomatizing an established system is a more advanced activity. |
| 8480 | S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein] |
| Full Idea: The five systems of propositional modal logic contain successively stronger conceptions of necessity. In S4 'it is poss that it is poss that p' implies 'it is poss that p'. In S5, 'it is poss that it is nec that p' implies 'it is nec that p'. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.7) | |
| A reaction: C.I. Lewis originated this stuff. Any serious student of modality is probably going to have to pick a system. E.g. Nathan Salmon says that the correct modal logic is even weaker than S4. |
| 8474 | Unlike elementary logic, set theory is not complete [Orenstein] |
| Full Idea: The incompleteness of set theory contrasts sharply with the completeness of elementary logic. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
| A reaction: This seems to be Quine's reason for abandoning the Frege-Russell logicist programme (quite apart from the problems raised by Gödel. |
| 8465 | Mereology has been exploited by some nominalists to achieve the effects of set theory [Orenstein] |
| Full Idea: The theory of mereology has had a history of being exploited by nominalists to achieve some of the effects of set theory. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.3) | |
| A reaction: Some writers refer to mereology as a 'theory', and others as an area of study. This appears to be an interesting line of investigation. Orenstein says Quine and Goodman showed its limitations. |
| 13378 | It is a mistake to think that the logic developed for mathematics can clarify language and philosophy [Jubien] |
| Full Idea: It has often been uncritically assumed that logic that was initially a tool for clarifying mathematics could be seamlessly and uniformly applied in the effort to clarify ordinary language and philosophy, but this has been a real mistake. | |
| From: Michael Jubien (Possibility [2009], Intro) | |
| A reaction: I'm not saying he's right (since you need stupendous expertise to make that call) but my intuitions are that he has a good point, and he is at least addressing a crucial question which most analytical philosophers avert their eyes from. |
| 21595 | Excluded middle is the maxim of definite understanding, but just produces contradictions [Hegel] |
| Full Idea: The law of excluded middle is ...the maxim of the definite understanding, which would fain avoid contradiction, but in doing so falls into it. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], p.172), quoted by Timothy Williamson - Vagueness 1.5 | |
| A reaction: Not sure how this works, but he would say this, wouldn't he? |
| 13402 | We only grasp a name if we know whether to apply it when the bearer changes [Jubien] |
| Full Idea: We cannot be said to have a full grasp of a name unless we have a definite disposition to apply it or to withhold it under whatever conceivable changes the bearer of the name might come to undergo. | |
| From: Michael Jubien (Possibility [2009], 5.3) | |
| A reaction: This is right, and an excellent counterproposal to the logicians' notion that names have to rigidly designate. As a bare minimum, you are not supposed to deny the identity of your parents because they have grown a bit older, or a damaged painting. |
| 13405 | The baptiser picks the bearer of a name, but social use decides the category [Jubien] |
| Full Idea: The person who introduces a proper name gets to pick its bearer, but its category - and consequently the meaning of the name - is determined by social use. | |
| From: Michael Jubien (Possibility [2009], 7) | |
| A reaction: New 'division of labour'. The idea that a name has some sort of meaning seems right and important. If babies were switched after baptism, social use might fix the name to the new baby. The namer could stipulate the category at the baptism. Too neat. |
| 13399 | Examples show that ordinary proper names are not rigid designators [Jubien] |
| Full Idea: There are plenty of examples to show that ordinary proper names simply are not rigid designators. | |
| From: Michael Jubien (Possibility [2009], 5.1) | |
| A reaction: His examples are the planet Venus and the dust of which it is formed, and a statue made of clay. In other words, for some objects, perhaps under certain descriptions (e.g. functional ones), the baptised matter can change. Rigidity is an extra topping. |
| 13398 | We could make a contingent description into a rigid and necessary one by adding 'actual' to it [Jubien] |
| Full Idea: 'The winner of the Derby' satisfies some horse, but only accidentally. But we could 'rigidify' the description by inserting 'actual' into it, giving 'the actual winner of the Derby'. Winning is a contingent property, but actually winning is necessary. | |
| From: Michael Jubien (Possibility [2009], 5.1) | |
| A reaction: I like this unusual proposal because instead of switching into formal logic in order to capture the ideas we are after, he is drawing on the resources of ordinary language, offering philosophers a way of speaking plain English more precisely. |
| 8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
| Full Idea: In traditional logic from Aristotle to Kant, universal sentences have existential import, but Brentano and Boole construed them as universal conditionals (such as 'for anything, if it is a man, then it is mortal'). | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.2) | |
| A reaction: I am sympathetic to the idea that even the 'existential' quantifier should be treated as conditional, or fictional. Modern Christians may well routinely quantify over angels, without actually being committed to them. |
| 13392 | Philosophers reduce complex English kind-quantifiers to the simplistic first-order quantifier [Jubien] |
| Full Idea: There is a readiness of philosophers to 'translate' English, with its seeming multitude of kind-driven quantifiers, into first-order logic, with its single wide-open quantifier. | |
| From: Michael Jubien (Possibility [2009], 4.1) | |
| A reaction: As in example he says that reference to a statue involves a 'statue-quantifier'. Thus we say things about the statue that we would not say about the clay, which would involve a 'clay-quantifier'. |
| 8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
| Full Idea: The substitution view of quantification explains 'there-is-an-x-such-that x is a man' as true when it has a true substitution instance, as in the case of 'Socrates is a man', so the quantifier can be read as 'it is sometimes true that'. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
| A reaction: The word 'true' crops up twice here. The alternative (existential-referential) view cites objects, so the substitution view is a more linguistic approach. |
| 15628 | The idea that contradiction is essential to rational understanding is a key modern idea [Hegel] |
| Full Idea: The thought that the contradiction which is posited by the determinations of the understanding in what is rational is essential and necessary, has to be considered one of the most important and profound advances of the philosophy of modern times. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §48) | |
| A reaction: This is the aspect of Kant's philosophy which launched the whole career of Hegel. Hegel is the philosopher of the antinomies. Graham Priest is his current representative on earth. |
| 15629 | Tenderness for the world solves the antinomies; contradiction is in our reason, not in the essence of the world [Hegel] |
| Full Idea: The solution to the antinomies is as trivial as they are profound; it consists merely in a tenderness for the things of this world. The stain of contradiction ought not to be in the essence of what is in the world; it must belong only to thinking reason. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §48 Rem) | |
| A reaction: A rather Wittgensteinian remark. I love his 'tenderness for the things of this world'! I'm not clear why our thinking should be considered to be inescapably riddled with basic contradictions, as Hegel seems to imply. Just make more effort. |
| 15630 | Antinomies are not just in four objects, but in all objects, all representations, all objects and all ideas [Hegel] |
| Full Idea: The main point that has to be made is that antinomy is found not only in Kant's four particular objects taken from cosmology, but rather in all objects of all kinds, in all representations, concepts and ideas. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §48 Rem) | |
| A reaction: I suppose Heraclitus and Empedocles, with their oppositional accounts of reality, are the ancestors of this worldview. I just don't feel that sudden flood of insight from this idea of Hegel that comes from some of the other great philsophical theories. |
| 8454 | The whole numbers are 'natural'; 'rational' numbers include fractions; the 'reals' include root-2 etc. [Orenstein] |
| Full Idea: The 'natural' numbers are the whole numbers 1, 2, 3 and so on. The 'rational' numbers consist of the natural numbers plus the fractions. The 'real' numbers include the others, plus numbers such a pi and root-2, which cannot be expressed as fractions. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.2) | |
| A reaction: The 'irrational' numbers involved entities such as root-minus-1. Philosophical discussions in ontology tend to focus on the existence of the real numbers. |
| 8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |
| Full Idea: The question to be posed is whether is-a-member-of should be considered a logical constant, that is, does logic include set theory. Frege, Russell and Whitehead held that it did. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
| A reaction: This is obviously the key element in the logicist programme. The objection seems to be that while first-order logic is consistent and complete, set theory is not at all like that, and so is part of a different world. |
| 13404 | To exist necessarily is to have an essence whose own essence must be instantiated [Jubien] |
| Full Idea: For a thing to exist necessarily is for it to have an entity-essence whose own entity-essence entails being instantiated. | |
| From: Michael Jubien (Possibility [2009], 6.4) | |
| A reaction: This is the culmination of a lengthy discussion, and is not immediately persuasive. For Jubien the analysis rests on a platonist view of properties, which doesn't help. |
| 13386 | If objects are just conventional, there is no ontological distinction between stuff and things [Jubien] |
| Full Idea: Under the Quinean (conventional) view of objects, there is no ontological distinction between stuff and things. | |
| From: Michael Jubien (Possibility [2009], 1.5) | |
| A reaction: This is the bold nihilistic account of physical objects, which seems to push all of our ontology into language (English?). We could devise divisions into things that were just crazy, and likely to lead to the rapid extinction of creatures who did it. |
| 22078 | Even simple propositions about sensations are filled with categories [Hegel] |
| Full Idea: Categories, like 'being', or 'individuality', are already mingled into every proposition, even when it has a completely sensible content, such as "this leaf is green". | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §246 Add), quoted by Stephen Houlgate - Hegel p.95 | |
| A reaction: This is the source of the idea that observation is theory-laden (which tracks back to Kant). Not Duhem, who gets the credit among analytic philosophers. Quine obviously never read Hegel. But the idea is overrated. |
| 15634 | Thought about particulars is done entirely through categories [Hegel] |
| Full Idea: As an activity of the particular, thinking has the categories as its only product and content. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §62) | |
| A reaction: There seems to be an interesting implication in this remark (taken in isolation!) that one can somehow transcend the categories when one begins to think about the universal. Are the universal and the categories not connected? |
| 13403 | The category of Venus is not 'object', or even 'planet', but a particular class of good-sized object [Jubien] |
| Full Idea: The category of Venus is not 'physical object' or 'mereological sum', but narrower. Surprisingly, it is not 'planet', since it might cease to be a planet and still merit the name 'Venus'. It is something like 'well-integrated, good-sized physical object'. | |
| From: Michael Jubien (Possibility [2009], 5.3) | |
| A reaction: Jubien is illustrating Idea 13402. This is a nice demonstration of how one might go about the task of constructing categories - by showing the modal profiles of things to which names have been assigned. Categories are file names. |
| 8458 | Just individuals in Nominalism; add sets for Extensionalism; add properties, concepts etc for Intensionalism [Orenstein] |
| Full Idea: Modest ontologies are Nominalism (Goodman), admitting only concrete individuals; and Extensionalism (Quine/Davidson) which admits individuals and sets; but Intensionalists (Frege/Carnap/Church/Marcus/Kripke) may have propositions, properties, concepts. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.3) | |
| A reaction: I don't like sets, because of Idea 7035. Even the ontology of individuals could collapse dramatically (see the ideas of Merricks, e.g. 6124). The intensional items may be real enough, but needn't have a place at the ontological high table. |
| 13375 | The idea that every entity must have identity conditions is an unfortunate misunderstanding [Jubien] |
| Full Idea: The pervasiveness, throughout philosophy, of the assumption that entities of various kinds need identity conditions is one unfortunate aspect of Quine's important philosophical legacy. | |
| From: Michael Jubien (Possibility [2009], Intro) | |
| A reaction: Lowe seems to be an example of a philosopher who habitually demands individuation conditions for everything that is referred to. Presumably the alternative is to take lots of things as primitive, but this seems to be second best. |
| 13393 | Any entity has the unique property of being that specific entity [Jubien] |
| Full Idea: For any entity of any sort, abstract or concrete, I assume there is a property of being that specific entity. For want of a better term, I will call such properties entity-essences. They are 'singulary' - not instantiable by more than one thing at a time. | |
| From: Michael Jubien (Possibility [2009], 4.2) | |
| A reaction: Baffling. Why would someone who has mocked all sorts of bogus philosophical claims based on logic then go on to assert the existence of such weird things as these? I can't make sense of this property being added to a thing's other properties. |
| 13388 | It is incoherent to think that a given entity depends on its kind for its existence [Jubien] |
| Full Idea: It is simply far-fetched - even incoherent - to think that, given an entity, of whatever kind, its being a single entity somehow consists in its satisfying some condition involving the kind to which it belongs (or concepts related to that kind). | |
| From: Michael Jubien (Possibility [2009], 2.3) | |
| A reaction: Well said. I can't see how philosophers have allowed themselves to drift into such a daft view. Kinds blatantly depend on the individuals that constitute them, so how could the identity of the individuals depend on their kind? |
| 13384 | Objects need conventions for their matter, their temporal possibility, and their spatial possibility [Jubien] |
| Full Idea: We need a first convention to determine what matter constitutes objects, then a second to determine whether there are different temporal possibilities for a given object, then a third for different spatial possibilities. | |
| From: Michael Jubien (Possibility [2009], 1.5) | |
| A reaction: This is building up a Quinean account of objects, as mere matter in regions of spacetime, which are then precisely determined by a set of social conventions. |
| 13385 | Basically, the world doesn't have ready-made 'objects'; we carve objects any way we like [Jubien] |
| Full Idea: There is a certain - very mild - sense in which I don't think the physical world comes with ready-made objects. I think instead that we (conventionally) carve it up into objects, and this can be done any way we like. | |
| From: Michael Jubien (Possibility [2009], 1.5) | |
| A reaction: I have no idea how one could begin to refute such a view. Obviously there are divisions (even if only of physical density) in the world, but nothing obliges us to make divisions at those points. We happily accept objects with gaps in them. |
| 21981 | The one substance is formless without the mediation of dialectical concepts [Hegel] |
| Full Idea: As intuitively accepted by Spinoza without a previous mediation by dialectic, substance is as it were a dark shapeless abyss which engulfs all definite content as radically null, and produces from itself nothing that has a positive substance of its own. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], I §151Z p.215), quoted by A.W. Moore - The Evolution of Modern Metaphysics 07.6 | |
| A reaction: This seems to be an expression of idealism, since only what is conceptualised can exist. |
| 13383 | If the statue is loved and the clay hated, that is about the object first qua statue, then qua clay [Jubien] |
| Full Idea: If a sculptor says 'I love the statue but I really hate that piece of clay - it is way too hard to work with' ...the statement is partly is partly about that object qua statue and partly about that object qua piece of clay. | |
| From: Michael Jubien (Possibility [2009], 1.4) | |
| A reaction: His point is that identity is partly determined by the concept or category under which the thing falls. Plausible. Lots of identity muddles seem to come from our conceptual scheme not being quite up to the job when things change. |
| 13400 | If one entity is an object, a statue, and some clay, these come apart in at least three ways [Jubien] |
| Full Idea: A single entity is a physical object, a piece of clay and a statue. We seem to have that the object could be scattered, but not the other two; the object and the clay could be spherical, but not the statue; and only the object could have different matter. | |
| From: Michael Jubien (Possibility [2009], 5.2) | |
| A reaction: His proposal, roughly, is to reduce object-talk to property-talk, and then see the three views of this object as referring to different sets of properties, rather than to a single thing. Promising, except that he goes platonist about properties. |
| 13401 | The idea of coincident objects is a last resort, as it is opposed to commonsense naturalism [Jubien] |
| Full Idea: I find it surprising that some philosophers accept 'coincident objects'. This notion clearly offends against commonsense 'naturalism' about the world, so it should be viewed as a last resort. | |
| From: Michael Jubien (Possibility [2009], 5.2 n9) | |
| A reaction: I'm not quite clear why he invokes 'naturalism', but I pass on his intuition because it seems right to me. |
| 13380 | Parts seem to matter when it is just an object, but not matter when it is a kind of object [Jubien] |
| Full Idea: When thought of just as an object, the parts of a thing seem definitive and their arrangement seems inconsequential. But when thought of as an object of a familiar kind it is reversed: the arrangement is important and the parts are inessential. | |
| From: Michael Jubien (Possibility [2009], 1.4) | |
| A reaction: This is analogous to the Ship of Theseus, where we say that the tour operator and the museum keeper give different accounts of whether it is the same ship. The 'kind' Jubien refers to is most likely to be a functional kind. |
| 15637 | Essence is the essential self-positing unity of immediacy and mediation [Hegel] |
| Full Idea: The entire second part of the 'Logic', the doctrine of Essence, deals with the essential self-positing unity of immediacy and mediation. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §65) | |
| A reaction: He is referring to his book 'Science of Logic'. I don't really understand this, but that essence 'posits' the unity of a thing catches my attention. |
| 13376 | We should not regard essentialism as just nontrivial de re necessity [Jubien] |
| Full Idea: I argue against the widely accepted characterization of the doctrine of 'essentialism' as the acceptance of nontrivial de re necessity | |
| From: Michael Jubien (Possibility [2009], Intro) | |
| A reaction: I agree entirely. The notion of an essence is powerful if clearly distinguished. The test is: can everything being said about essences be just as easily said by referring to necessities? If so, you are talking about the wrong thing. |
| 15613 | Real cognition grasps a thing from within itself, and is not satisfied with mere predicates [Hegel] |
| Full Idea: In genuine cognition ...an object determines itself from within itself, and does not acquire its predicates in an external way. If we proceed by way of predication, the spirit gets the feeling that the predicates cannot exhaust what they are attached to. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §28 Add) | |
| A reaction: I take this to be a glimpse of Hegel's notoriously difficult account of essence. Place this alongside Locke's distinction between Nominal and Real essences. Once we have the predicates, we want to grasp their source. |
| 13381 | Thinking of them as 'ships' the repaired ship is the original, but as 'objects' the reassembly is the original [Jubien] |
| Full Idea: Thinking about the original ship as a ship, we think we continue to have the 'same ship' as each part is replaced; ...but when we think of them as physical objects, we think the original ship and the outcome of the reassembly are one and the same. | |
| From: Michael Jubien (Possibility [2009], 1.4) | |
| A reaction: It seems to me that you cannot eliminate how we are thinking of the ship as influencing how we should read it. My suggestion is to think of Theseus himself valuing either the repaired or the reassembled version. That's bad for Jubien's account. |
| 13382 | Rearranging the planks as a ship is confusing; we'd say it was the same 'object' with a different arrangement [Jubien] |
| Full Idea: That the planks are rearranged as a ship elevates the sense of mystery, because arrangements matter for ships, but if they had been arranged differently we would have the same intuition - that it still counts as the same object. | |
| From: Michael Jubien (Possibility [2009], 1.4) | |
| A reaction: Implausible. Classic case: can I have my pen back? - smashes it to pieces and hands it over with 'there you are' - that's not my pen! - Jubien says it's the same object! - it isn't my pen, and it isn't the same object either! Where is Shelley's skylark? |
| 13379 | If two objects are indiscernible across spacetime, how could we decide whether or not they are the same? [Jubien] |
| Full Idea: If a bit of matter has a qualitatively indistinguishable object located at a later time, with a path of spacetime connecting them, how could we determine they are identical? Neither identity nor diversity follows from qualitative indiscernibility. | |
| From: Michael Jubien (Possibility [2009], 1.3) | |
| A reaction: All these principles expounded by Leibniz were assumed to be timeless, but for identity over time the whole notion of things retaining identity despite changing has to be rethought. Essentialism to the rescue. |
| 13394 | Entailment does not result from mutual necessity; mutual necessity ensures entailment [Jubien] |
| Full Idea: Typically philosophers say that for P to entail Q is for the proposition that all P's are Q's to be necessary. I think this analysis is backwards, and that necessity rests on entailment, not vice versa. | |
| From: Michael Jubien (Possibility [2009], 4.4) | |
| A reaction: His example is that being a horse and being an animal are such that one entails the other. In other words, necessities arise out of property relations (which for Jubien are necessary because the properties are platonically timeless). Wrong. |
| 13391 | Modality concerns relations among platonic properties [Jubien] |
| Full Idea: I think modality has to do with relations involving the abstract part of the world, specifically with relations among (Platonic) properties. | |
| From: Michael Jubien (Possibility [2009], 3.2) | |
| A reaction: [Sider calls Jubien's the 'governance' view, since abstract relations govern the concrete] I take Jubien here (having done a beautiful demolition job on the possible worlds account of modality) to go spectacularly wrong. Modality starts in the concrete. |
| 13374 | To analyse modality, we must give accounts of objects, properties and relations [Jubien] |
| Full Idea: The ultimate analysis of possibility and necessity depends on two important ontological decisions: the choice of an analysis of the intuitive concept of a physical object, and the other is the positing of properties and relations. | |
| From: Michael Jubien (Possibility [2009], Intro) | |
| A reaction: In the same passage he adopts Quine's view of objects, leading to mereological essentialism, and a Platonic view of properties, based on Lewis's argument for taking some things at face value. One might start with processes and events instead. |
| 13389 | The love of possible worlds is part of the dream that technical logic solves philosophical problems [Jubien] |
| Full Idea: I believe the contemporary infatuation with possible worlds in philosophy stems in part from a tendency to think that technical logic offers silver-bullet solutions to philosophical problems. | |
| From: Michael Jubien (Possibility [2009], 3.2) | |
| A reaction: I would say that the main reason for the infatuation is just novelty. As a technical device it was only invented in the 1960s, so we are in a honeymoon period, as we would be with any new gadget. I can't imagine possible worlds figuring much in 100 years. |
| 13390 | Possible worlds don't explain necessity, because they are a bunch of parallel contingencies [Jubien] |
| Full Idea: The fundamental problem is that in world theory, what passes for necessity is in effect just a bunch of parallel 'contingencies'. | |
| From: Michael Jubien (Possibility [2009], 3.2) | |
| A reaction: Jubien's general complaint is that there is no connection between the possible worlds and the actual world, so they are irrelevant, but this is a nicely different point - that lots of contingent worlds can't add up to necessity. Nice. |
| 15636 | The Cogito is at the very centre of the entire concern of modern philosophy [Hegel] |
| Full Idea: The proposition 'Cogito Ergo Sum' stands at the very centre, so to speak, of the entire concern of modern philosophy. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §64 Rem) | |
| A reaction: I distinguish two approaches to philosophy: the Parmenidean (which starts from the nature of being), and the Cartesian (which starts from the fact of consciousness). This remark confirms that Hegel is firmly in the latter school. |
| 22300 | Existence is just a set of relationships [Hegel] |
| Full Idea: Everything that exists stands in correlation, and this correlation is the veritable nature of existence. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], p.235 (1892)), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 23 'Abs' |
| 15609 | The sensible is distinguished from thought by being about singular things [Hegel] |
| Full Idea: The distinction of the sensible from thought is to be located in that fact that the determination of the sensible is singularity. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §20 Rem) | |
| A reaction: Compare Idea 15608, where we find that thought concerns universals. What a very clear thinker Hegel was! |
| 15625 | Sense perception is secondary and dependent, while thought is independent and primitive [Hegel] |
| Full Idea: What can be perceived by the senses is really secondary and not self-standing, while thoughts, on the contrary, are what is genuinely independent and primitive. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §41 Add2) | |
| A reaction: Although this is post-Kant, it strikes me as a perfect slogan for rationalism. Personally I would say that such a dichotomy is becoming a historical relic, in the light of modern understanding of the brain. Experience and thought are inextricable. |
| 15619 | Empiricism made particular knowledge possible, and blocked wild claims [Hegel] |
| Full Idea: Empiricism resulted from a need for concrete content, as opposed to abstract theories that cannot advance from universal generalizations to the particular, and for a firm hold against the possibility of proving any claim at all in the field. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §37) | |
| A reaction: That sounds about right, and makes you wonder why Hegel wasn't an empiricist. |
| 15620 | Empiricism contains the important idea that we should see knowledge for ourselves, and be part of it [Hegel] |
| Full Idea: We must recognise the important principle of freedom that lies in Empiricism; namely, that what ought to count in our human knowing, we ought to see for ourselves, and to know ourselves as present in it. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §38 Rem) | |
| A reaction: Like Idea 15619, this is an interesting and perceptive remark, from a philosopher who seems a long way from empiricism. I presume he will be thinking mainly of Hume, via Kant. Personally I prefer Locke. |
| 15622 | Empiricism unknowingly contains and uses a metaphysic, which underlies its categories [Hegel] |
| Full Idea: Empiricism operates without knowing that it contains a metaphysics and is engaged in it, and that it is using categories and their connections in a totally uncritical and unconscious manner. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §38 Rem) | |
| A reaction: I doubt whether this is true of modern empiricists, who have been challenged so often from within their own ranks on so many things. I'm not even sure that it is true of Locke and Hume, apart from the way in which all philosophers are unaware of things. |
| 15621 | Empiricism of the finite denies the supersensible, and can only think with formal abstraction [Hegel] |
| Full Idea: Inasmuch as Empiricism restricts itself to what is finite, the consistent carrying through of its programme denies the supersensible altogether, ..and it leaves thinking with abstraction only, [i.e.] with formal universality and identity. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §38 Rem) | |
| A reaction: I'm not clear how a denial of empiricism allows you (with intellectual integrity) to embrace 'the supersensible'. The set theoretic account of higher levels of infinity looks like a nice test case. |
| 15632 | The Humean view stops us thinking about perception, and finding universals and necessities in it [Hegel] |
| Full Idea: The Humean standpoint proclaims the thinking of our perceptions to be inadmissible; i.e. the eliciting of the universal and necessary out of those perceptions. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §50) | |
| A reaction: Obviously Hume permits 'relations of ideas', but presumably the point is that his approach only legitimates a rather passive abstraction from experience, rather than an active application of a priori concepts to it. A fair criticism. See Bonjour. |
| 15623 | Humean scepticism, unlike ancient Greek scepticism, accepts the truth of experience as basic [Hegel] |
| Full Idea: Humean scepticism should be very carefully distinguished from Greek scepticism. In Humean scepticism, the truth of the empirical, the truth of feeling and intuition is taken as basic. ..Greek scepticism turned itself against the sensible. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §39 Rem) | |
| A reaction: This seems right, and Hume himself was quite contemptuous of the sort of scepticism found in the ideas of Sextus Empiricus. |
| 8457 | The Principle of Conservatism says we should violate the minimum number of background beliefs [Orenstein] |
| Full Idea: The principle of conservatism in choosing between theories is a maxim of minimal mutilation, stating that of competing theories, all other things being equal, choose the one that violates the fewest background beliefs held. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.2) | |
| A reaction: In this sense, all rational people should be conservatives. The idea is a modern variant of Hume's objection to miracles (Idea 2227). A Kuhnian 'paradigm shift' is the dramatic moment when this principle no longer seems appropriate. |
| 15617 | In abstraction, beyond finitude, freedom and necessity must exist together [Hegel] |
| Full Idea: Considered as abstractly confronting one another, freedom and necessity pertain to finitude only and are valid only on its soil. A freedom with no necessity in it, and a mere necessity without freedom, are determinations that are abstract and thus untrue. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §35 Add) | |
| A reaction: This is, presumably, the Hegelian dialectical nature of things, that contradictories are bound together. We must struggle hard to undestand a freedom bound by necessity, and a necessity which contains freedom. (Good luck). |
| 13396 | Analysing mental concepts points to 'inclusionism' - that mental phenomena are part of the physical [Jubien] |
| Full Idea: We have (physicalist) 'inclusionism' when the mental is included in the physical, and mental phenomena are to be found among physical phenomena. Only inclusionism is compatible with a genuine physicalist analysis of mental concepts. | |
| From: Michael Jubien (Possibility [2009], 4.5) | |
| A reaction: This isn't the thesis of conceptual dualism (which I like), but an interesting accompaniment for it. Jubien is offering this as an alternative to 'reductive' analysis, translating all the mental concepts into physical language. He extends 'physical'. |
| 15608 | The act of thinking is the bringing forth of universals [Hegel] |
| Full Idea: Thinking as an activity is the active universal, and indeed the self-actuating universal, since the act, or what is brought forth, is precisely the universal. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §20) | |
| A reaction: One should contemplate animal thought in the light of this remark. Thought requires the recognition of types of things, and resemblances, and repetitions, and patterns. Language consists almost entirely of universals. |
| 21986 | Hegel's system has a vast number of basic concepts [Hegel, by Moore,AW] |
| Full Idea: For Hegel the full system of concepts ...contains many more than Kant's twelve. | |
| From: report of Georg W.F.Hegel (Logic (Encyclopedia I) [1817], I §60Z) by A.W. Moore - The Evolution of Modern Metaphysics 07.7 | |
| A reaction: This offers some sort of conceptual scheme, but not the structured one that Kant proposes. The sequence of dialectical mediation imposes some sort of shape on the concepts. |
| 15607 | We don't think with concepts - we think the concepts [Hegel] |
| Full Idea: There is a saying that, when we have grasped a concept, we still do not know what to think with it. But there is nothing to be thought with a concept save the concept itself. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §03 Rem) | |
| A reaction: Analytic philosophers should read Hegel on concepts, because he approaches the matter so very differently, and seems to be the root of the continental approach to such things. He seems to me to talk more sense than Frege on the subject. |
| 15610 | Active thought about objects produces the universal, which is what is true and essential of it [Hegel] |
| Full Idea: When thinking is taken as active with regard to ob-jects, as the thinking-over of something, then the universal - as the product of the activity - contains the value of the matter, what is essential, inner, true. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §21) | |
| A reaction: I prefer to talk of 'general terms' rather than 'universals'. If 'tiger' is coined for the first one, but must be applicable to subsequent tigers, it has to generalise what they all have in common. Locke's 'nominal' essence, I would say. |
| 8477 | People presume meanings exist because they confuse meaning and reference [Orenstein] |
| Full Idea: A good part of the confidence people have that there are meanings rests on the confusion of meaning and reference. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.6) | |
| A reaction: An important point. Everyone assumes that sentences link to the world, but Frege shows that that is not part of meaning. Words like prepositions and conjunctions ('to', 'and') don't have 'a meaning' apart from their function and use. |
| 13377 | First-order logic tilts in favour of the direct reference theory, in its use of constants for objects [Jubien] |
| Full Idea: First-order logic tilts in favor of the direct reference account of proper names by using individual constants to play the intuitive role of names, and by 'interpreting' the constants simply as the individuals that are assigned to them for truth-values. | |
| From: Michael Jubien (Possibility [2009], Intro) | |
| A reaction: This is the kind of challenge to orthodoxy that is much needed at the moment. We have an orthodoxy which is almost a new 'scholasticism', that logic will clarify our metaphysics. Trying to enhance the logic for the job may be a dead end. |
| 8471 | Three ways for 'Socrates is human' to be true are nominalist, platonist, or Montague's way [Orenstein] |
| Full Idea: 'Socrates is human' is true if 1) subject referent is identical with a predicate referent (Nominalism), 2) subject reference member of the predicate set, or the subject has that property (Platonism), 3) predicate set a member of the subject set (Montague) | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.3) | |
| A reaction: Orenstein offers these as alternatives to Quine's 'inscrutability of reference' thesis, which makes the sense unanalysable. |
| 8484 | If two people believe the same proposition, this implies the existence of propositions [Orenstein] |
| Full Idea: If we can say 'there exists a p such that John believes p and Barbara believes p', logical forms such as this are cited as evidence for our ontological commitment to propositions. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.7) | |
| A reaction: Opponents of propositions (such as Quine) will, of course, attempt to revise the logical form to eliminate the quantification over propositions. See Orenstein's outline on p.171. |
| 15614 | Old metaphysics tried to grasp eternal truths through causal events, which is impossible [Hegel] |
| Full Idea: When finite things are grasped according to the determinations of cause and effect they are known in their finitude. But objects of reason cannot be determined through such finite predicates, and the attempt to do this was the defect of older metaphysics. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §28 Add) | |
| A reaction: This sounds the launching point for a grand philosophical system which makes scientifically inclined philosophers feel very nervous indeed. I think I prefer the old (pre-Kantian) metaphysics. |
| 15618 | If God is the abstract of Supremely Real Essence, then God is a mere Beyond, and unknowable [Hegel] |
| Full Idea: When the concept of God is apprehended merely as that of the abstract of Supremely Real Essence, then God becomes for us a mere Beyond, and there can be no further talk of the cognition of God. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §36 Add) |
| 15635 | The older conception of God was emptied of human features, to make it worthy of the Infinite [Hegel] |
| Full Idea: In earlier times, every type of so-called anthropomorphic representation was banished from God as finite, and hence unworthy of the Infinite; and as a result he had already grown into something remarkably empty. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §62 Rem) | |
| A reaction: Hegel favoured Christianity, because of its human aspect. His description fits Islam, where indeed the concept of God seems so drain of particularity that there is little in it to doubt, which might explain the durability of that religion. |
| 21980 | God is the absolute thing, and also the absolute person [Hegel] |
| Full Idea: It is true that God ...is the absolute thing: he is however no less the absolute person. That he is the absolute person however is a point which the philosophy of Spinoza never reached. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], I §151Z p.214), quoted by A.W. Moore - The Evolution of Modern Metaphysics 07.6 | |
| A reaction: Moore says Hegel was a Spinozist, in his commitment to a single substance, but his idea of God is very different, presumably because consciousness and concepts are so important to Hegel. Hegel needs a Lockean abstract notion of 'person' here. |
| 15633 | We establish unification of the Ideal by the ontological proof, deriving being from abstraction of thinking [Hegel] |
| Full Idea: One unification through which the Ideal is to be established starts from the abstraction of thinking and goes on to the determination for which being alone remains; this is the ontological proof that God is there. | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §51) | |
| A reaction: It should come as no surprise that a philosopher who so passionately endorses pure thinking, in opposition to empiricism, should end up endorsing the highly implausible ontological argument for God's existence. Jacquette gets existence from reason. |