I expressed the concern of Kantian pure reason as higher-order interpretation of experience. Previously, I ventured a nontraditional, historically oriented gloss of the concern of Aristotle’s dialectical/semantic “metaphysics” in the exact same words. Obviously, this is not how it was generally understood in the later tradition, although numerous authors recovered partial insights along these lines. (See also Kantian Discipline; Aristotle and Kant; Dialectic, Semantics.)
The Discipline of Pure Reason chapter in Kant’s Critique of Pure Reason makes a number of important points, using the relation between reason and intuition introduced in the Transcendental Analytic. It ends up effectively advocating a form of discursive reasoning as essential to a Critical approach.
If we take a simple empirical concept like gold, no amount of analysis will tell us anything new about it, but he says we can take the matter of the corresponding perceptual intuition and initiate new perceptions of it that may tell us something new.
If we take a mathematical concept like a triangle, we can use it to rigorously construct an object in pure intuition, so that the object is nothing but our construction, with no other aspect.
However, he says, if we take a “transcendental” concept of a reality, substance, force, etc., it refers neither to an empirical nor to a pure intuition, but rather to a synthesis of empirical intuitions that is not itself an empirical intuition, and cannot be used to generate a pure intuition. This is related to Kant’s rejection of “intellectual” intuition. We are constantly tempted to act as if our preconscious syntheses of such abstractions referred to objects in the way that empirical and mathematical concepts do, each in their own way, but according to Kant’s analysis, they do not, because they are neither perceptual nor rigorously constructive.
All questions of what are in effect higher-order expressive classifications of syntheses of empirical intuitions belong to “rational cognition from concepts, which is called philosophical” (Cambridge edition, p.636, emphasis in original). This is again related to his rejection of the apparent simplicity and actual arbitrariness of intellectual intuition and its analogues like supposedly self-evident truth. It opens into the territory I have been calling semantic, and associating with a work of open-ended interpretation. (See also Discursive; Copernican; Dogmatism and Strife; Things In Themselves.)
I am more optimistic than Kant that something valuable — indeed priceless — can come from this sort of open-ended work of interpretation. Its open-endedness means no achieved result is ever beyond question, but I think we implicitly engage in this sort of “philosophical” interpretation every day of our lives, and have no choice in the matter. I also think serious ethical deliberation necessarily makes use of such interpretation, and again we have no choice in the matter. So, pragmatically speaking, defeasible interpretation is indispensable.
Kant goes on to polemicize against attempts to import a mathematical style of reasoning into philosophy, like Spinoza tried to do. Spinoza’s large-scale experiment with this in the Ethics I find fascinating, but ultimately artificial. It does make the inferential structure of his argument more explicit, and Pierre Macherey used this to great advantage in his five-volume French commentary on the Ethics. But there is a big difference between a pure mathematical construction — which can be interpreted without remainder by something like formal structural-operational semantics in the theory of programming languages, and so requires no defeasible interpretation of the sort mentioned above, on the one hand — and work involving concepts that can only be fully explicated by that sort of interpretation, on the other. Big parts of life — and all philosophy — are of the latter sort. So it seems Kant is ultimately right on this.
Kant points out that definition only has precise meaning in mathematics, and prefers to use a different word in other contexts. I make similar well-intentioned but admittedly opinionated recommendations about vocabulary, but what is most important is the conceptual difference. As long as we are clear about that, we can use the same word in more than one sense. As Aristotle would remind us, multiple senses of words are an inescapable feature of natural language.
Kant says that unlike the case of mathematics, in philosophy we should not put definitions first, except perhaps as a mere experiment. Again, he probably has Spinoza in mind, and again — personal fondness for Spinoza notwithstanding — I have to agree. (Macherey in his reading of Spinoza actually often goes in the reverse direction, interpreting the meaning of each part in terms of what it is used to “prove”, but the order of Spinoza’s own presentation most obviously suggests the kind of thing to which Kant is properly objecting.) More than anything else, meanings are what we seek in philosophical inquiry, so they cannot be just given at the start. We can certainly discuss or dialectically analyze stipulated meanings, but that is strictly secondary and subordinate to a larger interpretive work.
Following conventional practice, Kant allows for axioms in mathematics, but says they have no place in philosophy. He has in mind the older notion of axioms as supposedly self-evident truths. Contemporary mathematics has vastly multiplied alternative systems, and effectively treats axioms like stipulative definitions instead. If we have in mind axioms as self-evident truths, Kant’s point holds. If we have in mind axioms as stipulative definitions, then his point about stipulative definitions in philosophy applies to axioms as well.
A similar pattern holds for demonstration or proof. Mathematics for Kant always has to do with strict constructions, which do not apply in philosophy, where there is always matter for interpretation. (From the later 19th century, mathematicians began increasingly to invent theories that seemed to require nonconstructive assumptions — transfinite numbers, standard set theories, and so on. This is currently in flux again. Contrary to what was thought at an earlier time, it now appears that all valid “classical” mathematics, including transfinite numbers, can be expressed in a higher-order constructive formalism. Arguments are still raging about which style is better, but I am sympathetic to the constructive side.) Philosophical arguments are informally reasoned interpretations, not proofs.
Kant says that speculative thought in general, because it does not abide by these guidelines, unfortunately ends up full of what he does not hesitate to call dishonesty and hypocrisy. (When I occasionally ascribe honesty or dishonesty to a philosopher, it is with similar criteria in mind — especially the presence or absence of frank identification of speculation as such when it occurs. See also Likely Stories.)
The kind of philosophy I am recommending is concerned with explication of meanings, not a supposed generation of truths, so it is not speculative in Kant’s sense. What may not be obvious is just how large and vital the field of this sort of interpretation really is in life. The most common and compact form by which such interpretations are expressed in the small looks syntactically like ordinary assertion, and in ordinary social interaction, mistaking one for the other has little effect on communication. When the focus is not on practical communication but on improving our understanding, we have to step back and look at the larger context, in order to tell what is a speculative assertion and what is an interpretation expressed in the form of assertion. (See also Pure Reason, Metaphysics?; Three Logical Moments.)
(In the present endeavor, the great majority of what look like simple assertions are actually compact expressions of interpretations!)