Logic and Metaphysics

In Emancipatory Logic? I began a walk-through of Robert Pippin’s important Hegel’s Realm of Shadows. This post borrows its title from his second chapter, though it only addresses the first part of it.

According to Pippin, Hegel’s Science of Logic is intended to exhibit the “spontaneous” or “self-generating” actualization of intelligibility. This takes places through the higher-order universals that Kant following Aristotle called “categories”.

Hegel’s “logic” provides his alternative to Kant’s notoriously long and difficult argument for the possibility of a priori knowledge that is not merely analytic, and to Kant’s derivation of the categories. As an exercise in what Aristotle called first philosophy, it is not supposed to depend on anything else.

By his own lights Hegel is extremely concerned with concreteness. He is therefore very conscious that his “logic as first philosophy” only addresses possible actualizations of intelligibility, and doesn’t derive anything real. We might think that the actualization of intelligibility would be a realm of light, but here the concern is with the emergence of light, hence his curious metaphor that “logic” is a realm of shadows.

“Hegel follows Kant’s innovation in his response to the empiricist challenge…. The basic question is, How could there possibly be objectively valid concepts, true of all objects, but not derived from experience? Where could they come from? In Hegel’s terms, this amounts to the question, How do concepts that are the products of thought alone ‘give themselves’ content, where by content we mean something extraconceptual?” (pp. 39-40).

Pippin says that Hegel will want “to determine objects in their thinkability, where that means their suitability not for a finite, subjective power, but for thought as such, that is, objects in their intelligibility, in their being at all intelligibly what they are. Their being what they are is their concept, or their ‘being their concept’, for Hegel. The concepts did not come from anywhere, any more than the thinking power comes from anywhere” (p. 40). Hegel aims for a “logic of the knowable as such” (p. 41).

“[Kant’s] critique concerns the modern tradition stemming from Descartes, embodied in Arnauld’s and Nicole’s Port Royal Logic in 1662, as well as the Leibnizian/Wolffian metaphysical tradition. The former held that clarity about the relations between ideas could lead the mind closer to the bearers of philosophical truth, clear and distinct ideas, known passively by the ‘light of reason’. For the latter, the laws of thought simply are the ‘laws of truth’ (to use Frege’s phrase), or a general logic is just thereby a logic of objects, because all philosophical truth is what Kant would call ‘analytic’, arrived at by logical analysis alone” (pp. 41-42).

Pippin emphasizes that Kant and Hegel both reject the early modern (originally Thomistic) idea of passive illumination by a “natural light” of reason. In the original Thomistic context, the idea of a natural light of reason played what I think was a very positive role as a counter-weight to sectarian tendencies in religion, but in the early modern context it led to a new kind of dogmatism.

“With general logic as it was understood in the Port Royal and the Wolffian traditions, [Hegel] agrees that logical reasoning, understood in that way, does not provide knowledge of objects. He especially agrees with Kant that reason and understanding are activities, not passively ‘illuminated’. As ‘that great foe of immediacy’, in Sellars’ phrase, he does not mention or rely on such receptive or noetic intuition. As such a great foe, Hegel is opposed to any notion of self-standing, atomic conceptual content. As he wants so famously to show in a dialectical logic, determinateness is a function of determination, always an identification ‘through an other’, his formulation for discursivity” (p. 42).

For Hegel, there is no determinateness without a prior activity of determination. That activity is a discursive articulation of otherness in its concreteness by means of language.

Hegel’s Science of Logic is divided into what he calls an “objective” logic, consisting in a “logic of being” and a “logic of essence”, and a “subjective” logic, consisting entirely in a “logic of the concept”.

“The logic of being seems clearly to correspond to the Kantian categories of quality and quantity, what Kant called the mathematical and constitutive categories, and the logic of essence certainly seems to correspond to the categories of relation and modality, or the dynamic and regulative categories. The logic of the Concept makes use of the same syllogistic central to Kant’s conception of the role of such an inferential structure in the activity of reason” (p. 43).

Incidentally, I find it intriguing and highly plausible that Hegelian essence would express relation and modality. As much of an improvement as this is over the early modern notion of essence as a putatively self-contained content, it still does not yet address the fluidity of what would have been essence in development over time.

Pippin notes that in an 1812 letter, Hegel also said the objective logic roughly corresponds to the “ontology” he saw articulated in Aristotle’s logical works. I would add that Hegel’s “logic of the concept” moves beyond the “objective” logic in somewhat the same way that the discussion of “substance” in Aristotle’s Metaphysics moves beyond that in the Categories.

Pippin says “there is no question that Hegel both wholeheartedly agreed with Kant’s critique of substantive metaphysics, and realized that that critique applied only to modern metaphysics and left several possibilities open” (p. 44). He quotes Hegel saying “What Kant generally has in mind here is the state of metaphysics of his time…; he neither paid attention to, nor examined, the genuinely speculative ideas of older philosophers on the concept of spirit” (ibid).

He begins to clarify what Hegel more specifically means by logic.

“[F]or both Kant and Hegel, the unit of significance for any logic is not the proposition or any static formal structure but acts of reasoning and assertion” (ibid).

“Hegel’s logic does not primarily concern relations among, operations upon, propositions, and is instead oriented from a logic of terms. So we don’t see a syntax specified by axioms, a proof theory, and a semantics” (ibid).

In mainstream 20th century logic, the older term logic was regarded as a mere historical relic. But since the late 20th century, type theory has provided a formulation of term logic in higher-order mathematics that subsumes not only first-order but also higher-order predicate logic, so even in strictly mathematical terms, term logic is once again highly relevant.

“But as becomes clearer in the logic of the Concept, conceptual content is not provided by analysis of atomistically conceived concepts. Concepts are understood, as they were in Kant, as ‘predicates of possible judgments’, and the roles they play in possible judgments in various contexts, involving other concepts, and the roles they can and cannot play in such judgments (including the inferential relations among the judgments) are necessary to specify such concepts. This is why Hegel metaphorically speaks of concepts as alive, in movement, and why the logic’s ‘motion’ is the key to the specification of any concept…. Concepts are rules for judgmental unification, and judgmental unifications are always apperceptive” (p. 45).

“So the structure of concepts in use is the structure of the apperceptive ‘I’ (ibid; see also Ideas Are Not Inert).

“The concept of the Concept, the apperceptive understanding of the implications of this apperceptive structure, is what Hegel calls ‘the Absolute'” (ibid).

He compares Hegel’s view of concepts to that of the contemporary philosopher John McDowell in Mind and World.

“[I]n McDowell’s view we can certainly distinguish thinking from what is thought (the world is not a thought-thing; thinking is a discursive activity; the world is not a discursive activity) and still insist that the world ‘is made up of the sort of things one can think. (That discursive activity is, in its unity, the unity of anything that can be known would be expressed on the ‘object side’ by claiming that a determinate object is articulable as a single unity.) Or, for example, the profound-sounding (even Heideggerian) claim that there is no ontological gap between thought and world just comes down to the fact that ‘one can think, for instance, that spring has begun, and that very same thing, that spring has begun, can be the case’. What I think when I know (think truly) that something is the case is simply what is the case. It is thus a truism of sorts that, with the issue posed in a Kantian way, ‘the forms of thought are the forms of things…. The distinction between ‘conditions on the possibility of knowledge of things’ and ‘conditions on the possibility of things themselves’, which some use to characterize Kantian idealism, should be rejected ‘on the ground that the relevant conditions are inseparably both conditions on the thought and conditions on objects, not primarily either the one or the other'” (p. 47).

Frege said a fact is a true thought. The early Wittgenstein identified the world with what is the case. Aristotle said there is no difference between thought in the strong sense (nous or “intellect”) and that of which it thinks. Pippin quotes Hegel’s implicit invocation of Aristotle on this point:

“The older metaphysics had in this respect a higher concept of thinking than now passes for accepted opinion. For it presupposed as its principle that only what is known of things and in things by thought is really true [wahrhaft Wahre] in them, that is, what is known in them not in their immediacy but as first elevated to the form of thinking, as things of thought. This metaphysics held that thinking and the determination of thinking are not something alien to the subject matters, but rather are their essence, or that the things and the thinking of them agree in and for themselves (also our language expresses a kinship between them); that thinking in its immanent determinations, and the true nature of things, are one and the same content” (p. 48; see also Form and Things).

Pippin points out that Hegel does not simply identify facts with propositions. Rather, in the spirit of Kant’s unities of apperception, he is concerned with “thought’s agreeing with itself” (p. 51). “The force of a judgment is judgment’s own force; it is not a natural force or the result of the accumulation of empirical data” (p. 52). In a footnote Pippin adds that “‘I did it because I thought I ought to’ could be appealed to to make the same point” (ibid).

“A wolf is not simply, in itself, what it is to be a wolf but to some degree or other a better or worse exemplification of such a concept ‘for itself’. The object is not just ‘as it is’; it is ‘for’ (here, in the sense of ‘for the sake of’) its concept and hereby itself…. This is all in keeping with Hegel’s general tendency to gloss his use of for-itself with Aristotle’s notion of an actualized potential” (pp. 54-55).

“To say that an object is ‘for its form’ is just to say that there is an intelligible dynamic in its development. (As in Aristotle, the particular kind of unity by which any thing or process or activity is what it distinctively is is the unity by virtue of which it is intelligible.)…. This intelligible dynamic is its concept and is not something that exists separate from or supervening on some physical attributes and efficient causation. It just is the intelligible way a development develops; there is nothing ‘over and above’ the development” (p. 55).

Pippin quotes Hegel’s Encyclopedia logic where Hegel specifically recalls Aristotle’s criticism of Plato for neglecting the actuality of forms.

“Self” and “other” are inseparably related in the Logic, as they are in the discussion of self-consciousness in the Phenomenology. In the Logic, “‘for itself’ and ‘for an other’ will be reciprocally dependent notions” (p. 56).

For Hegel, a being “is what it is and not anything else (it is ‘in itself’), but only by virtue of the properties that can intelligibly distinguish it from its contraries (can determine what it is ‘for itself’)…. Accordingly, everything… turns on the sweeping claim that ‘truth [the truth of being, the determination of what things truly are] is self-consciousness [the forms of self-conscious judgment]…. This does not claim it exists only as conceived, or that the conceiving on which its determinacy depends should be understood as subjective mental episodes” (pp. 56-57).

“Thought can determine its objects, but not by appeal to the light of reason, not ‘immediately’…. Much more will have to be said about this, but it will be very important to Hegel that to consider things in their intelligibility is also and at the same time to consider them in terms of the only beings for whom beings can be intelligible, rational beings” (p. 57).

Pippin says that Hegel rejects Kant’s “distinction between things considered in their possible intelligibility and things considered simply as they are in themselves” (p. 58). He again notes that Hegel is neither simply identifying things with thoughts nor identifying thought’s self-determination with anything like the Absolute’s knowledge of itself.

“[T]he initial, simple point at issue now is that anything’s being at all would be mere indeterminate and indistinguishable being were it not conceptually determinate, articulable — in the simplest sense, an instance of a concept” (p. 59).

“And this raises Hegel’s main question in the Logic: how to account for conceptual content…. The answer to that question will depend on two very difficult elements in Hegel’s project: … that the form of the concept is the form of the self, and that, accordingly, truth is self-consciousness; and the claim that the way to understand this content is to understand these concepts as ‘self-negating’, but in a way that promises a positive result” (ibid).