1. Perspectival representational contents
1.1. Representation
All representation minimally involves representing things as being some way. If things are as represented, the representation is accurate or correct. For example, a representation might represent things in general as being such that there are cats, or it might represent a particular cat as being large, amusing or hungry. We will here be interested in certain types of representation, namely representations that are mental states, such as beliefs, or linguistic acts, such as assertions.
Uncontroversial examples of representational mental states or linguistic acts would be, for example:
(B1) My belief that there are cats.
(B2) My belief that Apolo is a cat.
(B3) My belief that my neighbours have a cat.
(B4) My belief that Apolo is my neighbours’ cat.
(U1) My utterance of the sentence ‘There are cats.’
(U2) My utterance of the sentence ‘Apolo is a cat.’
(U3) My utterance of the sentence ‘My neighbours have a cat.’
(U4) My utterance of the sentence ‘Apolo is my neighbours’ cat.’
For one reason or another, the following mental states and linguistic acts are not uncontroversial examples of representations:
(B5) My judgement that Apolo is amusing.
(B6) My judgement that it is bad to leave Apolo alone in the flat.
(U5) My utterance of the sentence ‘Apolo is amusing.’
(U6) My utterance of the sentence ‘Leaving Apolo alone in the flat is bad.’
I think I could have equally characterized the mental states (B5) and (B6) as my beliefs that Apolo is amusing and that locking him in is bad respectively. I chose the term ‘judgement’ in order to have a term that is more neutral and is not associated with certain assumptions that are usually made about beliefs in the context of non-cognitivism, namely that beliefs are descriptive, representational, truth-apt, objective, etc.
Why should these examples be controversial? I suggested above that representations represent things as being some way, and that they are accurate or correct just if things are as represented. If that is all there is to representation, then (B5), (B6), U5) and (U6) should qualify as representations, for each of them seems to represent things in some way, and each of them will be accurate or correct if and only if things are as they have been represented.
However, the trouble starts when we specify how things are represented by a given representation (and thereby also specify what would be required for the representation to be correct). It seems that B2 represents Apolo as a cat, and that B2 will therefore be correct just if Apolo is indeed a cat. Similarly, we might say, B5 represents Apolo as amusing, and it should be regarded as correct just if Apolo is indeed amusing. However, at this point, some will say that whether B5 is correct depends not just on how things are with the object of representation, Apolo, but also on how things are with me, the owner of B5. To see this, compare a further mental state, and corresponding utterance:
(B7) Your judgement that Apolo is amusing.
(U7) Your utterance of ‘Apolo is amusing.’
Let us suppose that at the time of B5, my dispositions to be amused are such that Apolo is (at the time of B5) liable to amuse me, but that your dispositions (at the time of B7) are such that he will not amuse you. It would seem, then, that B5 is correct, while B7 is not. Nevertheless, both B5 and B7 can be described as representing the same object, Apolo, in the same way, namely as amusing. So, if we accept this description of the representational content of B5 and B7 (they both represent Apolo as amusing), then clearly the correctness of B5 and B7 does not depend only on how things are with Apolo, the object of representation. It seems to depend also on how things are with the owner of the mental state in question, for it is the difference between me and you (the respective owners of B5 and B7) that accounts for the difference in correctness.
Some philosophers think that we cannot, therefore, construe B5 and B7 as representing things in the same way, i.e. as having the same representational content.Footnote 1 On this kind of view, representational contents must be construed in such a way that if two representations (that occur in the same world) have the same content, then it cannot be that one is correct, but the other is not. Representational content, on this conception, determines correctness. Or perhaps I should precisify: given a state of the world, representational content determines representational correctness.
1.2. The classic conception
This sort of conception is in the tradition of Frege, who stipulated that thoughts (his analogue of contents) were to determine a truth-value, and did not allow that anything short of determining a truth-value could qualify as a thought (Frege Reference Frege1918). On this conception, representational contents are by definition objective: if anyone believes such a content correctly at any time, then any belief with the same content, no matter by whom or at what time, will also be correct (assuming that truth is necessary and sufficient for correctness). Let's call this the ‘classic conception’, and let's call representational contents construed to meet this constraint ‘classic contents’.
On the classic conception, then, if we are to say that B5 is correct while B7 is not, we have to construe them as having distinct representational contents, i.e. as not representing things in the same way. For example, on the classic conception, one might say that B5 and U5 represent Apolo as amusing me, while B7 and U7 represent Apolo as amusing you, thus assimilating B5 and B7 to B3 (or U3): my belief that my neighours have a cat does not have the same content as B8 (U8):
(B8) Your belief that your neighbours have a cat.
((U8) Your utterance of ‘My neighbours have a cat.’)
even though you would use the same words to express B8 (as in U8), or to ascribe it to yourself (‘I think my neighbours have a cat.’). In the case of B3 and B8, we are less tempted to say that they share the same content, for we would not use the same words to specify how they represent things as being. This was different in the case of B5 and B7: both can be correctly described (by me, you or anyone else) as representing Apolo as amusing. On the classic conception, however, this description is not complete and masks a difference in representational content and B5 and B7 should be treated as having contents, respectively, like those of B9 and B10:
(B9) My belief that Apolo amuses me.Footnote 2
(U9) My utterance of ‘Apolo amuses me.’
(B10) Your belief that Apolo amuses you.
(U10) Your utterance of ‘Apolo amuses me.’
1.3. Perspectival content
The classic conception, however, is not the only option. There is no compelling reason for stipulating that representational content must determine correctness (i.e. is objective by definition). Alternative, perspectival conceptions drop this requirement, so that we can, after all, maintain that the way B5 and B7 represent things as being is the same. Both B5 and B7 represent Apolo as amusing, but they do so, as it were, from different perspectives. On this conception, then, whether a representation with a certain representational content is correct can depend on who represents and at what time. We might say: whether it is correct to represent things a certain way, whether it is correct to believe a certain representational content, depends on the identity of the thinker and the time of thinking. In other words, this conception operates with perspectival contents, contents the correctness of believing which depends on a perspective or standpoint. For our purposes, we can think of perspectives as ordered triples of a thinker, a time and a posible world. On this conception, while a content (and the world) alone do not determine a truth-value, a content does so relative to a perspective.
I proposed initially that representation minimally involves representing things as being a certain way and that representations are correct iff things are the way they are represented as being. The classic conception adds a further objectivity requirement, namely that the ways things are represented as being can only be specified in a certain way, namely such that if two representations share the same representational content, they cannot differ with respect to correctness. Construing representational contents as perspectival involves maintaining the essential feature of representation but dropping the classic constraint on representational content. As a result, the perspectival approach will allow us to classify B5 and U5 as representations.
B6 and U6 – the judgement and claim that leaving Apolo alone in the flat is (morally) bad – are subject to similar worries as B5 and U5, in so far as there are philosophers who argue that the correctness of moral judgements may, in addition to depending on facts concerning the objects of moral evaluation, depend on features of the judge, such as her system of moral norms, or that of her community. Those who argue this will have options that are analogous to the ones just discussed for B5 and U5: adopt a classic or a perspectival conception.Footnote 3
Besides allowing B5/U5 and B7/U7 to be uncontroversially classified as representations, and as representations with the same content, the perspectival approach also permits more differentiation in some cases of uncontroversial representations. Thus, we can distinguish between the content of B3 and the content of B11, while arguably the classic conception does not:
(B11) My belief that MK's neighbours have a cat.
It would also allow us to treat, for example, B9 and B10 as having the same content: they both represent the owner of the belief as being amused by Apolo. Of course this will be another case where correctness depends not only on how things are represented as being, but also on who does the representing.Footnote 4
1.4. What is at stake?
It is not obvious what, if anything, is at stake in the choice between classic and perspectival conceptions of representational content. In my view, the situation is best described as follows.
Focus on our minimal starting point: representations represent things as being some way and they are correct iff they represent things as they are. However, there are many different respects of similarity that one could usefully focus on when thinking about how representations represent things as being and the conditions under which they would be correct. In some respects, B3 and B8 are similar: both of them represent the thinker's neighbours as having a cat. Both of them are representations that are correct just if the thinker who has the representation has neighbours who have a cat. A perspectival conception of content allows modeling this similarity as sameness of content. The proponents of the classic conception may well be interested in this kind of similarity too, they do not, however, want to capture this respect of similarity in terms of sameness of content. Instead, they try to abstract from a different respect of similarity, namely that obtaining between B3 and B11: both represent the same object (MK's neighbours) as being the same way. The respect of similarity they are interested in entails sameness of correctness status: any two representations similar in this respect are also similar in respect of correctness. This means that the classic conception needs to capture the earlier mentioned similarity between B3 and B8 in a way that does not require sameness of content.Footnote 5 As long as each conception is able to offer alternative ways of modelling similarities that are captured by the other, there seems to be nothing substantial at issue between the two approaches.
I conceded that similarities captured as sameness of content on perspectival conceptions can be described in other ways on classic conceptions. However, are perspectival conceptions conversely able to model everything classic conceptions can model? Yes, they can. Let us focus for a moment on a well-known, simple and elegant implementation of the classic conception: the conception of contents as functions from possible worlds to truth-values (or, equivalently, sets of possible worlds). Compare this classic notion of content with a corresponding perspectival notion of contents as functions from ‘centred worlds’ to truth-values, where centred worlds are simply ordered pairs <w, c> consisting of a world w and a center c (where centres are in turn construed as ordered pairs of thinkers and times). David Lewis (Reference Lewis1979) has shown that this perspectival notion is a generalization of this classic notion, in the following sense: Amongst all the perspectival contents some are what has been called ‘boring’Footnote 6 or ‘portable’Footnote 7: the centre-component of each centred world is irrelevant for the value of the function, because if the value of the function is truth for some centred world <w, c>, then it is truth also for every centred world <w, c’> with a different centre, but the same world. Or if we think of contents as sets: a set P of centered worlds is portable just if: for all centers c and worlds w, <c, w>∈ P only if for every center c’, <c’, w>∈ P. Now, for each classic content C, there is exactly one portable perspectival counterpart P, such that w ∈ C iff for some (or all) centres c, <w, c>∈ P. Since there is exactly one counterpart portable centred content for each classic possible-worlds content, and counterparts share all the theoretical properties that do any work in the classic conception, Footnote 8 the framework of centred contents can do everything the classic framework can do.
Lewis's point seems to hold not only for unstructured contents, but for any conceptions of classic and perspectival structured content which are such that the only difference between them is that the classic conception imposes an extra condition of objectivity, and thereby rules out all except the portable ones amongst the perspectival contents.Footnote 9 For we will then again be able to find exactly one counterpart perspectival content for each classic content, which shares all the theoretically relevant properties. Thus, whatever else we think a content needs to do in addition to determining conditions under which it can be correctly believed: a perspectival version is just a generalization and can do everything its classic counterpart can do.
While this result is good news for the perspectival conceptions, it by no means decides which conception we should adopt. A theorist who is only interested in using her representational contents to explain phenomena that can be explained by classic contents, and who reserves other resources for other phenomena (or is not interested in them) can of course rationally stick to the classic conception.
Even if I am right, and the choice between the two frameworks is a matter of stipulation and a pragmatic choice, it will make a rhetorical and presentational difference whether we do or do not allow non-objective representations. Those convinced that evaluative thought is non-objective, in the sense that correctness depends on one's perspective, standpoint etc., may have a harder time selling their view if they are forced to say that evaluative thought does not qualify as representational (as they would be on the classic view).
The mere rhetorical or presentational significance of the choice, however, can mislead if the category of representation (as classically delimited) is erroneously imbued with further significance. For example, if it is assumed that everything that shares certain patterns of behaviour with paradigm representations should also (on pain of explanatory disunification) be a representation. This would be a fallacy, and demonstrably so, if there is an alternative notion of representation available that would restore explanatory uniformity. The second part of my paper attempts to diagnose such a fallacy.
2. Fallacies in metaethics
2.1. Introduction
I want to illustrate that our choice of notion of representational content – classic or perspectival – can mislead us into substantial philosophical mistakes. I believe that mainstream thinking in metaethics in the last half-century or so has been misguided by the narrow classic picture, because it makes certain metaethical views (non-cognitive ones) appear less unified. The basic theme is the one already mentioned: if we regard all representation as involving objective content, then our conceptual framework, our terminology, portrays anything that is otherwise a bona fide judgement, but lacks such a content, as something categorically different: as not a representation or as lacking proper representational content.
I suggested above that the matter is merely terminological: if we stipulate that representation must involve classic contents, then instead of arguing whether the contents of certain representations are objective, we’ll be arguing whether certain mental states are or are not representations. That approach may be rhetorically unfair (to those who have to argue that certain bona fide judgements are not genuine representations), but as long as we do not imbue our choices of conceptual and terminological framework with substantial, perhaps metaphysical or explanatory, significance, we are completely free to choose as we wish. However, it is sometimes hard to remember later on that certain bits of framework that one has grown fond of were in fact the result of a stipulation that one could revoke at any time. The familiarity of notions employed in a theory (e.g. classic content) may also count as an explanatory advantage, but it is at most an historically contingent advantage that can vanish without residue as rival notions become more familiar.
This is all highly abstract. In order to fill this abstract possibility with concrete life, I will now show how awareness of the perspectival content framework can expose some well-known forms of reasoning in metaethics as fallacious. The fallacious reasoning I have in mind is frequently exhibited in the family of objections against metaethical non-cognitivism and expressivism that is associated with the label ‘Frege-Geach point’.
I shall first outline a certain non-cognitivist/expressivist outlook with an emphasis on those aspects that are important for my point. Here I will distinguish non-cognitivism: a view about the nature of the mental states one might call ‘moral judgements’, from expressivism: a view specifically about moral language. Then I shall outline some conclusions drawn from the Frege-Geach point that exhibit a fallacy to which I think our stipulation of classic representational contents can lead. In order to demonstrate that I am not merely taking down a straw man, I shall then show how even the most sophisticated and sympathetic engagement with expressivism, namely Mark Schroeder’s, is guilty of a version of this fallacy. Finally, I shall outline a rudimentary theory of ‘judgements’, understood as those representational mental states that have perspectival contents.
2.2. Non-cognitivism
Metaethical non-cognitivism is a view about the nature of moral judgements, namely the view that moral judgements are non-cognitive mental states. Paradigm examples of cognitive mental states are beliefs, while paradigm examples of non-cognitive mental states are desires or preferences. Thus non-cognitivism is a view about a certain class of mental states, namely the class of moral judgements. It is often pointed out that the term ‘judgement’ is ambiguous between an act-sense and a state sense. It is here used in the state-sense: it denotes a state of mind, i.e. an opinion or conviction, rather than a mental act of judging.
Expressivism, as I shall explain below, is a view about moral language which, even though usually motivated by non-cognitivism, is a clearly separable idea. Unfortunately, it is not usually clearly separated. For some reason, the canonical or textbook formula widely used to characterize non-cognitivism, emotivism and expressivism is as ‘the view that moral judgements express non-cognitive attitudes’. This formula (‘The Formula’) does not make sense on either of the two senses of ‘judgement’ I just distinguished. For neither does anyone intend to characterize a view according to which one mental state expresses another, nor does anyone intend to characterize a view according to which one mental act or episode expresses another. What the many users of The Formula clearly intend is the view that some overt act or behaviour, such as that of making a moral statement, expresses a non-cognitive attitude. Thus, the only way to make sense of ‘judgement’ in The Formula is to take it in a third sense, namely as denoting an overt act of making a claim or statement. Understood in this way, The Formula does contain a decent enough characterization of what I shall call ‘expressivism’ below, but this third sense of ‘judgement’ is highly unusual and therefore potentially confusing. I shall stick to ‘judgement’ in the state-sense and stay away completely from The Formula. Instead, I shall do as I did above and characterize non-cognitivism as the view that moral judgements are non-cognitive states, while characterizing expressivism as the view that moral statements, i.e. utterances of moral sentences, express non-cognitive states.
A quick reminder of the typical motivations for non-cognitivism will help us get the right perspective on this family of views. Let me distinguish metaphysical, epistemological and psychological motivations. Metaphysical: if moral judgements were cognitive states, i.e. beliefs, then they would aim to represent how things are objectively. Accordingly, any correct moral judgements would be correct because they represents some aspect of objective reality correctly. Therefore cognitivism, if combined with the view that some moral judgements are correct, requires there to be aspects of reality that make moral judgements true: moral facts. This is regarded as problematic by philosophers with a naturalist outlook who also think that there is no naturalistic reduction of moral values.
Epistemological: relatedly, if cognitivism is true and some moral judgements do indeed represent moral facts correctly, then how do we acquire knowledge of such facts, given that there seems to be no suitable empirical or a priori form of justification available.
Psychological: if we accept a Humean picture of the mind, then beliefs or cognitive states (the outputs of a Humean faculty of reason) cannot by themselves motivate thinkers to act. Beliefs only serve to inform our desires and preferences, but without any desires or preferences they would be completely motivationally inert. Combined with motivational internalism about moral judgements, the Humean picture therefore motivates non-cognitivism: if moral judgements in conjunction with certain beliefs, do motivate us in the absence of any further motivating mental states (desires, preferences), then they must themselves be on the non-cognitive side of Hume's divide.
Based on these typical motivations, let me make some observations that will be relevant later in §2.9.Footnote 10 The non-cognitivist's claim is that moral judgements are non-cognitive mental states. Given the psychological motivation, these non-cognitive mental states must fall on the motivating side in a Humean picture of the mind. Thus, the idea is that judgements in general divide into cognitive (motivationally inert) and non-cognitive (intrinsically motivating) ones, and that moral judgements in particular (perhaps alongside other types of value-judgement) fall on the motivating side. The important point to retain here is that non-cognitivists are committed to a specific claim of discontinuity between moral judgements (and perhaps some other value judgements) and other judgements, concerning their motivational features: moral judgements fall on the motivational side of Hume's divide between reason and passion.
Similarly, the epistemological motivation commits the non-cognitivist to the view that not all judgements admit of straightforward empirical justification, and that only those that do should be regarded as cognitive. Ayer, for example, points out that moral intuition would not qualify as an appropriate source of empirical justification, because there is no way to settle the matter when two different thinkers’ intuitions conflict. The metaphysical motivation also relies on the assumption that cognitive states (beliefs), when successful, correspond to objective aspects of reality, i.e. facts. Thus, the epistemological and metaphysical motivation seem to require that cognitive states correspond to, and (when true) are made true by, objective aspects of reality, for which there is an empirical method that could settle conflicts effectively.
To summarise, the non-cognitivist seems committed to three kinds of difference between moral and cognitive judgements: (a) moral judgements do not, like cognitive judgements, represent aspects of objective reality, (b) the method used to justify moral judgements cannot effectively settle inter-subjective disagreements, as empirical methods in science (supposedly) can, and (c) moral judgements are not, like beliefs, motivationally inert. As long as the non-cognitivist retains her specific claim of discontinuity between moral and other types of judgement, she is free to view the wider category of judgements as otherwise highly continuous.
2.3. Expressivism
As already mentioned briefly, expressivism is a thesis about moral language that naturally complements non-cognitivism. It seems undeniable that in some good sense declarative sentences, or their utterances, express judgements. Thus, the sentence ‘Gambling is a lucrative business.’ serves to express the judgement that gambling is a lucrative business, and the sentence ‘Gambling is bad.’ serves to express the judgement that gambling is bad. What does it mean to say that a sentence serves to express a mental state, or perhaps more accurately, that we can utter a sentence and thereby express a mental state? There are many things one could say here. Minimally, the claim that a sentence, or utterances of it, express a mental state seems to be a characterization of an aspect of the sentence's conventional meaning. We might say further, and still fairly generally, that the sentence, by virtue of its conventional meaning, is suitable for performing a certain speech-act that requires, as a condition on the speech-act's sincerity, that the sentence-user have the mental state. This much should be fairly uncontroversial.Footnote 11
Expressivism, now, seems to be built on this fairly uncontroversial assumption that sentences are meant (in some sense) for the expression of mental states. It seems sensible to say that moral sentences like ‘Gambling is bad.’ serve to express moral judgements in precisely the sense just mentioned. If moral judgements are non-cognitive mental states, as the non-cognitivist claims, then moral sentences express non-cognitive mental states. This is the expressivist's thesis. It follows from non-cognitivism on the simple assumption that moral sentences serve to express moral judgements.
Looked at in the way I just did, expressivism is not a particularly exciting addition to non-cognitivism. However, it immediately looks more interesting once we place it in the context of some surrounding assumptions about language. Let us consider the following assumptions:
A1 Declarative sentences express beliefs.
A2 Declarative sentences are assertoric (i.e. they serve, in virtue of their meaning, for the performance of assertions).
A3 Assertions aim at objective truth (they have objective contents).
The expressivist has to deny A1, because expressivism is the thesis that some declarative sentences, namely moral declarative sentences, do not express beliefs, for they express non-cognitive states. A2 and A3 can be seen as background assumptions that motivate A1. If the expressivist does not deny A2, then at least she has to deny A3.Footnote 12
Thus, the interest of expressivism lies in its denial of A1, which is the result of either denying A2 or A3. This is regarded by many as a theoretical cost, because a certain account of meaning and conversation seems at first sight to depend on these assumptions being true. The expressivist's denial of A1 and either A2 or A3 threatens to throw over board some valuable and sucessful theories of meaning and conversation. The family of objections surrounding Geach's Frege-point and Unwin's negation problem spell out this worry in more detail, as we shall see in a moment.
But the expressivist need not give up any of the advances that may seem to be encapsulated in A1–A3. The expressivist could, for example, simply accept A1*, A2 and A3*:
A1* Declarative sentences express judgements.
A2 Declarative sentences are assertoric (i.e. they serve, in virtue of their meaning, for the performance of assertions).
A3* Assertions aim at correctness (they have perspectival contents).
These alternative assumptions about declaratives allow the preservation of everything worth preserving in established theories of meaning and conversation. To see this, let us now examine Geach's Frege point and related objections in a little more detail.
2.4. Geach's Frege point against expressivism
Geach (1960, 1965) targeted expressivist claims like the following:
(E1) The meaning of the moral predicate ‘bad’ consists in the fact that it can be used to condemn, or express disapproval of, something.
Thus, Geach's target is a proposal about moral predicates rather than the expressivist claim about the meaning of moral sentences that I have been discussing. However corresponding claims about moral sentences can presumably be derived from E1:
(E2) The meaning of the moral declarative sentence ‘Gambling is bad.’ consists in the fact that it can be used to condemn gambling or to express disapproval of gambling.
Geach objected (i) that there were many occurrences of the predicate ‘bad’ in which it cannot be used to condemn anything – for example when occurring embedded in the following sentences:
(G1) Gambling is not bad.
(G2) If gambling is bad, then seducing others to gamble is bad.
(G3) Is gambling bad?
On these occurrences, the expressivist's meaning analysis cannot be correct: neither of these sentences can be used to condemn gambling or express disapproval of it. Moreover, Geach pointed out (ii) that we can’t say that the meaning of ‘bad’ changes from unembedded uses to embedded uses as in G1–3. For if we say that, then (for example) the valid argument from:
G4 Seducing others to gamble is not bad.
and G2 to G1 as conclusion comes out as not of valid modus tollens form, but rather as a mere equivocating modus tollens look-alike. However, the argument is clearly valid, and it seems to be a perfect instance of modus tollens.
Geach's diagnosis was that the expressivist's thesis E1 does not take into account the difference between mere predication and assertion. When ‘bad’ is predicated of gambling and the resulting content is asserted, we get a sentence that asserts badness of gambling. However, ‘bad’ is also predicated of gambling in G2 and G3, but without asserting the predication we do not get an assertion of badness (Geach Reference Geach1960, 223; Reference Geach1965, 464).
In effect, Geach's point is that, in order to challenge the established account of the function of ‘bad’ and ‘gambling is bad’, it is not sufficient for the expressivist only to offer a speech-act analysis of the predicate ‘bad’ in simple declarative sentences, or to say what mental state such sentences express. For the challenge to be effective, the expressivist's alternative account needs to say something about the unchanging contribution the predicate ‘bad’ makes on all its occurrences. For this is what the established account does: it is a systematic account that tells us how the propositional content of sentences containing ‘bad’ result from the meaning of ‘bad’ and that of other constituent expressions. The communicative function of sentences (e.g. making assertions, expressing belief) then results from the account of the propositional content together with the type of sentence it is (declarative, interrogative etc.).
To take the simplest case, the established account will say that G1 has as its content the negation of the proposition that gambling is bad, where the negation of a proposition p is simply the proposition that is true in all those cases in which p is not true. Thus, the expressivist needs to say likewise what contribution the negation is making on her account.
Geach's point is well taken and essentially correct. The fallacy I am going to diagnose occurs en route to the further conclusion, drawn by many theorists, that the expressivist cannot meet Geach's challenge.
2.5. Unwin's negation problem
Unwin's negation problem (Unwin Reference Unwin1999) extends Geach's challenge for expressivism to non-cognitivism. Geach is asking for an account of the meaning of moral expressions that works for all possible embeddings of these expressions. Unwin's negation problem concerns the expressivist's and non-cognitivist's account of the non-cognitive mental states expressed by complex moral sentences. Unwin focusses on negation as the simplest case of embedding, but the problem can be raised equally for other forms of embedding and the corresponding mental states expressed. The problem is this: the expressivist claims that to judge that gambling is bad is to disapprove of gambling. For someone to fail to judge that gambling is bad, correspondingly, should then be construed as failing to disapprove of gambling. However, what is it, then, to judge that gambling is not bad? It couldn’t be disapproval of not gambling, because merely thinking that gambling is not bad does not commit one to thinking that not gambling is bad. So it looks like the expressivist has to introduce a further non-cognitive attitude, say toleration, in order to account for the judgement that gambling is not bad: it is the same as tolerating gambling:
(N1) Nick judges that gambling is bad. = Nick disapproves of gambling.
(N2) Nick does not judge that gambling is bad. = Nick does not disapprove of gambling.
(N3) Nick judges that gambling is not bad. = ? (proposal: = Nick tolerates gambling.)
(N4) Nick judges that not gambling is bad. = Nick disapproves of not gambling.
Thus, the non-cognitivist, in order to deal with all four states of mind N1–N4 needs to introduce a further non-cognitive attitude, toleration.
However, what should be the systematic contribution of negation in thought that allows us to predict that thinking that gambling is bad is disapproval of gambling while thinking that gambling is not bad is the attitude of tolerating gambling? Moreover, similar questions can be raised about other forms of complex thought or embedding, thereby forcing the non-cognitivist-expressivist to resort to further, unsystematic postulations of additional attitudes.Footnote 13
2.6. Response: distinguishing force and content
How can the expressivist respond to Geach's challenge? How can the non-cognitivist respond to Unwin's negation problem? Geach's own diagnosis seems sensible. Established theories distinguish the compositional contribution a predicate makes to the content of sentences (predicating a property of something) from the ultimate, and composite, effect that the predicate has when it is used assertorically and without being embedded (attributing the property). If we claimed that ‘bad’, in virtue of its meaning, serves to attribute the property of badness, we would get into the same kind of trouble as the expressivist who claims that ‘bad’ serves to condemn, or to express disapproval. ‘Bad’, when simply predicated of something and then asserted, can be plausibly claimed to attribute badness. But when embedded in negation, a conditional, a disjunction, etc. it will often generate a content asserting which will clearly not amount to attributing badness (see G1, G2). And even a simple predication of ‘bad’ does not serve for the attribution of badness unless the result is asserted (see G3).
The problem exposed by Geach, therefore, is simply that the expressivist, who claims that ‘Gambling is bad.’ serves to condemn or express disapproval (E2), must separate the content-determining compositional function of ‘bad’, which it has in all contexts in which it is used with the same sense, Footnote 14 from the effect ‘bad’ has only when used unembedded and asserted. In other words, the expressivist should drop or modify E1, and treat E2 as a derivative fact that results from the compositional meanings of all the syntactic elements in ‘Gambling is bad.’, including its assertoric force indicator (mood, word order). The expressivist should say that on the one hand there is the general effect of the assertoric mood of the sentence, which it has wherever it occurs. On the other hand there is the content one can assert by using the sentence ‘Gambling is bad.’ (which is negated in G1, which occurs as the antecedent of G2 and which it shares with G3). This content is determined by the content-determining semantic features of the sentence's syntactic elements. Instead of E1, the expressivist could claim, say, that the content-determining function of ‘bad’ is to predicate the feature of badness (where ‘feature’ is supposed to be more general and less committal than ‘property’). That would be just as (un)informative as the line according to which ‘bad’ predicates the property of badness. Talk of ‘predicating features’ would need to be further explained, just as talk of predicating properties does. This further explanation will need to underpin E2 and the expressivist's general claim that moral sentences serve to express non-cognitive attitudes (just as Geach's talk of predicating properties would ultimately underpin the general view that moral sentences serve to express beliefs).
An answer to Unwin's negation problem (and its generalization to other forms of complex moral thought) would already be contained in such an answer to Geach's challenge. For it will involve separating out in all moral judgements the content from an attitude of acceptance. For example, disapproval of gambling will be factored into a judgeable content, that gambling is bad, and an attitude of acceptance. Negated, conditional, disjunctive, etc. moral judgements will be analysed as functions of simpler judgeable contents, and even atomic judgeable contents will be constructed from simpler elements that can re-occur in other contents (‘concepts’).
This kind of answer to Geach and Unwin has had the benefit of being forcefully and clearly presented by Mark Schroeder in a series of papers (e.g. Reference Schroeder2008a, Reference Schroeder2008b) and in his book Being For (Reference Schroeder2008c). In Schroeder's work, the attitude of disapproval of gambling expressed by ‘Gambling is bad.’ is factored into a general moral attitude of acceptance or endorsement (called ‘being for’) and a judgeable content, explicated as ‘blaming for gambling’, something that one can merely consider without being for it – just as one can predicate without attributing. That the content is blaming, rather than, say, praising, caning, thanking or whatever is the compositional contribution made by the expression ‘bad’, and this is the contribution it always makes, even in the various embedded contexts (e.g. G1–3). This takes care, very nicely, of Geach's challenge and Unwin's negation problem.
Despite being clearly indicated by Geach, this sort of approach curiously has not been particularly prominent in the literature about expressivism (Gibbard Reference Gibbard1990, Reference Gibbard2003 are exceptions). This is probably because expressivists (and their opponents) where for a long time stuck on E1, the idea that moral predicates are force-indicators, and did not genuinely consider the possibility of factoring the contributions made by the constituents of moral sentences in the more straightforward way suggested by Geach and expounded by Schroeder.Footnote 15 Historically, this may well be due to the influence of authors like Hare (1952, 1970) and Blackburn (1984, 1988), who both started with the idea that the linguistic function of moral predicates like ‘bad’ was fundamentally different from that of descriptive predicates, as they found it in authors like Ogden and Richards (Reference Ogden and Richards1946), Ayer (1936/Reference Ayer1946) or Stevenson (Reference Stevenson1937).
2.7. Fallacies 1
I now want to point out two tempting but fallacious lines of reasoning into which the classic conception outlined in part 1 can mislead us. I leave it to the reader to determine the extent to which these fallacies have in fact occurred. It is enough for my purposes, to establish that these forms of reasoning are indeed fallacious.
Geach's challenge draws attention to the fact that when we give an account of the meaning of an expression, the account should (i) cover all possible occurrences of the expression. In other words, the account of meaning should be compositional: we should be able to derive the meaning of complex expressions from the meanings of their constituent parts. Moreover, this compositional account should (ii) correctly predict/explain which sequences of (utterances of) sentences constitute formally valid arguments.
Standard frameworks for modelling meaning deliver (i) and (ii) and involve a classic conception of content. The composititional meaning involves assignments of meanings to (some) simple expressions and some compositional rules that specify how the meaning of compound expressions are determined by the meanings of constituent parts. In this way, the theory assigns to each sentence (or sentence in context) a classic content. Such contents are, or at least determine, functions from the possible state of the world to truth-values.
The compositional rules and semantic assignments predict certain logical properties and relations: the contents of some sentences (in context) are true at every possible state of the world (logical necessity). Some sentences are such that if their contents (in a given context) are true at a certain state of the world, then the content of another sentence (at that context) must also be true at that state of the world: logical consequence. If a certain pattern of constructing a series of sentences <S1, S2, &, Sn> always yields sequences of contents <C1, C2, &, Cn> such that C1, C2, & is true at a state of the world, then Cn must also be true at that state of the world, then we say that that pattern is a valid argument form.
As a matter of historical fact, such compositional semantic theories have been first articulated for formal languages; and in so far as theorists have been interested in natural languages, they have been interested primarily in fact-stating discourse, especially in scientific discourse (consider, e.g. Russell's and Frege's motivations). Given this historical background, it is only natural, that the notions of content they used were classic: whether it is correct to believe such a content depends only on the state of the world (not on who believes or when). Suppose, now, that we regard these theories as successful, at least within their narrow range of application.
Now consider the following argument:
F1 The compositional and logical patterns of behaviour of paradigmatic beliefs and their linguistic expressions are correctly modelled by assigning them classic contents.
F2 Non-cognitive mental states do not have classic contents.
F3 The compositional and logical patterns of behaviour of moral judgements and their linguistic expressions are the same as those of paradigmatic beliefs and their linguistic expressions.
C1 So, moral judgements are not non-cognitive mental states.
This argument is not yet deductively valid: it ignores the possibility of a non-classic explanation for the compositional and logical patterns of behaviour of moral judgements and their expressions (despite the similarity of the explananda). Something like this gap in the argument was recognized by Susan Hurley (Reference Hurley1984) and she articulated an additional constraint: ordinary modus ponens arguments and moral modus ponens arguments clearly have the same valid form, they are valid for the same reason. So it is upon the expressivist to ensure that her explanation preserves this uniformity of explanation. Adapting this lesson to our purposes, we might add a further premiss in Hurley's spirit:
F4 The compositional and logical patterns of behaviour that beliefs and moral judgements and their linguistic expressions share, must receive a uniform explanation.
The argument from premises F1–F4 to conclusion C1 does look tempting: we already have a correct theory for descriptive beliefs and their expression (F1), but the shared behaviour of moral judgements and descriptive beliefs should receive a uniform explanation (F3 and F4), however, the correct theory of beliefs cannot be used for non-cognitive states (F2). So, since we already have the correct treatment for descriptive beliefs, a treatment that does not work for non-cognitive states, we can’t say that moral judgements are non-cognitive states (not without violating F4).
But there is a mistake: even if the classic account mentioned in F1 is correct, it may still be a special case of a more general account, an account which could offer a uniform explanation for the shared pattern of behaviour but still be compatible with moral judgements not being cognitive.
To see this, focus on a further silent premiss, which is needed to establish C1:
F5 There is no uniform explanation of the shared behaviour that is compatible with non-cognitivism (and with the correctness of the classic explanation).
This silent premiss is clearly unwarranted, and it can be shown to be false by looking at part 1 above. There are uniform non-classic explanations of the relevant patterns of behaviour of both cognitive and non-cognitive representations. Classic contents are special cases in the perspectival content framework, and the explanations needed for the shared patterns of behaviour do not rely on anything not true also of these special cases.
For concrete illustration, suppose the classic theory mentioned in F1 operated with classic contents that are functions from worlds to truth-values, and that the definition of logical consequence used to explain cases of valid inference was this: A content Cn is a consequence of contents C1, C2, &, =def for all worlds w: if the C1, C2, & all have the value true at w, then Cn also has the value true at w.
Suppose further that we now generalize to a perspectival conception on which contents are functions from centred worlds to truth-values. Then each of the earlier classic contents has a unique objective counterpart in our new framework (see §1.4 above): for each original classic content C, its perspectival counterpart C* fulfils the following condition: for all worlds w and centres c, C*(<w, c>) = truth iff C(w) = truth.
We can then adopt the following generalized definition of logical consequence: A content Cn is a consequence of contents C1, C2, &, =def for all centred worlds <w, c>: if the C1, C2, & all have the value true at <w, c>, then Cn also has the value true at <w, c>.
Clearly, any explanations of cases of logical consequence in the classic framework can be translated into equally good explanations in the extended perspectival framework. But the extended framework can accommodate beliefs and utterances with non-objective contents. The explanations offered for behaviour shared between moral judgements and descriptive beliefs will be uniform.
It is easy to overlook the silent and false assumption F5, if one forgets that nothing compels us to use a classic conception of representational content.Footnote 16
2.8. Schroeder's fallacy
Mark Schroeder has done a lot to improve our understanding of the Frege-Geach point: as already mentioned, he has moved the focus away from the less promising (but once prominent) expressivist approaches that start from E1. Moreover, he has articulated a proposal that implements this advice by separating a general non-cognitive acceptance attitude ‘being for’ from the specific contribution made by ‘bad’ and other moral predicates to the contents that can be the objects of the general attitude of being for (see Schroeder Reference Schroeder2008c. Compare also Silk Reference Silk2014). However, Schroeder argues that his own solution to the Frege-Geach problem does not ultimately work. As we shall see, his reasoning to this conclusion also contains a fallacy that is quite tempting to those brought up on the classic view.
Schroeder argues that his own solution works only if we consider purely normative (moral) thought and language by itself. But in fact, we form complex thoughts (and sentences) involving both moral elements and descriptive ones. We can think, for example, that either Ed didn’t steal the money, or he ought to be punished; or that if carbon dioxide emissions cause global warming, then emitting carbon dioxide is bad.Footnote 17 The following two sentences seem to serve for expressing such thoughts:
(M1) ‘Either Ed didn’t steal the money, or he ought to be punished.’
(M2) ‘If CO2 emissions cause global warming, then emitting CO2 is bad.’
Dealing with such mixed thoughts and claims, he thinks, would require that the expressivist ‘allow that all sentences express the same general kind of attitude’ (Reference Schroeder2008a, 597). I concur. But Schroeder continues as follows:
For cognitivists, this is easy to do, for the attitude is simply belief. But for expressivists, this turns out to be tricky. For descriptive sentences, according to expressivists, express beliefs. So if they are to express states of being for, then it must turn out that beliefs are really states of being for – that belief needs to be analyzed in terms of a non-cognitive attitude. (Reference Schroeder2008a, 597. See also Reference Schroeder2008c, 91–92, for a very similar passage.)
Schroeder is arguing that the following two options are exhaustive:
I all declarative sentences express belief.
II all declarative sentences express ‘being for’ (Schroeder's general non-cognitive attitude).
Option I is not acceptable to the expressivist. Option II seems radical and surprising, as Schroeder himself observes. It would involve, for example, as Schroeder is proposing, that the descriptive sentence ‘Grass is green.’ serves to express the non-cognitive attitude of ‘being for’ directed at the content of ‘proceeding as if grass is green’.Footnote 18 However Schroeder spends the remainder of his book exploring how the expressivist could best defend this view, i.e. that all (declarative) sentences express non-cognitive states of being for, and that analogously beliefs are also really non-cognitive states. The final verdict he reaches, after detailed discussion, is negative: ultimately expressivism fails.
If I have done my job well, readers of this paper will have easily spotted Schroeder's fallacy. Of course there is a third option that Schroeder has not considered:
III All sentences express a general attitude of which belief and non-cognitive attitudes are species.
There is a general kind of attitude – call it ‘judgement’, for example – which falls into two mutually exclusive subspecies: cognitive and non-cognitive judgements. The answer is simple for those who have stepped back a little bit from the classic view, and who have present in their minds the notion of a perspectival content, which is a generalization of that of a classic content. The next and final section will flesh out this view.
I believe that this illustrates once more that the decision to adopt a classic notion of content, while not pernicious in itself, can make it hard to see the uniformity of a certain class of mental states: judgements.Footnote 19 Even though the class of judgements contains both beliefs and non-cognitive states, it is nevertheless importantly uniform in just the way needed: all judgements are states with perspectival representational contents.
2.9. The positive account: judgements as states with perspectival contents
I have claimed that non-cognitivists can perfectly coherently regard the class of judgements as uniform in all respects besides those that make up the cognitive/non-cognitive divide on which their defining thesis is based (see §2.2 above). What, then, might be those respects of uniformity amongst all judgements? Let me sketch a reasonable view (but one that does depart from some central elements of the Humean picture of Human psychology).
All judgements differ from other mental states or mental dispositions in that they involve the employment of concepts and that they are subject to rational norms. Another way of saying this, of course, is to say that they have contents, for contents serve, amongst other things, to model the conceptual and rational relations amongst different judgements (or other contentful mental states). This differentiates judgements from certain non-contentful, non-rational mental states, such as certain moods or feelings, for example the feeling of giddiness or the feeling of anger (at least on a non-cognitive contrual of those feelings).
Judgements differ from other conceptual and contentful states in the kind of rational norm that governs them. Judgements are governed by norms of correctness: their contents determine what conditions need to hold for a judgement with that content to be correct. Thus, a judgement to the effect that the water is boiling is correct iff the contextually relevant water is indeed boiling. My judgement that the taste of the coffee is pleasant will be correct iff I will normally be pleased by the contextually relevant coffee. This norm of correctness, in turn, gives rise to general norms of rationality: the requirement to avoid judgements with inconsistent contents and the requirement to avoid judgements not obtained with correctness-conducive methods.
Desires or hopes may also have content, but in so far as they are subject to norms of rationality or correctness, these norms play a different role. For example, suppose I have an instrumental desire to acquire Dr Gordon's Hair Elixir, which is based on the belief that applying Dr Gordon's Hair Elixir to one's scalp will boost hair growth and the more fundamental desire to have fuller hair. Then my instrumental desire for the elixir might be incorrect or irrational because my belief in the elixir's effectiveness, on which the desire is partly based, might be incorrect or irrational. Thus, while other contentful mental states may be subject to certain derivative constraints of correctness or rationality, only judgements are non-derivatively subject to such constraints. Footnote 20
This story, while reasonable, diverges from Hume's at a key point: Hume thought that only beliefs, or the mental states produced by the faculty of reason, were subject to (underived) rational norms, while the passions, i.e. non-cognitive states, were not subject to underived rational constraints at all. Thus, in Hume's picture, the division between the intrinsically motivating states and motivationally inert cognitive states coincides with the division between the mental states that are subject to underived rational norms and those that are not. My ‘reasonable view’ thus emphatically allows for rationally constrained judgements that are nevertheless on the motivational side of Hume's divide.Footnote 21
I believe that all these general features of judgements can be modelled perfectly within a perspectival content framework. Let us begin with the distinction between beliefs and non-cognitive attitudes, that is so dear to the non-cognitivist's heart. The most obvious proposal is to distinguish those perspectival contents that comply with the classic constraint: i.e. if accepting such a content is correct for one thinker at one time, then it is correct to accept it for any thinker at any time. Call this subclass of perspectival contents ‘objective’. Then one good starting point would be to say that judgements with objective contents are beliefs, while non-cognitive judgements have non-objective contents.
Why should some of the judgements with non-objective contents be intrinsically motivating, as is required by the psychological motivation for non-cognitivism (§2.2)? This is because the correctness of accepting a non-objective content will depend not just on the aspects of reality represented, but also on features of the judge. In the case of judgements of pleasantness, this is fairly straightforward: in order for my judgement that the taste of that coffee is pleasant to be correct, the coffee needs to be such that my dispositions are such that under certain normal conditions I experience pleasure when drinking the coffee. In so far as pleasure is an end in itself, such a judgement will constitute a motive, ceteris paribus, to prefer the coffee in question to other options that do not produce pleasure.
Hume's thought that motivational states are rationally unconstrained can be partially preserved: those features of thinkers at times on which correctness may depend when contents are non-objective will often be features that are not subject to thinkers’ rational control. In this sense, the reasonable picture can retain a non-rational aspect of intrinsically motivating judgements.
The moral case is more complicated: what are to be the requirements on the judge if she is to be correct in her judgement that gambling is bad? There are many options. Some may base moral judgements on certain general individual preferences (such as a desire to promote pleasure, happiness, justice or what have you). Others may have a more social view of moral norms and tie the individual's interests somehow to the values prevalent in that individual's society. This is not an issue to be decided here: all we need to show is that there are plausible proposals on each of the outlooks that might combine with a non-cognitivist view (like the ones just mentioned). Perhaps what is required in an individual, in order for that individual's judgement that gambling is bad to be correct, is that gambling have a tendency to prevent the realization of that person's moral goals. Then that would explain why judging gambling to be bad is ipso facto a reason to avoid gambling. For if the judgement is correct, then the avoidance of gambling will avoid something that prevents the realization of that judge's moral goals.
Why should beliefs, i.e. judgements with objective contents, be epistemologically less problematic than judgements with non-objective contents? The epistemological problem that Ayer saw with an empirical account of the justification for moral claims, construed as irreducible was this: if moral judgements were based on ‘intellectual intuition’, then we would get conflicting intuitions and have no way of settling the conflict (Reference Ayer1946, 108–109). Any adequate method for justifying judgements with objective content will not suffer from this defect: since adequate justification tracks correctness, correctness for one is the same as correctness for anyone, anything that is an adequate method for me is also an adequate method for you – as long as the content is objective. Thus while that does not guarantee that we have an effective method for every objective question, it at least guarantees that once we have exchanged our justifications and agreed on what are adequate methods, we will share the same view. In the case of non-objective contents, this is not guaranteed. Here, what tracks correctness for you may not track it for me. Thus the reasonable view makes room for the kind of epistemological asymmetry that traditionally motivates non-cognitivism.
Finally, the metaphysical motivation for non-cognitivism (given non-reductivism): why should correct judgements with non-objective contents be less metaphysically comitting than judgements with objective contents? Assume, minimally, that reality consists in those aspects of the world that we all share and to which all our judgements are answerable. Then it seems clear that those judgements that have objective contents, if correct, represent those aspects of reality that all thinkers are answerable to, while judgements with non-objective contents, even if correct, may not describe an aspect of reality that everyone faces or is answerable to.Footnote 22
I hope that this concluding sketch has put some flesh on the bones of the abstract idea of a mental state that is defined as a state with a perspectival content – a judgement –, and on how it can play the role needed by the non-cognitivist expressivist route I have recommended.Footnote 23
Disclosure statement
No potential conflict of interest was reported by the author.