I’ve been interested in Robert Brandom’s inferentialism since I picked up a copy of Making it Explicit back in 1996. One interesting component of Brandom’s inferentialism is his account of what it is to be a singular term. There are a number of ways to understand inferentialism, but the important point here is the centrality of material inference to semantics. An inference like “Melbourne is south of Sydney, therefore Sydney is north of Melbourne” is a materially good inference. Material inferences, for Brandom, are not to be understood as grounded in a more primitive notion of logical consequence—we shouldn’t explain the inference in terms of the validity of the form “\(a\) is south of \(b\), for all \(x\) and \(y\) if \(x\) is south of \(y\) then \(y\) is north of \(x\), therefore, \(b\) is north of \(a\)” and the fact that the extra premise is common knowledge or a part of the norms governing the concepts of north and south. No, according the inferentialist, we are to explain those facts in terms of materially good inferences, and not vice versa.
Well, one of the distinctive features of Brandom’s inferentialism is that he takes there to be an inferentialist account of what it is for a term to be a singular term—a name or other device that picks out an object, rather than a predicate that describes something, or some other kind of connective or modifier.
Here’s a one sentence slogan summarising the account of what it is to be a singular term:
A grammatical item is a singular term if and only if the substitution inferences in which that item is materially involved are symmetric.
(See Brandom’s Articulating Reasons, Chapter 4, especially Section II for details and exposition.)
There are at least three complex concepts in this slogan that require explanation:
There’s something insightful about this. The inference from “Greg is a philosophical logician” to “The author of this note is a philosophical logician” is materially good (at least, in some contexts), if that’s good so is the converse inference. Why? Because I (Greg) am the author of this note. But the inference from “Greg is a philosophical logician” to “Greg is a philosopher” is good in the way that the converse need not be. There are clearly asymmetric material inferences resulting from the substitution of weaker predicates for stronger predicates. There don’t seem to be anything “weaker” or “stronger” singular terms. What would such things be? It really looks like there is something important going on in the difference between substitution of singular terms and the substitution of predicates (or predicate modifiers, or other grammatical units) in these inferences.
However, I am struck by the following puzzle. Consider an inference like this:
23 is a small number, therefore 22 is small number.
I take this is a materially good inference. Whatever standard of smallness you invoke, if 23 counts as a small number, so does 22. Why? Because 22 is smaller than 23.
In fact, each inference of the form:
\(m\) is a small number, therefore \(n\) is a small number.
Looks materially good to me, for any numerals \(m\) and \(n\) where \(n\) names a larger number than \(m\) does. Because, as before, \(m\) is indeed smaller than \(n\), and in those cases, the inference is good.
However, the converse inferences seem nowhere near as good. While some of the converse inferences might be good (I have some friends who take it that every inference of the form \(m\) is small, so \(m+1\) is small is good), but you shouldn’t think that all of them are good. If you can find a number \(n\) that is small and a larger number \(m\) that is not small, then the converse inference
\(n\) is a small number, therefore \(m\) is a small number.
is not only materially bad—it has a true premise and a false conclusion. It’s as bad as an argument can get.
This looks to me to be a clear counterexample to Brandom’s account of singular terms. Here’s why.
Despite appearances, this has nothing to do with the sorites paradox, or to do with the context sensitivity of “small.” We could have run the same argument with the inference
23 is smaller than \(N\), therefore 22 is smaller than \(N\).
where \(N\) is some fixed (possibly known, possibly unknown) number, and the result would have been the same. All inferences
\(n\) is smaller than \(N\), therefore \(m\) is smaller than \(N\).
are materially good, in those cases where \(m\) is smaller than \(n\). And obviously, some of the converse inferences are bad.
(We could do the same with more prosaic examples, too. The inference from “Wellington is south of Melbourne” to “Wellington is south of Sydney” seems materially good, while the converse inference seems much less compelling.)
I think this means that Brandom’s account can’t work as it stands, unless I’ve misunderstood it. Even though there aren’t general inferential asymmetries between singular terms, there are local asymmetries, relative to particular substitution inferences. Any account of the distinctive behaviour of singular terms will need to paint the distinction somewhere other than the symmetry or asymmetry of all substitution inferences.
What do you think?
(Thanks to Shawn Standefer and Kai Tanter for conversations that prompted these thoughts.)
I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.