Functional Concepts, Referentially Opaque Contexts, Causal Relations, and the Definition of Theoretical Terms

Abstract

In his recent article, ``Self-Consciousness'’, George Bealer has set outa novel and interesting argument against functionalism in the philosophyof mind. I shall attempt to show, however, that Bealer's argument cannotbe sustained.

In arguing for this conclusion, I shall be defending three main theses.The first is connected with the problem of defining theoreticalpredicates that occur in theories where the following two features arepresent: first, the theoretical predicate in question occurswithin both extensional and non-extensional contexts; secondly, thetheory in question asserts that the relevant theoretical states enterinto causal relations. What I shall argue is that a Ramsey-styleapproach to the definition of such theoretical terms requires twodistinct quantifiers: one which ranges over concepts, and theother which ranges over properties in the world.

My second thesis is a corollary: since the theories on whichBealer is focusing have both of the features just mentioned, and sincethe method that he employs to define theoretical terms in his argumentagainst functionalism does not involve both quantifiers that range overproperties and quantifiers that range over concepts, that method isunsound.

My final thesis is that when a sound method is used, Bealer's argumentagainst functionalism no longer goes through.

The structure of my discussion is as follows. I begin by setting out twoarguments – the one, a condensed version of Bealer's argument, andthe other, an argument that parallels Bealer's argument very closely.The parallel argument leads to a conclusion, however, that, rather thanbeing merely somewhat surprising, seems very implausible indeed. Forwhat the second argument establishes, if sound, is that there can betheoretical terms that apply to objects by virtue of their first-orderphysical properties, but whose meaning cannot be defined via aRamsey-style approach.

Having set out the two parallel arguments, I then go on to focus uponthe second, to determine what is wrong with it. My diagnosis will bethat the problem with the argument arises from the fact that it involvesdefining a theoretical term that occurs both inside and outside ofopaque contexts, for the method employed fails to take into account thefact that the types of entities that are involved in the relevanttruthmakers are different when a sentence occurs within an extensionalcontext from those involved when a sentence occurs within anon-extensional context.

I then go on to discuss how one should define a theoretical term thatoccurs within such theories, and I argue that in such a case one needstwo quantifiers, ranging over different types of entities – on theone hand, over properties and relations, and the other, over concepts. Ithen show that, when such an approach is followed, the argument inquestion collapses.

I then turn to Bealer's argument against functionalism, and I show,first, that precisely the same method of defining theoretical terms canbe applied there, and, secondly, that, when this is done, it turns outthat that argument is also unsound.

Next, I consider two responses that Bealer might make to my argument,and I argue that those responses would not succeed.

Finally, I conclude by asking exactly where the problem lies in the caseof Bealer's argument. My answer will be that it is not simply the factthat one is dealing with a theoretical term that occurs in bothextensional and non-extensional contexts. It is rather the combinationof that feature together with the fact that the theory in questionasserts that the relevant type of theoretical state enters into causalrelations. For the first of these features means that the Ramseysentence for the theory must involve quantification over concepts, whilethe presence of the second feature means that the Ramsey sentence mustinvolve quantification over properties in the world, and so no attemptto offer a Ramsey-style account of the meaning of the relevanttheoretical term can succeed unless one employs both quantification overconcepts and quantification over properties. Bealer, however, in hisargument against functionalism, uses a method of defining theoreticalterms that does not involve both types of quantification, and it isprecisely because of this that his argument does not in the end succeed.