Académique Documents
Professionnel Documents
Culture Documents
31
A Functionalist Theory of Truth
Michael P. Lynch
To copy a reality is, indeed, one very important way of agreeing with it, but it is
far from being essential.
William James
The question is not whether [``true'' and ``false''] are in practice applied to ethical
statements, but whether, if they are so applied, the point of doing so would be the
same as the point of applying them to statements of other kinds, and if not, in
what ways it would be different.
Michael Dummett
The history of attempts to identify the property that all and only true
propositions have in common has not been a happy one. Traditional
theories that aim to provide us with the essence of truthcorrespondence,
coherence, pragmatist, and so oneach face well-known difculties that
prevent their advocates from striking their tents and declaring victory.
Indeed, it is just these problems that deationists point to when arguing
that it is best to simply abandon robust theories and admit that truth has
no underlying nature.1
This lack of success in explaining the nature of truth is doubtless due
to a number of causes, not the least of which is the difculty of the subject. But when I look back over the various attemptsmany of which are
represented in this volumeI see a particular pattern of failure. Baldly
put, that pattern goes something like this. A theory of truth is proposed
and argued for by appeal to propositions of a certain domain, the truth
of which the theory seems to explain quite nicely. The theory is then
extended to cover propositions of every domain. But this extension runs
up against counterexamples; that is, the theory does not explain how
propositions from certain domains can be true.
724
Michael P. Lynch
Consider how this problem of scope arises for a popular form of the
correspondence theory. That theory understands the correspondence
relation in terms of the referential/causal properties of a proposition's
constituents.2 The proposition that the book is on the table is true in
virtue of its components being causally/referentially related to certain
mind-independent objectsa particular book and a particular table. But
as plausible as this account may be when applied to propositions about
middle-sized dry goods, it is much less plausible when applied to propositions about numbers, such as the proposition that the number six is
even. Whatever else numbers might be, they presumably are not physical
objects. No number is ever in causal contact with our thought. Thus
our thought that the number six is even can't be true in virtue of a causal
relationship between its components and the number six. Or consider
propositions like those we hear on the nightly news about the status of
the economy or the constitutionality of particular laws. Some of these
propositions are true. But economies and laws are dubious candidates
for physical, causally efcacious objects. Further, far from being mindindependent, economies and laws are paradigmatically conventional.
Thus it is a puzzle how propositions about them can be understood in
terms of correspondence with mind-independent objects.
I bring up the causal theory of correspondence only as an example. In
my view, similar problems of scope await other traditional theories of
truth as well.3 Epistemic theories are notoriously unable to explain the
truth of propositions about humanly inaccessible parts of the universe or
about the past. A theory that denes truth in terms of what would be
justiedly believed cannot explain how the proposition that the number
of the stars in the universe right now is odd can even have a truth value.
Even the deationary view of truth faces this problem of scope. This may
be a bit surprising because one might think that deationism would not
have a problem explaining the metaphysical nature of truth. After all, the
core of the position is that truth has no nature. Yet this itself is a metaphysical position (see Devitt, chap. 25), and if deationism is to succeed
as its advocates wish, it must be equally plausible in every domain. Yet as
several essays in this volume reveal, deationary views face their own
problems explaining our commitment to certain classes of propositions
blind ascriptions of truth, generalizations involving the concept of
725
726
Michael P. Lynch
Wright argued that any predicate that satises a minimal set of these
platitudes qualies as a truth predicate. But in some discourses, the truth
predicate may have more robust content, depending on the types of
additional platitudes about truth that the discourse brings along in its
wake. In short, Wright's view allows for the possibility that there may be
different kinds of truth.
In recent essays, both Hilary Putnam and Terry Horgan have also
entertained this idea (e.g., Putnam, chap. 30; Horgan, chap. 4).5 Most
philosophers, however, continue to look askance at the suggestion that
truth itself might come in different kinds. Different kinds of truths
(propositions), yes; different kinds of truth, no. The prevailing thought
seems to be that even if the nonphilosopher might sometimes talk as if
she thought moral truth was of a different kind than physical truth, this is
not a claim we should take seriously; such talk is just that: talk.
One reason for this skepticism is that a plurality of kinds of truth
seems to imply a plurality of truth concepts. And a plurality of truth
concepts entails that the word ``true'' is ambiguous.
The worry is a real one. The ambiguity of truth would have several
ill consequences. First, it would undermine one of the most useful and
important functions of the truth concept. As is often remarked, our
concept of truth allows us to generalize ``blindly'' over propositions of all
sorts, as in ``Everything Socrates said was true.'' If the word ``true'' were
ambiguous in the way that ``bank'' or ``step'' happen to beif its meaning
completely changes from context to contextthen attempts to ascribe
truth to everything Socrates ever said, no matter what the context, would
be impossible. Yet clearly we can generalize over propositions in this
way, and hence truth must not be ambiguous.
Second, the equivocality of truth would make validity and logical
inference mysterious. Instances of valid argument forms whose premises
are mixed, i.e., whose premises stem from different discourses, would end
up equivocating (see Sainsbury 1996). Consider a simple argument:
If violence causes pain, then it is wrong.
Violence does cause pain.
Therefore, violence is wrong.
727
This is obviously valid; its premises are truth-preserving. Yet its second
premise is a descriptive statement about cause and effect relations in the
world, while its conclusion is a moral evaluation. Were the ambiguity
thesis to hold with regard truth, these statements could be true in completely different senses; they could literally have different properties, each
expressible by the predicate ``true.'' The argument might no longer ``preserve'' a single property at all.
In my view, these considerations suggest that our semantic or conceptual account of truth must be uniform across context.6 But it does not
imply, I shall argue, that our account of the deep nature of truth must be
similarly uniform. We can be monists about the concept of truth while
being pluralists about its underlying nature. The key is to see the concept
of truth as the concept of a multiply realizable property.7
1
728
Michael P. Lynch
729
goods, the claim that a is F may be true in virtue of the referential properties of that claim. Causally understood correspondence relations might
realize the functional role of truth in such cases. Yet the functionalist
account could also allow a different propertycoherence with other
propositions, for instanceto occupy the role of saying how things are
in other contexts. Functionalism about truth is therefore consistent with
alethic pluralism at the deep metaphysical level: the underlying nature of
what realizes truth in any particular mode of thought is still an open
question.
If the concept of truth can be seen as naming a functional role, we
should be able to specify that role in an informative way. Doing so is the
goal of the next section.
2
730
Michael P. Lynch
account, is the concept of the state that more or less realizes the role of
pain in our psychology, and whatever state does realize that role is pain.
A similar model helps us understand our concept of truth. Like our
psychological concepts, what we might call our alethic concepts, or concepts like truth, fact, proposition, and reference, package-deal concepts.
It has long been recognized that concepts like proposition and fact are
denable only in terms of each other: a proposition is whatever is true or
false, a fact is what makes propositions true, true propositions t the
facts, and so on. The fact that these sorts of concepts form such a tightknit family is part of what needs to be explained by any theory of truth.
Adopting a functionalist perspective on these concepts does just that. Just
as our psychological concepts are denable in terms of their roles in a
network of interrelated psychological platitudes, so the common-sense
set of principles and platitudes that together constitute our having a
robust sense of the true and the real form the alethic network. Some of
the most central of these principles are the following:
.
.
.
.
.
.
731
primarily concern the inputs and outputs of the system (typically, sensations and behavior, respectively), and those that concern relations between
the mental states themselves. Not all of the principles involved need fall
neatly into one category or another, although most will, and not all
mental states need be functionally dened, although most will. Similarly,
some alethic platitudes will primarily concern the relationship between
truth and other closely connected core notions (fact, proposition), while
some relate these concepts to those that are intuitively farther outside
these core concepts. As an example of the latter, consider the following:
.
.
.
.
Relative to core platitudes concerning truth and fact, principles like the
above serve to relate the core concepts to others in our overall cognitive
system. Again, it need not be entirely clear how ``central'' a platitude is,
or whether it primarily concerns relating alethic concepts to nonalethic
concepts. Here, like everywhere else, types of concepts shade off into one
another. And while central alethic concepts will be functionally understood, it will remain an open question whether concepts further removed
from the center (concepts like knowledge, for example) will also be
functionally dened.
In the case of human psychology, most of the platitudes will be causal
in nature (e.g., ``Pain causes worry''). But not all will be. Others, like ``A
toothache is a type of pain,'' will be quasi-logical. With regard to alethic
terms, this order is reversed: one would suspect that most of the alethic
principles would be quasi-logical, although there is nothing to rule out
the possibility that some may also be causal.10
If we grant the existence of the alethic network as a whole, we can
characterize each of the alethic concepts in terms of the role it plays
within the network. This is a second way in which the functional account
of truth differs from Wright's analytic theory. Since truth, fact, proposition, etc., are explicitly package-deal concepts according to functionalism, the same platitudes that demarcate our concept of truth will also
demarcate our other alethic concepts. In short, we can take a core alethic
732
Michael P. Lynch
733
734
Michael P. Lynch
I may happen to be engaged in, what I say will be true just when it has
a property that plays the truth role for that discourse. If what I say,
the proposition I express, is not clearly a member of one discourse or
another, how its truth is realized will also be unclear. But that is a question for deep metaphysicsnot something I need to know in order to
understand what I mean by the word ``true.''
A functional characterization of the alethic concepts ts well with
our holist intuitions about concepts like truth and fact. Because of their
obviously interconnected nature, we learn such concepts not one by one
but more or less all at once, as the functionalist theory implies. This is
really no more mysterious than learning a complex skill like riding a
bicycle (Heil 1998, 102). Acquiring this skill requires the coordination of
a whole set of tinier skillsbalancing, pedaling, steering, etc.none of
which are learned in isolation. You learn to master one as you come to
master another, and vice versa. The alethic concepts are similar in this
respect. Here as elsewhere, ``light dawns gradually over the whole''
(Wittgenstein 1969, sec. 141).
So far we've seen how (FT) explicates the concept of truth. But we also
want to know what truth is, or about the property of truth. Those
familiar with the debates over psychological functionalism know that we
face a choice at this point. Functionalist theories in the philosophy of
mind differ over whether to take mental properties as identical to the role
properties or the realizer properties. The rst alternative sees any given
mental property as a ``higher-order'' property, or the property of having
a property that plays a certain causal role; the second identies properties
with the ``rst-order'' properties, or properties that realize that causal
role in a system. In the same vein, we must choose between saying that
the property of truth is the higher-order property of having a property
that plays the truth role and saying that it is identical to the lower-order
property that realizes that role in a particular discourse.
There are two reasons to prefer the former alternative when it comes
to truth. First, to identify truth with its realizer property in some context
(coherence, correspondence or whatever it might turn out to be) would
immediately raise the ugly problem of ambiguity. Should it turn out that
the truth role is realized by different properties in different contexts, we
would no longer be able to talk of truth simpliciter but only of moral
735
truth, mathematical truth, physical truth, and so on. Second, truth is our
chief cognitive goal. We want our beliefs to be coherent, or to correspond
to fact, because we want them to be true, not the other way around. But
this means that in cognition we are aiming at truth itself, not the properties that exemplify or realize it. Therefore, we should take truth itself as
the higher-order or role property.
If we do so, then we can still be pluralists about the realizer properties
of truth but without any threat of ambiguity. This means that by adopting functionalism, the alethic pluralist can explain universally applicable
concepts like validity as well as can the alethic monist. Valid inference
preserves truth. According to functionalism, truth is a higher-order
functional property. Therefore, on the functionalist account, valid inference preserves that higher-order property. Of course, what makes this or
that premise true (what realizes its truth) may be quite different from
what constitutes or realizes the truth of the conclusion. But that is a
question of deep metaphysics, not a formal, conceptual concern.
By acknowledging that truth is always and everywhere the property of
playing the truth role, functionalism is not abandoning pluralism. Consider the case of a mental state like pain. According to functionalist
accounts that take pain as a (higher-order) role property, there is indeed
a sense in which the nature of pain is uniform across species. This is
because, by and large, the pain role is uniform across species. But
explaining the pain role does not explain what pain is in a more fundamental sense. It does not explain how that function is performed in a particular organism. For that, we must look to the details of the organism's
neuronal structure: we must look for the lower-level property that realizes the pain role. In the same way, the functional role of truth does not
explain how that role is lled in a particular discourse. For the underlying nature of truth, we must look to the details of the type of thought in
question.
3
736
Michael P. Lynch
737
738
Michael P. Lynch
priori that legal truths are all knowable. It would be absurd to think that
certain actions could be illegal without anyone even being capable of
determining that they are. Second, the states of information that bear on
the truth of juridical propositions, such as the empirical facts and the
written laws themselves, are accessible to human investigationat least
in principle. Thus perhaps what makes a proposition of law true is that it
durably or continually coheres with the body of the law. If so, then what
is believed to be legal or illegaleven by a judge or the entire legal
communitymay not be. In short, juridical truth might turn out to be
realized by ``supercoherence'' with the body of law, where a proposition
can fail to have this property even if it coheres with the law in the short
run, or coheres with judicial decisions that are later overturned.11
Much more would have to be said to make the case that juridical truth
is realized by either coherence or supercoherence with a body of law. But
I won't be saying it here. I mention it simply as an illustration of what it
would be for truth to be realized by something other than correspondence with mind-independent fact.
4
A Note on Realization
739
must satisfy all alethic platitudes? The worry, in short, concerns how
(FT) could be realized by such different types of propositions.
The solution is to see that a putative realizer property needn't satisfy
every last one of the platitudes in A in order to count as realizing the
truth role. After all, sophisticated functionalists in the philosophy of
mind (those of the commonsense or analytical sort that we've been discussing) have long acknowledged that there might not be any single
neural property that perfectly satises every folk-psychological platitude
connected with pain (e.g., Lewis 1972). Indeed, it would be surprising if
the world was so accommodating of our folk intuitions. It seems much
more sensible, both in the alethic and psychological cases, to count properties that are nearly perfect in realizing the role in question as realizers
of that role.
Recall that a functional role is a job, and (FT) is a job description.
Suppose that we were wondering who was doing a certain job in a big
company. It could turn out that no one person could fulll management's
written job description more than slightly. No one would then be doing
that job. Or it could turn out that two or more people were each doing
various aspects of the job, in which case, again, no one person would
have that job. Or it could turn out that while no one could do every aspect
of the job in that company, one person was in fact doing 90 percent of
the job. In that case, no one was doing the job perfectly, but the job was
getting done.
In the same fashion, we can allow that while there may be no perfect
realizer in a discourse of the role marked out by (FT), there may be a
property that is a near perfect realizer of that role in that discourse. In
such cases, we can take whatever property uniquely fullls the truth role
near enough to be the property of truth in that discourse. If there is no
property that comes close to realizing the role in the context, or if there
are two or more properties that equally fulll the role in that context, the
discourse in question will remain unalethic.
Of course, what counts as ``near enough'' may be rather difcult to
pin down precisely. Clearly, a property's fullling all but one of the
platitudes in (FT) would seem to be near enough. Yet it seems reasonable
to hold that the principles that comprise the alethic network may have
different weight or importance within that network. Relatively central
740
Michael P. Lynch
principles like the equivalence schema or the idea that a proposition can
be justied but not true will likely receive more weight than, e.g., the
intuition that it is propositions that are true or false. Thus it may be that
satisfying many of the heavily weighted principles will count more than
satisfying all of the less heavily weighted ones. If this amendment is
allowed, and there seems no reason why it shouldn't be, one can give
truth a functional denition in terms of the total set of alethic platitudes
but still allow that looser forms of thought can be true or false.
5
Objections
In discussing functionalism with other philosophers, I sometimes encounter puzzlement over how this theory differs from minimalism or
deationism about truth. I suspect that the main cause of this puzzlement
is that the typical deationist, like the functionalist, rejects the traditional
correspondence and coherence accounts of truth. Further, the reasons
given for this rejection are often similar, e.g., that the traditional theories
fail to explain what truth is across the board (see, e.g., Horwich 1998,
12). Nonetheless, the lessons that minimalists draw from the failure of
the traditional theories are quite different from those drawn by the functionalist. From the fact that the traditional theories can't explain how
truth can have the same nature in every discourse, minimalists conclude
that truth has no nature. This is often put by saying that the word ``true''
fails to express a genuine or substantive property of propositions. In
contrast, the functionalist holds that truth does have a nature, and that
``true'' does express a substantive property.
This metaphysical difference between minimalists and functionalists
about truth is like the difference between eliminativists and functionalists
in the philosophy of mind. Eliminative materialism is the view that folkpsychological concepts like pain, belief, desire, etc., fail to pick out any
actual physical properties or states. According to the eliminativist, there
is, strictly speaking, no such thing as the nature of pain. The functionalist, on the other hand, holds that pain is a functional property, one that
can be realized by distinct brain states in different species. The functionalist does not deny that pain has a nature; she holds that it can have more
741
than one. In the same way, an alethic functionalist holds that truth is a
higher-order property that can be realized differentlyor have a different
naturein different discourses.
Besides the metaphysical differences between deationary theories and
alethic functionalism, there is also a signicant epistemological difference. Deationists hold that truth is a philosophically unimportant concept. This is sometimes put by saying that we do not need to appeal to facts
about truth in order to explain, e.g., knowledge, meaning, or any other
philosophically troubling notion. Not so for functionalism. Just as understanding the underlying facts about how pain is realized is important for
understanding a host of other psychological phenomena, so understanding the underlying facts about how truth is realized is essential (on the
functionalist view, at least) for understanding a host of related philosophical concepts. Unlike the deationist, the functionalist theory sees
truth as having a job that impacts the entire philosophical economy.
Of course, there are differences between psychological and alethic
functionalism. One might argue that these differences are greater than
I've allowed, and as such, they undermine the case for calling alethic
functionalism a type of ``functionalism'' at all. One objection of this sort
is the following. In the case of mental concepts, analytic functionalists
typically hold that it is a contingent a posteriori matter as to what occupies, e.g., the pain role. But surely it is an a priori matter whether some
property plays the truth role, and if so, then perhaps this property must
play that role in every discourse.13 And this might be thought to undermine the claim of alethic functionalism that truth is multiply realizable.
In fact, there is not much difference between alethic and psychological
functionalism on this matter. For according to alethic functionalism,
truth in any discourse is the higher-order property of having a property
that plays the truth role for that discourse. So realizers, as we noted
above, are always realizers for a discourse. And as we saw in the case of
legal discourse, what plays the truth role in any given discourse is determined by the nature of the discourse in question. Analogously, what
plays the pain role for a given organism depends on that organism's
material constitution. Given the way the organism is constituted, there
will be one and only one property that best plays the pain role. And given
742
Michael P. Lynch
the way a discourse is constituted, there will be one and only one property that best plays the truth role. So what plays either sort of role is a
contingent matter in that it is a contingent matter as to how any organism or any discourse is constituted. Given that constitution, what plays
the role in question will do so necessarily. The difference between the two
cases rests only in the differences in the subject matter. Figuring out what
realizes the pain role in a particular organism is an a posteriori matter;
guring out what realizes the truth role in a particular discourse is
(mostly) an a priori task. But these are epistemic facts; they do not impact
the metaphysical question of multiple realizability at all.
A different type of worry is that functional denitions of alethic concepts like (FT) will be subject to what Michael Smith (1994) has called
the ``permutation'' problem. According to Smith, the permutation problem arises for functional analyses of a type of concept when the platitudes used in the denitions are so tight-knit that they don't connect the
things to which the concept apply to things outside the network. When
that happens, Smith suggests, we won't have enough relational information left (after we've stripped the platitudes of the type of concepts we
wish to dene) to x on any unique properties that we can identify as the
realizers of the concepts. This means that there may be more than one
property realizing every concept in the network. As a result, we lose the
ability to distinguish the members of the network from each other.
As Smith acknowledges (1994, 54) one can never be sure that a given
functional analysis is subject to the permutation problem unless one
actually goes out and completes the analysis for each of the concepts in
question. Fortunately, we can be condent that alethic functionalism is
immune from the permutation problem without engaging in this task.
Two points are relevant. First, there are plenty of platitudes connecting
alethic concepts to other sorts of concepts. It is these platitudes that distinguish the various alethic concepts (and their realizers) from each other.
Consider, for example, the differences elicited by the following simple
principles: the fact that the butler's prints are on the murder weapon can
cause us to suspect that he is guilty of the crime, but no proposition, true
or false, can cause anything; facts make propositions true, not vice versa;
propositions can be doubted, facts cannot be; and so on.
743
Second, what determines the best realizer for the truth role isn't the
alethic network alone. As I've repeatedly emphasized, part of what
determines which property best realizes being true (or being a fact or
being a proposition) in a discourse depends on a priori facts about that
discourse. If, being committed physicalists, we were to take it as a priori
that there could be no properties such as rightness or goodness, then the
range of possible realizers for truth in the moral realm is signicantly
limited. Again, just as an organism's neural structure will determine what
unique property best plays the pain role, so the constitution of a particular form of thought determines what unique property best plays the
truth role.
The nal objection I'll discuss also concerns functionalism's analysis of
the concept of truth. In the philosophy of mind, Ramsey-Lewis denitions
are frequently taken as reductions of our mental vocabulary to physical
vocabulary (see Lewis 1972). The idea is that since functional denitions
of mentality contain no mental terms (only variables), we can be said to
have explained our mental concepts without circularity. One objection to
alethic functionalism is that a moment's reection indicates that the pool
of O terms (terms that don't presuppose alethic concepts) in our alethic
platitudes is too small to do the job required. There are bound to be
concepts in (FT) that indirectly presuppose the concept of truth. As a
result, (FT) cannot be an informative, noncircular analysis of truth.
The underlying assumption behind this objection is that functional
denitions like (FT) can be informative only if they are completely reductive. But this is surely a fallacy. The functional method of denition supplies a way of giving the job descriptions for every property of the type in
question all at once. But the fact that we can do so does not guarantee,
either here or in the philosophy of mind, that we have entirely reduced
the concepts in question to another set of concepts without remainder.
And in the present case, our inability to reduce truth to more simple
concepts is neither surprising nor avoidable. Arguably, truth is the most
basic concept we possess; one cannot even get logic off the ground without
some concept of truth. Prima facie, there is little reason to hope for any
account of alethic concepts in terms that do not already presuppose them
at some level of analysis or other. But to claim on this basis alone that a
744
Michael P. Lynch
745
Conclusion
746
Michael P. Lynch
reductive picture of how our forms of thought relate to each other and to
the world around us.
Notes
Many people have helped me in writing this paper. The essential ideas were
originally expressed in papers read at the 1999 Bled Epistemology Conference
and at the Catholic University of Lublin, Poland. For conversations and correspondence I also thank William Alston, Terry Berthelot, Paul Bloomeld, Robert
Barnard, Marian David, Hartry Field, Charles Fletcher, Terry Horgan, Frank
Jackson, Peter Klein, Philip Pettit, Matjaz Potrc, Tadeusz Szubka, Robert Westmoreland, Michael Williams, Cory Wright, Crispin Wright, and audiences at the
above places and at Connecticut College and the University of Southern Mississippi. Thanks also to the Master of St. Edmund's College, Cambridge, where,
with the help of a grant from the University of Mississippi, I was able to complete
a rst draft of this paper.
1. See Quine (chap. 20), Horwich (chap. 24), Field (chap. 21), and Grover (chap.
22).
2. I refer here to the causal-relation theory of correspondence, espoused by Field
(chap. 16) and Devitt (1984, see also chap. 25).
3. For objections of this sort to epistemic theories, see Lynch 1998, 107 ff., and
Alston 1996. For a defense of the claim that epistemic theories work in some
contexts, see the appendix to Wright 1999.
4. For a more detailed discussion of the problem of scope faced by correspondence, epistemic, and deationist theories of truth, see Lynch 2000.
5. For further remarks on how my view differs from Horgan's and Wright's, see
Lynch 1998, 129 ff.
6. Wright has emphasized (e.g., 1995, 215) that he too thinks that the concept of
truth is univocal. In his contribution to this volume (chap. 32) Wright secures this
univocality by distinguishing, much as I do below, the concept of truth and the
underlying properties that realize truth. Nonetheless, as I note, Wright stops short
of endorsing a functionalist account of alethic concepts.
7. I rst began to suggest this idea in 1998, pp. 125 ff. Subsequently I learned
that Philip Pettit had made the suggestion that truth could be understood functionally in his 1996 comments on Wright. Correspondence with Pettit conrms
that our views on this matter are quite similar; I have also benetted from Jackson's 1998 account of moral functionalism (although Jackson does not endorse
the functionalist theory of truth).
8. For instance, in the philosophy of mind, one can understand functions computationally (Putnam), causally (Lewis, Armstrong), or biologically (Millikan,
Dretske).
9. The analogy is Bob Barnard's (correspondence).
747
10. As I see it, there is no reason to settle which is which in advance. That is
exactly the sort of information we would hope our theory would reveal. Thus,
the platitude that a proposition is true because it corresponds to some fact may or
may not mean that this correspondence with fact is the literal cause of the proposition's being true. The ordinary word ``because'' can also be used to mean ``in
virtue of,'' and x can be the case in virtue of y without x being causally related to
y. Which relation ``because'' ends up picking out may depend, for all we know in
advance, on the type of propositions and facts being considered.
11. Of course, lawyers and judges often disagree about what the law is; that is,
they disagree about what is or should be included within the body of law. Often
our decisions about what lies within or without the body of law depends in part
on what we might call metalegal propositions, or propositions concerning a law's
just or unjust nature, its accordance with ``natural'' law, its usefulness for society,
and so on. Although the distinction cannot be an absolutely precise one, metalegal propositions are surely distinct from propositions of the law proper (or what
we might call purely legal propositions). As such, we should expect that our
opinions about metalegal matters (our opinions about what to include within the
body of law) will be true or false in a different way than purely legal propositions,
which the present proposal takes to be true in virtue of coherence with the body
of law. See Walker's essay (chap. 6) for further discussion of what he calls a
limited coherence theory of truth.
12. One reason that it is reasonable to suppose this is because an endorsement of
the equivalence schema, together with a similar schema for falsity and the law of
excluded middle, entails that a proposition is either true or false.
13. A related worry is this. According to recent ``two-dimensional'' semantics,
terms can be understood as having both a primary and secondary intension
(Chalmers 1995, 56 ff.; Jackson, 1998). A primary intension is a function from
worlds considered as actual to a property, while a secondary intension is a function from worlds considered as counterfactual to a property. Now the primary
and secondary intensions of ``water'' pick out different properties at a given
world. When Putnam's Twin Earth world is considered as actual, ``water'' picks
out XYZ, but when it is considered as counterfactual, ``water'' picks out H2 O.
The worry is that any true functional term or concept must be similar to ``water''
in this respect. That is, it must have a primary intension that picks out different
properties from what its secondary intension picks out in some worlds. But of
course, ``true'' does not work like this. When I imagine that some other world is
the actual world, I don't think that another property is being ascribed by ``true'';
indeed, the primary and secondary intension of the word ``true'' seem to be the
same.
Like the problem above, this worry is unfounded. The key is to remember that
on the functionalist theory I've presented here, truth is identical to the role property. For any discourse, truth is the higher-order property of having a property
that plays the truth role in that discourse. Thus, like the higher-order property ``is
colored like the sky at this world'' (where ``this'' refers to the world in question,
748
Michael P. Lynch
whether or not it is the actual world), the truth property will remain constant
across worlds (discourses). But in both cases, it is obvious that different lowerlevel properties can realize the higher-order property. (I thank Philip Pettit for
help with this point.)
14. If we were to take (FT) as giving the primary intension of the concept of truth
(see last note) we would have to say that (FT) is necessarily true in all possible
worlds considered as actual (Chalmers 1996, 63; also see Jackson 1997, chap. 2).
15. I take this term from Sydney Shoemaker 1975, 400.
References
Alston, W. P. 1996. A Realist Conception of Truth. Ithaca: Cornell University
Press.
Blackburn, S. 1998a. ``Wittgenstein, Wright, Rorty, and Minimalism.'' Mind
107: 158182.
Blackburn, S. 1998b. Ruling Passions. Oxford: Oxford University Press.
Blackburn, S., and Simmons, K. 1999. Truth. Oxford: Oxford University Press.
Chalmers, D. 1996. The Conscious Mind. Oxford: Oxford University Press.
Davidson, D. 1990. ``The Structure and Content of Truth.'' Journal of Philosophy 87: 279328.
Davidson, D. 1967. ``Truth and Meaning.'' Synthese 17: 304323.
Devitt, M. 1984. Realism and Truth. Princeton: Princeton University Press.
Dworkin, R. 1986. Law's Empire. Cambridge: Harvard University Press.
Field, H. 1972. ``Tarski's Theory of Truth.'' Journal of Philosophy 69: 347375.
Field, H. 1995. ``Disquotational Truth and Factually Defective Discourse.'' Philosophical Review 103, no. 3: 405452.
Gupta, A. 1993. ``A Critique of Deationism.'' Chap. 23 of this volume.
Horgan, T. 1986. ``Psychologism, Semantics, and Ontology.'' Nous 20: 2131.
Horgan, T. 1991. ``Metaphysical Realism and Psychologistic Semantics.''
Erkenntnis 34: 297322.
Horgan, T. 1996. ``The Perils of Epistemic Reductionism.'' Philosophy and
Phenomenological Research 56, no. 4: 891897.
Horwich, P. 1990. Truth. Cambridge: Basil Blackwell.
Horwich, P. 1998. Meaning. Oxford: Oxford University Press.
Jackson, F. 1998. From Metaphysics to Ethics: A Defense of Conceptual Analysis.
Oxford: Oxford University Press.
Kirkham, R. 1992. Theories of Truth: A Critical Introduction. Cambridge: MIT
Press.
Lewis, D. 1970. ``How to Dene Theoretical Terms.'' Journal of Philosophy 67:
427446.
749