Escolar Documentos
Profissional Documentos
Cultura Documentos
JOHN ETCHEMENDY
21 CENSIER |
\
JSi
t 'Y
CSLI PUBLICATIONS
^ #
Copyright 1999
CSU Publications
Center for the Study of Language and Information
Leland Stanford Junior University
Printed in the United States
03 02 0100 99
12345
135. E 83 1999]
i6o-dc2i 99-12538
CIP
00 The acid-free paper used in this book meets the minimum requirements of the
American National Standard for Information Sciences - Permanence of Paper for
Printed Library Materials, a n s i Z 39. 48- 1984.
The David Hume Series of Philosophy and Cognitive Science Reissues consists of
previously published works that are important and useful to scholars and students
working in the area of cognitive science. The aim of the series is to keep these
indispensable works in print in affordable paperback editions.
In addition to this series, CSLI Publications also publishes lecture notes, monographs,
working papers, and conference proceedings. Our aim is to make new results, ideas,
and approaches available as quickly as possible. Please visit our web site at
http://csli-publications.stanford.edu/
for comments on this and other titles, as well as for changes and corrections by the
author and publisher.
Acknowledgments
I owe many thanks to many people. For their help and encourage
ment, without which I may never have finished the book, and their
criticism, without which I would certainly have finished too soon, I
would like to thank Ian Hacking, Calvin Normore, Ned Block, Greg
OHair, Richard Cartwright, Leora Weitzman, and, in particular,
John Perry, Genoveva Marti, and Paddy Blanchette. For their pa
tience, I thank my family, and especially my wife, Nancy. And for all
of the above and more, I thank my friend and colleague Jon Barwise.
Finally, I am indebted to the Mrs. Giles Whiting Foundation and to
the Center for the Study of Language and Information for support
while working on various stages of this book.
Contents
1
2
3
4
5
6
7
8
9
10
11
12
Introduction
1
Representational Semantics
12
Tarski on Logical T ru th
27
Interpretational Semantics
51
Interpreting Quantifiers
65
Modality and Consequence
80
T he Reduction Principle
95
Substantive Generalizations
107
T he Myth o f the Logical Constant
125
Logic from the M etatheory
136
Completeness and Soundness
144
Conclusion
156
Notes
161
Bibliography
Index
173
171
1
Introduction
Introduction
Introduction
Introduction
Introduction
Introduction
Introduction
Introduction
ideas and techniques. For one thing, as Tarski points out, the defini
tions he gives presuppose methods which have been developed [only]
in recent years. Specifically, they involve techniques for defining the
notions of satisfaction and truth, concepts that had been left at an
intuitive level by all earlier authors. Second, and more important, is
Tarskis attempt to present and motivate the definitions in a com
pletely general setting. It is easy to underestimate the importance of
this contribution. But clearly, the ordinary notions of logical truth and
logical consequence are not restricted to a specific language or small
collection of languages, and so our definition of a single languages
consequence relation, or of its set of logical truths, must flow from
some more general analysis of these concepts. Finally, unlike his im
mediate predecessors, Tarski extends his account to the notion of
logical consequence as well as logical truth.
For the purposes of this book, I simply assume that the modeltheoretic definitions originated with Tarskis analysis. The historical
question of who should receive primary credit for the definitions is a
complicated one, both for the reasons sketched here and for another
important reason that will emerge in Chapter 5. It turns out that
certain paradigmatic instances of the model-theoretic definitions in
volve a subtle but significant departure from Tarskis analysis, one that
has gone completely unnoticed. But to explain that departure at this
point would be premature.
The Plan of This Book
This book consists of a single, extended argument. The conclusion of
the argument is that the standard, semantic account of logical conse
quence is mistaken. What I mean by this is, first of all, that when we
apply the account to arbitrary languageseven perfecdy familiar,
well-behaved onesit will regularly and predictably define a relation
at variance with the genuine consequence relation for the language in
question. The definition will both undergenerate and overgenerate: it will
declare certain arguments invalid that are actually valid, and declare
others valid that in fact are not.
This is not to say that every application of Tarskis account is extensionally incorrect. Indeed, I will eventually argue that with suitably
weak languages (and with certain qualifications that I explain later) the
definition does get the extension right. But even in these cases we must
seek external guarantees of that fact. This is the second point, and
though a bit more subtle, it is at least as important as the first. The
point is that the semantic account shares with syntactic accounts the
following limitation: there is no way to tell from the definition alone or
Introduction
io
Introduction
Introduction
11
2
Representational Semantics
Representational Semantics
13
14
Representational Semantics
Representational Semantics
15
TRUE
FALSE
Snow is white
TRUE
TRUE
FALSE
FALSE
TRUE
FALSE
TRUE
FALSE
Snow is white
TRUE
TRUE
TRUE
TRUE
FALSE
FALSE
FALSE
FALSE
TRUE
TRUE
FALSE
FALSE
TRUE
TRUE
FALSE
FALSE
TRUE
FALSE
TRUE
FALSE
TRUE
FALSE
TRUE
FALSE
16
Representational Semantics
certain recursive tables. The following are two sample recursive tables;
the not table:
p
not p
TRUE
FALSE
FALSE
TRUE
<1
p or q
TRUE
TRUE
FALSE
FALSE
TRUE
FALSE
TRUE
FALSE
TRUE
TRUE
TRUE
FALSE
RR
T
T
F
F
T
F
T
F
TRUE
TRUE
FALSE
TRUE
Now, consider exactly what this table tells us. First of all, it clearly
does not tell us the actual truth value of our target sentencethat is, its
Representational Semantics
17
18
Representational Semantics
Representational Semantics
1g
20
Representational Semantics
Representational Semantics
21
22
Representational Semantics
Snow is white
TRUE
FALSE
Thus, our new semantic theory, unlike the earlier truth tables, ex
plicitly distinguishes the definition of x is true in y from the de
lineation of the class of objects that sentences of the language are to be
true in.
Representational Semantics
23
Representational Guidelines
The basic motivation underlying a representational semantics, an indi
rect characterization of x is true in W, is fairly clear. The approach
provides a natural framework in which to couch a theory of meaning,
or at any rate a theory of those aspects of meaning relevant to the truth
values of sentences, both the values they actually have and the values
they would have, were the world differently arranged. Needless to say,
the simple representational semantics of the last section can at best be
considered a partial theory of meaning for the relevant fragment,
since it offers no detailed account of the semantic functioning of the
three atomic sentences. In giving the semantics, we simply assumed
that Snow is white somehow comes to mean what it does, and for this
reason is true in exactly those worlds in which snow is white. A more
detailed semantics would presumably say something on this score as
well.
Of course, the fact that the motivation is clear does not mean the task
of devising a representational semantics for any interesting language is
either easy or philosophically unproblematic. But these difficulties are
not, at present, our concern. For Tarskis analysis of the logical
properties does not involve giving a characterization of x is true in W;
in effect, it involves a characterization of x is true in L, for a specified
range of languages L. As we will see, Tarskis is a remarkably different
goal from that presupposed by the representational approach to se
mantics, in spite of the fact that one and the same account of x is true
in / may occasionally admit of both construals. Failing to recognize
this difference, many philosophers have assumed that Tarski, in de
fining the logical properties, had in mind something akin to represen
tational semantics, a characterization of x is true in W," for all possi
ble worlds W. For example, we find David Kaplan extolling the
insight of Tarskis reduction of possible worlds to models, a reduc
tion Kaplan claims to be implicit in the analysis of the logical proper
ties developed in Tarskis article.6 But this, as we will see, is just a
confusion, one of several that lend undeserved credence to Tarskis
analysis.
Let me conclude this chapter by emphasizing the guidelines that will
seem natural if our aim in constructing a model-theoretic semantics is
to give a characterization of x is true in W." First, there is the obvious
though rather vague criterion we use in judging the adequacy of our
class of models. In a representational semantics the class of models
should contain representatives of all and only intuitively possible con
figurations of the world. This was accomplished in the semantics of the
last section by employing a rather crude but effective system of representation. Our collection of models imposed, so to speak, a complete
24
Representational Semantics
Representational Semantics
25
Clearly, all and only necessary truths will come out true in all models
of an adequate representational semantics. And so if logical truths are
thought to be necessarily true, these will of course be among those true
in every model. Similarly, if one sentence comes out true in every
model in which a second sentence is true, then the truth of the first
must be a necessary consequence of the second. That is, it must be
impossible for the first to be false while the second is true, at least if our
semantics really satisfies the representational guidelines.
Equally trivial is the observation that analytic truths, sentences that
are true solely by virtue of the fixed semantic characteristics of the
language, will come out true in all models. If a sentence is not true in all
models, then its truth is clearly dependent on contingent features of
the world, and so cannot be chalked up to meaning alone. Thus,
insofar as logical truths are analytic, true in virtue of meaning, these
must again be among the sentences that are true in every model of an
adequate semantics, one that satisfies the stated criteria.7
These are all immediate consequences of the simple representa
tional guidelines sketched above. But in spite of these consequences, it
would clearly be wrong to view representational semantics as giving us
an adequate analysis of the notion of logical truth. For one thing, if
there are necessary truths that are not logically true, say, mathematical
claims, then these will also come out true in all models of a representa
tional semantics. But more important, even if we are prepared to
identify necessary truth and logical truthan identification most peo
ple would balk atit is still clear that representational semantics af
fords no net increase in the precision or mathematical tractability of
this notion. Any obscurity attaching to the bare concept of necessary
truth will reemerge when we try to decide whether our semantics
really satisfies the representational guidelinesin particular, when we
ask whether our models represent all and only genuinely possible
configurations of the world.
The value of representational semantics does not lie in an analysis of
the notions of logical truth and logical consequence, or in the analysis
of necessary or analytic truth. Rather, what this approach gives us is a
perspicuous framework for characterizing the semantic rules that gov
ern our use of the language under investigation. It should be seen as a
method of approaching the empirical study of language, rather than
an attempt to analyze any of the concepts employed in that task.
Certainly, all necessary truths of a languageof whatever ilkshould
come out true in every model of a representational semantics. If they
do not, this just shows that our semantics for the language is somehow
defective, perhaps that we are wrong about the meanings of certain
expressions. But this is only a test of the adequacy of the semantics, not
26
Representational Semantics
a sign that we also have an analysis of necessary truth. The latter notion
is simply presupposed by this approach to semantics. This is not an
objectionable presupposition, by any means, so long as our goal is to
illuminate the semantic rules of the language and not the notion of
necessary truth.
I have sketched some simple and general criteria that guide the
construction of a representational semantics, a theory of x is true in
W, for variable W. As I explain in Chapter 4, Tarskis analysis of the
logical properties gives rise to an alternative approach to semantics,
one whose aim is to characterize the relation x is true in L, for some
range of languages L. The intuitive importance of such a theory, and
the general guidelines appropriate to it, are not nearly so apparent as
those of representational semantics. To get a clear idea of these guide
lines, and to see how they differ from those I have just sketched, we
need to take a close look at Tarskis account of logical truth and logical
consequence.
3
Tarski on Logical Truth
28
29
Also true is the sentence that results from substituting grass for
snow,
Grass is white or grass is not white,
and the sentence that results (ignoring the awkward placement of
not) from the uniform replacement of is white by is green:
Snow is green or snow is not green.
Even simultaneous substitution of grass and is green produces the
true sentence
Grass is green or grass is not green.
It seems reasonable to assume that the truth of this sentence survives
any grammatically appropriate substitution for the expressions snow
and is white.4 In which case, the sentence Snow is white or snow is not
white is logically true with respect to any set $ that contains the terms
or and not.
According to Bolzanos account, though, this sentence is not logi
cally true with respect to every selection of fixed terms. So for instance
if $ contains just the three expressions not, snow, and is white, that
is, if the expression or is considered a variable term, then the sentence
can easily be turned into a false one. Thus, the false sentence
Snow is white and snow is not white
results from the substitution of the expression and for or, a substi
tution permitted on this selection of Similarly if we take as our only
fixed terms or and is white, we can presumably get the false sentence
Grass is white or grass is necessarily white
by making grammatically appropriate substitutions for the two re
maining variable terms. On the other hand, Snow is white or snow is
not white does seem to be logically true with respect to the set contain
ing snow, is white,and or. Regardless of what we put in for not, the
resulting sentence will, by all appearances, be true.
The result of Bolzanos substitutional test for logical truth depends
crucially on the set of terms we decide to hold fixed. Bolzano was well
aware of, and indeed welcomed, this dependence, chalking it up to the
fact that different terms have different logics. Thus, the sentence
If Tom knew Carolyn to be a dean then Tom believed Carolyn
to be a dean
is logically true when we hold fixed the three expressions if-then,
knew, and believed; substituting at will for Tom, Carolyn, and to
jjo
31
was president/ while in the second case, the same substitution pro
duces a false one, George Washington had a beard/
Of course, the difference here is just a quirk of our language. The
world has plenty of people who have never been president. If our
meager language had a name for just one of them, say Ben Franklin,
the sentence Abe Lincoln was presidentwould suffer the same fate as
Abe Lincoln had a beard: neither would be logically true on the
imagined selection of fixed terms.
This example shows that Bolzanos substitutional test is liable to give
results that depend on purely accidental features of the language.
With our current choice of $, the sentence Abe Lincoln was president
has only two substitution instances, one that results from the trivial
substitution of Abe Lincoln for itself, the other resulting from the
substitution of George Washington for Abe Lincoln. But this seems
artificially restrictive in light of the fact that, had we simply increased
our list of names, the test would obviously have produced opposite
results. Thus it happens that Ben Franklin was president does not
result from making a permissible substitution in Abe Lincoln was
president/ Ben Franklinnot being an expression of the language. But
Ben Franklin could have been introduced into an existing category,
could have been given an appropriate interpretation, and thereby
would have provided us with a false substitution instance of the sen
tence at issue. In that case Abe Lincoln was president would not have
come out logically true.
We should characterize this problem more precisely. What under
lies our intuition here is perhaps best isolated by considering contrac
tions rather than expansions of the language, by considering the con
verse of the problematic case we have encountered. It seems clear that
on our ordinary conception, logical truth has at least the following
property: if a sentence S is not a logical truth of a given language, then
neither should it become a logical truth simply by virtue of the deletion
of expressions not occurring in S. After all, nothing directly relevant to
this sentence, to its meaningfulness or its truth, has been changed. If
Abe Lincoln was president is not logically true, it should not become
so merely through the deletion of an otherwise irrelevant name, Ben
Franklin, from the language.
If the property of not being logically true should persist through
contractions of the language, the property of being logically true should
persist through expansions. This desideratum, which I will call the
requirement of persistence, presumably remains binding regardless of
how we specify our set $ of fixed terms. That is, the property of being
logically true with respect to a given $ should persist through simple expansions
of the language.
3u
33
34
and
(1.2)
When Bolzanos test for logical truth turned in positive results for
Abe Lincoln was president (holding fixed was president), we la-
35
mented the fact that there was a simple expansion of the language that
would provide a false substitution instance for the function x was
president. Our two schemata allow us to clarify this hazy intuition.
Franklin was never president, and so by (1.2) he does not satisfy the
function x was president. This latter fact, along with the presence of
schema (2), supports the counterfactual claim that Ben Franklin was
president would have been false had Ben Franklin been an object
language name with the same meaning it enjoys in the metalanguage.
For then we could have carried out the forbidden instantiation of (2)
to (2.2).
Of course, this all suggests a simple way to circumvent miscarriages
of the substitutional test, a way to meet the requirement of persistence
while still retaining the spirit of Bolzanos account. The idea is to rule
out the logical truth of Abe Lincoln was president simply by virtue of
the fact that there is some perhaps unnamed object that fails to satisfy
x was president. Then no expansion of L which merely includes a
name of this object can affect the logical status of our original sentence.
That, in short, is Tarskis strategy for getting around the shortcomings
of the original, substitutional definition. But to make good on this idea,
we first have to generalize the notion of satisfaction in two ways, one
simple and one not so simple.
Multiple Variables
The simple generalization is aimed at handling sentential functions
with more than one variable. Thus, when we want to test Abe Lincoln
was president or George Washington was not president for logical
truth (with names the only variable terms), we first convert this to the
sentential function x was president or y was not president. Any per
missible substitution will here result in a true sentence, since both
available names name presidents. But it also happens that any single
object we choose will either satisfy x was president or satisfy 'y was not
president. Yet there are obvious expansions of the language that
would give us false substitution instances of this function, witness Ben
Franklin was president or Thomas Jefferson was not president. What
we need is an account of the satisfaction relation that captures this
intuition, one that allows us to say that Franklin and Jefferson, as a pair
and in that order, fail to satisfy x was president or y was not president.
We will say that sentential functions are satisfied by sequences, where
a sequence is any function that assigns an object to each of the variables
introduced for the purpose of testing logical truth.10 Thus, no se
quence that assigns Ben Franklin to xand Thomas Jefferson to y will
satisfy x was president or y was not president; on the other hand,
)j()
37
38
Or perhaps
(3.4) The set of former presidents satisfies Abe Lincoln g if and
only if Abe Lincoln the set of former presidents.
39
40
41
the logical truth of Abe Lincoln was president or Abe Lincoln was not
president. Nix would be a name only in grammar.
When we used satisfaction to extend Bolzanos account, we assumed
that our grammatical category was also a semantic category, that the
expansion of the category was constrained not only by the requirement
of grammatical interchangeability, but also by the requirement that
each member of the category display some common semantic feature.
It seems clear that the names Abe Lincoln and George Washington
both pick outor name, or denote, or refer toindividuals. Further
more, the fact that these expressions pick out different individuals can
alone account for any divergence in truth value among sentences in
which they occur, at least in the simple languages we have considered
so far. It was this that made it so natural to turn from names to objects,
to individuals that could have been named by expressions in the lan
guage. It seemed obvious that for each such individual our substitution
classnow taken to be a semantic categorycould have been appro
priately extended. On the other hand, the possible expansion of our
substitution class to include an expression that behaves like Nix is
ruled out by the move to satisfaction. This hardly seems an objection
able bias.
Well-Behaved Expansion and Satisfaction Domains
Let us now return to the problem of generalizing the notion of satisfac
tion to arbitrary sentential functions. Satisfaction must still be a rela
tion between objects of some sort and sentential functions (which are
also, of course, a type of object). The difficulty we encountered with
schema (3) arises because we are now dealing with expressions not
naturally thought of as names, whose contribution to the truth value of
a sentence is not easily reduced to the simple naming of an individ
ual. Consequently, it is not obvious how to extend satisfaction to the
new breed of sentential function. In particular, it is not obvious what
sort of object, if any, might stand in the satisfaction relation to these
sentential functions.
Let us call the class of individuals, things that could have been picked
out by names, the name domain of the satisfaction relation. Intuitively,
this is the collection of objects that stand in the satisfaction relation to
some sentential function displaying a single name variable. Our prob
lem is now to specify the predicate domain of the satisfaction relation, the
class of objects that can satisfy sentential functions which contain a
single predicate variable. But more important, if our account of logical
truth is to achieve a generality that approaches that of Bolzanos, we
need a fairly clear idea of what should guide us in choosing a satisfac-
42
43
44
45
requiring that the expression replacing w must express the unary truth
function named by the expression replacing U.
A Persistent Account of Logical Truth
Our technique for extending the notion of satisfaction to sentential
functions with an arbitrary number of variables is again to employ
sequences. But now our sentential functions may also contain variables
of arbitrary type. Say that a sequence is any function that assigns to each
variable an object from the appropriate satisfaction domain. Let S(x,
g, c, o) be a schematic placeholder for any sentential function all of
whose name variables are among x\, . . . ,Xk\ all of whose predicate
variables are among g\, . . . , gh\ all of whose connective variables are
among c\, . . . ,Ck\ and all of whose operator variables are among
oi........Ok. Let lS(x, g, c, o) stand for a name of that sentential
function, and finally, let S(x/n, g/p, ell, o/u) be the result of uni
formly replacing variable x, with expression n,, gi with pi, C{with 6,, and
Oiwith Ui (for 0 < i < k), wherever they occur in that sentential function.
For any given sequence/, we require that n* name the individual/(x,),
that pi assert possession of the property figi), that 6, express the binary
truth function/(c,j, and that Ui express the unary truth function/(o,j.
We then have:
(6)
46
(6.2)
Together (6) and (7), like (1) and (2) before them, demonstrate the
connection between satisfaction and substitution. Satisfaction isjust an
extensionthough not as simple an extension as it first appearedof
substitution. It allows us to extend our various substitution classes to
include expressions from any semantically well-behaved expansion of
the language. An expansion is well-behaved just in case any new mem
ber of a given category of expressions stands in the specified relation to
an object in the appropriate satisfaction domain. In the case of our
present language we allow new names if they name individuals, new
predicates if they assert possession of properties, new connectives and
operators if they express appropriate truth functions. Our upcoming
definition of logical truth will thus meet the requirement of persis
tence, with the implicit qualification we have all along been assuming: logical
truth will be persistent through semantically well-behaved expansions
of the language.
Before applying the generalized notion of satisfaction to the defini
tion of logical truth, it should again be emphasized that we have not
given a definition of satisfaction, either of the general notion, which
resists definition in principle, or even of satisfaction for sentential
functions of our current object language. Instances of schema (6) can
be taken only as adequacy conditions that constrain the formal defini-
47
48
49
50
Interpretational Semantics
52
Interpretational Semantics
Interpretational Semantics
53
54
Interpretational Semantics
Since Lincoln was president, every sequence satisfies Abe Lincoln was
president; had he not been, no sequence would.
Now suppose that / is a d-sequence that assigns Franklin to Abe
Lincoln and the property of having worn a powdered wig to was
president. If /* is the corresponding limited sequence, we will have
the following instantiation of (6):
Sequence /* satisfies xi g{ if and only if Ben Franklin wore a
powdered wig.
Since xi g\ is the distinguished sentential function corresponding to
Abe Lincoln was president, our definition of d-satisfaction gives us:
D-sequence / d-satisfies Abe Lincoln was presidentif and only
if sequence/* satisfies xi gi.
And from these we get:
(6.2D) D-sequence / d-satisfies Abe Lincoln was president if and only
if Ben Franklin wore a powdered wig.
The comparison of (6.2) and (6.2D) points up the difference be
tween satisfaction and d-satisfaction. In (6.2) the makeup of sequence
/* is quite immaterial, since the sentential function Abe Lincoln was
president has no variables; it is simply a true sentence. But it is clear
from the derivation of (6.2D) that d-sequences do not trivially d-satisfy
true sentences, nor will they trivially fail to d-satisfy false sentences.
In effect, d-satisfaction tells us whether a sentence would have been
true had its variable terms been interpreted in accord with the assign
ments of the d-sequence. In fact Abe Lincoln was president is a true
Interpretational Semantics
55
sentence. But had Abe Lincoln named Ben Franklin and had was
president meant wore a powdered wig, then this sentence would have
been true just in case Ben Franklin wore a powdered wig. Since Franklin
did not, as a matter of fact, wear powdered wigs, this sentence would
have been false on the interpretation suggested by d-sequence /.
We have now, of course, arrived at model-theoretic semantics,
though our ungainly terminology could stand some revision. But be
fore making the final, terminological change, let us note how Tarskis
definitions of logical truth and logical consequence survive the altera
tions already in place. It is a trivial consequence of the former defini
tion and our present account of d-satisfaction that a sentence is logi
cally true just in case it is d-satisfied by every d-sequence. Just so, an
argument is logically valid, its conclusion a logical consequence of
its premises, if and only if it is d-satisfaction preserving on all
d-sequences. There is now no need to move to sentential functions or
argument forms to apply Tarskis definitions.
Our final terminological change will be this: replace d-sequence
with model, and the phrase is d-satisfied by with is true in. Thus,
a sentence will be logically true if and only if true in all models, and an
argument logically valid just in case it is truth preserving in all models.1
Semantically Well-Behaved Reinterpretation
Consider for a moment the nature of d-sequences, or of models, as we
are presently calling them. In Chapter 3, we saw how the technique of
satisfaction is meant to extend Bolzanos substitutional tests for logical
truth and logical validity, our stock of sequences allowing considera
tion of all semantically well-behaved expansions of the various substi
tution classes. The technique of d-satisfaction, truth in models, em
bodies precisely the same extension of the substitutional account,
though the style of the tests is slightly modified. In particular, no
syntactic manipulations of the sentences or arguments being tested, no
exchanges of variables for variable terms, are now required.
We can think of the new technique in various ways. For example, we
can obviously consider it a simple abbreviation, somewhat confusing
perhaps, of Tarskis original method. As such, we must imagine the
variable terms of the language doing double duty: on the one hand,
they act as ordinary expressions of the language, taking part in genu
ine sentences whose logical properties we hope to reveal. But when it
comes time to test for logical truth and logical validity, the variable
terms also act as variables, their replacement by actual variables now
rendered superfluous thanks to the slight technical modifications de
scribed in the last section. If expressions like Abe Lincoln are just
56
Interpretational Semantics
Interpretational Semantics
57
58
Interpretation^ Semantics
Interpretational Semantics
59
6o
Interpretational Semantics
sents the property of having been president. If the individual has the
property, the model depicts a world in which Lincoln was president; if
the individual does not, the model depicts one in which Lincoln was not
president. The fact that the individual may happen to be Ben Franklin
(or perhaps an abstract object like the number one), and the property
that of having worn a wig (or perhaps that of being an even number),
has no bearing on our interpretation of Abe Lincoln or was presi
dent. On the contrary, the interpretation of these expressions, their
actual interpretation, is our key to understanding what the model
represents, what configuration of the world it depicts.
Again the difference emerges in the counterfactuals our theory
supports. The sentence Abe Lincoln was president is not true in any
model that assigns Franklin to Abe Lincoln and the property of
having worn a powdered wig to was president. According to the
Tarskian view, this supports a counterfactual claim about how the
truth value of this sentence would have changed had Abe Lincoln
named Ben Franklin and had was president meant wore a powdered
wig. From the representational perspective, it supports a claim about
how the truth value of this sentence would have changed had Lincoln
not been president. Here Franklin is just a convenient stand-in, the
property of wearing a wig a handy prop. The same representational
roles could have been played equally well by innumerable other objects
and properties, and in each case the moral would have been the same:
the sentence Abe Lincoln was president would have been false had
Lincoln not been president.
The Failure of Intersection
We have here two very different conceptions of model-theoretic se
mantics. According to the representational view, the models ap
pearing in our semantics are simple depictions of possible configura
tions of the nonlinguistic world, the world our language talks
about. A sentence is true in a given model just in case it would have
been true if the world had been as depicted by the model. Conse
quently if, judging by some intuitive metaphysics, all possible configu
rations of the world receive some manner of depiction, then sentences
that come out true in all models are true regardless of how the world
might be; perhaps they are true simply due to the way the language
works. Of course, should some possibilities be omitted, inadvertently
or otherwise, these results will hold only modulo the metaphysical
assumptions embodied in our semantics. This is arguably the case with
the model theory for our second language; the semantic theory does
not tell us, for instance, how the truth value of sentences would have
Interpretational Semantics
61
been affected had Lincoln not existed. Perhaps there are other possi
bilities our theory fails to cover.
According to the second conception, the Tarskian view, each model
provides a possible interpretation of certain expressions appearing in
the language, those not included in the set %of fixed terms. A sentence
is true in a given model if, so to speak, what it would have said about
the world on the suggested interpretation is, in fact, the case. Thus,
sentences that come out true in all models are true regardless of how
we interpret a subset of their component expressions. Here, too, the
regardless must be qualified: the result holds only modulo our cir
cumscription of the class of semantically well-behaved reinterpre
tations of the variable terms. It is assumed that Abe Lincolnwould not
have functioned like Nix, or even like the considerably less bizarre
Pegasus. The semantic theory does not tell us how the truth values of
our sentences would react to such reinterpretations.
With the semantic theories considered in the last section, the two
conceptions seem aptly described as differences in perspective: to move
from one to the other requires nothing more than a subde shift in
gestalt. But it would be a serious mistake to imagine that this will always
be the case. Indeed in our two simple examples we have just been
lucky; we have just hit upon a fortuitous intersection of the two ap
proaches.
Clearly, not every model-theoretic semantics allowed from the inter
pretational perspective can also be viewed representationally. In the
case of our sample languages, this becomes apparent when we con
sider different theories that emerge from different selections of $, the
set of fixed terms. With other choices of $ we encounter one of two
problems: either the resulting class of models, when seen representa
tionally, omits depictions of genuinely possible configurations of the
world, or there is simply no way to view the class of models as represen
tations.
We would have run into the first problem had Snow is white been
included in On this choice of fixed terms our models would consist
of functions that assign truth values to Roses are red and Violets are
blue. These models can still be taken representationally, but as such
they contain an obvious omission: we have no models that depict
worlds in which snow is not white. A similar problem would arise with
our second language were we to include, say, Abe Lincoln and was
president in Among the resulting class of models we would still find
depictions of worlds in which Washington was not president (namely,
any sequence that assigns a nonpresident to George Washington) and
worlds in which Lincoln had no beard (namely, any sequence that
assigns a properly that Lincoln does not possess to had a beard), but
62
Interpretational Semantics
Interpretational Semantics
63
64
Interpretational Semantics
5
Interpreting Quantifiers
66
Interpreting Quantifiers
Interpreting Quantifiers
67
68
Interpreting Quantifiers
Interpreting Quantifiers
69
7o
Interpreting Quantifiers
valid argument does not preserve truth (is not d-satisfaction preserv
ing). In which case we can expand the language to include expressions
whose actual interpretations are exactly those specified by the offend
ing d-sequence. But then in the expanded language the original sen
tence or argument will fail the substitutional test with exactly the same
choice of fixed terms. Either persistence has been abandoned (a sen
tence, say, is judged logically true in the original fragment but not in
the newly expanded language) or else the substitutional test has been
rendered violable (the sentence is judged logically true in the ex
panded language in spite of its false substitution instances).
Consider our current semantics. So long as we maintain the cross
term restriction, the following argument is validholding fixed
some, or, and not:
(A)
But note that it is crucial here that we exclude from our class of models
the d-sequence in which thing is assigned the set of dogs and the
remaining expressions receive their intended interpretations. For oth
erwise the argument would not preserve truth in every model.
Now suppose our language were expanded to contain the common
noun dog. By including the set of dogs in the appropriate satisfaction
domain, we have explicitly approved this expansion as semantically wellbehaved. Yet as soon as we introduce this expression into the langu
age, there will be a permissible substitution instance of the same argu
mentstill holding fixed some, or,and notwhich fails to be truth
preserving:
(A')
We must now choose either to allow (A) to remain valid in the new
language, despite non-truth-preserving substitution instances like
(A'), or to declare (A) invalid, even though it was judged valid in the
preceding fragment. One way we give up substitution; the other per
sistence.
For better or worse, an interpretational semantics that avails itself of
cross-term restrictions cannot avoid straying from Tarskis original
conception of the logical properties, assuming of course that the re
strictions actually alter the output of the semantics. In the next section
I will consider a slightly different account of the present semantics,
one that attempts to minimize, or at least disguise, the change in
underlying conception. But first let me emphasize the generality of the
problem just described.
Interpreting Quantifiers
ji
72
Interpreting Quantifiers
Interpreting Quantifiers
73
74
Interpreting Quantifiers
(that is, of both some and thing) but not of the names or predicates.
But this selection also runs into problemsfor example, if our lan
guage contains identity. Thus, we do not want There are at least two
thingssymbolically, 3x3y(x y)to come out logically true, much
less There are at least two billion things. Yet these will be deemed
logical truths if we allow no variation in the interpretation of the
existential quantifier.6
The problem is that with quantified languages, there is no single
selection of fixed terms that gives exactly the right judgments about
validity, at least with an unmodified Tarskian semantics. Yet we have
seen that there is a simple modification of the unrestricted semantics
that does seem to yield an intuitively plausible collection of logical
truths and logically valid arguments. It is the modification incorpo
rated into the standard semantics for such languages: impose cross
term restrictions on the simultaneous interpretation of various atomic
expressions. But it looks like we can employ such restrictions only by
abandoning the very conception of the logical properties that under
lies the interpretational perspective.
What then should we say about the standard semantics for quanti
fied languages? This sort of semantics is almost universally thought of
as firmly grounded in Tarskis analysis. But our recent considerations
suggest otherwise. When applied to our sample language, the result
seems acceptable as a representational semantics, but unacceptable as
an interpretational semantics. This seems surprising enough. But the
situation is even worse when we consider the usual semantics for, say,
the language of first-order number theory. For there, the semantics
clearly cannot be construed representationally, for reasons sketched in
Chapter 4, but neither does it conform to the interpretational guide
lines, thanks to the use of cross-term restrictions. Can it be that our
understanding of the standard, first-order semantics is so completely
undermined by the introduction of cross-term restrictions?
There are three options open to us. First of all, we can simply accept
the surprising conclusion of the recent analysis. We would then have to
count our sample, first-order semantics among those in which the
representational and interpretational approaches fail to intersect, and
banish the semantics for first-order number theory to a limbo some
where between the two approaches. Second, we might try to revise
Tarskis general account so that the occasional use of cross-term re
strictions is vindicated, is shown consistent with some modified interpre
tational analysis of the logical properties. Finally, we might argue that
the recent considerations are somehow faulty, that in fact the standard
semantics is perfectly consistent with Tarskis original definitions.
I will not consider the first two alternatives in any detail. The first
Interpreting Quantifiers
75
76
Interpreting Quantifiers
Interpreting Quantifiers
77
Recapitulation
The superficial similarities between representational and interpreta
tional semantics are obvious but misleading. In fact, these two views
of model-theoretic semantics are completely different approaches to
charting the semantic properties of a language. This difference comes
out most clearly in the radically different standards that must be used
in judging the adequacy of the two main features of the theory: the
class of models and the definition of truth in a model. The class of
models is adequate for a representational semantics if it contains a
representative for each genuinely possible configuration of the em
pirical or nonlinguistic world. To make this judgment we must
naturally presuppose some technique of representationwe must un
derstand what our models meanas well as various intuitions about
what is and is not a genuine possibility. With interpretational seman
tics, the class of models (d-sequences) is determined by the satisfaction
domains assigned to each category of expressionmore accurately, by
the domains assigned to those categories containing members not
included in *$, the set of fixed terms. Thus, the class of models in an
interpretational semantics is to be judged according to the criteria for
delineating satisfaction domains. Such a domain must contain an ob
ject for each existing member of the given semantic category, as well as
objects for other potential members of the same categoryintuitively,
expressions that would contribute similarly to the truth values of sen
tences in which they occurred.
78
Interpreting Quantifiers
Interpreting Quantifiers
79
precisely on a par. That is, for any true sentence of (say) English, we
can devise some languages in which it is false; similarly, any false
sentence can always find a home in which it happens to be true. This in
spite of any logical or semantic properties the sentence may originally
have had. Sentences, at least in the sense in which these are things that
can wander from language to language, do not carry with them the
semantic characteristics necessary to ensure any truth value.
Now, Tarskis account changes a superficially uninteresting study
into a potentially important investigation. If Tarskis analysis is cor
rect, then we have a standard technique for narrowing in on a limited
range of languages against which the relation x is true in L gains
considerable significance. But here again we must not get the signifi
cance turned around. Our goal in applying Tarskis account is not
simply to specify, by whatever means available, some range of lan
guages whose shared truths happen to be the logical truths of the
original language. Of course, there will always be such a collection of
languages: at worst, we could treat all expressions as variable and take
all logical truths as meaning postulates. But this is simply to give up
Tarskis general account of the logical properties and, so it would
seem, to undermine any interest that may originally have motivated an
account of x is true in L. This is the sacrifice we risk when we resort to
cross-term restrictions.
6
Modality and Consequence
81
guages. But one thing is clear: we do not, at this point, have enough
such evidence to conclude either that the account is right or that it is
wrong. The cases where it clearly workssimple truth-functional lan
guages with connectives held fixedhardly inspire confidence that
the account will work for arbitrary languages. On the other hand,
there may be very good explanations for those cases where it seems to
fail. For example, we may be able to explain the haphazard behavior of
the definitions when we vary our selection of fixed termssay, by
finding some characteristic that makes certain expressions suitable for
inclusion in $ and others not. And in the end, we may even uncover
some insight that shows certain cross-term restrictions to be perfectly
consistent with the account, and so find these problems to be surmoun
table as well.
In any event, let us set these questions aside for the moment, and
consider Tarskis own justification of his account. Tarski does not base
his justification on extensional evidence; as I mentioned, he discusses
no specific applications of the definitions. Rather, he argues that the
analysis successfully captures the essentials of the ordinary concept
of consequence. Such an intuitive or conceptual justification is obvi
ously quite important, since extensional evidence will bear at most on a
single language, while the account is meant to work with any language
for which satisfaction can be defined. Since we can hardly survey all
possible languages to which the definitions may be applied, we clearly
need a different kind of evidence, evidence of a more conceptual sort,
to show that the definitions get the right extension in any such lan
guage. Tarskis argument is meant to provide such evidence.
Necessity
The most important feature of logical consequence, as we ordinarily
understand it, is a modal relation that holds between implying sen
tences and sentence implied. The premises of a logically valid argu
ment cannot be true if the conclusion is false; such conclusions are said
to follow necessarily from their premises.
That this is the single most prominent feature of the consequence
relation, or at any rate of our ordinary understanding of that relation,
is clear from even the most cursory survey of texts on the subject. We
find modal characterizations of logical consequence in the very earliest
works on logic:
A syllogism is discourse in which, certain things being stated, something
other than what is stated follows o f necessity from their being so. I mean
by the last phrase that they produce the consequence, and by this, that no
82
83
A 1.
84
For there are arguments that are valid in this ordinary sense but
whose conclusions cannot be deduced from their premises.
Tarski admits that a formal characterization of consequence could
be supplemented with an infinitary rule of inference that would avoid
this particular failing, the so-called (o-rule. But such an addition, due to
its infinitary nature, would involve a significant departure from stan
dard systems of deduction. A more reasonable alternative would be to
supplement the system with a new rule that allows the derivation of A
from the (single) claim that all the Anare provable using the remaining
rules, a claim that can easily be encoded into sufficiently powerful
languages. This new rule, though more complex than standard rules,
can still be considered purely syntactic or structural. Furthermore,
the resulting set of rules generates new consequences not provable
from the original set, and so is a genuine step in the right direction.
However, such supplementation is ultimately of no avail. The futility
here, Tarski claims, follows from Gdels incompleteness results:
In every deductive theory (apart from certain theories o f a particularly
elem entary nature), however much we supplem ent the standard rules of
inference by new purely structural rules, it is possible to construct sen
tences which follow, in the ordinary sense, from the theorems o f this
theory, but which nevertheless cannot be proved in this theory on the
basis o f the accepted rules o f inference.3
85
With this, Tarski turns to the stated task of his article: giving a precise
definition which, unlike syntactic accounts, captures the essential
features of our ordinary concept of consequence.
Now, Tarskis argument that any syntactic characterization of conse
quence will be extensionally inadequate may strike us as problematic in
several respects. Perhaps the most obvious is that in neither case is the
sentence cited by Tarski (that is, A or G) a standard model-theoretic
consequence of the theory from which it allegedly follows. Indeed,
both of Tarskis examples involve the consequence relation for firstorder languages, where the model-theoretically defined relation co
incides with the syntactically defined relation. How can a semantic
account be judged extensionally superior to the usual syntactic charac
terization if the two are, in fact, extensionally equivalent? It would
seem that the complaints Tarski has about the extensional adequacy of
the syntactic characterization will ricochet off the completeness theo
rem and strike his own account with equal force.
In fact this is not true, for reasons I have already mentioned. In any
of these cases, the intuitive consequence will emerge as a Tarskian
consequence if we include a sufficient number of expressions in the set
of fixed terms. So, for example, the 6>-rule comes out valid, modeltheoretically, if we include in $ the expression every natural number
as well as the collection of numerals 0, 1, 2, and so forth. I assume
this is why Tarski does not consider his account subject to precisely the
same criticism he directs at syntactic definitions.
What is important for our purposes, though, is not the specific
examples Tarski employs in his argument but his emphasis on the
intuitive consequence relation, the relation he characterizes using the
familiar modal terms. When one sentence is, in the ordinary sense, a
logical consequence of others, then it must be true provided the others
are true as well. That is, the truth of the premises must guarantee the
truth of the conclusion. However vague and poorly understood this
guarantee may be, it is clearly an essential feature, if not the essential
feature, of our ordinary concept of consequence.
TarskVs Fallacy
Any intuitively valid argument {K, S) will come out logically valid, ac
cording to Tarskis account, on some choice of fixed terms. The argu
ment would not be valid if all the members of K were true while 5 was
false, and hence the argument will at least satisfy Tarskis definition
when all of its component expressions are included in This observa
tion gives us the following implication:
86
proved, on the basis of this definition, that every consequence of true sentences must
be true, and also that the consequence relation . . . is completely indepen
d en t o f the sense of the extralogical constants which occur in these
sentences.5
87
S is false.
But of course all we can show is that for any K and S, the following three
conditions are jointly incompatible:
(1)
S is a Tarskian consequence of K (for some 5)
(2)
(3)
S is false.
Now, it should be clear from a purely abstract point of view that the
joint incompatibility of (1), (2), and (3), plus the truth of (1), does not
entail the joint incompatibility of (2) and (3). Here we need only note
the fallaciousness of any inference from
Necessarily (if P and Q then not R)
t
88
More concretely, we can note that the argument with Lincoln had a
beard as conclusion and Washington was president as sole premise
could not come out valid on any selection of % if it did not in fact
preserve truththat is, have either a false premise or true conclusion.
But the mere fact that this argument does come out valid on some
selection of $ certainly does not imply that it is a necessarily truth
preserving argument, that it is valid in the ordinary sense.
The fallacy here may be emphasized by sketching the parallel con
sideration for Tarskis definition of logical truth, for there the problem
is even more transparent. With logical truth there is also an important
modal feature of our ordinary concept. A logical truth must be true
that is, it is necessarily true. Thus, it would be a strong point in favor of a
definition of logical truth if we could show that sentences satisfying the
definition are necessarily true, that they have the intuitive modal
property. And indeed we can prove that if a sentence satisfies Tarskis
definition of logical truth then it must be true. After all, if it were not true, it
would not satisfy the definition. Unfortunately, this does not guarantee
that the sentence has any peculiar modal properties, any more than
the trivial observation if a sentence is true then it must be true shows
every truth to be a necessary truth.
Obviously, the proof in question does not show that every Tarskian
consequence is a consequence in the ordinary sense. It is only
through an illicit shift in the position of the modality that we can
imagine ourselves demonstrating of any Tarskian consequence that it is
entailed by the corresponding set of sentences. This fallacy becomes
quite apparent when we consider the arguments that come out valid
when we include all expressions in %. But it is crucial to recognize that
the inference remains fallacious, and for exactly the same reasons,
regardless of our choice of fixed terms. The fallacy may be easier to
spot when we include names and predicates in but the inference is
no less fallacious when we only hold fixed (say) the truth functional
connectives. The argument does not depend on and it does not get
better or worse according to what we suppose the members of $ to be.
A parallel justification for Tarskis account can be given, but isjust as
fallacious, when we replace the alethic reading of must with a purely
epistemic reading. Although the most common pretheoretic descrip
tions of logical consequence involve necessity, we find many in which
the must takes on a more epistemic cast. For example, the following,
from Quines introductory text, is a familiar description:
[Among the] relations o f statements to statements, one o f conspicuous
im portance is the relation o f logical implication: the relation o f any
statem ent to any that follows logically from it. If one statement is to he
held as true, each statem ent implied by it must also be held as true.
(Quine, 1972, p. 4)
89
If you accept the premises of a valid argument, you must also accept
the conclusion (to which we sometimes add on pain of irrationality).
This epistemic characteristic is sometimes thought to be more impor
tant than, and perhaps to underlie, our intuitions about the alethic
modality involved in valid arguments. For example, some would claim,
not implausibly, that it is only due to the a priori relation between the
premises and conclusion of a valid argument that wejudge the latter to
follow necessarily from the former, and hence that we judge the
argument valid. On this view, a necessary consequence that could not
be recognized as such a priori would never qualify as a logical conse
quence. And this certainly seems right.
Can we show that this epistemic feature follows from the definition?
Again, the best we can offer is a version of Tarskis fallacy. We can
note, quite accurately, that it would be irrational to believe that an
argument satisfies Tarskis definition (for any $) but has true premises
and a false conclusion. Or we can point out that if you accept the
premises of an argument, and also accept that it passes Tarskis test for
validity, then you must accept the conclusion. But neither of these
shows that any peculiar epistemic relation holds between the premises
and conclusion of these arguments. These observations show only that
it is a genuine consequence of Tarskis definition that the argument in
question either has a false premise or a true conclusion, that it indeed
preserves truth. But they do not show that it would be irrational to
accept the premises and deny the conclusion; they show only that if
you did, you could no longer hold that the argument satisfied the
definition.
The last point brings out the real weakness of this justification,
regardless of what the sought-after modality may be. Tarskis account
demands, first and foremost, that any argument declared valid
preserve truth; those that do not do not pass muster. The account
shares this characteristic with Bolzanos, and it is perhaps easier to see
with the simpler, substitutional definition. With Bolzanos account, this
feature is incorporated directly into the definition, by virtue of the fact
that any argument is, for any a permissible substitution instance of
itself. So Bolzanos demand that all substitution instances of (K, S)
preserve truth can be divided into two requirements:
(a)
(b)
go
91
An ... :provided all these sentences are true, the sentence A must also be true?
There is only one way to construe the modality that Tarski here
identifies with the ordinary concept of consequence. Obviously, he is
not simply noting that the argument in question happens to have a
false premise or a true conclusion; since no specific sentences have
been given, such a construal would not even make sense. The observa
tion clearly concerns the modal or epistemic relation between these
sentences, the fact that arguments of this form are guaranteed to
preserve truth. Here, the scope of the modality is clear and un
equivocal.
Now consider again Tarskis justification of his account, this time
paying particular attention to his exact choice of terms:
It seems to me that everyone who understands the content o f the above
definition must adm it that it agrees quite well with ordinary usage. This
becomes still clearer from its various consequences. In particular, it can
be proved, on the basis o f this definition, that every consequence of true
Set next to his earlier remarks, it is hard not to see the fallacy at work in
this justification. It is hard to overlook Tarskis use of precisely the
same expressions to describe, in the first passage, the modality central
to consequence in the ordinary sense and, in the second, the alleged
agreement of his definition with ordinary usage. But as we have
seen, thinking that any such modality is a consequence of the defini
tion is a simple confusion.
Tarski clearly saw the importance of the modal features of our
ordinary concept of consequence. Indeed, his article is peppered with
modal and quasi-modal descriptions of this relation. Some of these
display the same scope ambiguity as his justification, while others are
not ambiguous at all. For example, in his most extensive discussion of
the intuitive notion, Tarski makes the following observations. First, he
notes that if (.K , S) is a logically valid argument, then it can never
happen that the class K consists entirely of true sentences while at the
same time the sentence 5 is false.vH e goes on to note that the relation
that holds between K and 5 cannot be influenced in any way by
92
93
94
7
The Reduction Principle
So far we have seen two reasons, both bad, for accepting Tarskis
account of the logical properties. The first is the conflation of the
Tarskian or model-theoretic definitions with representational seman
tics. It is perfectly obvious why an adequate representational semantics
can yield necessary truths, and hence logical or analytic truths, insofar
as these are a species of those. But interpretational semantics is not
representational semantics; what we get trivially from the latter should
not be considered a deep or significant upshot of the former. The
second reason is the argument I have called Tarskis fallacy, an argu
ment that seems to have played a role in Tarskis own adoption of the
analysis.
Still, pointing out bad reasons for accepting an account is a far cry
from giving good reasons for rejecting it. In Chapter 1,1 claimed that
Tarskis definitions are, in a sense, obviously mistaken. It is time I
explained what I consider the obvious mistake: an implausible prin
ciple on which both Tarski and Bolzano base their accounts. Since it is
simpler to discuss this principle when treating sentences rather than
arguments, let us once again direct our attention to the definition of
logical truth. This is just a matter of convenience, though; the points
can be made, with the obvious changes, about the analysis of logical
consequence.
Quantificational Accounts
Both Bolzano and Tarski propose quantificational accounts of logical
truth: both equate the logical mjth of a sentence within a given lan
guage with the ordinary truth of a universally quantified sentence
96
ma s' ].
97
98
This second principle follows from the fact that the set of logical truths
is itself closed under logical consequence and, as the first principle
states, an instance is indeed a consequence of its generalization. I will
call (i) the instantiation principle and (ii) the closure principle. Neither (i)
nor (it) is the least bit controversial.
It should by now be apparent that a quantificational account of
logical truth is based on a third principle, quite different from either of
these, and at first glance considerably more surprising. The principle
is this:
(in)
I will call (in) the reduction principle. Of course, both of our quantifica
tional accounts take logical truth to be relativized to a choice of fixed
terms, of logical constants, and so the underlying principle will be a
somewhat modified form of (Hi). There are a couple of ways this
modification might go, and I will consider both in due course. For now,
99
though, it is important to see that Bolzano and Tarski both base their
accounts on this rather unlikely principle, in some form or other.
Indeed, the substantial technical and mathematical attraction of
Tarskis account derives directly from principle (in). For, assuming his
analysis is right, it is this principle that allows the direct application of
well-known techniques for defining truth to the task of defining logical
truth.
This is an important selling point for Tarskis account. Our ordinary
concepts of logical truth and logical consequence involve various no
tions that are notoriously difficult to pin down, notions like necessity, a
prioricity, analyticity, and so forth. But if the quantificational account is
correct, what it achieves is a truly remarkable reduction of obscure
notions to mathematically tractable ones. If it is right, the analysis
shows that we can in fact sidestep all of these difficult concepts, that we
can give a mathematically precise definition of the logical truths of a
language if we can just define the notion of truth for a slightly ex
panded languageor, what comes to the same thing, if we can define
the notion of truth relative to an arbitrary interpretation or
d-sequence.
This is a tremendous advantage, one we should not undervalue.
And it is an advantage not shared by representational semantics. When
we are doing representational semantics, we appeal to modal notions
from the very outset, in assessing the adequacy of our class of models
and our definition of truth in a model. In contrast, Tarskis account
equates the logical truth of a sentence with the ordinary truth of
another sentence, one that makes a nonmodal, nonepistemic, nonsemantic claim about the world, about the world as it actually happens to be.
The source of this advantage is, of course, the reduction principle (Hi).
Unfortunately, we cannot construe this striking technical advantage as
support for Tarskis analysis itself: we can hardly argue that the analy
sis is correct because it would simplify our lives if it were correct. Still, it
is important to acknowledge this benefit and to locate its source.
Now consider for a moment principle (Hi). I will not spend much
time discussing the abstract acceptability of this principle. Unadorned
and unmodified, its implausibility could hardly be more apparent. Our
natural inclination is to reject the principle out of hand, to reject it for a
very simple reason: universal generalizations have no particular claim
to logical truth; they, like any sentences, can be true by mere happen
stance. And when such a sentence just happens to be true, there is no
guarantee that its instances will be logically true. Some might, but then
again some might not.
v
The problem with the redufction principle is that the mere truth of a
universal generalization can, in general, guarantee nothing more than
i oo
the truth of its instances. It cannot guarantee that its instances have
any other distinguishing characteristics. In particular, it cannot guar
antee that the instances will have any of the distinctive features,
whether modal or epistemic or semantic, ordinarily thought to set
logical truths apart from common, run-of-the-mill truths. Of course, if
the generalization itself is logically true, then the instances will be
logically true as well. This is guaranteed by the closure principle (ii).
But if the generalization is not logically trueif it is, say, a historical
truth, or an arithmetical truth, or a truth of physicsthen the in
stances will presumably be just as historical or arithmetical or physical.
Modifying the Principle (Part One)
Unmodified, the reduction principle is simply false. But as I have
stated it, this principle makes no mention of the set $ of fixed terms. So
before we count it too heavily against Tarskis analysis, we should
decide how the selection of $ figures into the principle. As I said
earlier, there are two ways this might work. Exactly which way we go
will depend on whether we construe Tarskis account as a completed
analysis of a fundamentally relational notion, one that varies with an
arbitrary choice of or as an incomplete analysis of a more or less fixed
notion of logical truth. If the latter, then the analysis must be supple
mented with some account of how we go about making the proper
selection of fixed terms.
It is clear that Tarski was not, himself, entirely sure which way to
view the account. His examples of -incomplete theories and the
Gdel incompleteness results pull in the former direction. For in order
to declare the -rule logically valid, or to get a Gdel sentence to come
out a consequence of its corresponding theory, we have to presuppose
great leeway in our selection of fixed terms. On the other hand, when
we allow such leeway, we often get extremely counterintuitive results.
This fact pushes in the latter direction, toward thinking that there is
somethingas yet unaccounted forthat makes some selections of $
definitely wrong and others definitely right. Tarskis ambivalence
on this question comes out most clearly in his concluding remarks,
where he describes this problem as the most important open question
left by his account (1956, pp. 418419).
I will consider the two possibilities in turn. The first is clearly the less
plausible construal, and so should be easier to set aside. Still, there are
some important observations to be made, even here. I will turn to the
second, more plausible construal in the following chapter.
According to the first view, Tarski has given us a completed analysis
of an irreducibly relational notion, the notion of logical truth with
1o 1
102
103
104
But this requirement is, as we have seen, too weak to guarantee that S is
true solely due to the meanings of the expressions in For this closure
could well be true for all manner of reasons, reasons quite apart from
the purely semantic characteristics of its parts. It might be a mere
historical truth, an obscure arithmetical or set-theoretic truth, even a
purely coincidental truth. In none of these cases will its instances be
logically or analytically true.
Now, it is important to see that (G) is by no means irrelevant to the
logical or analytic truth of 5. On the one hand, the mere truth of (G)
clearly provides insufficient grounds for concluding that 5 is true
solely by virtue of meaning. But it should be equally clear that if S owes
its truth to nothing more than meaning, and if this fact depends only
on the semantic categories of e\ through en, then (G) will indeed be true.
Think of it this way. Suppose that (G) is false, but that S is in fact
logically true. Then it is obvious that the logical truth of S must depend
on the specific meanings of one or more of the expressions exthrough
en. For the falsity of (G) can arise only if there is at least one d-sequence
that falsifies S simply by assigning different interpretations to ex . . . en. But if
we have constructed the satisfaction domains properly, these interpre
tations do not change the semantic categories of e.\ through e. So
either 5 was not logically true in the first place, or its logical truth
105
i o6
ing closures turn out to be false. This simply shows that the logical or
analytic truth of the original sentences did indeed depend on the
specific meanings of these expressions, not just on their general se
mantic category. But notice that even if the closures had in fact been
true, this would not alone have guaranteed that the original sentences
were true solely by virtue of the meanings of the remaining expres
sions. It would mean they were either true by virtue of meaning alone,
or true by virtue of facts about the world. But of course that is true of
any sentence whatsoever.
We do not usually think of logical truth, the ordinary concept, as
relativized to a completely arbitrary selection of expressions. This in
itself might be sufficient reason not to construe Tarski as offering a
completed analysis of an irreducibly relational notion. Still, it is clear
that there are various ways we can view logical truth as so relativized,
without doing injustice to the intuitive notion. In the above discussion,
I have considered the most natural: take logical truth to be a form of
analytic truth and relativize to the semantic function of the selected
expressions. But we could have chosen to emphasize some other dis
tinctive feature of the ordinary conceptsay, the fact that logical
truths are necessarily true or can be known a priori. Thus, the above
examples all express necessary truths, and the fact that they manage to
do so is peculiarly dependent on certain of the expressions they con
tain. In which case we might take the notion of logically true with respect
to the members of $ to mean something like expresses a necessary truth
by virtue of the expressions in 3\ But none of these relativized ver
sions of our ordinary concept is captured by Tarskis analysis. This, of
course, is quite obvious, once we give it a moments thought: Abe
Lincoln was president is not a necessary truth, or an a priori truth, or
an analytic trutheven when we take into consideration all of its
component expressions. Yet it comes out logically true, according to
Tarskis account, if we include all of these expressions in
What is important to note, though, is that if we construe Tarskis
account in this wayor misconstrue it, as the case may beit becomes
perfectly clear exactly how the analysis has gone astray. The account
takes a merely necessary condition for logical truth to be a sufficient
condition. For if a sentence 5 is logically true with respect to a set $ of
expressions, where this notion is taken in any of the ways suggested
above, then it follows that the corresponding universal closure Vvi .. .
Vvn[ S' ] will indeed be true. But the converse, namely principle (in'),
simply does not hold. Recognizing this will become important in Chap
ter 11, when we discuss the significance of the completeness theorem
for first-order logic. For the moment, though, let us put it on the back
burner.
8
Substantive Generalizations
is a logical truth does not depend on the sorts of historical facts that
determine the truth or falsity of the generalization
(2)
As it happens, (2) is true, and so any account that equates the logical
truth of (1) with the simple truth of (2) will mistakenly declare the
former logically true. But of course the basic problem with the account
would remain even if (2) happened to be false. In that case the account
would issue the right assessment of (1), but certainly not because it
coincides with our ordinary understanding of logical truth, or even
offers a reliable test for that property. The analysis would be just as
faultyit would still entrust thelogical status of (1) to the political
contingencies described by (2)though in that case the defect would
io8
Substantive Generalizations
not show up in the actual assessment of (1). But only thanks to the way
those contingencies happened to fall out, not thanks to the definition
itself.
This point is a simple one, but still easy to overlook. Let me change
the example slightly to emphasize it. Suppose we were presented with
a definition that ties the logical truth of
(3)
Substantive Generalizations
log
lio
Substantive Generalizations
or:
VP[Abe Lincoln P]
but rather by the truth value of:
VxVP[x P].
Substantive Generalizations
i l l
112
Substantive Generalizations
Substantive Generalizations
113
* z)
For each n, icr says that there are fewer than n objects in the universe.
Once again, none of these should come out logically true, no matter
how large or small the universe happens to be. But consider how the
standard account assesses these sentences. Treating the existential
quantifier as variable, the definition tags the logical status of these
sentences to the ordinary truth values of the following closures:
V[io-2(3AE)]: V[\ExEy(x y)]
V[icr3(3/)]: V[\ExEyEz(x = y Ay z/\ x z)]
Notice what these closures say. For each n, the sentence
(5)
V[icrn(3AE)]
claims that every subcollection of the universe contains fewer than n
objects. And this will be true just in case the largest subcollection of the
universenamely, the universe itselfcontains fewer than n objects.5
Thus, if the universe is finite, the present account will mistakenly
pronounce an infinite number of the sentences io-2, kt3, . . . logically
true; in that case, the account will be extensionally incorrect. Of
course, if the universe is infinite, hone of these sentences will be
declared logically true. But is that because the account has captured
our ordinary notion of logical truth? After all, these sentences are not
in fart logically true, but neither would they be logically true ii the
ii4
Substantive Generalizations
universe were finite. Yet according to the standard account, the sen
tence icrn is not logically true only because sentence (5) is falsethat
is, only because there are more than n objects in the universe.
Sentence (5) makes a perfectly ordinary claim about the world, one
that has little, if anything, to do with logic. If the world has fewer than
n objects, then (5) is true; if more than n, then it is false. When we trust
the logical status of ~i<rn to the truth or falsity of the substantive claim
made by (5), we put ourselves in the same position as we were with (1)
and (2) or (3) and (4). If there are fewer than n objects, our situation is
parallel to (1) and (2)or (3) and (4), during terms in which there are
no woman senators. Then, our account will be extensionally incorrect,
thanks to the truth of (5). If there are more than n objects, our
situation is more like (3) and (4)or (1) and (2), had a woman been
elected president. In that case, the defect in the analysis remains,
though it is disguised by the fact that (5) is false. But whichever is the
appropriate parallel, it is clear that with the current selection of fixed
termsthat is, the selection employed by the standard, first-order
semanticsthe assessments made by our test are still influenced by this
extralogical state of affairs. The account still suffers from the basic
defect of principle (m).
How does the standard semantics deal with this problem? After all,
the sentences i<T2, 10-3, . . . do not come out logically true according
to the usual, model-theoretic account, at least as it is ordinarily pre
sented; if they did, the analysis would have few, if any, defenders.
Exactly what feature of the standard semantics assures us that none of
these is declared a logical truth? Is there some subtlety about the
account that we have simply overlooked?
The answer is that nothing about the standard semantics assures us
of this, nothing whatsoever. We get our assurance from an assump
tion made quite independently of our account of the logical
propertiesan assumption, needless to say, about the size of the uni
verse. When we present the standard first-order semantics, we gener
ally do so within some set-theoretic framework or other. We build our
models out of objects cobbled together from the set-theoretic universe,
and in doing so we naturally assume various facts about that universe.
Generally, the specific framework we presuppose is that of ZermeloFraenkel set theory, but of course nothing about the analysis dictates
this particular choice, or even that our background theory should be ,\
set theory rather than a class theory or category theory or property theory.
Now, in the standard presentation, the only thing that assures us
that none of the above sentences comes out logically true is the axiom
of infinity assumed in the underlying set theory. It is this axiom thai
guarantees the existence of infinite models (that is, infinite restriction
Substantive Generalizations
115
116
Substantive Generalizations
truths. This in spite of the fact that they are not, even from the finitists
perspective, either necessarily true, or analytically true, or knowable a
priori. This in spite of the fact that they have none of the distinctive
features ordinarily attributed to logical truths.
Note that this point does not depend on our agreeing with the
finitists position. Indeed, when it comes to the ontology of mathe
matics, I personally tend toward a rather naive platonism. But if we
even acknowledge that the finitists position is a coherent one, then it
follows that the standard account has gotten things wrong. For clearly,
from the finitists perspective, no claim about the specific size of the
universe is logically true, even though some such claim might, purely
as a matter of fact, be true. Appealing to the finitists position is just a
handy way to emphasize the defect in the account, to emphasize that
generalizations like (5) do indeed make substantive, extralogical
claims. This defect remains even if the finitist is in fact wrong.6
Indeed, we can put this point even more strongly. The problem
these sentences bring out remains even if we consider the finitist to be
necessarily wrongthat is, even if we take the axiom of infinity to be a
necessary truth. All we need recognize is that the axiom of infinity, and
its various consequences, are not logical truths. This is all that is re
quired to see that the output of Tarskis account is still influenced by
extralogical factsin this case, by the set-theoretic fact expressed by
the axiom of infinity. It is exactly such potential influence that makes
the original reduction principle (Hi) seem so implausible, and it is clear
that the influence survives the modification built into (Hi").
Let us pause for a moment and take stock. When we consider the
existential quantifier, the identity predicate, and the truth functional
connectives to be distinctively logical expressions, the output of Tar
skis account clearly depends on the size of the universe: whether <rn
comes out logically true is determined by whether there are more than
n objects in the universe as a whole. To block this dependence, and the
faulty assessments it would yield, the standard, model-theoretic ac
count varies the domain of the quantifier. But the output of the
resulting account is no less dependent on the size of the universe:
whether io- comes out logically true is still determined by the number
of objects in the universe as a whole. Here, though, the standard
account offers no remedy: it simply appeals to an external assumption
about the size of the universe, and leaves the faulty dependence intact.
Now, if we still want to claim that the standard semantics avoids the
intuitive defect in principle (Hi), there seems only one recourse avail
able. We must claim that the axiom of infinity does not express an
extralogical claim, and so that our account is not, at least on this
score, subject to extralogical influence. But this response is implausible
in the extreme. For if it is a logical truth that there are infinitely many
Substantive Generalizations
117
objects, then it must equally be a logical truth that there are at least
twenty-seven. So to execute this defense consistently we would have to
argue that, contrary to our initial impressions, all of the <rnreally should
be judged logically true. We might put it this way. The claim that there
are at least twenty-seven objects (0-27) is not a logical truth, by anyones
lights. Neither is the claim that there are fewer than twenty-seven
(1027). Yet if Tarskis account of logical truth is right, icr27 is not
logically true only because V[10-27(3IE)] is falsethat is, only because
there are at least twenty-seven objects. Clearly, the outcome of Tarskis
account here depends, by anyones lights, on matters of a nonlogical
sort.
The assessments made by the standard, first-order semantics are
influenced by at least one kind of nonlogical fact: the size of the
universe. In a moment we will see that they depend on other such facts
as well. At this point, though, let us briefly look at the second sug
gestion for dealing with the <jn\ treating the identity predicate as a
nonlogical expression. I will return to the standard account in a
moment.
If we exclude the identity predicate from $, Tarskis account
equates the logical truth of cr2, the claim that there are at least two
objects, with the ordinary truth of the closure
(6)
VR[3x3y(-vcRy)].
118
Substantive Generalizations
The first two sentences say that taller than is transitive and irreflexive,
which of course it is; the third sentence claims (falsely, let us suppose)
that there is no tallest thing. Now conjoin these sentences and negate
the result:
(7)
-i(a a
y)
Since we are assuming that y is false, (7) will of course be true. But
clearly it is not logically true: it could have been the case (indeed might
actually be the case) that everything is shorter than something. (7) is
not a necessary truth, or an a priori truth; neither is it true solely by
virtue of meaning.
Now, according to the present strategy, we are not treating the
identity predicate as a logical expression. But since the identity pre
dicate does not appear in (7) this will have no effect, one way or the
other, on our assessment of this sentence. Here, Tarskis account
equates the logical truth of (7) with the ordinary truth of
(8 )
What (8) says is that every transitive, irreflexive relation has a minimal
element.8 If we take the satisfaction domain for the variable R to
consist of arbitrary sets of ordered pairs, then this closure will be true if
and only if the universe as a whole is finite. On the other hand, if we
take the satisfaction domain for R to consist of genuine relations,
rather than sets of ordered pairs, then (8) will certainly be true if the
universe is finite, and might be true if the universe is infinite as well. In
the latter case, the truth of (8) would depend on how those relations
happen to hold among the existing individuals; on whether, for exam
ple, there is in fact a tallest, or in fact a shortest, or in fact a largest, or in
fact a smallest, and so forth.
In any event, the truth of (8)and so our assessment of (7)
depends at the very least on the actual size of the universe, and per
haps on additional nonlogical facts as well. If every transitive, irreflex
ive relation happens to have a minimal element, whether due to the
finitude of the universe or for other reasons entirely, then our as
sessment of (7) will be incorrect. On the other hand, if some relations
do not have minimal elements, our assessment of (7) will be correct.
But is it correct because we have captured the genuine notion of logi
cal truth, or found a reliable test for that property? Surely not: sen
tence (7) is not a logical (necessary, a priori, analytic) truth, and neither
would it be a logical (necessary, a priori, analytic) truth if the relevant
facts had been differentsay, if the universe were finite, or if it were
infinite but somewhat homogeneous.
Notice that in moving from (7) to (8) we treated the various quanti-
Substantive Generalizations
11 g
The standard account ties the logical truth of (7) to the ordinary truth
of (8'). What (8') says is that any transitive, irreflexive relation drawn
from any subcollection of the universe has a minimal element. Taking
R to be satisfied by arbitrary sets of ordered pairs, this sentence will
again be true just in case the universe as a whole is finite. It is, in fact,
simply equivalent to (8).
If the universe is finite, the standard semantics mistakenly declares
(7) a logical truth. This becomes obvious, of course, if we once again
adopt the finitists perspective. If there are only finitely many objects,
both physical and mathematical, then clearly no model will contain a
transitive, irreflexive relation with no least element. For then the
model would have to contain an infinite number of objects, and so too
would the universe as a whole, contrary to our assumption. Our mod
els are, after all, simply parts of the universe. Thus, if the universe at
large is finite, there will, as a matter of fact, be no models in which (7)
comes out false.
At this point, some readers will no doubt raise the following objec
tion. Suppose we grant, for the sake of argument, that the universe is
finite. In which case all actual models will indeed be finite as well. Still,
nothing stops us from claiming that the universe could, have been infi
nite, and so there could have been infinite models. In which case, even
though there may be no actual models in which (7) is false, there are, so
to speak, possible models that falsify (7). In which case, the only reason
(7) comes out logically true is that we are artificially limiting ourselves
120
Substantive Generalizations
Substantive Generalizations
121
VxVyVP[x P
y P].
122
Substantive Generalizations
Substantive Generalizations
123
about how many different types of objects exist is not a matter for logic
to decide. But even when we settle on the set-theoretic construal of
these variables, as is standardly done, the claims that result are, not
surprisingly, of a set-theoretic, not a logical, sort. When we give the
standard semantics, we do nothing to prevent this dependence, but
simply import all of our background assumptions about the universe
of sets in order to carry out our assessments. The assessments end up
depending on all of these assumptions, from the most powerful to the
most mundane. The only difference is that, as the underlying assump
tions become more powerful, the faulty dependence becomes increas
ingly hard to overlook.
Let us briefly look at another example of the same problem, one that
has frequently been discussed but repeatedly misdiagnosed. It is often
said that when we move to a second-order language, one that allows
quantification of predicate variables, logical truth becomes a relative
notion, one that depends on the underlying set-theory presupposed.
The reason people say this is that when we apply the standard account
of logical truth to a full second-order language, there are sentences
that come out logically true if we assume (say) the continuum hypothe
sis, but that do not come out logically true if we assume its negation.11
This is often taken to be an objectionable feature of second-order
logic: after all, why should the logical truth of a sentence depend on
such highly abstract set-theoretic claims, claims that are not, intuitively, a
matter of logic at all?
By now, what is going on here should not surprise us in the least.
What we have is a sentence of our second-order language, call it C,
whose logical status is being tied to the ordinary truth or falsity of a
certain generalization, say,
(10)
Vx. . . Vi/B[C'].
It turns out, though, that the facts described by (10) are of an entirely
extralogical sort: whether (10) is true depends on nothing more nor
less than the continuum hypothesisand clearly, neither it nor its
negation is a logical truth. But this is simply the faulty principle (m) at
work. The fact that our assessment of C depends on the substantive
claim made by (10) is no different from the fact that our assessment of
(7) depends on the size of the universe (the substantive claim made by
(8) ), or that our assessment of (3) depends on the makeup of the Senate
(the substantive claim made by (4)).
Of course there is a difference between (10) and (8), but not one of
much import. The truth value of (8) is guaranteed by the axiom of
infinity, which, though certainly not a matter of logic, is nonetheless a
far more comfortable assumption to make than either the continuum
124
Substantive Generalizations
9
The Myth of the Logical Constant
I have not claimed that when we apply the standard account of the
logical properties to certain simple, first-order languages we get an
incorrect extension. Indeed, as I explain in Chapter 11, the sentences
that come out true in all models of the standard first-order semantics
do in fact owe their truth to nothing more than the meanings of the
connectives, the quantifiers, and the identity predicate (assuming that
we employ the usual cross-term restrictions and that all the usual
axioms of set theory are true). And there is a perfectly understandable
reason for this. But the reason is not that we have a reliable account of
logical truth and logical consequence, one whose extension is sure to
be correct. Rather it is due to a combination of the weakness of our
first-order language and the strength of our underlying set-theoretic
assumptions. The world, in effect, simply compensates for our faulty
analysis.
Let me give an analogy. Suppose we applied Tarskis account to a
language containing names, truth-functional connectives, and the fol
lowing three predicates: is a man, is a bachelor, and is a senator.
Suppose further that we included in $ all expressions except names.
Thus, for example, we would equate the logical truth of
(11)
126
(14)
Vx[x is a bachelor
x is a man].
This is precisely what is happening with the standard, interpretational semantics for first-order languages. The problem is not that the
account gets the wrong extension when applied to such languages.
Indeed, assuming all the standard axioms of Zermelo-Fracnkel set
theory, the only true generalizations that we encounter are in fact
logically trueand so too are their instances, by the closure principle
(**j. But here again the worldthat is, the set-theoretic universeis
simply compensating for an incorrect analysis of the logical properties.
What stands in the way of a large number of faulty assessments is
12 7
12 8
property of being a member of that list. But when we see our goal as
that of supplementing Tarskis analysis, it seems clear that not just any
property will do. The reason for this is simple. Since Tarskis general
account captures none of the modal, epistemic, or semantic character
istics of logical truth and logical consequence, it seems that these
characteristics must somehow emerge from the sought-after sup
plement, from our account of what makes certain expressions genu
inely logical and others not. It would hardly do, for example, to add
the injunction to hold fixed only words spelled with fewer than four
letters, even if the injunction seemed to work. Such a supplement
would not make up for what is missing from the general account. It
would hardly explain why logical truths are, or are commonly thought
to be, necessary or a priori or true solely by virtue of meaning. It would
hardly persuade us that the account can be relied on to make the right
assessments.
This is why the task of characterizing the logical constants comes to
seem at once so important and yet so difficult. Indeed, most of the
burden of Tarskis analysis seems to shift to exactly this issue. But by
now it should be clear that the issue is based on a confusionnamely,
the assumption that when the account works, it works due to some
peculiar property of the expressions included in But this assump
tion is false: there is no property of expressions that guarantees the
right extension in these cases, none whatsoever. After all, any property
that distinguishes, say, the truth functional connectives from names
and predicates would still distinguish these expressions if the universe
were finite. But in that eventuality, Tarskis account would be extensionally incorrect. This observation alone is enough to show that it is not
any property of the expressions we hold fixed, the so-called logical
constants, that accounts for the occasional success of Tarskis defini
tions.
Here our earlier analogy will help drive the point home. Imagine
that our goal is to explain why Tarskis account produces a plausible
extension when we hold fixed is a senator, is a man, and is a bache
lor, but not when we also hold fixed is president. It would clearly be
misguided to look for our explanation in some characteristic of ex
pressions that distinguishes the former terms from the latter. Cer
tainly, it would be easy to find a variety of properties that distinguish
these expressions; at worst, we could appeal to a list. But we will not
find any property guaranteeing our success when we hold fixed the
first expressions while explaining our failure when we hold fixed the
second. For what accounts for that difference is not a property of
expressions at all, but simply characteristics of the worldfor exam
ple, the fact that there is a woman senator, but not a woman president.
129
Substantive
generalizations
Logically
true
Substantive
generalizations
true
false
Logically
false
y
Logically
true
Substantive
Logically
generalizations
true
_________ \_____________
false
true
130
131
132
y)]
These still make substantive claims, but since they are not straightfor
ward negations of each other, the account is no longer sure to fail. If
both turn out to be false, as I trust they do, then neither of their
instances will be wrongly accused of logical truth.
As we move to increasingly powerful languages, this problem be
comes harder to avoid. For example, the situation crops up with full,
second-order languages whether or not we vary the domain of quanti
fication. Thus, it turns out that here we find among the associated
generalizations not only sentences equivalent to the continuum hy
pothesis, but also sentences equivalent to its negation.1Consequently,
whichever way the hypothesis goes, this application of Tarskis defini
tion will overgenerate, declaring some sentences logically true because
of their true, but not logically true, closures. This is hardly surprising,
since as we increase the expressive capacity of the members of
we increase the likelihood that some substantive claim and its negation
(or a claim equivalent to its negation) will be among the generalizations
determining the extension of the account.
Both of these remarks have to do with the problem of overgene
ration. What can we say about the complementary problem of un
dergeneration? Is it possible for Tarskis definition to judge valid
arguments invalid, or to judge sentences not logically true when in fact
they are? The answer, of course, is yes. But this can happen only when
the logical truth of the sentences, or the validity of the arguments,
depends essentially on the meanings of one or more expressions not
included in To repeat a trivial example, if the interpretation o for is
not held fixed, then the logical truth
Lincoln was president or Lincoln was not president
will not be so declared.
Though this example is trivial, the general problem can hardly be
shrugged off. If our goal is to study the logical properties of a given
language, the only way to ensure that Tarskis definition will not
undergenerate is to include every expression in But as soon as we do
this we are sure to encounter the opposite problem, that of overgeneration. Suppose, for example, that our target language is (or includes)
the language of elementary arithmetic. When we apply the standard,
interpretational semantics to this language, our specification of tin*
133
VxVyVP[x P >yP]
134
135
Various characteristics distinguish logical truths from common, runof-the-mill truths, and logically valid arguments from those that hap
pen to have a false premise or a true conclusion. But Tarskis analysis
does not capture any of these characteristics, regardless of how tightly
we constrain the selection of $. Furthermore, we are not even guaran
teed that the definition will be extensionally correct when applied to a
given language, not even in the paradigmatic, first-order case. What,
then, makes Tarskis account seem so persuasive? Why has it received
such widespread acceptance?
No doubt to some extent, this acceptance is due to the conflation
already noted between representational and interpretational seman
tics. And perhaps it is partly due to Tarskis fallacy, in its various
versions. But there is a more subtle reason the account seems so
persuasive, one that I suspect has been by far the most influential. The
reason is this. In its standard application to simple first-order sen
tences, Tarskis account is capable of entirely persuading us both that a
sentence which passes the test is indeed logically true, and that one
which does not pass the test is not logically true. In other words, in this
particular case the account seems capable of convincing us of the
genuine logical status of individual sentences to which it is applied.
Faced with this fact, it is hard not to assume that, one way or another,
the account must surely be getting at some essential feature of our
ordinary notion of logical truth. How else would we be convinced of
the correctness of its individual assessments?
To understand what is going on here, we need to review two impor
tant points. The first is that Tarskis account does provide a necessary
(but not sufficient) condition for the relativized notion of logical truth.
That is, if a sentence 5 is true solely by virtue of the meanings of the
t 37
138
139
albeit trivial adequacy, of any account that replaces the reduction prin
ciple (in) with the closure principle (ii):
(ii)
140
itive assurance does not arise from any general account of logical
truth, certainly not Tarskis, but just from our plausible observation
plus the unexceptional principle (ii).
When we apply Tarskis account to a sentence like (15), what con
vinces us that this sentence really is a logical truth? The key lies in the
way we show that all sequences satisfy the sentential function *x?or not
x P. Our reasoning here takes the following line. First we note that
For any/, either/satisfies x P or/d o es not satisfy x P*
This is just an elementary logical truth of the metatheory. But it
follows from this logical truth, in tandem with our clause for not in
the definition of satisfaction, that
For any/ either/satisfies x P* or/satisfies not x P.
Finally, given our recursive clause for or, we have as an immediate
consequence that
For any/,/satisfies x P or not x P.
This, of course, is what had to be shown in order for Tarskis account
to issue a declaration of logical truth (with respect to or and not) for
sentence (15). That is, it is precisely the observation we need in order to
demonstrate the truth of the associated closure
(16)
141
142
143
This, of course, brings us to the second lesson. The only hope for
coming up with an improved version of Tarskis account, a version
guaranteed to produce correct results, is in effect to replace principle
(in) with principle (ii). But once we recognize this, the futility of the
project becomes apparent. For in order to use principle (ii), we first
need an account of what it means for the generalization mentioned in
the antecedent to be logically true, for its truth not to be a historical or
physical or mathematical matter. But if we already had such a charac
terization of logical truth, the remainder of our new, improved
accountthat is, the part left over from Tarskis original
definitionwould be completely unnecessary. So correcting the de
fect in the account turns out to be precisely equivalent to solving the
original problem de novo. An adequate analysis of logical truth will not
be found by modifying Tarskis reduction principle.
11
Completeness and Soundness
145
We have seen that the model-theoretic account will get things right
in one set of circumstances. If, first of all, none of the substantive
generalizations on which the output of the account depends turns out
to be true, then the definition will not overgenerate. Second, if none of
the valid arguments expressible in the language depend for their
validity on expressions whose interpretations we vary, then the defini
tion will not undergenerate, either. However, a seconds thought
shows that the relationship between these principles and the
soundness and completeness theorems is far from straightforward.
What work are the soundness and completeness theorems doing?
Do they in fact guarantee anything at all about the intuitive notions of
logical truth and logical consequence? To answer these questions I will
make a slight detour. I am not the first person to raise questions about
the significance of the completeness theorem for first-order logic. In a
well-known article entitled Informal Rigour and Completeness
Proofs, Kreisel distinguishes between what he calls intuitive validity
and the model-theoretic notion of truth in all set-theoretic structures.
This distinction leads Kreisel to an alternative view of the significance
of the completeness theorem. Although Kreisels starting point is in
correct, for reasons that will become clear, his strategy is one we will
find useful in our own reconciliation.
Kreisels Observation
The main thrust of Kreisels article is to emphasize that we can prove
rigorous results about informal notions, a contention with which I
wholeheartedly agree. As a case study, he considers the intuitive no
tions of logical validity (what I have been calling logical truth) and
logical consequence. Kreisels aim is to show that, in the case of firstorder logic, we can rigorously establish that the intuitive notion of
validity, which he abbreviates as Val, is extensionally equivalent to the
set-theoretic definition standardly given.
The definition that Kreisel has in mind (which he denotes by V) is
that a sentence has property V just in case it is true in all models (or
structures, as Kreisel prefers to call them), where the domain of quantifi
cation is a set in the cumulative hierarchy. Kreisels worry is that this does
not correspond exactly to the notion Val. As he expresses the problem:
T he intuitive m eaning o f Val differs from that o f V in one particular: V(a)
(merely) asserts that a is true in all structures in the cumulative hierar
chy, . . . while Val(a) asserts that a is true in all structures. (1969, p. 90)
146
Va(D(a)->Val(a)).
Putting these three together, we see that Val, V, and D are, for firstorder languages, extensionally equivalent:
\fa(Val(a) +* V(a) +* D(a)).
For our purposes, there is a serious flaw in Kreisels argument. The
problem has to do with the interpretation of Val. If Val simply means
truth in all structures, then the argument is correct, though its moral is
147
not exactly what Kreisel implies. But if Val really is the intuitive notion
of logical validity (or logical truth), then step (2) is quite dubious. The
problem is that Kreisel simply identifies, without argument, the intu
itive notion with the model-theoretic notion of truth in all structures.
Needless to say, this is precisely the identification against which I have
been arguing.
Let us reexamine the two steps of Kreisels argument that involve
Val. But to avoid the above conflation, I will reserve Val for the notion
of truth in all structures, and introduce LTr for the intuitive notion of
logical truth or validity. With this disambiguation, step (1) splits into
two possible claims, namely:
(1)
Va(D(oc) - Val(a))
(1')
Va(D(a)>LTr(a)).
It turns out that both of these are legitimate, though they require
slightly different justifications. (1') holds simply because the deductive
system is intuitively soundthat is, it allows us to derive only logically
true sentences. To recognize the truth of (1), however, we need to
observe that the validity of the rules of our deductive system holds in
all of the interpretations canvassed by Val. In the case of a standard
first-order system of deduction, both of these follow by a routine
examination of the rules on a case-by-case basis. But notice that (1) is
more sensitive than (T) to the details of the deductive system in ques
tion. For example, if our deductive system included the <t>-rule, or a
rule allowing us to conclude Man(x) from Bachelor(x), then (1)
would certainly fail, even though (T) might not.
How about step (2)? Here we have the following split:
(2)
\fa(Val(a) - V(a))
(2')
Va(L7V(a) V(a)).
Clearly, (2) follows trivially from the fact that every model in the
cumulative hierarchy is a model, the same reason we gave before. But
(2') is quite another matter: it is simply the bald assertion that logical
truths are true in every model in the cumulative hierarchy. But in fact
we do not know that the logical truths of any given first-order language
will be a subset of either V or Val. To suppose that they are is just to
suppose that the model-theoretic account (whether V or Val) does not
undergenerate. If there is an argument for this contention, it must be
something quite specific to the first-order language in question, since
we have seen that it does not hold in general.
Kreisels argument goes thrbugh for the notion Val. What it shows is
that, in the first-order case, truth in all structures is equivalent to truth
148
149
to be sure, but not the one we are after. It tells us nothing about how
the intuitive notions of logical truth and logical consequence relate to
their model-theoretic (or proof-theoretic) counterparts.
Still, it does suggest a partial solution. Indeed, as the reader may
already have noticed, Kreisels argument can be combined with (T) to
settle the overgeneration question, at least in the first-order case.
Recall that (T) is the observation that the deductive system used in the
proof of completeness is intuitively sound, that only genuine logical
truths are derivable in the system.
(1')
Va(D(ot)^> LTr(a)).
This observation holds for any first-order language, whether the lan
guage of elementary arithmetic, the language of set theory, or the
simple language of Chapter 5. But Kreisel has shown, using complete
ness, that any first-order sentence that is true in all models is derivable:
Va(Val(ot) -> >()).
Combining these two, we get the result we need. In the case of firstorder languages the model-theoretic account does not overgenerate:
Va(Va/(a)
LTr(a)).
S(P, c)
where the displayed P and c are the only constituent expressions not in
the set ^ of fixed terms. Sentence (4) will be declared logically true by
the model-theory only when the following closure is true:
(5)
VXV3c[ S(X, x) ]
150
Substantive
generalizations
Logically
true
true
false
Our modification of Kreisels argument obviously generalizes, yield
ing a useful strategy for showing that a particular model-theoretic
account does not overgenerate. The strategy is simple to state, though
not always possible to implement. Find a set of derivation rules for the
language in question that, first of all, are intuitively valid and, second,
are provably complete with respect to the model-theoretic account.
When this can be done, we are assured that the model theory does not
wrongly declare sentences logically true or arguments logically valid.
The recognizable soundness of the deductive calculus transfers over,
via the completeness theorem, to the semantic account.
Of course, we know the strategy cannot always succeed, because the
model-theoretic account does sometimes overgenerate. For example, I
argued in Chapter 9 that there are second-order sentences which are
not logical truths but which are declared such by the model-theoretic
account. If so, then it follows that there is no sound deductive system
(effective or not!) that is complete with respect to the standard, secondorder model theory. This is partially substantiated by the well-known
result that no such effective system exists, a consequence of Gdels
incompleteness results.
In Chapter 9, we saw that there is no internal guarantee that an
application of the model-theoretic account will not overgenerate. Even
when it does not, there is no way to recognize this fact from the analysis
itself, from characteristics of the language, or from the expressions
held fixed. What we can now see, though, is that an external guarantee
can sometimes be found, a guarantee derived from the presumed
soundness of our deductive calculus, in tandem with a completeness
theorem showing that the semantic account reaches no further than
the syntactic.
The Problem of Undergeneration
The reason the completeness theorem is so called is that it purports to
establish that a given deductive calculus does not undergenerate, that
151
152
L7r(LM) C 7>(Lm).
It follows from this simple fact that the logical truths common to the
languages in X must be a subset of the common truths of the languages.
That is:
(7)
n LTr(LM) C n Tr(LM).
MEM
MEM
Or, equivalently:
P i L7Y(Lm) C ValM.
MEM
aE
f~l LTt(Lm).
MEM
Va(D(a)^> CLTrM(a))
(2")
Va(CLTrM(a) -+ Valjdpt))
(3")
\fa(ValAa)^D (a)).
All of these observations have, in fact, been made earlier in the chap
ter. Step (1") is simply the observation that our deductive system is
sound, independent of which first-order language Lm is under consid
eration. Thus, if a is derivable in the system, it must be a common
153
Va(CLTrM(ot)
ValM(a) + D(a)).
It is not entirely clear how significant this result really is, for all its
elegance. If our concern is to explicate the logical properties of a
specific first-order language, then (8) is of limited interest. Indeed, it
seems likely that the most significant logical truths and logically valid
arguments of a given language will be filtered out by shifting attention
to that portion of its logic common to a rich collection of languages.
From this perspective, we have done little more than redefine the
notions under investigation, and in such a way that the resulting task
has been stripped of many of the intuitions that motivated the pio
neers of modern logic, intuitions clearly at work in Tarskis original
attempt to characterize the consequence relation.
On the other hand, there is a different project in the context of
which (8) is of considerable interest. It would be misleading to think of
model theory as motivated solely by the goal of analyzing logical
properties and relations. A large part of its motivation can be under
stood only in relation to modern algebra. Indeed, a central concern of
the discipline from Tarski and Robinson on has been the systematic
understanding of notions and techniques of abstract algebra.
One of the most striking features of modern algebra is the technique
of simultaneously studying a wide collection of mathematical struc
tures, as when we investigate the properties of abelian groups. A key
insight was that one and the same proof can often be interpreted as
applying to all structures in the specified collection. By isolating the
common truths on which such a proof depends, we can obtain results
of striking generality. As a result, the practice in algebra is to group
structures together by means of a set of core truths called axioms,
and to construct proofs that rely solely on the core truths together with
the logical properties common to any interpretation of these truths.
From this perspective, a key concern is exactly the logical properties
common to a collection of interpreted languages, and so (8) acquires
added significance. It assures us that so long as our collection of
algebraic structures can be characterized by first-order axioms,3 the
consequence relation simultaneously captured by the model theory
and proof theory coincides with the specialized notion of consequence
used by the algebraist wherrreasoning about a range of structures.
This positive result is in striking contrast to the case where the collec-
154
155
12
Conclusion
In the early part of this century, it was not uncommon for philoso
phers and logicians to conflate the notion of logical consequence with
that of derivability in a deductive calculus. For example, Carnap often
promoted the view that languages, both natural and artificial, came
equipped with three sorts of rules. Two of these fell under the general
heading of syntax: the rules of grammatical syntax determined which
strings of symbols were grammatically correct sentences, and the rules
of logical syntax determined which sequences of sentences were logi
cally valid arguments. The third set of rules governed, among other
things, the semantics of the language, but at the time Carnap had little
to say about these additional rules.
According to Carnaps picture, a deductive system for a language, its
logical syntax, was essentially independent of the languages seman
tics. The question of whether one sentence followed logically from
another came down to the question of whether a derivation of the one
from the other could be constructed by means of the conventionally
adopted logical rules, just as the question of whether a given string of
words made up a sentence came down to whether it could be formed
using the conventionally adopted grammatical rules. Of course, nei
ther the logical syntax nor the grammatical syntax could be entirely
divorced from the semantics. Presumably, the semantics would not
declare a string of symbols to be meaningful if the grammatical syntax
declared it ill-formed. Similarly, if the logical syntax declared modus
ponens a valid rule, then the semantics could hardly assign the mean
ing or to the symbol if . . . then. But the view was that the syntactic
rules fixed the logic, and thereby placed constraints on the semantics,
not the other way around.
Conclusion
157
158
Conclusion
with any shared characteristic of the expressions held fixed, but rather
with facts about the world. The effort spent trying to find such a
characteristic, trying to maintain the analysis while making sense of its
haphazard behavior, would be more profitably spent on genuine issues
surrounding logical consequence.
Another example, and perhaps a more important one, is the muchdebated question of whether second-order logic is really logic. What
motivates this odd question is the fact that claims like the continuum
hypothesis are declared logically true by the standard model theory,
and yet such claims seem clearly beyond the scope of logic. But once we
recognize this as a case where Tarskis account overgeneratesand
more generally, once we recognize overgeneration as a natural and
predictable hazard of the model-theoretic techniquethe issue takes
on an entirely different light. Every genuine language has its conse
quence relation, its sentences that follow logically from others. This is
as obviously true of higher-order languages as it is of languages where
model-theoretic techniques yield more plausible results. And whether
or not we have sure-fire ways to characterize this relation, it seems clear
that the relation is a legitimate concern of logic. To claim otherwise, to
say that the logic of some languages is not logic, is just to abdicate the
disciplines natural charter.
Similar remarks can be made in cases of undergeneration. It is a
mistake to think that the logic of, for example, the language of elemen
tary number theory is confined to that characterized by the usual
model theory, or that the consequence relation that arises from the
meanings of predicate or function terms is any less significant than the
logic of connectives and quantifiers. Once again, it is only the con
flation of logical consequence with model-theoretic consequence that
inclines us to think otherwise. Once again, there is more logic to be
studied than we might otherwise have thought.
It is always important to ask whether our model theory overshoots
or undershoots the logic of a particular language. And the answer to
this question will frequently be yes. But as with deductive techniques,
this does not mean that model theory should simply be abandoned.
For as we have seen, model-theoretic techniques, when properly un
derstood, can yield genuine insight into a languages consequence
relation. For example, combined with an intuitively sound deductive
system and a proof of completeness, the model-theoretic account al
lows us to precisely specify significant portions of that relation, the
portions common to the range of languages surveyed by the model
theory.
Properly understood, both deductive and model-theoretic tech
niques can be put to good use. Both provide tools that can profitably be
Conclusion
159
Notes
1. Introduction
1. T hough the m odel-theoretic definitions have come to be standard, the
terminology still varies considerably. I have adopted the terminology used
by Chang and Keisler (1973). Models are also sometimes called structures,
valuations, assignments, interpretations, o r model structures. Term s for the
relation of truth in a model vary accordingly, with holds in and is satisfied by
sometimes replacing is true in.
2. Tarski (1936); all page references in this book are to the English transla
tion in Tarski (1956). Some writers attribute the model-theoretic defini
tions to Tarskis m onograph on tru th (1933), but this is simply an error.
3. See H ilbert (1929), p. 8 . T h e rem ark was m ade in o rder to motivate the
completeness problem for first-order logic, the problem solved by Gdel
that same year.
4. For a m ore detailed discussion of the historical relationship between
Tarskis analysis and the model-theoretic definitions, see Etchemendy
(1988).
5. T hat is, N is the intersection of every set (hence, the smallest) that has the
following two properties: ( 1 ) it contains 0 ; and (2 ), if it contains a num ber x,
it also contains 5(x) = x + 1. In symbols:
N = D{ A I 0 E A a Vx(x E A > j (x ) E A)}
2. Representational Semantics
1. Tow ard the end o f his article, Davidson hedges this claim, rem arking that
absolute tru th goes relative when applied to natural language (1973,
p. 85). T h e hedge is needed because o f indexical sentences: Davidson
allows that these are tru e only relative to a speaker, time, and place of
utterance. I think the properSnove here is not to relativize tru th to an
occasion o f us^, but rather to i cognize that the ordinary notion of truth
16 2
Notes to Pages 2 8 33
163
164
165
4. Interpretational Semantics
1. I should m ention that Tarski uses the term model in his article, though
not in the same way I have used it here. Stated in my terminology, Tarskis
use is the following: a d-sequence is a model o f a set K of sentences ju st in
case it d-satisfies every m em ber o f K. This corresponds, as Tarski points
out, to a standard use o f m odel in mathematics; if a d-sequence provides
an interpretation o f a set o f axibms on which they all come out true, then it is
commonly saief to be a model o f those axioms.
166
167
168
8. Substantive Generalizations
1. T h e m atrix of the closure Vi>i . . . Vi/n[S'] is the sentential function S'.
2. O f course, until we clarify what sorts o f individuals we count as part o f the
universe, it is hard to say what kind o f fact the size o f the universe is. T he
size of the physical universe say, the num ber of elementary particles is
presumably a contingent, physical fact. T he size o f the set-theoretic uni
verse is presumably a noncontingent, set-theoretic fact. But neither of
these are issues to be settled by logic alone; both are substantive, extralogical facts. T he point I will make does not depend on which way we go
here.
3. For a definition o f satisfaction for sentential functions containing quanti
fier variables, see C hapter 5, note 3.
4. Note that we can here ignore the cross-term restrictions used in the stan
dard semantics, since o u r sentences contain only the identity predicate,
whose interpretation we are holding fixed.
5. For simplicity, I am assuming that the range o f the variable E consists of
arbitrary subcollections o f the universe. If the range consists o f sets, then
the relevant question is about the size o f these, not the size of the universe
as a whole. Similar points can be made, though, whichever way we go.
6 . If we expand the language to include other cardinality quantifiers for
example, there exist uncountably many o r there exist inaccessibly
m any all o f the same points can be made. But then the outcome will
depend on w hether there are sets with uncountable (or inaccessible) car
dinalities, rather than ju st some infinite cardinality. Many mathematicians
who accept the existence o f infinite sets still question these stronger as
sumptions.
7. In fact, the tru th value o f (6 ) is not as clear as it might seem. Indeed, if the
169
satisfaction dom ain for the relation variable consists o f all sets of ordered
pairs, and the satisfaction dom ain for the individual variables consists of all
objects (including sets), then (6 ) is actually true according to standard set
theories. (This is d ue to the set/class distinction imposed on us by the
set-theoretic paradoxes.) In which case, the present account would still
mistakenly declare 0 - 2 logically true (and the rest of the o-, as well). This is a
bit ironic, since the usual set-theoretic assumptions are what we earlier
relied on to get a proper assessment o f 1o-B; here, they would result in an
improper assessment o f a n. T o get the right assessment while keeping the
set-theoretic construal o f (6 ), we would again have to vary the interpreta
tion o f 3.
8 . If something is at least as tall as everything else, then we say it is a minimal
elem ent o f the taller than relation. A relation can have m ore than one
minimal elem ent; for example, if everything were precisely the same
height, each individual would be a minimal element o f both the taller than
and the shorter than relation.
9. Once again, I should emphasize that my appeal to the finitists position is
simply m eant to dram atize the problem with Tarskis account. T h e prob
lem does not depend on any endorsem ent o f the position, or even on the
assumption that the axiom o f infinity, and the existence of noncommutative division rings, are contingent truths. Even if our views about m athe
matical objects lead us to conclude that these are necessary truths, which I
happen to believe, they are surely not logical truths. (If they were, then so
too would be <72, c r O u r ju d g m en t o f the logical status of such
sentences as (7) is surely not dependent on o u r belief in the axiom of
infinity, a fact brought out nicely by the finitists position.
10. T he pair-set axiom says that for any x and y, there is a set whose only
members are x and y. Since V and y can be instantiated to a single object a,
this axiom guarantees the existence o f the singleton set {a}.
11. T here are many ways o f arriving at such sentences. For example, let N(X)
and R(X) be second-order formulas that are satisfied by a set iff it is
isomorphic to the natural num bers o r the real numbers, respectively. Since
the relation Card(X) < Card(Y) is also definable in the second-order lan
guage, the closure
VXVF VZ[7V(X) a
170
< Card(Z)) ]
H ere, D ranges over interpretations (domains) for the first-order quanti
fiers and E ranges over interpretations (domains) for the second-order
quantifiers. T he usual cross-term restriction is imposed by requiring that
the latter be the powerset o f the form er. W hen we move to so-called
generalized structures this restriction is loosened, and both of the resulting
generalizations, though still substantive claims, come out false.
Bibliography
Aristotle. 1941. Prior Analytics. T rans. Richard McKeon, in The Basic Works of
Aristotle. New York: Random House.
Bell, J. L., and M. Machover. 1977. A Course in Mathematical Logic. Amsterdam:
N orth-H olland.
Bernays, Paul. 1922. Review o f Behm ann, 1922.Jahrbuch ber die Fortschritte
der Mathematik 48: 11191120.
Bolzano, B ernard. 1837. Wissenschaftslehre. Sulzbach.
---------1973. Theory of Science. T rans. B urnham Terrell. Dordrecht: D. Reidel.
Boolos, George. 1975. O n Second O rd er Logic. Journal of Philosophy 72:
509-527.
Chang, C. C., and H. Jerom e Keisler. 1973. Model Theory. Amsterdam: NorthHolland.
Copi, Irving. 1972. Introduction to Logic. New York: Macmillan.
Davidson, Donald. 1973. ln Defense of Convention T . ln Hughes Leblanc,
ed., Truth, Syntax and Modality. Amsterdam: North-Holland.
Etchemendy, John. 1983. T h e Doctrine of Logic as Form. Linguistics and
Philosophy 6 : 319334.
--------- 1988. Tarski on T ru th and Logical Consequence."Journal of Symbolic
Logic 53: 5179.
Gdel, Kurt. 1929. ber die Vollstndigkeit des Logikkalkls. Diss., University of
Vienna. Reprinted, with translation, in Gdel, Collected Works. Volume I.
Ed. Solomon Feferm an, et al. O xford: O xford University Press, 1986.
Hilbert, David. 1929. Probleme der G rundlegung der Mathematik. Mathe
matische Annalen 102: 19.
---------and Wilhelm Ackermann. 1928. Grundzge der theoretischen Logik. Ber
lin: Springer. Second edition (1938) translated as Principles ofMathematical
Logic. New York: Chelsea, 1950.
Kaplan, David. 1975. What is Russel|^s T heory o f Descriptions? R eprinted in
D. Davidson and G. H arm an, ed., The Logic of Grammar. Encino, Califor
nia: D ick en so n /
172
Bibliography
Index
174
Index
Recursion theory, 5
Reduction principle, 98-99; first modifi
cation of, 101-106; second modification
of, 110-124
Representational semantics, 10, 20-26;
and logical properties, 25; vs. interpre
tational semantics, 51, 57-64, 66, 77-79
Robinson, Abraham, 153
Robinson, R. M., 172
Russell, Bertrand, I63n6
r
U n iv e r sit e
S o r b o n n e n o u v e ll e
S e r v ic e c o m m u n
DE LA DOCUMENTATION