Reason Relations

“The construction gestured at so far foreshadows an argument for understanding reason relations of consequence and incompatibility as constituting a structure common to representational meaning and to practical use, to truth-making and to justificatory practices, to the objective world talked about and to the activities of talking about it, to what is represented and to the representing of it. That these same reason relations show up from the two otherwise disparate perspectives afforded by (the right kind of) semantic and pragmatic metavocabularies offers some reason to think of those relations as central to language or discourse as such” (Brandom in Hlobil and Brandom, p. 11).

Hlobil and Brandom’s Reasons for Logic presents major new results. In the technical part, Hlobil presents not just one but two very detailed new isomorphisms that unexpectedly seem to unify previously disparate areas of research in a convincing way. I will barely skim the surface of all that is afoot here. My goal is just to work through a few more pages of the motivational part, which also briefly summarizes the whole.

This notion of reason relations is already quite fascinating.

“Such an approach is unusual, and so perhaps surprising in how it discerns rational forms amphibious between these different dimensions” (p. 12).

It is the “amphibious” or hylomorphic character of what is going on here that is so amazing. This is not just something on the horizon offered to aim at as a goal, but an actual concrete accomplishment. This could make it possible to specify in detail what the substantiality of reason will amount to in particular cases. Brandom’s work has clearly taken on a life of its own, and is now being carried forward by others in new ways.

One of the many ideas afoot here is a suggestion that relations come before “things” in the order of explanation. This has been one of my favorite themes throughout the years. It even appears that this amphibious character of reason relations could enable us to say what constitutes objectivity in particular cases, and not merely gesture at it. If so this is huge, from the point of view of perennial human deficits and conflicts. It could be as big a leap for talking animals as the introduction of Platonic dialogue. Of course, we should anticipate that people will still find things to argue about.

Earlier, it was Brandom who convinced me to take Kant and Hegel seriously, and to take analytic philosophy seriously as actual philosophy and not just a technical endeavor. This greatly elevated appraisal, especially of Kant and Hegel, naturally led me to direct attention to Kant and Hegel themselves. In this context, I almost came to think of Brandom primarily as a very innovative expositor of their work. The products of this collaboration in the Research Group on Logical Expressivism that are reported here leave no doubt that there is much more to Brandom’s work than that.

“One important criterion of adequacy for both semantic and pragmatic metavocabularies as we understand them is that they offer expressive resources sufficient to provide explanations of the reason relations of arbitrary base vocabularies. They are able to say, each in their own distinctive idiom, both what it means for some sentences to stand to others in relations of implication or incompatibility and why they do…. Our preferred version of semantics offers, in effect, truth-makers for the claims that Γ#A (Γ is incompatible with A) and Γ|~A (Γ implies A) in alethic modal terms of the impossibility of fusions of truth-making states of A, and truth-making states Γ with falsifying states of A, respectively — that is, in terms of how the sentences of Γ and A represent the world to be. Our preferred version of pragmatics specifies how one must use sentences in order thereby to count as practically taking or treating them as standing in relations of implication or incompatibility. It does that in deontic normative terms of constellations of commitments to accept and reject the claimables they express being improper, inappropriate, or ‘out of bounds’ ” (ibid, emphasis in original).

“Because both of these kinds of metavocabulary appeal to conceptual resources beyond those intrinsic to the base vocabularies of which they are the metavocabularies, and do so in service not just of characterizing the reason relations of those base vocabularies but of explaining them, the sorts of semantic and pragmatic metavocabulary we consider can be denominated ‘extrinsic-explanatory’ rational metavocabularies” (pp. 12-13).

“In addition to extrinsic-explanatory rational metavocabularies, there are also intrinsic-explicative ones. This latter kind of metavocabulary for reason relations restricts itself to the conceptual resources supplied by the base vocabularies whose reason relations it characterizes, and is used to make explicit those reason relations and the conceptual contents they articulate, rather than to explain why they are as they are, or what it is for them to be what they are. The principal phenomenon we initially seek to understand in these terms is logic. The first way logical vocabulary differs from the semantic and pragmatic metavocabularies considered so far is that it is an intrinsic, rather than an extrinsic metavocabulary for codifying reason relations. The rules by which logical vocabulary is introduced to extend any arbitrary nonlogical base vocabulary appeal to nothing more than the reason relations sentences of the base vocabulary stand in to one another” (p. 13, emphasis in original).

“Gentzen’s basic innovation was to treat reason relations, paradigmatically implications, as objects, called ‘sequents’, that can be referred to and manipulated, and their metainferential relations made explicit in a mathematical metavocabulary. The sequent-calculus metavocabulary can be thought of as applying to an arbitrary nonlogical base vocabulary…. This sequent-calculus metavocabulary allows for efficient expression of the reason relations that hold in any base vocabulary, including metainferential relations. But it is essentially just a notation, requiring no substantial additional conceptual resources beyond what is provided by the base vocabulary whose nonlogical implications and incompatibilities it specifies explicitly.”

“Perhaps surprisingly, the spare sequent-calculus notation… turns out to be sufficient to formulate rules for adding logical vocabulary to any arbitrary base vocabulary, and (most importantly), computing the reason relations of the extended vocabulary from those of the base…. The idea is first to extend the lexicon of the base vocabulary, by syntactic rules that specify that the base lexicon is included in the logically extended lexicon, and that if A and B are sentences in the extended lexicon, then so are [A implies B, A and B, and A or B]…. The complete logically extended vocabulary… can then be computed from the base vocabulary. We say that a corresponding logically extended vocabulary can be elaborated from any arbitrary base vocabulary. Implications and incompatibilities (and metainferences involving them) that hold in every logical extension of a base vocabulary, no matter what base vocabulary it is elaborated from, can then be said to hold in virtue of logic alone” (pp. 13-14).

“The sequent-calculus vocabulary is accordingly a rational metavocabulary — a vocabulary for specifying the reason relations of some other vocabulary — that has the special feature that it permits the elaboration of arbitrary base vocabularies over lexicons that extend the lexicons of the base vocabularies by adding logically complex sentences formed by combining the sentences of the base vocabulary with logical operators. Rules for those operators formulated in the sequent-calculus vocabulary conservatively extend the reason relations of the base vocabulary, in the sense that the implications and incompatibilties that hold among logically atomic sentences in the logically extended vocabulary are just those that already held among them in the base vocabulary. And the connective rules formulated in the sequent-calculus vocabulary do this while appealing to no resources outside of those provided already by the reason relations of the base vocabularies” (p. 15, emphasis added).

“”That is, sequent-calculus metavocabularies are intrinsic rational metavocabularies…. And they elaborate all the reason relations of the extended vocabulary solely from the reason relations of the base vocabulary…. When the reason relations of the logically extended vocabulary are suitably elaborated from those of a base vocabulary, it becomes possible for the first time to say explicitly, in the extended vocabulary, what implications and incompatibilities hold in that base, and also in its logical extension” (ibid, emphasis in original).

“The constellation of the sequent calculus metavocabulary and the logical vocabulary it introduces stands in an intrinsic-explicative relation to the reason relations of any base vocabulary whatsoever…. The rules of the logics we propose can be shown to be expressively complete in a strong sense…. [A]lmost all extant logics either presuppose that the base vocabularies they extend satisfy strong global structural constraints — paradigmatically the monotonicity and transitivity at the core of traditional understandings of specifically logical consequence as a kind of closure operator — or retroactively impose some such global structure, thereby failing to be conservative over some substructural base vocabularies. While we believe that specifically logical consequence does have a global closure structure (and that logical consistency is monotonic), we argue that this is not in general true of nonlogical reason relations” (p. 16, emphasis in original).

Next in this series: Implication Spaces