Professional Documents
Culture Documents
Objects
Terence Parsons
Parsons, Terence.
Nonexistent objects.
Bibliography: p .
Includes index.
L Nonexistent objects (Philosophy) I. Title.
BD2Ig . PS7 III 79-21682
ISBN 0-300-02404-5
10 9 8 7 6 5 4 3 2 I
TO MY PAR.ENTS
Preface Xl
Introduction I
I. HISTORICAL DEVELOPMENT 2
2. THE CURRENT SCENE 5
3. METHODOLOGICAL PRELIMINARIES 9
I: Initial Exposition
I I: Formal Development
burden will fall heaviest on those who are not in sympathy with
the idioms and presumptions of current professional "analytic"
philosophy. I've tried to make the main ideas of the book ac-
cessible to a broader audience, especially in the introduction
and part I.
I have benefited enormously from numerous discussions
with students and colleagues and with people outside academia
altogether. In addition to those persons mentioned in the text,
I have received special support and help from Kit Fine, Edmund
Gettier, Gael janofsky, Kathryn Pyne Parsons, Barbara Partee,
Robert Sleigh, David Woodruff Smith, John Vickers, and, most
of all, from Karel Lambert. They helped in various ways, mostly
by keeping me honest by one means or another.
I am grateful for a grant from the National Endowment for
the Humanities which, together with a sabbatical leave from the
University of Massachusetts (Amherst), gave me a year's free
time in which to write this book, and I wish to thank the Phi-
losophy Department at the University of California at Irvine for
providing office facilities and hospitality during that period.
University of Massachusetts
Amherst, Massachusetts
December 1978
Introduction
I. All references are to the bibliography at the end of the book. Most
references will be given in the text by means of the author's last name followed
by an abbreviation of the title of the work in square brackets; for example, a
reference to Russell's article "On Denoting" would be given as "Russell
[OD]," possibly followed by page references. The author's name will be
omitted if it is clear from the con text.
2. For example, "Before entering upon details, I wish to emphasize the
admirable method of Meinong's researches" ([1904 Review] P: 205) and
"Meinong's present position appears to me clear and consistent and fruitful
of valuable results for philosophy" ([I 905 Review] p. 538).
2 INTRODUCTION
I. Historical Development
certain English locutions into the terminology of symbolic logic (or into
literal English renderings of that terminology). Its most famous application
involves the word 'the'. A sentence involving this word gets paraphrased,
roughly, by means of the format:
", . . the A . '. .' => 'Something is such that it is an A, and nothing else is
an A, and . . . it . . . '. For example, 'The king of France is bald' would be
paraphrased as 'Something is such that it is a king of France, and nothing else
is a king of France, and it is bald' (where ~is bald' occupies the position of the
ellipses in the format). On its orthodox construal, you are to read the 'some-
thing' as 'some existing thing' and the "nothing else' as 'no other existing
thing', though this construal is really independent of the paraphrase method.
The main advantage of the theory is supposed to be that it allows us to replace
a sentence that contains a term, 'the A,' which apparently refers to something,
by a sentence which does not contain such a term, The latter sentence can then
be denied without the denier having to (apparently, anyway) refer to 'the A'.
Thus someone who does not believe in the king of France can comfortably
avoid the apparent commitment to such a king that is suggested by 'The king
of France is not bald' by saying instead: 'It is not the case that something is such
that it is a king of France, and nothing else is, and it is bald'. Russell also held
that English proper names are disguised definite descriptions, to which the
paraphrase should be applied (see below in the text for an example); he and
others hoped to extend this treatment to all sorts of other linguistic construc-
tions (see Unnson [PA] chaps. 3,4, 10).
4 INTRODUCTION
6. Quantifiers are locutions from symbolic logic. There are usually two,
the universal quantifier '(x)', which means 'everything is such that . . . ' or
'for any object x, . . . ', and the existential quantifier '(3x)', which means
'something Is such that ', or 'there is at least one thing such that . . . ',
or 'for at least one thing x, ).
7. The literature now contains numerous references to this distinction
INTRODUCTION 7
When we truly utter (d), we are using 'there are' in the broad
sense. When we say (e), we mean that there are no real winged
horses, and (e) is appropriately symbolized using a quantifier
that is read 'there- eixst'.
To avoid ambiguity, I will try always to use 'there are' in the
unrestricted sense, the sense of 'at least one'; when I want to as-
sert existence, I will use 'there exist' or some similar locution.
During certain periods of history (e.g., the Middle Ages) the
view that everything exists would have been regarded as abso-
lutely outrageous. But since the early 19005 it has become the re-
ceived view, very firmly entrenched and almost impossible to
refute" There are several reasons why it is almost immune to ref-
utation. First, as the received view, it has authority on its side; it
is endorsed or presupposed by those of our contemporaries
whom we most respect. Also, as the received view, it is intuitively
obvious (to many philosophers, anyway), our intuitions having
been shaped by years of experience with theories that embody
this view. These factors tend to throw the burden of proof on
those who might want to challenge the received view. But that is
almost impossible to do, for reasons that Kuhn and many others
have made clear: the view in question is a high-level theoretical
claim in our metaphysical scheme. And high-level theoretical
claims don't confront the data directly; they can be tested against
data only as interpreted by some method. And the 'orthodox view
contains within it a methodology that interprets the data so as to
preserve and protect the claim that everything exists. I've given
between 'there is' and 'there exists' (although different terminology is sometimes
used), with about half the authors pointing out the importance of the distinc...
tion (e.g., Russell himself in [ElP]) and the other half saying that they can't
see any difference. Some seem to resolutely see no distinction, and I have no
hope of convincing them; as for others, I hope that acquaintance with the
theory described in the body of the text will provide an explanatory illustra..
tion.
8 INTRODUCTION
8. Lambert and van Fraassen [D&C] pp. 199-200. See also Leonard
[EA&P] pt. X, and Marcus [Q,&O] .
INTRODUCTION 9
3. Methodological Preliminaries
and the latter sentence is true in spite of the fact that 'Pegasus'
doesn't refer at all. Don't bother skipping ahead; I won't do this.
Whenever there is a choice) my quantifiers are always intended
to be interpreted objectually.P
A third goal of mine is that the theory described be con-
sistent with the data. This is too vague to be of much help, but
it can be formulated more precisely in terms of the relation be-
tween the proposed theory and the orthodox view. This is that the
only point of disagreement between these views should be ex-
plainable in terms of what some call a "robust sense of reality,"
and what Meinong called the "prejudice in favor of the actual."
Namely, the views should agree on any issue which concerns only
existing objects. More specifically, there should be no disagree..
ment between them concerning the truth value of any sentence
whose quantifiers are all restricted to existing objects and whose
singular terms all name real objects. (The sentence 'some things
do not exist' is not one of these.) Then the orthodox view can be
seen to be a kind of special case of the more libertine one devel-
oped here; it is the libertine view with blinders on, blinders that
prohibit vision of the unreal. Another way of putting this is that
the more libertine view should "reduce to" the orthodox view
when applied to old and familiar (i.e . , real) objects in much the
same way that relativity theory and quantum physics reduce to
classical physics when applied only to slow-moving middle-sized
physical objects. This will be made clearer in chapter 6, section 2 ..
9.. Quantifiers can be read in different ways. The usual reading is the
cbjectual reading; here a sentence of the form 'There is an A' is supposed to be
true if, and only if, there is an object which is an A.. The substitutional reading
treats 'There is an A J as being true if, and only i~ there is some true sentence of
the form 'N is an A', where 'N7 is a name. In case every object has a name and
no names fail to refer, then the objectual and substitutional readings are
equivalent; otherwise, they need not be equivalent.. For example, some pro..
ponents of substitutional quantification assume that there are names which
fail to refer but which nonetheless appear in true sentences of the form 'N is an
A', and they then hold that some sentences of the form 'There is an A' are true
even though no object is an A. For example, Leonard (in [EA&PJ pt. IX)
suggests that 'For some x, x is fictitious' is true, on the grounds that 'Santa
Claus is fictitious' is true, even though the name 'Santa Claus' does not refer to
anything, and no object (e.g., no person) is fictitious. See also Marcus [Q&Ol
INTRODUCTIOJV 13
The purpose of this chapter is. to give a very simple, crude sketch
of a theory of nonexistent objects. I will confine myself here to
a description of the theory, Discussion of motivation and of
application will be postponed until later chapters, as will de-
tailed developments and discussion of subtleties.
I. Objects
Curie
X The set of Madame Curie's properties
1. This correlation is not one of identity; that is,. I am not saying that
INITIAL SKETCH OF THE THEORY 19
objects are the sets of properties that they have. The theory being developed
is not a "bundle" theory, according to which objects are bundles of properties
(though it may not be inconsistent with all such theories).
20 INITIAL EXPOSITION
2. Extranuclear Predicates
Not all predicates can stand for nuclear properties. Take 'exists'.
In the theory I've sketched, if we allowed 'exists' to stand for a
nuclear property, there would be trouble. For example, suppose
INITIAL SKETCH OF THE THEORT 23
3. Identity
I. Meinong's Motivation
the actual text. For a slightly different interpretation see Lambert [10], RoutIey
[DIO], and Lambert [ODIO].
30
MEINONG AND MOTIVATION 31
myself. True, it does entail that there are objects (e.. g., the gold
mountain) of a sort that do not exist. But it entails too much;
the principle is in fact inconsistent. Russell's arguments against
Meinong almost show this, though not quite; they will be dis-
cussed in section 3. But a variant of one of his arguments does the
trick. We need only consider the definite description 'the object
which is such that it is golden and also such that it is not the case
that it is golden.' By the satisfaction principle, this refers to an
object, call it 's'. which satisfies the- .description.. That is, g satis..
fies the description 'it is golden ~nd it is not the case that it is
golden'. So the following is true: 's is golden and it is not the case
that g is golden). But that is a contradiction. Meinong mayor
may not have intended to endorse contradictions (the scholarly
evidence is unclear);2 but I do not, for contradictions are not
true.. Even though I am advocating a theory according to which
there are impossible objects, this will not lead to contradictions
(again, see section 3).
There is a parallel here with the paradoxes .of set theory..
The unrestricted comprehension principle of naive set theory
says that for any open formula there is a set consisting of exactly
those things which satisfy the formula . Taking the formula to be
'X ~ X' then yields "the Russell set", which is a member of itself
if and only if it isn't a member of itself. Some reacted to this
result by giving up sets altogether, but the majority view was to
search for some more modest principles of generating sets, Some
fairly natural principles of set theory had to be given up, but
others were preserved.
Similarly the unrestricted satisfaction principle of naive
object theory leads to contradiction, and must be given up.. The
majority view here has been to give up all but the existing ob . .
2. The principal evidence in favor of the view that Meinong was willing
to endorse contradictions comes from sec. 3 of [ USGS W] (p. 16):
Naturally I cannot in any way evade this consequence: whoever once
has dealings with a round square will not be able to stop when faced
with a square or some other sort of object which is simultaneously
round and not round. But one will also, as far as I can see, have
weighty reason hereupon to take the initiative: the principle of con..
tradiction is to be applied by no one to anything other than to reality
and possibility [my own translation; not to be highly trusted].
32 INITIAL EXPOSITION
and:
Pegasus is the winged horse of Greek mythology.
we can infer:
Francis, the talking mule, worships the winged horse of
Greek mythology.
The other test for nonextensionaIity is failure of existen-
tional generalization. For example, 'believes that' is shown to
create a nonextensional context by the failure of the inference:
Janes believes that the tallest spy is a spy_
Therefore, someone is such that Jones believes that he is a
spy.
Here) too, the idioms in question seem to be extensional; from:
Jimmy Carter is more famous than WaIter Mondale.
one can infer:
Someone is such that he is more famous than Walter Mon-
dale.
(Note: Of course, existential existential generalization may fail
in these cases; from the above premise alone we may not be able
to infer 'Someone who exists is such that he is more famous than
WaIter Mondale'. But this is not the inference in question.)
Perhaps I have belabored the nonextensionality issue un-
necessarily, for even if the idioms in question were nonextensional,
(i) and (ii) would still provide evidence for nonexistent objects.
For they seem to have the forms of de re statements, and these
are normally thought to reintroduce the commitment canceled
by the nonextensional idiom. For example, (i) has the ostensible
form:
(i") There is something such that it is a fictional detective
and it is more famous than any real detective.
Here the quantifier comes outside the scope of 'is more famous
than', and so (i") is explicitly in the "existentially" quantified
form that is commonly acknowledged to form a paradigm case
of commitment to objects.
36 INITIAL EXPOSITION
there were limits. The most famous example is Kant, who at..
tributed the necessity of the principles of Euclidean geometry to
the structure of human spatial intuition; these. principles were
held to be somehow constitutive of this faculty, and therefore
must govern any object of which we can have a spatial intuition.
But even if he were right about this, the claim would only be that
any such object is, if square, then not round. As Meinong pointed
out, many objects are such that we cannot have an intuitive ap-
prehension of them; the round square is one of these. (In a .sense,
these objects are not conceivable.) Premise (3) would not apply
to them. (Note: Meinong granted Kant's claim that we cannot
intuitively apprehend a round square ([EP] P: 21), but I think he
may have been hasty about this. It seems to me that. dreams and
some drug experiences may provide examples, of spatial intuition
that defy description in terms consistent with the laws of Euclid-
ean geometry. The orthodox conclusion is that such intuitions
are not of objects at all, but one might equally well conclude that
they are sometimes of objects that do not obey the laws ofEuclid-
ean geometry.7)
Since there has not been a serious attempt to establish (3) in
its complete generality, I suggest that the evidence for it is
meager, and there is no need to accept it. Not- all square objects
fail to be round; the round square provides an example of this.
However, I suspect that this leaves the average reader somewhat
ill at ease. There is a feeling that one cannot understand a given
property (say squareness) without understanding how it excludes
other properties (e.g., roundness), and trying to view squareness
as not excluding roundness undercuts our understanding of what
these properties are. But perhaps the following observation will
help: being square does exclude being round for real objects
4- Intentionality
10& The terms 'de re' and 'de dicto' translate roughly as 'of the thing' and
'ofwhat is said'} and they are used to mark certain aspects of meanings of certain
English sentences. For example, on its most natural construal, the sentence
'Agatha believes that everyone will be late' says that Agatha stands in a certain
relation (the belief relation) to a certain proposition (a certain "thing that is
said")-namely, the proposition that everyone will be late. The whole sentence
is called a de ditto beliefsentence. An example ofa dere beliefsentence is 'Agatha
believes ofJolm that he is unfaithful', in which Agatha is said to be related by
belief to John himself (to a H thing"). The utili ty of the terms is that they pro-
vide a brief way of resolving certain ambiguities. For example, the sentence
'Agatha believes that a man I know will help me out' is said to have two read-
ings: the de dicto reading, which may be paraphrased as 'Agarha believes that
the following proposition is true: some man whom I know will help me out'
(this reading does not require that Agatha have any idea at all regarding which
man will help me out); and the de re reading, which may be paraphrased as
'with regard to a certain man whom I know, Agatha believes that he will help
me out'. Other examples ofde re/de dictaambiguities will be discussed off and on
in the text.
MElNONG AND MOTIYATION 47
I. "Literary Theory
But first, let me deal with a qualm that some readers may
have. Some people hold that there are no immigrant objects in
the sense in which I have used this term. They hold that when we
say, for example, that Sherlock Holmes lived in London, we are
not referring here to the real London, England, but rather to
some other city, a fictional city that doesn't exist.. (Presumably
they think this because the novels say things about London that
are not true, though it is not clear to me why one should generally
expect the sentences of a fictional work to be true.) I am inclined
to think that this view is wrong, and that when we say that
Holmes lived in London, we intend to refer (and do refer) to the
real London, England. But if I am wrong about this, it will make
very little difference to the theory being sketched. It will mean
only that I have provided a place in the theory for immigrant
objects which needs to be filled by a different kind of object, the
kind that will be discussed in section 4 under the title "Surrogate
Objects." With this qualification in mind, I will continue to speak
as if the account of immigrant objects given above is correct.
34 The Theory
than the nuclear ones. And this is because it is not at all certain
that the nuclear ones are true. They are, in fact, controversial,
and the reasons adduced on both sides of the controversy are not
very persuasive.
People who argue in favor of the truth of claims like (i) and
(ii) commonly cite reasons like these f
(a) If you are taking a literature test and are asked whether
or not Sherlock Holmes was a detective, the correct
answer is yes, despite the fact that both you and the
teacher know that Holmes doesn't exist.
(b) If I bet you that Sherlock Holmes lived at 22IB Baker
Street, and you bet he didn't, then we check the text
and I win, again in spite of the fact that we both agree
that he doesn't exist.
The trouble with these reasons is that they may not be directed at
the predications in (i) and (ii) at alL This is because we sometimes
use sentences like 'Sherlock Holmes was a detective' as mere short-
hand for claims that would be more literally expressed by'Ac-
cording to the story, Sherlock Holmes was a detective'. This is a
common linguistic practice, and it is not confined to discussions
of fiction. For example, in discussing Plato's theory of forms, we
sometimes lapse into saying things like 'The forms are self-predi-
cational', when we clearly do not mean to endorse the claim that
the forms are self...predicational, but rather to say simply that,
according to the theory, the forms are self-predicational. And in
the discussion of fiction, the practice is not limited to points about
fictional objects; in discussing Camus, we might say something
like "Human life is pointless," meaning that, according to
Camus's writings, human life is pointless. Unless we are sure that
literature tests and bets are addressed to the literal readings of
(i) and (ii), as opposed to other claims that are sometimes made
using such sentences, we cannot put too much faith in the reasons
cited above. And I think that we are not sure of this.
On the other hand, people who argue that (i) and (ii) are
not true usually cite reasons such as these: although (i) and (ii)
seem to be true, they can't really be true, since Sherlock Holmes
doesn't exist, and so he cannot have any properties at all. It will
be clear why I "find this reasoning unpersuasive: nonexistence
does not preclude the having of properties. I think it would be
nice to have a theory that preserved claims like (i) and (ii), but it
is not compelling.
There is no similar reason to mistrust (iii)-(vi). We certainly
don't believe these claims because we confuse them with what
is true according to the story. For example, we don't confuse
'Holmes doesn't exist' with 'According to the story, Holmes
doesn't exist', since we believe the former arid disbelieve the
latter. The same holds for (iv). And while (v) and (vi) agree with
what the story says, we might still believe them if the story had
said that Sherlock Holmes-was a hermit, unknown to most people
and disliked by all who knew of him..
Of course, none of this determines a theory of fictional
objects. Questions arise on two levels: what the data are, and how
to account for them. It's not even clear that (i) and (ii) are part
of the data, whereas it's pretty clear that (iii)-(vi) are. Still, even
if we accept all of (i)-(vi) as data, many different theories might
account for these. The theory I will discuss here will be the one
that strikes me as the most interesting one which can be given
within the framework of the theory of objects outlined in chap-
ter I.
The theory I propose is roughly what you get by supposing
that native fictional objects have exactly the nuclear properties
that we are naively inclined to apply to them. For example,
Sherlock Holmes is a detective, solves crimes, lives in London,
etc. Within the context of the ontology of chapter I, this deter-
mines uniquely which object Sherlock Holmes is. Specifically:
Sherlock Holmes = the object which has exactly those
nuclear properties which he is under..
stood to have in the Conan Doyle
novels.
This is actually a consequence of two proposals. The first identi-
fies Sherlock Holmes as a native of the Con an Doyle novels. This
is not a result of any particular theory, but just a matter of our
SKETCH OF A THEORr OF FICTIONAL OBJECTS 55
But there is no such object. My intent is that in such cases (*) not
be used. (Ifit is used, it is worded in such a way that ifit works at
all, then it identifies the purple dragon ofthe Conan Doyle novels
with the null object; this has a certain theoretical neatness, but I
prefer that instead of this it simply not be used at all. That is, (*)
is intended to presuppose that 'the ifJ of s' refers to an object;
when the presupposition fails, («) should not be used.)
Another more interesting case is this: suppose that a novel
says at a certain point "A crowd gathered,' and suppose that
nothing more is said about the crowd, Then none of the members
SKETCH OF A THEORr OF FICTIONAL OBJECTS 57
5. Relational Properties
Primitive Vocabulary
There will be signs to stand for objects, for nuclear properties and
relations, and for extranuclear properties and relations; in each
case we will have both constants and bindable variables. These
are:
( I) Singular terms:
Constants: a, b, c, Variables: x, y, Z, Xl,
x2, X3, • • .
(7) Parentheses: ( , ).
(8) The watering-down operator: w.
No other signs are primitive signs of f!}.l
3. Briefly, here are some of the problems involved, and a sketch of one
possible way ofdealing with them.
First, if abstracts are treated in the normal manner, then [Ay(yph)]a is
provably equivalent to [ly(apy)]b, and so the order of plugging up becomes
irrelevant; this would destroy the theory I am presenting. So if you want to
use abstracts to define the bracket notation in the manner suggested, you must
give a special treatment to abstracts, and the normalcy of the approach would
then be an illusion.
Second, you can't use abstracts in the manner suggested unless you have
some account of their contents. That is, [Ay(ypb)] doesn't make sense unless
ypb does. And normally,ypb is part of your primitive notation. But it is not a
part of the primitive notation of the theory I am giving. You see, in the enter-
prise at hand, relational statements are problematic; the goal is to account for
them in some way. I do have the notationypb, but it is defined notation, de-
fined in terms of the bracket notation, and so it can't be used (defined in that
way) to define the bracket notation. In short, using abstracts as proposed means
that you will have to invent a totally new treatment of relational statements.
For a long time, even though I was goaded by David Kaplan, I couldn't
see my way around these obstacles. Now, too late for detailed development)
I think I see a way it can be done. This isnJt quite the suggestion given above,
but it is similar. My explanation of it here presupposes notation that isn't
developed un til chapter 5, section 2, so the reader r.nay wish to return to this
footnote later. Let me confine myself to nuclear relations, since for extranu-
clear ones the order of plugging up is- irrelevant anyway. We allow relational
statements to be written in the normal manner, without superscripts: pn-r. 1 • • •
"n' And we give the customary semantic explanation to this; it's true just in
case the objects denoted fall in the extension of pn. But we require, by edict,
that only existing objects can stand in relations, and we add as an axiom:
(x) (PDt'l . • • t'jX'Ck • • • Z"n :)E!x).
Then, confining ouselves to two ..place relations for simplicity, we define:
[cer] as w[lx(axf")]
and:
[-ra] as w[h(a-rx)),
where w is the watering-down operator (see below in text) and the abstracts
68 FORMAL DEVELOPMENT
are extranuclear abstracts (see chapter 5, section 2). We keep all axioms and
rules the same except that we rearrange all singular terms in accordance with
their superscripts (which are now dropped), and we omit the PLUG axioms
because they have now become theorems. Let us call this revised system (f)*.
Then (f) seems, in a sense, to have the same theses as (f)*; this is a slightly subtle
point, since the two theories have different notations, but there is a correlation
between them (probably more than one). The one major difference between
them seems to be that (!J* says that existing objects can stand in relations to
one another in a way in which nonexistents cannot. For if a and b both exist,
we can have both:
Rab
and:
a[Rb] & [aR]b
true in (!J*, whereas if either a or b (or both) fail to exist, then only the latter
can be true. This is not in accordance with the intuitions that guided my
development of (9. (On the other hand, perhaps the best "translation" of the
former statement into (f) is E!a & E!b & a[Rh] & [aR]b, in which case maybe
it is in accordance with those intuitions.. ) I am not in a position yet to ap..
preciate the significance of these considerations.
THE LANGUAGE (9 69
(IS) Molecular: If if> and if; are wffs, then so are ~ifJ,
(ifJ & cjJ), (</J V ep), (ifJ ::> c/J), and (if> == <jJ).4
(14)_ Quantified: If if> is a wff and if a is any variable, then
(a)ifJ and (3a)<fi are wffs..
Nothing is a wff except as indicated by clauses (11)-(14). Any
wff with no free variables will be called a sentence.
It is apparent that, except for the distinction between nu-
clear and extranuclear predicate terms and for the peculiar
way in which predicate terms are combined with their singular
terms step by step to form atomic wffs, this language resembles
the ordinary predicate calculus with identity and with predicate
quantification. Symbolization of English sentences should pro-
ceed much as with the ordinary predicate calculus.f For example,
let:
h stand for Sherlock Holmes;
g stand for Gladstone;
pI stand for being clever;
p2 stand for seeing.
Then we symbolize 'Holmes is clever' as:
plk,
where the superscript on the singular term has been suppressed.
We symbolize 'Something is clever' as:
(3x)p1x.
We symbolize 'Holmes has the property of seeing Gladstone' as:
p2g2h.
In abbreviated notation this would be:
h[p2g ] .
We symbolize 'Gladstone has the property of being seen by
Holmes' as:
4. I will sometimes omit parentheses in keeping with the conventions
that c>and == dominate & and v , which in turn dominate e-.
5. In particular, the reader is temporarily asked to suppose that the
constant singular terms of (f) behave like English proper names. This over-
simplification will be rectified in chapter 5, section 4.
70 FORMAL DEVELOPMENT
p2h1g,
which may be abbreviated by:
[hp2]g.
Quantification is relatively straightforward; we symbolize 'Every-
thing that has the property of seeing Gladstone is clever' as:
(x)(p2g2x ::> plx),
AX: Any axiom may be written on any line with the empty set
as the set ofpremise numbers.
P: Any wff may be written on any line with the unit set of the
line number as the set of premise numbers.
T: If t/J is tautologically implied by some wffs on some lines in
the derivation, <p may be written on any later line, with its
set of premise numbers being the union of the sets from
the lines containing the wffs in question.
CP: (t/J ::::> cjJ) may be written on a line if <jJ appears on an earlier
line. Take as premise numbers those of the line on which
ifJ appears, leaving out any number that is the line number
of a line on which ifJ appears.
US: If (a)ifJ appears on a line, <P~ may be written on a later line
with the same set of premise numbers, provided that neither
(3 nor any variable free in {3 is bound in ifJf. 6
VG: If ifJ appears on a line and if a does not occur free in any
premise of that line, then (a)ljJ may be written on a later
line with the same premise numbers.
E: If (3a)rf! appears on a line then (a) "'ifJ may be written
'""J
11 : a = a may be entered on any line with the empty set for its
set of premise numbers.
12 : If a = (3 appears on a line and if rjJ appears on a line, then
</>~ may be written on a later line, provided that neither [3 nor
any variable free in f3 is bound in ifJ~. As premise numbers,
take all those of both earlier lines.
AB(E): For any wff 4> which does not contain Qy free, any
instance of the following is an axiom:
The ki's may be chosen any way you like, provided that I :::; k,
:$; n - i + I for every i. An example of this axiom would be
this: suppose that PI stands for being incomplete and p~ for being
admired by Meinong. Then the axiom says that there is an ex-
tranuclear property which holds of any object just in case it is an
incomplete object that Meinong admired:
THE LANGUAGE (g 73
WATERING-DOWN AXIOMS
AB(N): For any wff ifJ which does not contain qy free, any
instance of the following is a theorem:
I I I. Objects
There are two sets of axioms which deal with what objects there
are. The first contains a single axiom; it puts a~ upper bound on
what objects there are in terms of what nuclear properties there
are. It is the axiom of the identity of nuclear indiscernibles from
chapter I: objects cannot differ at all unless they differ with
respect to at least one nuclear property.
OB]: For any wff <p which does not contain Xl free, any
instance of the following is an axiom:
(3Xl) (ql) (qlx1 == ifJ).
So, for example, we get the gold mountain as follows: ifpi stands
for being golden andp~ for being a mountain, then we have:
(3Xl)(qI)(q1xl == (ql = pI V ql = P~)).
Uses of OB] following this pattern will yield objects correspond-
ing to any finite set of nuclear properties which are nameable
in the language (e.g., the round square). There are other uses,
too; for example, we produce an object just like Sherlock Holmes,
except that it has a mole on its back, by:
in other words, it does not say that an unreal object must lack
relational properties made by plugging up nuclear relations with
real objects. In fact, it is a theorem that if there are any real ob-
jects, then some unreal objects have such relational properties.
In virtue of OB] it suffices to prove that there is such a relational
property that no real object has, and this is obtained quickly
from the following instance of AB(N):
(3 q2) (xl) (xz) (E!Xl & E!X2 ::> (qZxlx2 == Xl =/; Xl))·
Following is the general statement of the first axiom set.
AXIOMS FOR PLUGGING Up NUCLEAR RELATIONS
where I s j :s; n and where the ki's and mi's must be properly
chosen. The proper choice is, intuitively, that each Xi fill up the
same place of q~ on both sides of the biconditional. This can be
made precise as follows (if you trust me, you may skip the next
few lines): if a is a simple n-place predicate term and if -rrr~ .... ,
't"rn are singular terms, then with respect to a formula if> of the
form a't~t .... 'L'"~~ we define the place of "q' written Pl<jS(~q), as
follows:
PI,('t" fI) = k 1•
Pl,(-t"ri+l) = the ki + 1th member of {I, ... ,n} -., {m. I there
is somej s i such that Pl.p{1: q ) = m}.
THE LANGUAGE (J) 77
Then we can prove trivially that all existing objects are com-
plete*, and that some objects are not complete* (the null object,
yielded by OBJ, will do). And if there are at least two existing
objects, then there are nonnull objects which are incomplete * 4
all existing objects lack. Since Xl -:F X2' these four. properties are
distinct. Then axiom OBJ says that there is an object which has
exactly P3 and P4' and that object will be incomplete* because it
lacks both Pt and P2" '
Here are a couple of theorems that are basic to many ap..
plications of the theory:
(ql) (3Ql) (x) (Qx == qx).
The proof is immediate from AB(E). On the other hand, we
have:
~ (Ql) (3ql )(x) (Qx =qx).
Axiom AB(E) tells us that there is an extranuclear property
possessed by no object at all; axiom OB] tells us that no nuclear
property is coextensive with that extranuclear property, since for
every nuclear property there is an object which has it.
Truth in an Interpretation
As a preliminary to defining truth in an interpretation, we char-
acterize what is meant by an "extended assignment." An ex-
tended assignment is a function g, defined on all the terms of {f}, and
satisfying (i)-(vi):
Now we can define the notion 'ifJ is true~g' ('ifJ is true in inter-
pretation I with respect to assignment g') by the following re..
cursive definition:
(D7) (ifJ == cjJ) is trueLg if and only if !/J and cjJ are both
truer, g' or neither is.
(DB) (if>:::> <jJ) is true I, g if and only if at least one of ,...., <p, </J
is .trueI~g.
(Dg) (3a)tjJ is trueI,g if and only if if> is trueI.g* for some
extended assignment g* which agrees with g for every
variable of (J) except possibly for (X.
(DIO) (a)<jJ is trueI,g if and only if ......, (3a)"""'1> is trueI,g-
Last, we define 'f/J is true in interpretation I' to be: '<jJ is trueI,g
for every extended assignment g' ~
erties and relations, and just do everything in terms of the function f We may
then reintroduce ext by means of the recursive definition:
If T E Nu then ext(r) = {x Ix E EX & 1 ef(x) J.
If rE JVn+h then ext(r) = {<x u • • . , x n +1) I (x 2, ••• J x n + 1) e
ext(PLUG(r, Xl) 1)}.
If we do this, the third sentence of condition (6) becomes true by definition.
The condition regarding ext in condition (7)) however, is not true by defini-
tion, and it must be retained in order for the PLUG axioms to· turn out true.
THE LANGUAGE (f) 83
prove a completeness theorem for the theory. That is) those wffs
which are provable from the rules and axioms of section 2 are
precisely the wffs that are true in every interpretation (see section 4
for a sketch of the proof) . Thus there are two independent ways of
characterizing the theorems of the theory-by means ofrules and
axioms, as in section 2, or semantically, as in the present section.
If clause (6) were strengthened by making f be onto the
power s~t of NI' then there would be fewer interpretations and
there would be more sentences true in every interpretation. The
axioms and rules ofsection 2 would then no longer be adequate to
prove all of these.. Indeed, it can be shown that no recursively
specifiable set of axioms would suffice to generate as theorems all
those sentences.f
Which formulation of the theory is better? I am not sure.
Fortunately, the choice doesn't matter much. For most purposes,
the completeness theorem given in section 4 is just a nicety.
Hereafter, almost nothing I have to say will depend on whether
the theory is formulated weakly or strongly; when I think there
is a difference, I'll mention it. So the reader may pick his or her
preferred version and go with it.
Those readers who are not formally inclined may want to
skip sections 4-6. If you do this you should take on faith:
CA) The system of rules and axioms of section 2 is consistent;
no contradiction may be derived within that system..
(B) The language (f) does have models of the sort described
in the present section; that is, it has interpretations in
which all the axioms are true.
(C) The sets of rules and axioms of section 2 a.re complete;
the theorems of that system consist exactly of those wffs
that are true in every interpretation.
Suppose we say that a wff is valid if and only if i.t is true in every
interpretation (where an interpretation is understood to satisfy
clauses (1)-(10) of section 3). And suppose we say that a wff <p
follows validly from a set r of wffs if and only if c/J is true in every
r
interpretation in which every wff of is true. It is then straight-
forward to show that every theorem of the system of section 2 is
valid, and also that if a closed wff if> is derivable from a subset of
I', then <p follows validly from I',
The converse is also true: all valid wffs are derivable, and
if <p is closed and follows validly from F, then there is a derivation
of <p from a subset of r. This completeness result can be proved
by using a standard Henkin technique. It suffices to show that
r
if is any set of wffs from which no contradiction .is derivable,
then there is some interpretation in which every wff of r is true..
r
The technique for showing this is as follows: given a set ofwffs
from which no contradiction is derivable, one can extend to a r
r
superset /71 of from which. no· contradiction is derivable and
which is both com-plete. and cv..complete (where complete =df
for every closed· wff tjJ, either <p or '" <p is a member of F'; and
oi-complete =df for every wffin F' of the form (3a)tP(a),. there is
another wff in I" of the form r!J({3).) .. This much of the proof is
standard. .Then ther.e is a recipe for constructing an interpreta-
tion I such that every wff of F' (and thus every wff of () is true
in I, as follows:
First, for any constant term a of I!J, let [a] be the set of all
terms {3 such that a =. {3 is a member of I": Then we make the
members of I as follows:
OB = {[r] It'- is a constan t singular term of (9}.
EX = {[-r] IE!z E F'}.
N n = {raJ la is "an n-place constant nuclear- predicate
term].
En = {[a] fa is an n-place. constant extranuclear pred-
icate term}.
ext = the function such that for any n-place constant
nuclear predicate term a, ext([aJ) = {< Iril-
THE LANGUAGE (9 85
5. An Orthodox Theory fe
son with l!J, these can be thought of as the same as the existing
objects. Second, the theory assumes that for any n there are certain
n-place relations among individuals; these have extensions which are
classes of ordered n-tuples of individuals. Third, there are classes
ofproperties of individuals (where a property of individuals is just
a one-place relation among individuals). And last, there are
certain n-place relations among the classes of properties of individuals
that have extensions that are classes of ordered n-tuples of those
classes. Normally, the theory of types assumes much more than
this, but these assumptions are all that I will be using, so I'll
leave out the rest.
I'll call the language of this theory ftJ. I'll begin with a pre-
cise account of its syntax, then I'll state rules and axioms for it,
In section 6, !l' will be used to provide a "model" for {f}.
6. Modeling (9 Within .2
izations just given do not uniquely single out relations, they just
constrain the extensions of the relations being chosen; but that
won't matter for purposes of the picturing.)
To picture the watering-down operation, we just need this:
if R is an n-place extranuclear relation representative, then W R
is to be an n-place nuclear relation representative such that W R
holds of any i1, •• - , in if and only if R holds of {r I i 1 has r},
. . . , {r I in has T}.
the property pI, and this is the relationship that is pictured by the
original sentence of ft'. Similar remarks _apply to the other ab-
breviations.
an = Xm abbreviates An = X m -
an = am abbreviates An = Am.
(8) If ifJ abbreviates tjJ* and <jJ abbreviates cjJ*, then '" ~
abbreviates .--1>*, and (</> & </1) abbreviates (4)* & cjJ*)'J
and similarly for the other connectives, and (3x n )lft
abbreviates (3Xn ) if1*, and similarly for the universal
quantifier.
10. See Quine [STL] sec. 36 for a kind of proof of consistency for a system
of type theory of which 2 is a fragment.
92 FORMAL DEVELOPMENT
theorem of the form <p & ~ </1, and this would be an abbreviation
of a theorem of £'. But any abbreviation of the form if! & ~ <P is
an abbreviation of something which is also of this form, and so
this would mean that !l' was inconsistent, too.
tation of (9. I don't think that concrete objects are sets of proper-
ties. For example, I don't think that you are a set of properties.
And I think the same about Sherlock Holmes, the gold mountain,
and the round square. Occasionally, people have said to me (in
an effort at friendly compromise), "When you say 'object', you
really mean 'set of properties', don't you?" No, I don't.
However, someone else might want to use (!), but mean
"object" as "set of properties"; have I now provided them the
means to do so? This will take some careful looking at. First, I
assume that when we are comparing (!) and 2 within the context
of the proposed "elimination" of nonexistent objects, we are talk-
ing about interpreted theories, not uninterpreted symbolisms.
And second, I assume that the task of the speaker of!l' is to agree,
verbally, with the speaker of (9, but without thereby committing
himself to there being any (concrete) nonexistent objects. Be-
cause if verbal disagreement is allowed, the task is trivial; the
orthodox philosopher can simply speak the language of @ but
deny that there are any nonexistent objects, and all that this
entails within {f}. For example, he can deny that Sherlock Holmes
is more famous than any real detective, deny that Pegasus is the
winged horse of Greek mythology, deny that Zeus is Jupiter, etc.
This isn't the problem; the problem is to agree with all these
"data" without thereby committing yourself to nonexistent ob-
jects. To be more precise, let us suppose that there is a speaker
A, of (9, who believes everything about nonexistent objects that is
discussed in this book, and articulates those beliefs in the sym-
bolism of (j). Then the task is to find a way to agree with those
sentences, by systematically paraphrasing them into orthodox
truths of cP.
Here is the difficulty: it is straightforward enough to cor-
relate certain words of (!) with certain words of 2, as described in
section 6, so that the correlation will preserve the syntactic prop-
erties of theoremhood and nontheoremhood. But now we are
trying to find a method of correlating certain words of (fJ with
certain already interpreted words of !l' in such a manner that
this results in paraphrasing certain sentences of (!) into certain
sentences of ft' which have the semantic property of truth, Success
in the former task does not automatically guarantee success in
the latter task, and this is the main point of this section.. Since the
94 FORMAL DEVELOPMENT
13. This is not automatic, since the procedure from section 6 correlates
existence claims of (!) with claims of .fLJ that say that there are such and such
individuals; it seems plausible, however, that if the resources could be found
within .flJ to mirror all the other extranuclear predicates of f!), then this could
be done in the case of existence as well.
THE LANGUAGE @ 97
I. Modalities
(ii) their fifth and sixth members (ext andf); that is, they
may differ with respect to which objects have which
properties.
Then we can handle modalities as follows. First, we have to sup-
pose that we are given not just one interpretation, but rather a
whole modal structure X. Then, given X, we say that a formula
of the form Deft is true in the possible world w of X with respect
to an assignment to the variables g just in case ifJ is true in every
world in X with respect to assignment g.
Here is a simple example. Suppose that we have a possible
world w which is a member of a modal structure X, and suppose
that w assigns to e the property of being an emerald, and to g
the property of being green. Then consider the sentence (neces-
sarily, all real emeralds are green'; that is} 0 (x) (E!x & ex =:J
gx). This will be true in w just in case (x) (E!x & ex :::> gx) is true
in every world in X. (With closed sentences we don't need to
worry about assignments to the variables.) Well, will (x) (E!x &
ex ::J gx) be true in every possible world in X? That depends on
what is in X. Since (x) (E!x & ex ~ gx) is neither a theorem nor
the negation of a theorem of our theory, the semantical rules
100 FORMAL DEVELOPMENT
I. There is one respect in which some may find the modal semantics
objectionable: if rp is a sentence which says something about the cardinality of
the set of objects, then 4J ~ Olft will be modally valid. For example) if 4J says
that there are at least 64 objects, then it is a theorem that <P is either false or
necessary. I don't find this particularly objectionable since I think it plausible
that it is necessary that there are an infinite number of objects (since it's neces-
sary that there are an infinite number of nuclear properties). The important
thing is that the system does not say anything about how many objects exist.
Probably there are ways to complicate the semantics so as to achieve more
neutrality about the cardinality of the set of objects.
2. Recall chapter I, note 4- It would be possible to define "possible
object" without using set variables if we had an "actuality" operator in the
language (see Segerberg [TDML]); then the formulation would be: x is
possible =df 0 (3y)(E!y & (q)(Actually (qx) => qy)).
102 FORMAL DEVELOPMENT
3. One must be careful here to avoid illicit use of the "rule" of existential
instantiation. For example) one might try to prove (3P)O(x)-Px as follows:
All but the second of these steps are permissible.' In the official set of rules and
axioms we do not have a rule of existential instantiation; although I have used
this "rule" in examples occasionally, it is used there as a shortcut rule, a rule
that does not work in all contexts. I have done this for illustrative purposes
only.
FURTHER DEVELOPMENTS OF THE LANGUAGE (f) 103
AB(E) *
Hereafter, AB(E)* will replace AB(E), which it entails.. Since
AB(E)* is an axiom, its modalized form will be a theorem, But
then, since [Axl . . . xn~] is now considered to be a genuine
predicate term, it is subject to existential generalization, and we
can now prove that there are "impossible" properties. For ex-
ample, the necessitation of one instance of AB(E) * is:
(3P)O(y) ~Py.
negation of P," and define this as (itx '" Px]. Then, necessarily,
P will be true of any object just in case P is.not true of that object;
that is, 0 (x)(Px == Px). Notice however that the latter formula
I'V
does not by itself uniquely single out P. That is, it is not generally
the case that:
(~) (QJ(D(x)(Qx == ",Px) ::> Q = p).
More accurately, this formula is not a theorem, and I do not in-
tend it to be. For I do. not believe that necessary eoextensiveness
between properties is a sufficient condition for the properties be-
ing identical. For example, I think there is a difference between:
being a (real) villager
and:.
being a (real) villager of a village in which no (real)
villager shaves all and only those (real) villagers who do
not shave themselves,
even though it is logically necessary that they are coextensive..
Likewise, their negations should be different properties, and
this would not be possible if (~) were true. (1 don't want to
misread here. The official theory given leaves it open whether or
not necessary coextensiveness constitutes a sufficient condition
for the identity of properties. One may take either side of this
issue. I am taking the negative side, in part for reasons having to
do- with the presence of predicates within the scope of proposi..
tional attitude verbs. This will be discussed fu·rther in section 3-)
We can define complex nuclear .propeFties in an analogous.
manner; for example:
This is easily seen from considering axiom OB]: for any p and q
there is an object which 'has both. Ifwe insist that the negation of
a nuclear property p be true of all and only those objects that p is
not true of then we will either have to conclude that p has no
negation, or that its negation is extranuclear (perhaps [Lt px]). "'J
6. It will be a theorem of the extended (!) that every object which is com-
plete and possible is logically closed ..
7. This proof is formulable within the extended eJ; it goes roughly as
follows:
(I) -(3x)(E!x & px) & <> (3x)(E!x & px) assumption,
(2) (3x) <> (E!x & px) from (1) and Barcan formula.
(s) <> (E!x o & pXo) existential instantiation
(4) 0 (E!x o & (3X)«q)(q EX == qxo) & pe X» set theory.
(5) c (3X)(E!x o & (q)(q EX=: qxo) & pE X) logic.
(6) (3X) 0 (E!xo & (q)(q E Xo == qxo) & p ex) Barcan formula.
(7) <> (E!.~o & (q)(q E Xo == qxo) & pe Xo) existential instantiation.
(8) (3y)(q)(qy E q E Xo) axiom OB].
(9) (q)(qyo == q e If)) existential instantiation.
Line (9) gives us the desired object Yo. We then need to show:
108 FORMAL DEVELOPMENT
are more complex proposals that are fairly natural, but I'll avoid
them because of their complexity.
Saying that sentences stand for propositions suggests treating
them as degenerate cases of predicates. Our treatment of pred-
icates has been this: when a is an n + r-place predicate (with
n > 0) and 'C is an object word, a~k is an n-place predicate which
stands for the result of plugging up the kth place of I(a) with
1('C), that is, which stands for PLUG(I(a), 1('C), k). We can par-
allel this for sentences: when a is a one-place predicate and
'C is an object word, a-r- 1 is a sentence which stands for the proposi-
tion got by plugging up lea) with I('C), that is, which stands for
PLUG(l(a), I('!), I). Then, just as there were conditions on the
extensions of complex predicates so produced, there will be con-
ditions on the truth values of the sentences so produced. Let me
call the truth value of a proposition its extension; then we have
the condition that ext(I(a~l)) must be T just in case a~l is true
according to the truth definition given in chapter 4, section 3,
and F otherwise.
We will also expect sentences of other forms to stand for
propositions, and for their truth values to turn out right. For
example, I(rp & </1) will be a proposition such that ext(/(ifJ & cjJ)
= T if and only if ext(I(ifJ)) = ext(I(if;)) = T. The same holds
for quantified sentences. For identity sentences, we should
extend the PLUG relation so that PLUG(X, Y, iden) is a prop-
osition such that ext(PLUG(X, T, iden) = Tif and only if X
= T, and then we add that a = (3 stands for PLUG(I(a), I({J),
iden). (This 'iden' is just a dummy symbol to preserve the re-
quirement that PLUG is always three-place.) These conditions
are all spelled out in detail in section 5.
We are now in a position to introduce our strongest version
-of the abstraction principle for extranuclear properties. We can
now say that x's having the property of being famous is the same
proposition as x's being famous, and that this sort of identity holds
for all such property descriptions :
AB(E)**
All earlier versions of AB(E) follow from this one. (Notice that
this does not entail a similar strengthening of AB(N) *.. ) Axiom
110 FORMAL DEVELOPMENT
4. Singular Terms
construal of "refers to" that is at issue, not the de dicta sense. In the de dicta
sense I take it that it is quite uncontroversial that we can easily "refer to"
nonexistent objects. For example, I refer to round squares in this de dicta sense
just by saying, "Round squares have always troubled philosophers." I suspect
that some of the antiorthodox arguments in the literature have only directed
themselves to establishing that we can refer to nonexistent objects in the de
dicta sense of "refers to," and, although the logic of these contexts is problem-
atic, its blatant nonextensionality shows that it need not disconcert the ortho-
doxy.
FURTHER DEVELOPitJ:ENTS OF THE LANGUAGE (9 113
A.. The man in the doorway over there looks pretty silly.
C. But there is no man in the doorway. over there.
A. (Looks again.) Oh! I thought there was; I was wrong.
B. Does he look anything like your department chairman?
A. Who?
B . The man in the doorway over there.
A. There isn't any man there; I was mistaken about that..
B. Well, he doesn't exist, but he's there, isn't he?
A. (Exasperated.) Look, I was talking about a guy who
exists; that is I thought I was, but I was wrong, I wasn't
talking about anybody. I can't tell you what "he" looks
like because there's no "he" to look like anything!
the part being negated ('The man in the doorway exists') could
lack truth value here if the negation were "wide" or "exclusion"
negation.. With regard to (b) and (c), I think they trade on our
tendency to treat the hackneyed phrase 'the king of France) as if
it referred to a nonexistent object. If we change it to a real-life
example, and put it into a real-life context, the claimed truth
values become much less plausible, For example, change the
definite description into 'the man in the doorway' (and change
'monarch' to 'man'), and try inserting these examples into the
first conversation given above; I think the advertised truth values
will lose their obviousness.
The trouble with account (2) is that it needs to be supple..
mented by an account of why people treat questions as spurious
that utilize definite descriptions that are known to fail to refer.
But that isn't too hard; we normally assume that our singular
terms refer, and to simply answer yes- or no to such a question
would be extremely misleading, at best. So maybe speaker A
won't say no when B asks if the man in the doorway looks like
A's department chairman because (i) it would give the impres..
sion that the man in the doorway looks different from A's depart-
ment chairman, and (ii) it would give the impression of convey-
ing substantive perceptual content, rather than saying something
which is "automatically" true because of failure of reference. If
this explanation were correct, then it would be all right for A to
answer no, just as long as he went on to explain that there was no
such man, And I think that this would be a natural thing to do
(but this doesn't establish account (2), because we often say no
just .as a kind of generalized protest reaction).
I am going to adopt the sec·ond account; if (?x)tjJ fails to
refer, then (~x)rjJa is automatically false. This is just because I
want to have the simplest theory that is consistent with the data.
Once we allow truth-value gaps) then all kinds of complications
creep in. For example, we need to say what happens to complex
sentences whose parts lack truth value, and there is no consensus
as to how to do. this. My enterprise is complicated enough without
burdening the reader with additional complications such as.
these.
My choice allows a nice axiomatization, namely:
FURTHER DEVELOPMENTS OF THE LAJVGUA"GE (f) 117
(Jx)p[AxaB{Sx}].
This gives the effect of descriptions having scope, but without
forcing us to consider them as incomplete symbols. And that, in
turn, allows us to "solve" one of Russell's problems (from Russell
[OD]), a problem that he himself failed to solve (at least to many
people's satisfaction). Namely, how can we write 'George IV
wondered whether the author ofWaverley was F' so that this is
distinguished from 'George IV wondered whether Scott was F'?
Russell proposed that we write it:
g wondered whether (3y)((x)(x authored Waverley ==
x =y) &y is F).
118 FORMAL DEVELOPMENT
all real giraffes; this object itself will be a giraffe, though not a
real one. Similarly, if 'the whale' is treated as elliptical for 'the
existing whale', then the whale is a mammal, (However, it will
not be true that the whale nourishes its young with milk, since
only some existing whales do this-the female ones with chil-
dren.) On this proposal, 'the round square' refers to the object
which is round and square and has no other nuclear properties;
the same is true for 'the gold mountain'. In fact, if PI' · . · .r;
are nuclear properties, then (mx) (PIX & . . . & Pox) will refer
to the object which has exactly Pb ~ . . )Pn as nuclear properties.
Probably this is not very important; I don't think it conforms to
any widespread English usage, but it is nice to have some account
of this terminology here, especially since it is terminology that I
myself have used in earlier chapters.
Finally, what about proper names? Let me symbolize them
with capital letters : A, B, C, ~ . . ; they will appear before one-
place predicates, just like definite descriptions. So we write
'Pegasus flys' just as PF. Semantically, some refer and some
don't, just like definite descriptions, except that there is no telling
from their parts what they refer to, since they have no parts. I'll
suppose that a sentence of the form Aa is true or false depending
on whether or not the object that A refers to has a or not, and
that if A fails to refer, then such a sentence is automatically false.
This makes names behave just like definite descriptions, and it
justifies the following axiom:
NAMES O(Aa == C'x)A[Ay(y = x)]a).
This essentially identifies, say, 'Fido' with 'the object which Fido
is', at least within all extensional and modal contexts.P
.,This account of names is meant to be inconsistent with
many things that are being said of them nowadays. For one
thing, it is intended that some names refer to objects that don't
there is no good reason to think this, any more than you should
think that if definite descriptions have senses, they must be
synonymous with certain names.
5. Formalization
Syntax
The primitive symbols of (f) are:
Semantics
The semantics is somewhat complicated because of the presence
of propositional attitude contexts, which require that necessarily
equivalent things may still be distinct. Thus we must have a
large number of independent clauses to require that the meaning
ofa complex is a function of the meanings ofits parts, even within
propositional attitude contexts, and that the extensions of com-
plexes (strictly, the extensions of their meanings) are functions of
the extensions of their parts when they contain no modal or
propositional attitude constructions.
I begin with a definition of a modal structure. The first thir-
teen parts of a modal structure can be most easily thought of as
constituting an account of some Russellian "meanings," where
the meanings are propositions, propositional functions, objects,
sets, etc. (1 call these "Russellian meanings" because it was
Russell who committed the sin of calling concrete things "mean-
ings.") The fourteenth part of the modal structure assigns "ex...
tensions" to certain of these meanings in various possible worlds
(and the fifteenth part consists of a distinguished world-the
"actual" world). The sixteenth part is an assignment ofmeanings
to the primitive constant terms of the language. This results in a
natural definition of truth in a structure and a definition of
validity.
A modal structure M is a sixteen-tuple which satisfies condi-
tions (I )-( 17) below:
how the system (!) is related to our native language. Many ofthose
remarks relied on a tradition of translation between English and
the first-order predicate calculus, but some of them (e.g., the
suggested treatment of definite descriptions, of identity state-
ments, and of de re beliefstatements) were somewhat unorthodox.
The point of this appendix is to give a systematic way to relate (f)
to English. This is not just an exercise; in. chapter 2 I suggested
that much of the motivation for believing in nonexistent objects
stems from our acceptance of certain sentences which seem to
require for their truth that there be nonexistent objects, and it is
incumbent on me to provide evidence that (f) really does provide
the resources for a semantical treatment of those sentences.
The techniques here are primarily due to Richard Monta..
gue, and the system proposed resembles that of Montague [PTQ].
The system addresses itself only to a fragment of English, and the
fragment is a very restricted one. It contains only present-tense
indicative sentences, it does not contain any ordinary adverbs,
nor any prepositions (except for the 'in' of location, which is
given an ad hoc treatment), nor any nonpredicative adjectives
such as 'genuine' or 'apparent); it does not contain any plurals,
and it lacks a host of other kinds of words and grammatical con-
structions as well. Still, it is fairly rich; for example, it contains
the sentence:
Every JDaD who dates a certain clever WODlaD who is
written about by Agatha Christie wonders whether
she loves him..
And it predicts that that sentence is ambiguous with respect to
whether it was "the man" or "the woman" who was written
about by Agatha Christie, and with respect to whether the 'she'
refers back to "the woman" or to "Agatha Christie."
The semantics js provided indirectly. I will show how to
associate sentences of the English fragment with certain sentences
of (!); then we say that a sentence expresses a given proposition if
and only if the associated sentence of (!) does. In general, a given
English sentence will be associated with more than one sentence
of (!); in interesting cases, this is because the sentence is ambig-
uous (see below).
136 FORMAL DEVELOPMENT
Holznes exists
HOI~ ~
"
exists
/
its exists
(As you see, proper names "get into" sentences by replacing
pronouns; there are various reasons for this, one of which is that
the position in the tree where the name replaces the pronoun
tells you its "scope.") Corresponding to each syntactic rule for
building up trees will be a "semantic" rule which tells you
how to translate the top node of the tree, given that you know
how to translate the lower nodes. The translations associated
with the tree given above are displayed to the right of the nodes
here:
./
Its Xs " "eXIsts
. Et·
FURTHER DEVELOPMENTS OF THE LANGUAGE {f} 137
EXAMPLE:
it~ ~ts El
.>
it(x, -. (TV-Pro) sees it-r[acc]
/~ it
sees S 7 X7
(The reason that the top string is generated in two steps instead
of one is that, in, natural extensions of the fragment, we would
want to have the intermediate form (the output of TV-Pro)
available for modification by an adverb; this would permit the
reading of Henry shut every door quickly, according to which
each shutting was quick; this needs to be distinguished from the
most natural reading of Henry quickly shut every door, ac-
cording to which it was the whole series of shuttings that was
quickly accomplished.)
FURTHER DEVELOPMENTS OF THE LANGUAGE(f) 141
\
wom.an W
(R5) is-Adj: If a E Adj, then is a E VP.
(85) (is a)* = a*.
EXAJ.'\tfPLE:
(is-Adj) is round R
I
round R
The next rule is in a class by itself; it is the rule which in-
troduces denoting phrases into sentences. That is) this is the only
rule which permits the introduction of proper names and of
quantificational phrases into sentences. It is actually an infinite
set ofruIes, indexed by 'n', This is also one of two rules (the other
being the relative clause former) which introduces pronouns that
"refer back" to antecedents.
(R6) Quantn : If a E DP and tP E S and itn occurs in fjJ, then
142 FORMAL DEVELOPMENT
t/J (a. n) e S, where t/J (a, n) is the result of replacing the first
occurrence of itn in r/J by a and each succeeding OCCur-
rence of itn by the singular pronoun which agrees with er
in gender, and agrees with the occurrence of itn being
replaced in case. (It is understood that when an occur-
rence of itn is replaced, its case marking is erased.)
Restrictions ". This rule may not be applied under any of the
following circumstances if a = every {j, or a = ea. {J,
or a = a{n)J3 and {3 is.short:
(i) The first occurrence ofitn in rp is in a relative clause.
(ii) a certain already occurs in {l.
(iii) the first occurrence ofitn immediately follows is.
(86) (<!'(a,n»)* = the result of replacing .4 in cr· by [AX n P*].
EXAMPLE:
/~
Cicero Cd (Quantg)
it 3 [noml is itg[acc]
.
It3
/ X3
.I
Its Xs
every woman
/ ~
some man who dates ita is happy
Restriction (ii) is to prevent every, .. " from taking wider
scope than a certain.. And restriction (iii) is to prevent the gen-
eration of a sentence like Fido is every dog (which may make
perfectly good sense, but isn't good English).
The next rule lets us make complex denoting phrases.
.a
(R7) DP: If et E Quant and e Nom, then a{j E DP.
(87) (the 13)* = ('x) (7Jx & f3*XO)L1.
(each {J)* = (every 13)* = (x)(7Jx & ~*xo :::l JxO) .
(a(n) ~)* = (a certain j3)* = (soDle ~)* =
(3x) (1Jx & (j*xo & L1xO).
Proviso: In each of the above, either x is not in the argu-
ment place of an extranuclear predicate in {3*x o
and 7J is a category word, or else x is in such a
place and "1)x &" should be omitted.
(them") * = (mx)(t3*X O ) 'il, where (l3*xO)' comes from f3*x o
by replacing every part of {3* X O of the form
lXX, where a is extranuclear, by w(a)x.
EXAMPLE:
(DP)
every WODlan w
The "category words" referred to above are exists *, fie-
tional*, D1ythica1* (probably the list should be longer), and
object*. Probably the mechanical choice of whether or not to
144 FORMAL DEVELOPMENT
Restrictions on (ii):
EXAMPLEs:
every -body P
(RCs)
(Quan4) Every m.aD who dates a certaia woman. that everybody knows
everybody (A)
(H)
The reader might want to check that the semantic rules provide
the following as one translation of the sentence (the letters refer
to the constituents of the analysis tree) :
(A) xZKxg.
(B) (x)(E!x & Px :::> xKxg).
(C) [Ax3(Wx3 & (x)(E!x & Px :::) XKX3))].
(D) (3y) (E!y & UJ7"& (x) (E!x & Px ::J xKy) & ~yO).
FURTHER DEVELOPMENTS OF THE LANGUAGE (f) 147
(RC 497)
/
man who dates Agatha who is happy
~
JUan who dates Agatha
~
it is happy
497
~~
I. Guided by these examples, the reader should now be in a position to
generate A certain fictional detective is ttlore fa~ous than every real
148 FORMAL DEVELOPMENT
<>:
Necessarily 0
<,
everything exists
The translation of this sentence depends crucially on the choice
of the category word in the translation of everything. If exi.~ts*
is chosen, then the resulting translation is:
o (x) (E!x & Tx ~ E!x),
but if object* is chosen, it comes out saying:
O(x)(Ox & Tx =' E!x)
a sentence I can only agree with if thing means something fairly
special.
(RI2) Prop-Att: If a E Vs and ifJ E S, then aif> E VP.2
(812) (a<fr)* = a*{~*}.
detecelve. The generation will presume that is.. Dlore famous than is to be
treated exactly like a transitive verb; this is probably incorrect (see chapter
6, section 4), but it is perhaps an approximation of the truth. A similar treat-
ment of knows Dlore about chem.ical analysis than would also let us
generate sentences like Every good Dlodern chem.ist knows more about
chemit=al analysis than Sherlock Hobnes. We can straightforwardly
generate Pegasus is the m.ythological winged horse; to get Pegasus is
the winged horse of Greek m.ythology we would have to add some way to
generate of Greek lDythology..
2. I don't think that this is the best way to generate propositional attitude
constructions. r have followed Montague [PTQ] here for simplicity. However,
amalgamating the that to the believes as we have done in the vocabulary
makes it very difficult to handle other constructions in which the that isabsent:
for example, Mary believes everything that John believes. For a discus-
sion of what I take to be a better treatment, see Parsons [77&0£].
FURTHER DEVELOPMENTS OF THE LANGUAGE (f) 149
EXAMPLES:
belie~mebOdY
its- - - - ; : : : : is a spy
~
(Quantg) its believes that somebody Is a spy
~
somebody (Pro- VP)
~-
it
3 believes that its is a spy
(Prop-Att)
\
believes that its is a spy
believes~ its
~
ii spy
The first of these examples exhibits the analysis tree for the S
in question that yields the de dicta reading; its translation will
be xgB{(3x) (E!x & Px & Sx)}. The second example exhibits the
analysis tree for the very same S which yields the de re reading;
its translation will be (3x)(E!x & Px & X3B{SX}).
(R13) Neg: If ifJ E Sand rjJ isn't already negative, then the nega-
tive form of ifJ E S (provided that a certain doesn't occur
in 4».
(8 13) (negative form of <fi)* = ~ifJ*.
EXAMPLES: (Neg) The king of France doesn't exist
(Quantj)
I
The king of France exists
------------
The king of France ~. it4 exists
~ /">.
150 FORMAL DEVELOPMENT
~ I
it4 exists
~
The translation of the former will be ..-v (7X) (.~!x & Kx)
[AX4E !X4], and that of the latter C,x)(E!x & KX)[Ax4 ~ E!x4].
Clearly, if there exists no king of France, then the former will be
true and the latter false.
EXAMPLE:
Gladstone
.> <.(Quant4) it3 is seen by Hohnes
it3~ is seeL
(Pass) is seen by
-,by it,
I
sees
(Non)
I
Jlongoldea
r I
Whi~OngOldeD
golden
Dlouutaia
III
Applications and Discussion
6
I. Summary -ofChapter 4
This axiom is called the axiom for objects, and I will refer to it as
axiom OBJ. This is the axiom that lets us prove, for example}
that there is such an object as the gold mountain; just substitute
(PN = GN V pN = MN) for ifJ in OB], getting:
(3x)(PN)(PNx ':= (PN = GN V pN = MN)).
The round square is obtained similarly.
IV. Finally, there are some axioms that govern the behavior
of relations. First, there is an axiom which says that, for extranu-
clear relations, the order of plugging up is always irrelevant:
(x)(y)(RE)(x[REy ] == [xRE]y).
Second, there is an axiom schema for nuclear relations which, in
its two-place form, is equivalent to two claims. The first claim is:
(RN) (x) (y)(E!x & E!y ~ (x[RNy ] == [xRN]y)).
160 APPLICA TIONS AND DISCUSSION
3· Summary of Chapter 5
D(Y)([Axq)(X)]Y == <jJ(y».
For example, if pN represents being purple, and UN being a
unicorn, then [AX(PNx & UNx)] will represent the property ·of
being a purple unicorn. This is a property that, in every world,
SUMMART OF THE FORMAL DEVELOPMENT 163
is possessed by all and only those objects that are both purple
and a unicorn; that follows from the axiom of abstract elimina-
tion:
O(y) ((Ax(PNx & UNx)]y == (PNy & UNy)).
Such abstracts always denote extranuclear properties, and we
are often interested instead in nuclear ones. So the symbol AN
is introduced for the nuclear abstraction operator, and it is de-
fined as:
(3x)(Px &yB{Sx}).
Except for the law of substitutivity of identity, no logical
principles at all are adopted for the behavior of items within the
braces. For example, although '» is a villager' and 'x is a vil-
lager who does not shave all and only those villagers who do not
shave themselves' can be proved to be necessarily equivalent, it
is not assumed that these phrases are automatically interchange-
able within propositional attitude contexts. That is, it is ·not a
theorem that y believes x is a villager if and only ify believes x
is a villager who does not shave all and only those villagers who
do not shave themselves'.
Thelaws of identity do hold even where propositional at-
titude verbs are concerned, so that from P = Q and xB{Py} we
can infer xB{Qy}. Although it's hard to find interesting versions
of that inference, a contrapositive version of it is often useful:
fromxB{Py} and ~xB{Qy} we infer P :F Q. For example, from
'x believes y has a heart' and ~ x doesn't believe y has a kidney',
one may infer that having a heart ::1= having a kidney.
Propositional attitude constructions are often thought to
provide contexts within which singular terms may violate the
law of substitutivity of identicals. For example, from 'Pegasus is
the winged horse of Greek mythology' and '» believes that the
winged horse of Greek mythology is winged', we cannot (on the
de dicta reading, anyway) infer that '» believes that Pegasus is
winged'. In fact, the treatment of singular terms within (9 avoids
this problem. That \ViII be explained below, after a sketch of how
singular terms are treated.
First, definite descriptions. They are written in the normal
way; that is, if you have a formula rP, then you can put an 7x
in front of it, ('x)ljJ, and you read it 'the thing such that if/, or
words to this effect. For example, you read:
as 'the thing such that it's winged and it's a horse', or just 'the
winged horse'. And the semantical account is that (7x)rfi refers to
the unique object that satisfies t/J, if there is one, and otherwise
('x)ifJ just doesn't refer at all.
SUMMARY OF THE FORMAL DEVELOPMENT 165
That is, 'The existing man in the doorway is clever'; I don't say
'existing', but the context makes it clear that this is what I mean.
When are such sentences true or false? The account pro-
posed in chapter 5 was that a sentence of the form (?x)if>P is true
when (7x)rjJ refers .to an object which has P, and false in all other
cases. (The reader is referred to chapter 5, section 4, for a dis-
cussion of the assignment of falsehood in cases in which the def-
inite description is nonreferentiaI.)
Names are like definite descriptions except that they have no
logically significant parts.. They are symbolized in (f) by the sym-
. bols A, B, C, . . . ; they go in sentences in the same places as
definite descriptions (i.e., preceding one-place predicates); they
either refer or not; and a sentence of the form AP is true when A
refers to an object which has P and false otherwise.
The major remaining question concerning singular terms
has to do with how to symbolize English sentences which use
English singular terms by means of sentences of {f} that use the
termsjust discussed. This is dealt with in the appendix, and I will
give only two illustrations here. The first has to 'do with the de
166 APPLICA TIONS AND DISCUSSION
concluding that the unicorn invaders were all unreal, for the task
is to decide what is true in the story, and in the story the uni-
corns are real. Maybe we add a known fact when (and only
when) it's consistent with the text? No. If we read that Agatha
bought a horse with wings, we don't immediately conclude that
she bought a horse that can't fly, just because we know that no
real horse can fly, and the story doesn't literally contradict that.
Maybe the story implicitly contradicts it? But the goal of the
enterprise is to say what the story implicitly says; there's no point
to giving principles for doing this which use what the principles
are designed to produce.
We can't even keep this problem "pure" by focusing on the
text alone, in isolation from the literary tradition in which it is
produced. Consider a story whose hero is named 'Ed King'; he is
a Mafia big shot with some unspecified scandal in his past who
has married a wealthy and powerful woman much older than
himself. Late in the novel he discovers something (which is not
revealed to the reader) which causes him to abandon his position
and become an alcoholic, and the novel ends with him nearly
blind and dying of liver damage.
Now if this were written in a certain literary tradition, facts
extraneous to the text would influence its interpretation. The
name 'Ed King' would be seen as a play on 'Oedipus Rex', and
other similarities to the Oedipus myth would clinch it. The
reader would know that King had unknowingly murdered his
own father and married his mother, and that this is what he had
discovered and what had led to his downfall. On the other hand,
the same text could have been produced in a different situation,
one in which we would judge the parallels' with the Oedipus
myth to be coincidental and irrelevant to the proper interpreta-
tion of the plot.
(c) The fact that material already stored in the account can
be removed on the basis of new information (as illustrated above)
is one of the biggest impediments to the formulation of principles
of inference to shed light on textual interpretation. In fact, our
actual inferences seem to exploit some principle of total evidence:
whether a sentence is to be included or not depends on what else
is included. Judging what is true in a story is very much like
180 APPLICA TIONS AND DISCUSSION
that in The Seven Percent Solution the character who is there called
'Sherlock Holmes' is an immigrant object, one that is native to
the Conan Doyle novels. The Seven Percent Solution is a fictionalized
account about Sherlock Holmes (and others) in much the same
way that Burr is a fictionalized account about Aaron Burr (and
others). These immigrant objects have de re judgments made
about them of the form 'In the story, x is such and such'; some-
times the 'x is such and such'- is true ("outside" the story) and
sometimes not. In The Seven Percent Solution Holmes was a detec-
tive with delusions about Mori arty ; actually he was a detective
who didn't have delusions about Moriarty,
As I said in chapter 3, I think that someone could con-
sistently maintain that there are no immigrant objects, but only
surrogates thereof However, on the account sketched above of
stockpiling characters, we must, in the controversial cases, either
stockpile an immigrant or a surrogate, but not both. We either
interpret The Seven Percent Solution as being about Sherlock
Holmes, or as being about a detective who resembles him in
some ways, but we do not do both simultaneously. There is only
one character there named 'Sherlock Holmes', not two.
Characters native to (created in) a story have all and only
those nuclear properties attributed to them in the story. This
means that such objects will typically be highly incomplete, and
will occasionally be impossible. Two sorts of incompleteness may
be distinguished here = radical and nonradical incompleteness
(this point is due to Howell [FO:HAHA]). Nonradical incom-
pleteness is the notion of incompleteness that I defined earlier; an
object is incomplete in this sense if, for some nuclear property p,
it lacks both p and the (nuclear) negation of PA Objects created in
ordinary fiction are always incomplete in this sense, because the
account specified in an ordinary story is never completely specific.
The novels do not specify, even implicitly, whether or not Holmes
has a mole on his back, so he lacks the nuclear property of having
a mole on his back and he lacks the nuclear negation of this prop-
erty as well. An object is radically incomplete if it has a property of
the form: not-having-p-and-not-having-the-negation-of-p (in the
notation of chapter 5, if it has [ANX( '" px & '" px)]). An object
which has such a property is impossible, for that is a property
184 APPLICATIONS AND DISCUSSION
created by the author'; the use of the plural here suggests that we
mean something like 'Each of the twins was created by the au-
thor'. But we don't ; the phrase 'the twins' has its group reading..
Things can be made more complicated. Suppose we have a
play whose script lists two characters named 'Rosencrantz' and
'Guildenstern', but which specifies that they always act and talk
in unison (and no other character treats one differently than the
other). Then perhaps the theory does not distinguish them. Yet
it seems that we can truly say that Smith portrayed Rosencrantz,
but he did not portray Guildenstern, so they must be distinct
objects.f The example deals with plays, not stories, and this can
raise special problems, but I think it is a fair example in the
present context. The solution depends on how the use of the
names in the script is to be interpreted. Normally, the names in
a script count as part of the story: they presuppose that the
characters (according to the story) bore those names. But bearing
a given name within a given society is a perfectly ordinary
anthropological property of an individual, (It is this anthropo..
logical relation ofa name to its bearer that I think is the focus of
the "causal" or "historical" theory of names.) So the script does
provide a theoretical means of distinguishing the characters:
one has the nuclear property of being named 'Rosencrantz" and
the other instead has the nuclear property of being named
'Guildenstern' .10
The example may be pushed another way. Suppose that it
is somehow made clear that the names used in a story are not the
.narnes borne by the characters (according to the story). For
example, the. author states: "the names have been changed to
protect the innocent." This sort of example divides into two
sorts of cases:
Case I : The statement cited is made in the course of the story
in such a manner that, in the story, the statement is being made
by the narrator N, who is then himself a character of the story.
Then in the story one character has the property of being called
'Rosencrantz' by N, and either this property or its watered-down
version will distinguish it from the other object within the theory.
(If this answer seems bizarre and concocted, recall that it is a
response to a bizarre and concocted objection.)
Case 2: Maybe the statement is clearly made outside the
story. But then in the story the characters have the names used to
refer to them there, and this is just like the original case. The
author has merely stated, outside the story, that the names used
for characters in the story are not the same as the names actually
borne by the real people on whom the characters are based.
Suppose that we return to the play case, then, and suppose
that the script makes clear that in the play both characters have
the same name. It would then be very peculiar to list them under
the names 'Rosencrantz' and 'Guildenstern', but something like
this happens when a play lists. roles as 'first crowd member',
'second crowd member', etc. Usually this is done only when the
different crowd members do different things in the play, but sup-
pose that in this particular play that happens not to be the case.
Then I think we have returned to an example just like the original
crowd example: the purported charactors of the original play
taken in isolation are not characters at all. The impression that
there must be distinct characters here comes, I think, from the
fact that in most performances of the play (though not all) there
would be distinct characters, portrayed by different actors. But
the characters of a performance of a play are typically distinct
from the characters of the original script (this must be true
since different performances often have different numbers of
characters) .
One might attempt to exploit the logic of the situation to
force a multiplicity of objects in some of the cases we have been
discussing. Suppose that in the twins case the story contains their
mother as a character. Call her m. Then in the story m has the
nuclear property of having two distinct children; so according to
the theory she has that property. That is, she has:
Then it would seem that there are two distinct children, each of
which m has:
194 APPLICATIONS AND DISCUSSION
for he does not exist. There are cases, of course, in which a fic-
tional object does have some of the extranuclear properties
attributed to it in the story. Holmes has the extranuclear property
of having been thought about by criminals, but that is because
they have read the novels, not because it says so there; had
Doyle not published his work, Holmes would have lacked this
property..
These facts lead to some possible difficulties with the theory;
these difficulties form the subject matter of this section.
To begin, suppose that a character in a story is given only
extranuclear properties in that story. Then the theory may say
either that there is no such character, or that the character is
the null object, both of which sound suspicious. Are there such
characters? Suppose that this is the story:
Story: "Jay exists. The end."
No, this won't do) for two reasons. First) the story is too meager
to be plausible; pretheoretically, it is unclear that this is a story,
or that it has a character. And second, if we were to insist on the
example, then the theory in fact would identify the hero of the
story as a certain nonnull object; it would be an object which
has at least watered-down existence, and the property of being
named "Jay." Let us try avoiding such properties by omitting
the name and changing existence to nonexistence:
Story: "An object doesn't exist. The end."
But now we pretty clearly have a "story" without a main char-
acter, so the theory does not apply incorrectly here. The moral
of these examples seems to be that if we want to make trouble
for the theory, we're going to have to produce stories which have
fairly detailed 'and well-delineated characters; extremely brief
and abstract examples just aren't convincing. And since real
objects have the watered-down versions of all the extranuclear
properties that they have, we will probably have to have recourse
to characters which, according to the stories in which they occur,
are not real. AIl this is. quite difficult to do in a convincing
manner (the reader is invited to try), but there is a closely re-
lated strategy which seems more promising. Try to falsify the
FICTIONAL OBJECTS3 DREAM OBJECTS, AND 0 THERS 199
but this just reports what he said, it does not introduce a new
character into the story, I think that this is the right way to inter-
pret this story. -However, this way out could be avoided by
embellishing the example somewhat. For example, the narrator
could have told the thug a fairly lengthy story about a policeman,
and the story could then have "come true." So let me suppose
that the story has been sufficiently embellished so that it is clear
that according to the story there are two policeman, that PM #
Pr. This supposition is needed if the story is to provide a counter..
example.
13. This example originated with Robert M. Adams.
200 APPLICATIONS AND DISCUSSION
But then this is a nuclear property that Pr has in the story, and it
is a property that there is no reason at all to attribute to PM in
the story. So the two policemen do have different nuclear prop-
erties in the story, and the theory does distinguish them from one
another.
One might, of course, attack the above reasoning, for there
are limits to the inferences that one can make within stories (see
section I above). But normal inferences can be made, so long as
they are not unduly complex, and so long as they contribute to,
rather than detract from, the surface coherence of the story. Our
inferring that Pr has [jtNx(PM =1= x)] is a case of such a normal
inference.
This sort of reasoning will suffice to avoid most realistic
counterexamples based on characters which are distinguished
within a story "only" by the fact that one is real and the other is
not. But there is one more type of possible counterexample (the
last that I'll discuss) which is not so easy to avoid. The idea is
to have two stories, each of which contains subsidiary stories (or
dreams) or legends) about objects which, according to the main
story, do not exist. Then if the subsidiary stories are sufficiently
similar, perhaps the theory will be unable to distinguish char-
acters of the subsidiary stories when they should be so distin-
guished. But before discussing this sort of objection, we need to
see how the theory applies to stories within stories.
Suppose that a story occurs within another story, such as the
famous case of the play-within-a-play in Hamlet. How does the
theory apply to the characters of the subsidiary story ? Well, it
identifies such a character as the object which has all and only
FICTIONAL OBJECTS, DREAM OBJECTS, AND 0 THERS 201
8. Alternative Theories
we have:
Sherlock Holmes ~ the object which has exactly those
nuclear properties of the form "having p in s," where p is a
(nuclear or extranuclear) property attributed to Holrnes in
the Conan Doyle novels, and s is the account determined by
those novels .
Let me call the former theory 'Mod I' and the latter 'Mod 2'.
Then Mod 2 has at least one possible theoretical advantage over
Mod I : it seems to bypass at least some of the worries about ex-
tranuclear predications within stories that were raised in section
7. For if one character has P attributed to it in s, and another
character has P' attributed to it in s' (where P and P' are dis-
tinct), then the former (but not the latter) has [ANX(X has P in
s)], and the latter (but not the former) has [ANx(x has pi in s')],
and so the theory automatically distinguishes them. (Actually it
does so only if [;{Nx(x has Pin s)] and [ANX(X has P' in Sf)} are
different nuclear properties. This could fail to happen, for it is
not in general true that distinct extranuclear properties have dis-
tinct watered-down versions.H But this could probably be main-
14. We can prove that for some P and Q, P #- Q and wP = wQ, by the
following adaptation of Cantor's theorem.
By axiom OB] there is some object x o, such that:
Now we can show that "'W wQxo• For assume otherwise. Then by (3) we
have:
But this contradicts the conjunction of (2) and the assumption that
wQxo- So we have shown :
(7) ~wQ.xo·
This, together with (3), yields:
(8) (3P)(wQ= wP& ~(y)(Py::> --wQy»).
That is, for some P, we have:
(9) wQ = wP and (3y)(Py & wQ.y).
It suffices then to show that P :f:. Q, and this is easy, For assuming
P = Qin (9) yields:
(10) (3y)(Qy & wQy),
which contradicts the conjunction of (2) and (7).
FICTIONAL OBJECTS, DREAM OBJECTS, AND OTHERS 205
but to pursue this topic in any detail here would take me far
beyond my present task (but see chapter 8, section 6).
In (b), van Inwagen says that fictional objects exist. This is a
little tricky to evaluate, since he also insists that 'there exists'
means the same as 'there is', a view which I do not accept. From
the perspective of the present work there are two ways to inter-
pret this claim. First, we may take his 'there is/exists' to mean
just 'there is'; on this interpretation his theory may be consistent
with Mod 2. (It lacks any detailed ontological development, but
so does Mod 2 if taken in isolation from the rest of the book.. )
Second, we may take his 'there is/exists' to mean 'there exists'.
Then there are two issues to face. First, a superficial difficulty:
Sherlock Holmes doesn't exist, but van Inwagen says he does.
However, van Inwagen can explain this: when we say that
Holmes doesn't exist, we don't say literally what we mean. We
mean something like 'Holmes is not a man' ('There exists no man
who is Holmes') or "Holmes does not have the properties com-
monly attributed to him' ([COF] p. 308). I don't think this is
right, but I have no argument against it that doesn't beg the
question. This is a twist on the paraphrase approach to non-
existent objects: instead of paraphrasing away the apparent ref-
erences to the alleged nonexistent objects, we paraphrase away
the allegation that they don't exist. (However, van Inwagen
explicitly limits this technique to fictional objects.)
If we assume with van Inwagen that fictional objects exist,
Mod 2 cannot be the same as his theory, since according to Mod
2 fictional objects are incomplete, and so they do not exist. Van
Inwagen's objects must be complete, and so they must have lots
of nuclear properties that they do not get by means of attribution
in a story. To say more about the details of his theory here would
be to go beyond his statement of it; let me just suppose that it has
been filled in in some appropriate manner. Then we could com-
pare this enterprise with Mods I and 2 as follows: both recognize
the need for fictional objects, including objects which are said not
to exist, and both add them to our ontology, One approach is to
bloat the realm of existence and the other the realm of nonexis-
tence. As theories offictional objects alone, it is hard to assess ei...
206 APPLICA TIONS AND DISCUSSION
objects.
Second, there is often an early time at which the myth is
generally believed to be a true account. At such a stage in history,
apparent references to the participants of the recounted happen-
ings should be treated as genuine failures of reference to real
objects rather than as successful references to unreal ones. When
the situation is in flux, so that some people believe the story and
some don't, there may be unresolvable difficulties regarding
which line to take..
Legends raise a slightly different problem. Suppose that we
know or suspect that a given legend is based on the activities of a
real person, but that we assume that most of the feats recounted
in the legend were not in fact performed by that person. When we
use the name from the legend (e.g.. , 'Noah' or 'Homer'), do we
refer to the real person on whom the legend is based, or to a non-
existent "fictional" object who is native to the story? (This prob-
lem has been discussed recently within the context of the causal
theory of names, where it is usually formulated as the issue of
whether or not a name from a legend is "empty.") There is
probably no simple general answer to this question.
much the same way that paintings do. Rodin's The Thinker de-
fines a native object, whereas Michelangelo's Bacchus yields an
immigrant one.
Objects native to works of visual arts are always incomplete,
and, as with Escher's prints, occasionally impossible as well.
Plays are peculiar in that we have both scripts (which are
often read as stories in their own right) and performances. The
information in a script is presented propositionally; that in a per-
formance (except for program notes) is presented by gestalt. It is
probably impossible for any performance to present exactly the
same information as is contained in a script, and that suggests
that we will have to distinguish the characters of a performance
from the characters of the script. This is initially surprising, but
in fact we do seem to talk in this way. For example, we compare
"Barrymore's Hamlet" with "Burton's Hamlet" as if we are
comparing two different things; they can't both be Hamlet, then,
and it is plausible to suggest that neither of them is. (This is not
to deny that they both play Hamlet, where this Hamlet is the one
from the script; this is like two different actors both playing
Lyndon Johnson, in McBird).
8
of any sen tence of the form D [(')x) Dx]. (In Barnes's formalization of Anselm's
'V
argument, these rules are employed in his steps (8) and (27).) The theory
of objects as I have formulated it would sanction rule RAAAns, but would not
allow the use of universal specification (Barnes's rule DE) for arbitrary definite
descriptions since the theory assumes that some definite descriptions do not
refer to anything.
216 APPLICA TIONS AND DISCUSSIOJV
yE extw(Ag(w[AxcP])
iff yE extw(W(Ag([AxqSJ)) by condition (16.18)
iff yE extw(Ag«(hep))) by condition (14.18)
iff yE extw(h), where h is the function that maps any given object z to
Agz(ifJ)J where g% is just like g except that gz assigns z to x,
by condition (r6.19)
TRADITIOJYAL ISSUES 221
4. Essentialism
ists, But the clause 'in every world in which x exists' has a dif-
ferent import in the (orthodox) theories within which it is usually
invoked than it has here. For in those theories, existing in a world
is usually tantamount to falling within the range of the quanti..
fiers in that world, and in the present theory those conditions are
not equivalent. In short, there is another version of essentialism:
must there always be at least one object that has at least one
nuclear property necessarily? The answer is no, but this answer
may not be of any great significance (see below).
Let me call a modal structure an antiessentialist structure if,
in that structure, for any object x and any nuclear property p,
there is a world in which x does not have ft. Then it is relatively
easy to describe antiessentialist structures in which no object ex-
ists in any world." This may be regarded as not very interesting.
The difficulty with showing that there are more natural anties-
sentialist structures-ones in which lots of worlds (say, t\VO or
more) contain lots of existing objects (say, two or more) is that
such structures are so big and complicated that it is difficult to
verify that they satisfy the conditions for being modal structures;
this is due mainly to verifying that the watering-down and plug-
ging-up conditions hold. I haven't been able to show that there
are any antiessentialist structures of this sort, though my con-
fidence has been strengthened by my inability to show that there
are no such structures.
which w is paired, and let EXw = A. (For ext w , see below.) Let P = the
set of all functions from W into {T, F} . If wE Wand if SE P, define extw(s)
to be s(w). These conditions then force certain other conditions, and leave
certain others open. For example, if r s E n+ 1 with n ~ 1, then PLUG(r, x,
k) must be the unique r' E En such that for any Xl' • • . , X n € OB and WE W,
r'«x 1 , • • • , Xn»(W) = r«xl' ... , Xk' X, Xk+l' • . " X n ») (w).. It is
left open which atomic predicates stand for which properties and relations..
Since EXw = 11, many conditions on modal structures are vacuously satisfied;
this is what makes these structures easy to construct. It is easy to show that any
such structure is antiessentialist: let x E OB and pE JYl' and let w be the world
paired with the function that maps x to A. Then, in that world, x has no nu-
clear properties at all, and so, in particular, x does not have p.
TRADITIONAL ISSUES 227
this was a mistake.f and, so used, it fails to refer. But now the
word is often used to refer to a character in 'a scientific legend.
I'll discuss the legend view first.
The Vulcan hypothesis has all the earmarks of a scientific
story. It has a setting: late nineteenth-century science. The
story line sanctions certain definite descriptions, some of which
do and some of which do not pick out characters. The description
'the planet that is chiefly responsible for the perturbations in the
orbit of Mercury) picks out a character; 'the chemical composi-
tion of Vulcan's crust' does not. Most of the characters of the
story are immigrants: the Sun, Mercury, the Earth, the other
planets. Vulcan itself is a native to the story. It has as nuclear
properties all such properties that are clearly predictable within
the science of the day from its being the planet that is chiefly
responsible for the perturbations in Mercury's orbit. Although
the story started as an intended description of existing things, it
is now retold under no such misapprehensions, often for amuse-
ment. And Vulcan is referred to in other contexts, where a mys-
terious astronomical figure is called for. This has all of the ear-
marks of a legend, with Vulcan its chief character. 9 And 'Vulcan'
refers to this character.
On the other hand, the scientists who searched for Vulean
used the name as we use the name 'Mercury', to refer to an exist-
ing object; such a use incorporates a "mistake» of the sort dis..
cussedin chapter 5, section 5, and so used the name fails to refer.
I base this judgment solely, however, on a linguistic intuition
of mine. Someone could maintain, for example, that 'Mercury'
and 'Vulcan' are' both used with "disjunctive reference condi-
tions"; they refer to real objects if there are any real objects
which fit the theories that we have about them, and, otherwise,
they refer, by default, to native characters of associated legends"
This seems wrong to me, but I feel some uncertainty on the issue)
and I have no argument to back up my view.
8. I don't mean here that the scientists themselves necessarily had any
false beliefs, for they might have been skeptical about the predictions they were
testing. It's rather that the word was used to refer to the existing object,.if any,
which would fulfill the predictions..
9. I am indebted here to Carl Coniglio.
230 APPLICATIONS AND DISCUSSION
"Unobservable:1:1 Entities
If Vulcan existed, we could fly up and look at it, perhaps land on
it, sink our teeth into it. Not so neutrinos or the ether; these are
classic "unobservable' entities. Maybe they aren't really un-
observable (maybe tests for their existence and properties count
as observations of them) ; I won't need to take sides on this issue..
First, neutrinos. I'll assume for purposes of discussion that
contemporary science is right in thinking that there are such
things. Now some people would hold that, although there are
neutrinos, they don't exist-because they aren't observable, or
aren't directly observable, or whatever. If this is correct, then
they constitute examples of nonexistent objects. But this view, in
isolation, runs the risk of being metaphysically boring. It's as if
we decided that automobiles don't exist, but that they have the
same properties they would have if they did exist. This idea
skews the extension of 'exists' while leaving everything else alone.
I suspect that many such views reduce to questions regarding
the usage of 'exists'.
An interesting variant is that neutrinos do not exist because
they are incomplete. Your typical neutrino neither attends
church regularly nor fails to do so, neither has hair nor is bald.'
This view, of course, depends rather heavily on what is meant
by 'incomplete'. This is not an easy issue, but I think we can make
a general judgment about neutrinos without settling it .
Suppose, first, that the aforementioned facts do show
neutrinos to be incomplete. Then ordinary objects will be in-
complete too, for they lack properties that are appropriate to
TRA.DITIONAL ISSUES 231
and this leaves the ether in the same boat as Vulcan. There is a
legendary ether, which fails to exist, and there is also a usage of
the word 'ether' in which the word simply fails to.refer,
Ideal Entities
Ideal entities differ from. all the examples considered previously
in that no one thinks they exist. For example, point masses are
used in physics as a "convenience"; their nonexistence was not
discovered, but was known prior to their invention. Are there
(nonexistent) point masses then? Or is discussion involving point
masses just shorthand for hypothetical talk about "limiting
cases"? When it is said that "Two point masses rebound with
such and such trajectories," does this mean that certain non-
existent objects actually do behave in such a manner) or that the
trajectories so described are the limits of what can happen to
existing objects as their sizes shrink and their behavior becomes
less and less influenced by factors not under discussion?
The trouble with making sense of the former view (that such
talk describes the actual behavior of certain nonexistent objects)
is in getting straight on specific applications. Here is one problem
that might have to be faced. One of the prevalent uses of point
masses in physics is one in which (a) the point masses are entities
that exactly obey the 'idealized physical Iaws under discussion
(e.g., Newtonian mechanics, ignoring electromagnetic effects),
and Cb)· the point masses are "associated" with certain actual
existing objects. For example, the earth is said to move around
the sun as if each body were a point mass located at the center of
gravity of the body in question. However, the paths of the center
of gravities of the earth and the sun do not exactly obey the laws
in question, so it is not clear how to effect the "association"
between the bodies and the point masses; there is either no way
to do. it, or many "inexact" ways, with no way to choose between
them. This suggests that in such applications the movements
of the actual bodies are being idealized as well. And this increases
the suspicion that in such applications it is the hypothetical
behavior of actual objects that is being discussed, rather than the
actual behavior of nonexistent objects. But these considerations,
I think, barely scratch the surface.
9
Global Issues
(2) o (3z) (E!z & e: [Rx] & [zR]x & '" (z[Ry] & [zR]y».
aW{s},
but It IS not even well formed to say that Agatha wonders
(whether) Sherlock Holmes:
aW{h}.
This case does not seem particularly troublesome, but others
give rise to greater uneasiness. Suppose I have a dream in which
there is a proposition which Agatha believes, and which (in the
dream) is chartreuse (i.e., the proposition is chartreuse) . Some-
how a chartreuse proposition seems like the sort of thing you can
dream about; yet it isn't allowed within @.
GLOBAL ISSUES 241
for the "right" ones), then the theory itself is undercut. For the
presentation of the theory of (!) used terms like 'is a property', and
employed them in such a way that it makes sense to attribute
them to objects. For example, it makes sense to say 'no object is a
property', and this is just as meaningless (according to the view
now being explored) as 'some object is a property'.
Actually I am not at all sure that my presentation of (9 does
presuppose that 'no object is a property) makes sense. Perhaps a
careful exposition of the theory could obey all the ground rules of
the theory itself. But suppose that this is not possible, Then the
theory could not be given an exposition which is meaningful. This
doesn't mean that the theory itself, (9, can't be meaningfully
stated; it's only the metatalk, the explanation of the .theory,
which is not meaningful. But this is a special sense of 'meaning-
ful', and it's not clear 'that this is so bad. Perhaps it is merely a
dogma that presentations of theories must be meaningful in order
to be worthwhile. Surely it is reasonable to take an instrumental-
ist view of the presentations of theories, if not of the theories them-
selves, and then the most" that can be expected of them is that
they lead us to true theories. Perhaps my presentation of (9 is like
that. The presentation of the theory is an act which has conse-
quences. One of the consequences is that people come to under-
stand a meaningful and true theory. If the presentation is not
itself meaningful and true, then they will not arrive at the theory
(from tbe presentation) by means of explicit definition and de-
ductions of logical consequences; but most of our learning does
not take place by those means anyway.
Tve left a lot of loose ends, but in a way I think this is appropri-
ate. If I had tied them all up, the resulting theory would reflect
my own idiosyncrasies even more than the present one does, and
it would be more difficult for others to interact with it. My feeling
right now is that the things most worth exploring are issues in-
volving temporal properties (see the introduction, section 3, and
chapter I, note 10); the (possible) simplification of the notation
discussed in chapter 4, note 3; and the variants of the theory dis-
246 APPLICA TIONS AND DISCUSSION
J-..
Hintikka (ed.), The Philosophy of Mathematics. Oxford:
Oxford University Press, 1969-
Hintikka, J. [CES] "CogitoErgoSum: Inference or Performance?"
Philosophical Review 71 (1962) :3-32.
Howell, R. [LSPR] "The Logical Structure of Pictorial Repre-
sentation." Theoria 40 (1974) :76-109.
- - . [FO:HAHA] "Fictional Objects: How They Are and
How They "Aren't." Poetics 8 (1979) :129-77.
Kaplan, D. [QI] "Quantifying In." In D. Davidson and
J. Hintikka (eds.), Words and Objections: Essays on the Work
of w. V. Quine. Dordrecht: Reidel, 1969. Reprinted in-
Linsky [R&M]..
- - . [B&.C&T&A] "Bob and Carol and Ted and Alice." In
J. Hintikka, J. Moravcsik, and P. Suppes (eds.), Approaches
to Natural Language. Dordrecht: Reidel, 1973.
- - - . [Dl "Demonstratives.' Unpublished draft.
Kenny, A.. [DOA] "Symposium: Descartes' Ontological Argu-
ment." In J. Margolis (ed.), Fact and Existence. Oxford:
Blackwell, 1968. "
255
256 Index