Professional Documents
Culture Documents
ROSENKRANTZ
University of North Carolina at Greensboro
noseikrantz. Cary 5,
HAECCEITY
An Ontological Essay
I, HOGICCeity (PrtilOgephp
B0395.5.R67 1993
III--dca
I,
I/. Sirle%.
93-27789
ISBN 0-7923-2438-2
Copyrighted materi al
GARY S. ROSENKRANTZ
University of North Carolina at Greensboro
TABLE OF CONTENTS
HAECCEITY
An Ontological Essay
PREFACE
ix
1
6
11
16
22
42
53
56
69
72
72
77
82
93
97
106
124
130
I Metaphysical Explanations
II Qualitatively Indistinguishable Concreta
III Proposed Criteria of Individuation
IV Principles of Evaluation for the Proposed Criteria
V Evaluations of the Proposed Criteria
VI The Haecceity Criterion: Neither Trivial Nor Circular
VII Responses To A Priori Objections to Haecceity
VIII Haecceity: A Metaphysical Explanation of Diversity
CHAPTER 3 - HAECCEITIES AND NONEXISTENT POSSIBLE INDIVIDUALS
140
140
146
150
166
168
168
179
viii
TABLE OF CONTENTS
184
184
191
196
198
204
214
220
225
236
241
INDEX OF NAMES
245
INDEX OF SUBJECTS
247
CHAPTER 5 - ACQUAINTANCE
PREFACE
Philosophical discussions of haecceity or "thisness" give rise to a number of
controversies. One of these controversies concerns whether or not there are
haecceities or "thisnesses". This controversy over the existence of such
attributes is pertinent to a body of contemporary research in metaphysics,
epistemology, and the philosophy of language, including analytic investigations of Identity and Individuation, Modality and Possible Worlds, Propositional Attitudes, De Re Belief, and Names. For example, philosophers who
accept the existence of haecceities have advanced the following claims. (1)
Haecceities provide a criterion of identity across possible worlds for
particulars.' (2) De re necessity can be understood in terms of de dicto
necessity because individuals have haecceities. 2 (3) De re belief can be
analyzed in terms of de dicto belief because individuals have haecceities. 3
(4) A person, S, grasps his own haecceity when he has a piece of selfknowledge expressible in first-person language, and S cannot identify an
external thing, x, unless S uniquely relates x to himself in such a way that
S grasps his own haecceity. 4 (5) In some contexts, haecceities of particulars
are intensions of indexical expressions or proper names.'
Of course, philosophers who deny that particulars have haecceities reject
(1)-(5). Typically, these philosophers argue either that the notion of such a
haecceity is obscure, or that haecceities of this kind are peculiar entities, or
See Robert Adams, "Primitive Thisness and Primitive Identity," The Journal of
Philosophy, 76 (1979), pp. 5-26.
2 See
Alvin Plantinga, The Nature of Necessity (Oxford: The Clarendon Press, 1974).
See Roderick Chisholm, Person and Object: A Metaphysical Study (La Salle: Open Court,
1976), Chapter 1, and Appendix C.
4 Roderick
See M. Lockwood "Identity and Reference" in M. Munitz, ed., Identity and Individuation
(New York: New York University Press, 1971), pp. 199-211, and "On Predicating Proper
Names," The Philosophical Review, 84 (1975), pp. 471-498. Also see Roderick Chisholm,
Person and Object, Chapter 1; and Nathan Salmon, Reference and Essence (Princeton: Princeton
ix
PREFACE
PREFACE
xi
See Roderick Chisholm, "Objects and Persons: Revisions and Replies," Grazer
Philosophische Studien, 7/8 (1979), pp. 317-388, The First Person (Minneapolis: University of
Minnesota Press, 1981), and "Possibility without Haecceity," in Peter A. French, Theodore E.
Uehling, and Howard K. Wettstein, eds., Midwest Studies in Philosophy, II, Studies in
Essentialism (Minneapolis: University of Minnesota Press, 1986), pp. 157-164. Also see Ernest
Sosa, "Propositions and Indexical Attitudes" in H. Parret, ed., On Believing: Epistemological
and Semiotic Approaches (Berlin: Walter de Gruyter, 1983), pp. 316-332.
' This distinction was drawn by D. C. Williams in his Principles of Empirical Realism
(Springfield, Illinois: Charles C. Thomas Publisher, 1966), p. 74. In a similar vein, Brian Carr
has recently distinguished between categorial description and categorial realism. See Carr's
Metaphysics: An Introduction (Atlantic Highlands: Humanities Press International, 1987),
Chapter 1.
xii PREFACE
PREFACE, xiii
xiv PREFACE
CHAPTER 1
INTRODUCTORY PRELIMINARIES
"There is a certaine singularitie, interest, and proprietie
in euerie thing."
[1583 Stubbes The Anatomie of Abuses II. 11 (1882)]
That singularity which seemeth so close girt to every
individual creature."
[Beaumont Psyche, or love's mystery XXI. lii (1684)]
'The anglicized term haecceity derives from haecceitas, a term coined by Duns Scotus
(1266-1308). Haecceitas is from Latin haecce, haece, fem. of hic this. Thus, the literal
meaning of haecceity is thisness. According to the Oxford English Dictionary, the first
appearance of the anglicized form in a text is in 1647: "Here club-fisted Logick with all her
Quiddities...nor Scotus with his haeccities was able to dastardize or cow his spirits, but he made
her who first appeard like a Gorgons head, to prove a meer Bugbeare." (Robert Baron, The
Cyprian Academy, Lib. I., p. 6)
CHAPTER
3 See
INTRODUCTORY PRELIMINARIES
Compare Johannes Duns Scotus, The Oxford Commentary On The Four Books Of The
Sentences (selections) in Hyman and Walsh, eds., Philosophy in the Middle Ages (Indianapolis:
INTRODUCTORY PRELIMINARIES
CHAPTER 1
6 The
of this chapter.
The term 'trope' as a name for such concrete "properties" is due to D. C. Williams, The
Principles of Empirical Realism (Springfield, Illinois: Charles C. Thomas Publisher, 1966). A
trope such as Aristotle's wisdom would not, of course, itself be wise: it is Aristotle who is wise.
Moreover, Aristotle's wisdom could only be possessed by Aristotle, though other wise
individuals, for example, Socrates, possess a particular wisdom of their own which could not
be possessed by anyone else. Likewise, the particular squareness of a certain object could only
be possessed by that object, and each square object possesses its own particular squareness
which no other square object could possess. Furthermore, the particular squareness of a certain
object shares the spatial location of that object. In addition, it appears that the particular
squareness of a certain object is square, and hence possesses spatial parts. Many modern trope
theorists do not postulate both tropes and universals, and many identify either everyday things,
or substances, with collections of tropes. Examples of trope theorists include D. C. Williams,
G. F. Stout, "Are the Characteristics of Particular Things Universal or Particular," symposium
in Proceedings of the Aristotelian Society, Suppl. Vol. 3 (1923), pp. 114-122, and Keith
Campbell, Abstract Particulars (Oxford: Basil Blackwell, 1990).
8
The term, `mereological', derives from the Greek liapoc, meaning part. Accordingly,
mereology is the theory of parts, or more specifically, S. Lesniewski's formal theory of parts.
Typically, a mereological theory employs terms such as the following: proper part, improper
part, overlapping (having a part in common), disjoint (not overlapping), mereological product
(the "intersection" of overlapping objects), mereological sum (a collection of parts), mereological
difference, the universal sum, mereological complement, and atom (that which has no proper
parts). Formal mereologies are axiomatic systems. Lesniewski's Mereology and Nelson
Goodman's formal mereology (which he calls the "Calculus of Individuals") are compatible with
Nominalism, i.e., no reference is made to sets, properties, or other abstract entities. Lesniewski
hoped that his Mereology, with its many parallels to set theory, would provide an alternative
to set theory as a foundation for mathematics. Mereological theories of this kind are
collectivistic: they imply that any individuals, no matter how scattered, have a mereological sum
or comprise an object. For an authoritative discussion of the principles of formal mereological
systems see Peter Simons Parts: A Study in Ontology (Oxford: Oxford University Press, 1987).
CHAPTER 1
INTRODUCTORY PRELIMINARIES
me.
The distinction between general and nongeneral propositions parallels the
distinction between general and nongeneral properties. The former distinction is illustrated by the following examples.
General Propositions
Someone is white
The tallest man is wise
All men are men
For every metal,
there is a solvent
Nongeneral Propositions
Jones is white
That man is wise
I am a man
The tallest woman
on Earth is black
CHAPTER 1
9
Some philosophers employ the term 'attribute' to cover both properties and relations. In
the system of classification adopted by these philosophers, my distinction between properties and
relations reappears as the distinction between singulary attributes and nonsingulary attributes.
INTRODUCTORY PRELIMINARIES
INTRODUCTORY PRELIMINARIES
1 0 CHAPTER 1
11
there being a truth of a certain kind entails that there is an n-term abstract
object appropriate to such a truth. A proposition is the appropriate sort of
abstract object for a de dicto truth. Because the existence of a de dicto truth
entails the existence of a proposition, and because every proposition is a
termless abstract object, there being a de dicto truth entails the existence of
a termless abstract object. Since there being a truth of a certain kind entails
that there is an n-term abstract object appropriate to a truth of that kind, it
follows that a proposition is a zero-term abstract object. The fact that
propositions are zero-termed, properties are 1-termed, and relations are multitermed implies that necessarily, Property, Relation, and Proposition are
mutually exclusive categories.
10
For a defense of Qualitative Realism see Roderick Chisholm, "Objects and Persons:
Revisions and Replies," Grazer Philosophische Studien, 7/8 (1979), pp. 317-388, The First
CHAPTER 1
INTRODUCTORY PRELIMINARIES
of nonqualitative properties. Moreover, it seems that if there are nonqualitative haecceities, then there are qualitative properties, since qualitative
properties are paradigmatic or core instances of Propertyhood. For example,
it appears that if there exists a nonqualitative property such as being identical
with me, then there exist qualitative properties such as being identical with
Observe that the latter proposition is qualitative and says that something is
identical with Redness. It is plausible that there is such a qualitative
proposition if and only if there is the qualitative property of being identical
with Redness. (Likewise, it is plausible that there is the proposition that
(3x)(x=me), namely, the nonqualitative proposition that there exists
something identical with me, just in case there is the nonqualitative property
of being identical with me - a point which a qualitative realist accepts.)
Inasmuch as an argument of the foregoing sort applies to any qualitative
property, it follows that every qualitative property has a qualitative
haecceity." Furthermore, the following metaphysical principle of parity is
intuitively plausible.
12
13
(3x)(x=a).
Because parallel considerations apply to every other atom, I conclude that for
each atom, there is a corresponding true proposition of this kind which
asserts the existence of that atom. Moreover, it is intuitively plausible that
if there are such true singular existential propositions about atoms, and there
exist complexes of atoms, then there are also true singular existential
propositions about these complexes. This intuition is backed up by the
following argument. Proposition is a category of logical entity, meaning that
propositions have truth-values, possesses modal characteristics, serve as
,
I1
See Roderick Chisholm, "Objects and Persons: Revisions and Replies". On pages 319
and 349 Chisholm concedes that abstracta have haecceities even if concreta do not have them.
CHAPTER I
INTRODUCTORY PRELIMINARIES
relata of logical relations, and either have other propositions as logical parts
or are themselves logical parts of other propositions. This being the case,
it is plausible that for propositions of certain sorts, there must be a logically
comprehensive variety of propositions of those sorts. And in particular, it
seems that if for every atom, there is a true singular proposition which
asserts the existence of that atom, and if there exist complexes of atoms, then
14
15
16
CHAPTER 1
IV - MODAL CONCEPTS
"There are two kinds of truths: those of reasoning and
those of fact. The truths of reasoning are necessary,
and their opposite is impossible. Those of fact, however, are contingent, and their opposite is possible."
(1714 Leibniz Monadology 33)
INTRODUCTORY PRELIMINARIES
17
18
CHAPTER 1
which could not be true, and a contingent proposition is one which could be
true and could be false. For example, the proposition that all ravens are
black is possible, the proposition that whatever is red is colored is necessary,
the proposition that a spherical cube exists is impossible, the proposition that
a cat exists is a contingent truth, and the proposition that no cat exists is a
contingent falsehood.
A proposition, p, is necessary just provided that the negation of p is not
possible. In formal terms, Op 74--- 0p. In addition, Op ss 0p.
Furthermore, p is impossible if and only if Op. Finally, p is contingent just
when Op & 0p.
De ditto modalities can be understood in terms of possible worlds. A
possible proposition is one which is true in some possible world. A
necessary proposition is one which is true in all possible worlds. An
impossible proposition is one which fails to be true in any possible world.
A contingent proposition is one which is true in some, but not every,
possible world.
Next, let us consider certain existential modal concepts. To begin, a
contingent being is an existent which could fail to exist. Such a being has
contingent existence. On the other hand, a necessary being is an entity
which must exist. A being of this kind has necessary existence. Thus, x is
a contingent being just when x is an existent which is not a necessary being,
and x is a necessary being just provided that x is an existent which is not a
contingent being. In other words: x is a contingent being (or has contingent
existence) if and only if (3y)(y=x & y is not a necessary being (or does not
have necessary existence)); and x is a necessary being (or has necessary existence) when and only when (3y) (r-x & y is not a contingent being (or does
not have contingent existence)). It might be said, following customary
practice, that (i) something has necessary existence just in case it exists in
all possible worlds, and (ii) something has contingent existence just when it
exists in the actual world, but fails to exist in some other possible world.
Typical concreta are contingent beings. Indeed, since the thesis that every
concretum is a contingent being is not implausible, a treatment of modal
concepts should not explicitly contradict this thesis. On the other hand, my
treatment of modal notions in Chapter 3 generates an argument that abstracta
such as properties and propositions are necessary beings.
INTRODUCTORY PRELIMINARIES
19
12
I employ the term 'disjoint' in this connection for two reasons. Firstly, in formal
mereological theories, to say that x and y are disjoint is to say that x and y have no part in
common. Similarly, a disjoint object (in my sense), existing in some other possible world,
either has no part in common with any actual material object, or else has a proper part which
has no part in common with any actual material object. Secondly, in an another (archaic) sense,
`disjoint' means disconnected. However, a disjoint possible (in my sense) is causally
disconnected from actual entities: it cannot be produced by such entities.
20
INTRODUCTORY PRELIMINARIES
CHAPTER 1
the electrons that ever actually exist. In other words, there exists a set, S,
which has every electron as a member, and it is plausible that S could
coexist with an electron, e, which is not a member of S. It appears that such
a merely possible electron, e, is a disjoint object.
The foregoing remarks presuppose that electrons are necessarily indivisible
fundamental particles. If this presupposition is mistaken, then we can
replace the foregoing occurrences of 'electron' with another term which
signifies a kind of possible essentially indivisible fundamental particle, for
instance, Toscovichian point-particle having no proper parts'."
Let us return to the matter of the definition of haecceity. Although some
philosophers are skeptical of the existence of unexemplified haecceities
which could be exemplified by concreta, I have noted that there might be
such haecceities. On the other hand, it seems that there could not be a
necessarily unexemplified haecceity: there couldn't be the property of being
identical with a certain thing when this property is not possibly had by
anything. Since there could not be a necessarily unexemplified haecceity,
every unexemplified haecceity is possibly exemplified. The following
revised version of (D1) allows for the existence of unexemplified haecceities.
13 Rudjer Josip Boskovic (1711-1787), or Roger Boscovich, is best known for his A Theory
of Natural Philosophy Reduced to a Single Law of the Actions Existing in Nature. This work
attempts to explain all physical phenomena in terms of the attractions and repulsions of pointparticles (puncta) which are indistinguishable in their intrinsic qualitative properties. According
to Boscovich's single law, puncta at a certain distance attract, until upon approaching one
another they reach a point at which they repel, and eventually reach equilibrium. Thus,
Boscovich defends a form of dynamism, or the theory that nature is to be understood in terms
of force and not mass (where forces are functions of time and distance). By dispensing with
extended substance, Boscovich avoided epistemological difficulties facing Locke's natural
philosophy and anticipated developments in modern physics. Among those influenced by
Boscovich were Kant (who defended a version of dynamism), Faraday, James Clerk Maxwell,
and Lord Kelvin.
Boscovich's theory has proved to be empirically inadequate to account for phenomena such
as light. A philosophical difficulty for Boscovich's puncta, which are physical substances, arises
out of their zero-dimensionality. It is plausible that any power must have a basis in an object's
intrinsic properties, and puncta appear to lack such support for their powers. However, it is
extensional properties which puncta lack, and Boscovich could argue that the categorial property
of being an unextended spatial substance provides the needed basis.
21
14
22
CHAPTER 1
INTRODUCTORY PRELIMINARIES
(P1) If P is a qualitative experiential or perceptual property which is possibly exemplified, then P may be grasped by a person, S, as a result
of either (i) S's having one or more experiences or perceptions of
some instance(s) of P, or (ii) S's having one or more experiences or
perceptions of some instance(s) of another qualitative experiential or
perceptual property, Q, such that: Q is possibly exemplified, and necessarily, (Vx)(Vy)(if x has P & y has Q, then x and y are similar with
respect to x's having P and y's having Q).
According to clause (i) of this principle, S may abstract P from his
experiences of particulars which exemplify P. For example, as a result of
perceiving a square thing, or a number of square things, a person, S, may
come to know what it is for a thing to be square, and thus, S may be said to
grasp the property of being square. However, according to clause (ii) of
(P1), for S to grasp a property, P, as a result of having perceived a number
of particulars, the particulars need not exemplify P. These particulars need
only provide a semblance or an appearance of an actual or possible instance
of P. Such a semblance or appearance, X, does not exemplify P, but is
similar to an actual or possible instance of P. For this reason, it may seem
to S that X is an instance of P or X may suggest an instance of P to S. For
example, if a thing which appears square is examined under a microscope,
then it is revealed that the sides of the object are not straight, but are
somewhat jagged. However, S may come to grasp the property of being
square as a result of perceiving such an object with the naked eye because,
so perceived, an object of this kind provides a good semblance or likeness
of a square. For similar reasons, S may come to grasp the property of being
square as a result of perceiving an inexactly constructed figure which closely
resembles a square, but does not literally appear square to S. It is plausible
that if there are properties, then people can grasp some of them in the ways
described above. If we can grasp properties in these ways, then we have
innate capacities to form concepts in response to certain similarity classes of
t5 This is compatible with the moderate empiricist view that a person's grasping
P at a time
tl may result in his grasping Q at a later time t2 if P and Q are diverse but similar properties.
16
23
24
INTRODUCTORY PRELIMINARIES
CHAPTER 1
P
" Radical Empiricism rejects (P1) in favor of a principle such as the following one. If
is an experiential property which is possibly exemplified by a mental state of person, S, then S
may come to grasp P as a result of S's introspectively experiencing one or more of S's mental
states which are instances of P. Rationalism employs the distinction between a person's
grasping a property in an occurrent sense, e.g., a person's attributing or contemplating a
property, and a person's grasping a property in a dispositional sense, e.g., a person's having the
ability to attribute or contemplate a property. According to Rationalism, a person has innate
grasp of a property, and this
ideas: in some cases a person is born with a dispositional
disposition is not a result of his experiences. If, as a moderate empiricist believes, a person has
an innate capacity to-grasp-a-property-in-response-to-his-having-experiences-of-certaM-sorts, then
it does not follow that he is born with a dispositional grasp of a property. This is because one
can have a capacity to do something without having the ability to do that thing, if experience
is needed in order to cultivate that capacity. For example, I have the capacity to play the violin,
but not the ability.
,
18 Note
that the principle illustrated by these examples, i.e., (P2), is endorsed by radical
empiricists, moderate empiricists, as well as rationalists.
25
19
26
. .
In this principle F' i s a schematic letter which may be replaced by an appropriate
predicate.
20
INTRODUCTORY PRELIMINARIES
CHAPTER 1
27
all, it is possible that at t it seems to us that Jones has the belief in question,
when he does not. For example, consider the following scenario. First, at
tl we observe that Jones is facing a red apple with his eyes open, and is
uttering the sentence 'The apple is red'. Second, at tl we have a justified
false belief that Jones is sighted. Third, we subsequently discover at t2 that
Jones is congenitally blind. Surely, in some possible cases of this kind, at
tl it is plausible for us that at tl Jones believes that something is red, but at
t2 we are justified in thinking that Jones did not grasp (phenomenal) Redness
at tl. Hence, the prima facie plausibility which (PG) confers upon the claim
that Jones grasps Redness at tl has been defeated.
Alternatively, suppose at tl it is plausible for us both that the property of
being non-self-exemplifying exists, and that at tl Jones (truly) believes that
Redness is non-self-exemplifying. Then (PG) enables us to infer that at tl
it is prima facie plausible for us that Jones grasps being non-selfexempling at tl. Nevertheless, even if at tl Jones has this belief, it does
not necessarily follow that at tl Jones grasps the property of being non-selfexemplifying. For although at tl it is plausible for us that the property of
being non-self-exemplifying exists, there could not be such a property. 21
Hence, at tl Jones does not grasp the property of being non-selfexemplifying, despite the fact that at tl Jones believes that something is nonself-exemplifying. Thus, possibly, at tl it is plausible for us that at tl Jones
has this belief, but at t2 we are justified in thinking that Jones did not grasp
the property of being non-self-exemplifying at tl. Therefore, the prima facie
plausibility which (PG) confers upon the claim that Jones grasps being nonself-exempl i ing at tl has been defeated.
Consider the following principle concerning a person's coming to grasp
a haecceity.
21
The proof parallels Russell's demonstration that there is no such set as the set of all sets
which are not members of themselves. The property of being non-self-exemplifying must either
exemplify itself or not exemplify itself. The former entails that this property is non-selfexemplifying; and the latter entails that this property is self-exemplifying. It follows that the
property in question must both exemplify itself and not exemplify itself. Therefore, it is
impossible that there be such a property. Nevertheless, given the intemalist principle of
property-detection defended earlier, it seems possible that there be individuals who are ignorant
of this proof, and who are justified in thinking that there is a property of this kind.
CHAPTER 1
28
(P3) A person, S, may grasp a haecceity, 11, as a result of S's having one
or more experiences or perceptions of an instance of H.
(P3) is a moderate empiricist principle. It suggests that numerous individuals
grasp Gorbachev's haecceity as a result of their abstracting it from their
perceptions of Gorbachev. (P3) is not an unattractive principle. After all,
(P3) is analogous to (P1), and (P1) is highly plausible. Nonetheless, in
Chapter 5 an argument will be provided which implies the falsity of (P3).
The notions of a person's grasping a property and a person's making use
of a linguistic term to express a property are connected. When I say that a
person, S, makes use of a linguistic term, T, to express a property, P, what
I mean is that a particular usage of T at a certain time expresses P in S's
idiolect. A person, S, uses a linguistic term to express a property, P, only
if S grasps P; and in typical cases, if S grasps P, then S can use a linguistic
term to express P. For instance, S uses a linguistic term to express
Squareness only if S grasps Squareness; and typically, if S grasps Squareness, then S can use a linguistic term to express Squareness, for example, the
linguistic term 'square'. Likewise, S uses a linguistic term to express
Gorbachev's haecceity only if S grasps Gorbachev's haecceity; and in typical
cases, if S grasps Gorbachev's haecceity, then S can use a linguistic term to
express this haecceity, for instance, the linguistic term 'Gorbachev' or
`identical with Gorbachev'.
Some further distinctions can now be drawn. First of all, there is a
distinction between a person's grasping a property and a person's identifying
a property by description. This distinction is reminiscent of Russell's
distinction between knowledge by acquaintance and knowledge by description." The following case shows how a person can identify a property by
description without grasping that property.
Case (1): Due to a genetic defect, Jones's visual cortex is dysfunctional.
Such a defect always produces congenital blindness. As a result, Jones is
never capable of having a visual experience. Because of these circum-
INTRODUCTORY PRELIMINARIES
29
30
name 'Redness' by using this definite description. In that event, Jones uses
`Redness' to designate Redness. Still, since Jones is never capable of
grasping Redness, and since S uses a linguistic term to express P only if S
grasps P, Jones is never capable of using a linguistic term to express
Redness.
23 It
INTRODUCTORY PRELIMINARIES
CHAPTER 1
also seems that one can refer to a haecceity by means of using a definite description.
For example, it can be said that the haecceity of the man in front of me is the property of being
identical with the man in front of me, provided that the definite description 'the man in front
of me' is used referentially rather than attributively. For an account of the distinction between
referential and attributive uses of definite descriptions see Keith Donnellan, "Reference and
Definite Descriptions," Philosophical Review, 75 (1966), pp. 281-304, and "Proper Names and
Identifying Descriptions," Synthese, 21 (1970), pp. 335-358.
It should also be noted that some philosophers employ an alternative mode of expression
in which haecceities are designated by expressions such as 'being me', 'being I', 'being this',
`being Socrates', `Socrateity', and so forth. See Alvin Plantinga, The Nature of Necessity
(Oxford: The Clarendon Press, 1974), and Roderick Chisholm, Person and Object (La Salle:
Open Court, 1976). Also note the following passage from Boethius: "For were it permitted to
fabricate a name. I would call that certain quality, singular and incommunicable to any other
subsistent, by its fabricated name, so that the form of what is proposed would become clearer.
For let the incommunicable property of Plato be called 'Platonity'. For we can call this quality
31
`Platonity' by a fabricated word, in the way in which we call the quality of man 'humanity'.
Therefore, this Platonity is one man's alone, and this not just anyone's but Plato's. For 'Plato'
points out a one and definite substance, and property, that cannot come together in another."
(Librium de Interpretation edito secunda, PL 64, 462d - 464c) Quoted in Alvin Plantinga,
"The Boethian Compromise," American Philosophical Quarterly, 15 (1978), pp. 129-138, and
Hector Neri Castafieda, "Individuation and non Identity: A New Look," American Philosophical
Quarterly, 12 (1975), pp. 135-136.
Finally, observe that depending on the context, tokens of a single name-type can designate
-
diverse entities of different kinds, e.g., one Morris is a human and another Morris is a cat.
Hence, a token of a name-type which designates a haecceity in one context might fail to
designate a haecceity in another context. If Felicia Ackermann's theory of names is correct,
then in some contexts tokens of the name-types 'being identical with Socrates' and 'being
identical with this' designate unanalyzable nondescriptive properties which are not haecceities.
See her "Proper Names, Propositional Attitudes, and Nondescriptive Connotations," Philosophical Studies, 35 (1979), pp. 55-69.
32
CHAPTER 1
INTRODUCTORY PRELIMINARIES
33
Case (2): Based on trustworthy testimony, Jones knows that the man in his
kitchen is a philosopher. In addition, it is true that
the man in Jones's kitchen=the redhead in Jones's kitchen.
Yet, due to Jones's blindness,
'(Jones believes (3x)(x --the redhead in his kitchen & x is a philosopher)).
Still, it can be plausibly argued that in these circumstances
(ax)(x=the redhead in Jones's kitchen & x is believed by Jones to be a
philosopher). 24
Jones's cognitive relationship to a concrete entity in Case (2) is analogous
to Jones's cognitive relationship to an abstract entity in Case (1): in each
case the cognitive relationship is indirect.
If entities have haecceities, then a propositional conception of direct de re
belief or strict de re belief can be defined in terms of de dicto belief as
follows.2 5
24
Most writers on the topic of de re belief concur on this point. In other words, most of
these writers agree that one's descriptively identifying an individual is sufficient for one's
having a de re belief with respect to that individual. For example, see David Kaplan,
"Quantifying In," Synthese, 27 (1968), pp. 178-214, Ernest Sosa, "Propositional Attitudes De
Dicta and De Re," The Journal of Philosophy, 67 (1970), pp. 883-896, and Roderick Chisholm,
"Knowledge and Belief: 'De Dicto' and 'De Re'," Philosophical Studies, 29 (1976), pp. 1-20.
Like these writers, I am unaware of any compelling reason to limit the objects of de re belief
to either objects of perceptual acquaintance or objects of Russellian direct acquaintance such as
oneself, one's own mental states, and universals.
25
Compare Roderick Chisholm, The First Person, and Ernest Sosa, "Propositions and
Indexical Attitudes". They develop qualitative realist positions on the nature of cognitive
attitudes de dicto and de re. Chisholm and Sosa argue that we can understand these cognitive
attitudes in terms of a person's standing in cognitive relationships to qualitative attributes or
qualitative propositions, and they specifically tailor their views to avoid the implication that
there are nonqualitative properties and propositions. However, aside from these similarities,
Chisholm's and Sosa's positions are quite different.
34
INTRODUCTORY PRELIMINARIES
CHAPTER 1
For example, suppose that a sighted person, S, has a true de ditto belief that
(3x)(x=Redness & x is a property). In believing this, S grasps the conjunction of the haecceity of Redness and Propertyhood. It follows that S directly
attributes Propertyhood to Redness. On the other hand, a propositional belief
which S has about x is an indirect attribution of F-ness to x by S if and only
if S's propositional belief about x is an attribution of F-ness to x by S, but
in making this attribution S does not grasp the conjunction of x's haecceity
and F-ness. For instance, suppose that (ax)(x=Redness & x is believed by
Jones to be a property) as in Case (1). In a situation of this kind, Jones's
attribution of Propertyhood to Redness is a propositional belief, but Jones
does not grasp the haecceity of Redness. Thus, Jones indirectly attributes
Propertyhood to Redness. Similarly, suppose that the redhead in Jones's
kitchen is believed by Jones to be a philosopher as in Case (2). In such a
situation Jones indirectly attributes the property of being a philosopher to
that redhead, since in making this propositional attribution, Jones does not
grasp the haecceity of the redhead in his kitchen.
There are obvious differences between direct de re belief and Russellian
knowledge by acquaintance, although in some sense both are direct de re
cognitive attitudes. According to Russell, knowledge by acquaintance is
logically independent of knowledge of truths, and a person is acquainted
with numerous multiply exemplifiable attributes, his own states of mind, and
(probably) himself. A different conception of "knowledge by acquaintance"
is advocated in Chapter 5. I argue that a person, S, is acquainted with an
item, x, just in case S has a certain kind of direct de re knowledge about x,
26 'N' and 'F" are schematic letters which should be replaced with appropriate linguistic
expressions. In clause (ii), the first occurrence of 'is' is the so-called is of identity, and the
second occurrence of 'is' is the so-called is of predication. Note that substitution of a name 'N'
for the schematic letter 'N' can result in the satisfaction of this schematic definition only if 'N'
is a name of x, and the name 'being identical with N' (formed from 'N') designates x's
haecceity.
35
See Bertrand Russell, "On the Nature of Acquaintance," and The Problems of Philosophy,
Chapter 5.
36
INTRODUCTORY PRELIMINARIES
CHAPTER 1
29 As far as I know, cases of this kind were first proposed by Hector-Neri Castafteda. See
his " 'He': A Study in the Logic of Self-Consciousness," Ratio, VII (1966), pp. 130-157, and
his "The Phenomeno-logic of the I," Akten des XIV Internationalen Kongresses fur Philosophie,
Vol. III (University of Vienna, 1969), pp. 260-266.
Person and
30 This example is an adaptation of one used by Roderick Chisholm. See his
p.
37.
In
variations
upon
this
case,
I
see
myself
in
a
mirror,
but
fail
to
recognize
Object,
myself, either because I glimpse myself from an odd angle, or because unbeknownst to me my
appearance has totally changed, or because I am suffering from amnesia and I do not recall what
I look like.
37
31,
N and 'F' are schematic letters which ought to be replaced with suitable linguistic
expressions. In clause (ii), the first occurrence of 'is' is the so-called is of identity, and the
second occurrence of 'is' is the so-called is of predication. Observe that substituting a name 'N'
for the schematic letter 'IV' can result in the satisfaction of this schematic definition only if 'N'
is a name of S, and the name 'being identical with N' (formed from 'N') designates
S's
haecceity.
38
INTRODUCTORY PRELIMINARIES
CHAPTER I
might be objected that there could be a young child who has visual knowledge about
an external object, x, e.g., knowledge that this is red, where x=this, but who does not know that
he sees something red. But what reason is there for thinking that there could be such a child?
39
United States of America was a great general, unless I have some such
knowledge about myself as that I think that someone was the first president
of the United States of America, and I cannot know that Bill Clinton came
from Arkansas, unless I have some such knowledge about myself as that I
refer to somebody as 'Bill Clinton', respectively.
Given the indispensability of first-person reference, it can be argued
plausibly that there is a sense in which our knowledge of ourselves is more
basic than our knowledge of external things. To set up this argument,
consider the following possible case.
I fall victim to an extreme form of amnesia in which I forget, irretrievably, everything I knew about particular things, while retaining mastery of
a wide range of general concepts. In addition, at the onset of my amnesia
I am in a state of total sensory deprivation, and remain so for an hour. If
I were in circumstances of this kind, then for an hour I would not have any
knowledge about an external thing. But during this hour I could have
knowledge about myself, because I could be in such circumstances and have
introspective knowledge that I am thinking. 35
It follows that a person can have knowledge expressible in first-person
language about himself without his having knowledge about an external
thing Since a person cannot have knowledge of an external thing unless he
has knowledge expressible in first-person language about himself, we can
conclude that an individual's knowledge of an external thing is asymmetrically dependent upon his having knowledge about himself expressible in
first-person language. That is, a person can have such knowledge about
himself without his having knowledge of an external thing, but a person
cannot have knowledge of an external thing without his having knowledge
of this kind about himself. Hence, there is a sense in which self-knowledge
is more basic than knowledge of an external thing, and a sense in which
The rationale might be that possibly, a child, S, possesses the visual knowledge in question, but
cannot articulate the sentence 'I see something red'. But this hardly provides a decisive reason
for concluding that S would be ignorant of the fact that he sees something red. It may well be
the case that S's inability to articulate this sentence is due to linguistic incompetence, and that
S does know that he sees something red.
35
51-64.
Cf. Gary Rosenkrantz, "Cognition and Identifying Reference," Auslegung, 6 (1978), pp.
40
INTRODUCTORY PRELIMINARIES
CHAPTER 1
37
36 Roderick
41
See Roderick Chisholm, "Knowledge and Belief: `De Otero' and `De Re''.
42
CHAPTER 1
INTRODUCTORY PRELIMINARIES
43
version of (D3) allows for (but doesn't logically entail) the existence of
unexemplified individual essences, inasmuch as it only requires that an
individual essence be possibly essential to an entity and necessarily repugnant
to any other entity.
(D4) E is an individual essence =df. E is possibly such that: (3x)(x necessarily exemplifies E, and E is necessarily such that (3y)(y#x &
y exemplifies E)).
such a nature that it might either happen to me or not happen to me without my ceasing to be myself, should not be
considered as involved in my individual concept..."
(Arnauld to Leibniz, May 13, 1686)
and
For example, suppose that Socrates has a haecceity, namely, being identical
with Socrates. Call this haecceity H. Clearly, H satisfies (D4), since H is
possibly such that: (3x)(xSocrates and x necessarily exemplifies H, and H
is necessarily such that (3y)(y#x & y exemplifies H)). 38 Thus, H is an
individual essence. Inasmuch as an argument of this kind applies to every
haecceity, every haecceity is an individual essence.' However, I argue
below that some individual essences are not haecceities.
To begin, consider a property which everything has necessarily, for
instance, being such that whatever is red is colored. A characteristic of this
sort is a universal essential property. A conjunction of a haecceity and a
universal essential property is an individual essence, for example, being
identical with Aristotle and such that 7+5=12 (PI), being identical with
Aristotle and such that 7+6=13 (P2), being identical with Aristotle and such
38
Compare the following passage from Duns Scotus, The Oxford Commentary On the Four
Books Of The Sentences (selections) in Hyman and Walsh, eds., Philosophy in the Middle Ages,
p. 589. "And if you ask, 'What is this individual being from which individual difference is
taken? Is it not matter, or form, or the composite?' I reply that every quidditative entity,
whether partial or total of any kind, is of itself indifferent, as quidditative entity, to this entity
and that one...just as being "this" does not belong to it, so the opposite is not repugnant to it
from its own character. And just as the composite insofar as it is a nature does not include the
being by which it is "this", so neither does matter insofar as it is a nature, nor form. Therefore,
this being is not matter, nor form, nor the composite, insofar as any of these is a nature..."
From this passage, it seems that Scotus would regard a haecceity as an individual essence.
44
CHAPTER 1
40 This principle follows assuming the appropriate versions of the principles of The
Diversity of The Dissimilar and The Necessity of Identity. According to the first principle,
necessarily, for any x & y, and any time t, if at t x has an attribute A, or stands in a relation R
then x^y. According
to something z, and at t y lacks A, or y is such that it does not bear R to z,
to the second principle, for any x & y, if x is identical with y, then x is necessarily identical with
y.
INTRODUCTORY PRELIMINARIES
45
There are variants upon my first two arguments for saying that some
individual essences of concrete things are not haecceities. These variants
parallel the original arguments, and are at least as plausible as them, but are
formulated in terms of different.universal essential properties. For example,
instead of constructing individual essences by conjoining Aristotle's
haecceity with properties like being such that 7+5=12, being such that
7+6=13, and being such that 7+7=14, individual essences can be constructed
by conjoining Aristotle's haecceity with logically complex conditional
properties such as (a) being colored if red, (b) being shaped if octagonal, and
(c) being an animal if a cat. Like my second argument, these variants
maintain that it is possible for Aristotle to grasp his haecceity without his
grasping the conjunction of that haecceity and some universal essential
property. It is just as plausible that possibly, Aristotle grasps his haecceity,
and fails to grasp the conjunction of his haecceity with either (a), (b), or (c),
as it was that possibly, Aristotle grasps his haecceity, and fails to grasp
either P1, P2, or P3 (as defined above).
Alternatively, an individual essence which is not a haecceity can be
constructed by conjoining Aristotle's haecceity with a universal essential
property such as being self-identical. Such a variant upon my second
argument relies upon the following sub-argument in order to justify the
premise that possibly, at some time Aristotle grasps his haecceity and fails
to grasp the conjunction of that haecceity with being self-identical. First,
Aristotle's haecceity pertains to a specific concretum, namely, Aristotle. In
contrast, being self-identical is a wholly general property of which Aristotle
is a particular instance. But, surely, in most cases an individual could grasp
a property which pertains to a specific concretum before he grasps a wholly
general property of which that concretum is an instance. After all, one's
awareness of what is specific and concrete generally precedes, and causally
contributes to, one's awareness of what is general. Furthermore, being selfidentical has a reflexive character which Aristotle's haecceity lacks. Hence,
given that Aristotle could grasp his own haecceity, it seems possible that at
some time Aristotle grasps his haecceity and fails to grasp being selfidentical. Moreover, Aristotle cannot grasp the conjunction of his haecceity
with being self-identical, unless he grasps both conjuncts of such a
conjunction. Thus, it appears possible that at some time Aristotle grasps his
46
CHAPTER 1
haecceity and fails to grasp the conjunction of his haecceity with being selfidentical.
Another cogent reason for drawing such a conclusion here (as well as in
the previous parallel cases) is that possibly, Aristotle suffers from a
psychological disability which allows him to grasp each of the relevant
conjuncts, but not their conjunction.
INTRODUCTORY PRELIMINARIES
47
(El) being the color, x, such that: x is at the level of generality of Red and
Yellow, x is other than these colors, x is similar to Red, equally
similar to Yellow, and more similar to Red or Yellow than is any
fourth color.
The fact that (El) and the following individual essence are necessarily
coinstantiated helps clarify the sense in which these colors are similar.
(E2) being the color, x, such that: x is at the level of generality of Red and
Yellow, x is other than those colors, and x is necessarily such that:
at the level of generality in question, an instance of x is similar in
color to an instance of Red, equally similar in color to an instance of
Yellow, and more similar in color to an instance of Red or Yellow
than is an instance of any fourth color.
The notion of a color being at the level of generality of Red and Yellow is
explicated below. Firstly, a color, Cl, is a variety of a color, C2, just
provided that (i) O (Vx)(x has Cl > x has C2), and (ii) 0 (3x)(x has C2 &
x lacks C1). For instance, if something has Crimson, then it has Red, but
possibly something has Red and lacks Crimson. Secondly, a color C is at
the level of generality of Red and Yellow if and only if C is a color which
is not a variety of another color. For example, Scarlet and Crimson are
varieties of Red, but Red is not a variety of another color. A color which
is not a variety of another color may be said to be a highest species of color.
We can now see why it is plausible that (E2) is an individual essence of
Orange which is other than Orange's haecceity. Notice that possibly, a
person has visual experiences of red and yellow, but never has a visual
experience of orange. It seems possible that such a person grasps (E2)
without grasping Orange. Thus, it appears that possibly, a person grasps
(E2) without grasping the haecceity of Orange. Inasmuch as (E2) is an
individual essence of Orange, it seems possible that a person grasps an
individual essence of Orange without grasping Orange's haecceity.
CHAPTER 1
INTRODUCTORY PRELIMINARIES
48
49
See Ernest Sosa, "Classical Analysis," Journal of Philosophy, 80 (1983), pp. 695-710.
CHAPTER 1
INTRODUCTORY PRELIMINARIES
identical with Red is not analyzable as (E3), and either being identical with
Whiteness is not analyzable as (E4), or being identical with Blackness is not
analyzable as (E5). To begin with, suppose for the sake of a reductio that
being identical with Whiteness is analyzable as (E4), and being identical with
Blackness is analyzable as (E5). In that case, being white is analyzable as
50
being the opposite of black, and being black is analyzable as being the
opposite of white. But any attempt to analyze Whiteness in terms of
Blackness while analyzing Blackness in terms of Whiteness is viciously
circular. Hence, each of these pairs of supposed analyses contains at least
one member which is not a genuine analysis.
Likewise, assume for the purposes of a reductio that being identical with
Orange is analyzable as (E2), and being identical with Red is analyzable as
(E3). Surely, then, being orange is analyzable in terms of being yellow and
being red, and being red is analyzable in terms of being yellow and being
orange. However, any effort to analyze being orange in terms of being red
while analyzing being red in terms of being orange is viciously circular.
Therefore, at least one member of each of these pairs of supposed analyses
is not a bona fide analysis.
Moreover, in what follows I will argue that (E2), (E3), (E4), and (E5) are
not analyzable as being identical with Orange, being identical with Red,
being identical with Whiteness, and being identical with Blackness,
respectively.
Suppose for the sake of a reductio that either (E4) is analyzable as being
identical with Whiteness or (E5) is analyzable as being identical with
Blackness. In that event, either being the opposite of white is analyzable as
being black or being the opposite of black is analyzable as being white. In
either case,' we have a philosophical analysis whose analysans is less
complex, logically speaking, than its analysandum. However, according to
Sosa's conception of philosophical analysis, the analysans must be of greater
logical complexity than the analysandum. 42 Moreover, this is a plausible
42
0n Sosa's view, an analysis resolves a complex attribute, A, into more basic components,
viz., A's logical parts. His view implies that in an analysis the analysans must involve a logical
complex, e.g., a conjunction, disjunction, negation, etc. This requirement does not seem to be
satisfied if one either seeks to analyze (E4) as being identical with Whiteness or seeks to analyze
51
43
Note that this requirement implies that being identical with Aristotle and such that
7+5=12 cannot be analyzed as being identical with Aristotle and being the square root of 4
cannot be analyzed as being identical with 2. This confirms some of the conclusions reached
earlier about these and other similar examples.
44 Compare Roderick Chisholm, Person and Object; and Alvin Piantinga, "World and
Essence," Philosophical Review, 79 (1970), pp. 380-386. According to their definitions of the
term `haecceity', 'haecceity' means individual essence. Thus, given their definitions, the
sentence 'All individual essences are haecceities' is trivially true. The truth of this sentence
appears to be incompatible with my contention that some individual essences are not haecceities.
However, I am not convinced that this appearance of incompatibility is more than a mere
appearance, since I suspect that Chisholm and Plantinga introduce 'haecceity' as a technical
term. If my suspicions are correct, then Chisholm's and Plantinga's definitions of 'haecceity'
are stipulative, and do not reflect a substantive thesis about haecceities and individual essences.
In any case, since my sense of haecceity is legitimate, and since it seems that some individual
essences are not haecceities in that sense, it is a significant drawback of Chisholm's and
Plantinga's definitions of 'haecceity' that on these definitions the sentence 'Some individual
CHAPTER 1
52
a plurality of individual essences, then these essences are necessarily
coexemplified.' Hence, it seems (as has oft been argued) that necessary
coexemplification is not sufficient for property identity.
If for any property A and any property B the necessary coexemplification
of A and B is sufficient for A's being identical with B, then property identity
is coarse grained. Otherwise, property identity is fine grained. In the light
of the foregoing argument, it appears that if there are haecceities, then
property identity is fine grained.
Finally, note that no more than one of any plurality of coexemplified
individual essences is a haecceity: the coexemplification of individual
essences does not imply the coexemplification of haecceities.
INTRODUCTORY PRELIMINARIES
45
P1 is necessarily
A property PI and a property P2 are necessarily coexemplified =df.
53
471f an entity, e, is reduced to or identified with an entity, e*, then necessarily, e exists if
and only if e* exists.
54
CHAPTER 1
INTRODUCTORY PRELIMINARIES
55
48
The reader may find it useful to compare these positions on the ontological status of
properties with the related traditional responses to the problem of universals described in Section
II of this chapter. A relevant and up-to-date overview of various positions on the ontological
status of properties is provided in H. Burkhardt and 13. Smith, eds., Handbook of Metaphysics
and Ontology, 2 vols. (Munich: Philosophia, Verlag, 1991). The following handbook entries
are especially relevant: Attribute (pp. 65 70), Abstract/Concrete, (pp. 4 5),
Conceptualism (pp.
168-174), Metaphysics VI: Systematic Metaphysics (548-553),
Nominalism (pp. 618 619), and
Universals (pp. 921-553).
-
56
INTRODUCTORY PRELIMINARIES
CHAPTER 1
Abp. Thomson
collection), the Earth's surface (a limit), and shadows and gaps (privations).
It is desirable that a philosophical analysis of the concrete/abstract distinction
allow for the possibility of entities of any intelligible sorts, given some
plausible view about the nature, existence conditions, and interrelationships
of entities of those sorts. This desideratum seems to require allowing for the
possibility of entities of the aforementioned kinds. Six attempts have been
made to analyze the concrete/abstract distinction.
(1) Unlike abstracta, concreta are spatially located or spatially related to
something.
(2) Unlike abstracta, concreta are capable of moving or undergoing
intrinsic change.
(3) Concreta have contingent existence, whereas abstracta have necessary
existence.
(4) Unlike concreta, abstracta are exemplifiable.
(5) Unlike concreta, abstracta are (intellectually) graspable.
(6) Unlike abstracta, concreta can be causes or effects.
(1) is inadequate because a disembodied spirit is concrete but neither
spatially located nor spatially related to something. Alternatively, we might
57
amend (1) to read as follows. (1') Unlike abstracta, concreta are spatially
or temporally located, or spatially or temporally related to something.
Arguably, it is necessary that a soul is temporally located or enters into
temporal relations. Still, (1') is flawed: properties are abstract, but it seems
that some properties enter into temporal relations, for example, Wakefulness
is exemplified by Aristotle at one time and not at another. Although some
philosophers claim that abstracta are outside of time, this claim is problematic, since as the example of Wakefulness and Aristotle implies, abstracta
undergo relational change. An entity's being temporal does not imply that
it undergoes nonrelational change, for instance, a sphere which does not
undergo nonrelational change and which other spheres orbit is in time.
(2) is inadequate because points and instants are concrete but incapable of
either moving or undergoing intrinsic change.
(3) is subject to three complaints or difficulties. Firstly, a being such as
the theistic God is concrete yet has necessary existence. Secondly, according
to Aristotelian Realism a property cannot exist unexemplified. Aristotelian
Realism implies that some properties are abstract yet have contingent
existence. Thirdly, sets of ordinary concreta are abstract but seem to have
contingent existence.
(4) is objectionable because sets, propositions, and properties such as
being a spherical cube are abstract but could not be exemplified.
(5) is unsatisfactory because it seems that abstracta of certain kinds could
not be grasped, for instance, sets of concreta or haecceities which can be
exemplified by necessarily nonconscious material substances.'
(6) is unsatisfactory for the following reasons. According to one camp,
causes and effects are concrete events.' On this view, (6) has the absurd
implication that substances are nonconcrete. One reply is that substances
(but not abstracta) can be involved in causal relations. But, if causes and
effects are concrete events, then it is hard to fathom the sense of "involve-
49
For an argument that such haecceities are ungraspable see Chapter 5, section X.
50
INTRODUCTORY PRELIMINARIES
CHAPTER 1
58
51 These observations provide a reply to the following argument. (1) An abstract entity
cannot enter into causal relations. (2) We have knowledge about an entity only if that entity
enters into causal relations. Therefore, (3) We cannot have knowledge about an abstract entity.
In the light of those observations, it would seem that either (1) or (2) is false. That is, either
(1) is false because facts or the like are abstract and can enter into causal relations, or (2) is
false for either of the following two reasons. (i) We have knowledge about material substances
which cannot enter into causal relations. (ii) Although abstracta cannot enter into causal
relations, there is a sense in which abstracta are involved in causal relations, and we can have
knowledge about an entity if it is involved in causal relations in that sense. Compare Jaegwon
Kim, "The Role of Perception in A Priori Knowledge: Some Remarks," Philosophical Studies,
40 (1981), pp. 339-354.
52 It
seems that a consideration of difficulties such as the foregoing ones have led some
philosophers to doubt whether there is such a ""-g as the concrete/abstract distinction at all.
For example, in "The Role of Perception in A Priori Knowledge: Some Remarks," p. 348,
Jaegwon Kim wrote as follows. "The force of saying that something is 'abstract' or 'platonic'
has never been made clear. One sense sometimes attached to 'abstract' is that of 'eternal'; an
abstract object in this sense neither comes into being nor perishes. Another closely related sense
is that of not being in space and time. Abstract entities in this sense are atemporal and
nonspatial: they lack location in space-time. A third sense is that of 'necessary'; abstract entities
in this sense are said to 'exist necessarily'. It is by no means obvious that these three senses
are equivalent: for example, one traditional concept of God makes him abstract in the first and
third sense but not in the second." Kim's skepticism about the very existence of the
concrete/abstract distinction will prove to be unwarranted if I succeed in providing a
philosophical analysis of this distinction, and in arguing that this analysis is adequate to the
intuitions philosophers have had about how the distinction applies to particular cases.
59
(of which there are many examples in philosophy). I shall provide a solution
to this problem by giving informal and formal accounts of the appropriate
degree of generality of an ontological category or kind of entity.
As I have indicated, ontological categories are of different levels of
generality, and are related to one another as species and genus. Thus, these
categories constitute a system of classification which reflects these logical
relations. In what follows, I will (i) characterize this system, and (ii)
analyze a level of generality (which I shall call level C) within this system
which is crucial to my attempt to analyze the concrete/abstract distinction.
Step 1
A category, Cl, and a category, C2, are equivalent just provided that Cl
and C2 are necessarily coinstantiated; Cl is instantiable if and only if Cl is
possibly instantiated; and Cl subsumes C2 just in case Cl and C2 are such
that necessarily, any instance of C2 is an instance of Cl, and possibly, some
instance of Cl is not an instance of C2. For example, being an event and
being an occurrence are equivalent categories. Any two equivalent
categories are at the same level of generality. On the other hand, if A
subsumes B, then A is at a higher level of generality than B For instance,
being an abstract entity subsumes being a property. Notice that in this
technical or logician's sense of subsumption a noninstantiable category is
subsumed by any instantiable category, and a category that must be
universally instantiated subsumes any category that need not be universally
instantiated.
Step 2
There is an intuitive notion of a hierarchy of levels of generality among
ontological categories." At the highest level (level A) is the category of
being an entity which everything instantiates and which is therefore a kind
of limiting case. At a lower level (level B) are the categories of Concreteness and Abstractness. At a yet lower level (level C) are the categories
which are the various types of concreta and abstracta, just provided that
these categories are instantiable. Below, I list typical or core categories that
53
See Gary Rosenkrantz and Joshua Hoffman, "The Independence Criterion of Substance,"
853.
60
INTRODUCTORY PRELIMINARIES
CHAPTER 1
and Set. At a level of generality lower than C (call it level D) are those
instantiable ontological categories which are the various types of the
categories at level C. For instance, at level D we find types of Substance,
for example, Material Object, or Spirit; types of Event, for instance, Material
Event, or Spiritual Event; types of Limit, for example, Surface, or Line, or
Instant; and types of Privation, for instance, Shadow, or Hole. More specific
types are at lower levels of generality.
Figure 1
Level C
Level D
Concrete
Abstract
Level B
Entity
Level A
61
Presumably,
55
CHAPTER 1
INTRODUCTORY PRELIMINARIES
62
Figure
Above C level
Level C
Below C level
Concrete
Substance (off L) Event Time Place... (on L)
Material Object Material Event
Figure 3
Above C level
56
63
Level C
Abstract
\
Set (off L) Property Relation Proposition... (on L)
Metaphysics: An Introduction
otherwise of such categories to reality in itself nor the fixed or changing nature of that thought
and talk."
CHAPTER 1
64
58
Since (D1) presupposes (A1), which implies that there are at least two instantiable
categories of abstracta at level C, a nominalist might object to (D1), arguing that no category
of abstractum is instantiable. As I have implied, I framed (D1) in as ontologically neutral a
fashion as possible. Nevertheless, an altemative to (D1) can be framed which is compatible
with Nominalism. In that case, the category of being concrete would be necessarily coextensive
with the category of being an entity, and categories of concreta such as Substance, Time, Place,
etc., would be at the second level (level B). (Al) would be replaced with (A1*): there are at
least two (nonequivalent) instantiable categories of concreta at level B (at least one of which is
on L). A formal account of a category's being at level B would then parallel the account I
provide of a category's being at level C in (DI), where the term, 'level C', is replaced with the
term, 'level B'. Similarly, if an extreme platonist were to object to (DI) on the ground that no
category of concretum is instantiable, (D1) could be revised in order to satisfy such a critic
along lines parallel to the foregoing.
Although I refer to various ontological categories, which I regard as abstracta, if the
nominalist program were to be successful, it would have the resources to paraphrase all such
references in nominalistic terms, including any references of these sorts which involve
attributions of a metaphysical modality, de dicto or de re. For the purposes of my theory of
categories, I do not rule out the possibility of the nominalist program being successful.
However, since I argue in this book that a form of Property-Realism is correct, I do not take
seriously the claim that no category of abstractum is instantiable when formulating my analysis
of Concreteness in (D2) below. If no category of abstractum is instantiable, then my analysis
of Concreteness in (D2) can be amended by replacing the term 'level C' with the term 'level
B'.
INTRODUCTORY PRELIMINARIES
65
Step 4
(D2) x is concrete =df x instantiates a level C category which possibly has
an instance having spatial or temporal parts.
(D3) x is abstract =df. x is nonconcrete. 59
My analysis of the concrete/abstract distinction incorporates the classical
notion that this distinction can be understood in terms of spatiality and
temporality. Furthermore, it is not difficult to see that this analysis
adequately handles the problem cases presented earlier.
To begin with, notice that a disembodied spirit instantiates the level C
category of Substance. Likewise, for a necessary being such as the theistic
God. However, the category of Substance possibly has an instance having
spatial parts, that is, a complex material substance. Hence, a disembodied
spirit, or the theistic God, satisfies (D2): it instantiates a level C category
which possibly has an instance having spatial parts. Thus, (D2) has the
welcome implication that a disembodied spirit, or the theistic God, is a
concretum. (D2) has this welcome implication even if God is a soul who
has necessary existence and who is neither spatially located nor spatially
related to anything.
A point instantiates the level C category of Place, and an instant
instantiates the level C category of Time. Yet, the former category possibly
has an instance having spatial parts, for example, some expanse of space, and
the latter category possibly has an instance having temporal parts, for
instance, some period of time. Thus, (D2) has the happy consequence that
59
66
INTRODUCTORY PRELIMINARIES
CHAPTER 1
points and instants are concreta. (D2) has this happy consequence despite
the fact that points and instants are incapable of either motion or intrinsic
change.
Notice that the level C categories of Property and Trope could not be
coinstantiated. Unlike the category of Trope, the category of Property does
not possibly have an instance which has spatial or temporal parts. A
property does not satisfy (D2): it does not instantiate a level C category
which possibly has an instance having spatial or temporal parts. Therefore,
a property is not a concrete entity. Hence, (D3) has the desired result that
a property is an abstract entity. (D3) has this desired result with respect to
a property, P, even if P has contingent existence, P is necessarily unexemplified, P is necessarily ungraspable, P is temporally located, or P enters into
temporal relations.
Analogously to the level C categories of Property and Trope, the level C
categories of Proposition and Event could not be coinstantiated. Unlike the
category of Event, the category of Proposition does not possibly have an
instance which has spatial or temporal parts. A proposition does not meet
(32): it does not instantiate a level C category which possibly has an
instance having spatial or temporal parts. Consequently, a proposition is not
a concrete entity. Thus, (D3) has the desirable outcome that a proposition
is an abstract entity. (D3) has this desirable outcome despite the fact that a
proposition cannot be exemplified.
Finally, the level C category of Set could not be instantiated by something
having spatial or temporal parts. This follows from the fact that a set cannot
have parts. Aside from any elements a set may have, a set has no parts.
For example, the empty set has no parts. Although a set can have elements,
it is demonstrable that an element of a set is not a part of that set. It is
axiomatic that the relation of proper parthood is transitive: necessarily, if x
is part of y, and y is part of z, then x is part of z. But the relation of
elementhood is not transitive: for example, x is an element of {x}, {x} is an
element of {{x} }, but x is not an element of {{x}}. Therefore, Elementhood
cannot be identified with Parthood. Since aside from its elements a set has
no parts, a set cannot have parts. Hence, unlike the level C category of
Collection, the level C category of Set could not be instantiated by
something having spatial or temporal parts. A set does not satisfy (D2): it
67
does not instantiate a level C category which possibly has an instance having
spatial or temporal parts. Therefore, a set is not a concrete entity.
Consequently, (D3) has the desired result that a set is an abstract entity.'
(D3) has this desired result with respect to a set, S, even if S has contingent
existence, S is necessarily unexemplified, or S is necessarily ungraspable.
I shall conclude by answering a possible criticism of (D2) and (D3). It
might be objected that (D2)'s account of Concreteness is viciously circular,
on the ground that (D2) employs the notion of a level C ontological
category, while my intuitive characterization of an ontological category's
being at level C makes use of the level B distinction between Concreteness
and Abstractness. However, although this is true of my intuitive characterization of what it is for an ontological category to be at level C, my formal
account of this notion in no way utilizes the level B notions of Abstractness
or Concreteness. My formal account captures the notion of a level C
category solely in terms of certain logical relationships that such a category
60
In his Parts of Classes (Oxford: Basil Blackwell, 1991), David Lewis argues that the
singleton subsets of a set, s, are parts of s (though not spatial or temporal parts), and s is the
mereological sum of those singletons. Unlike the elementhood relation, the subset relation is
transitive. Yet, it is not clear that Lewis employs the standard notion of a set that I employ: he
is explicitly skeptical about its intelligibility. If this notion is unintelligible, then my category,
Set, is noninstantiable. Moreover, Lewis's view of the natures of sums and sets is incompatible
with my classificatory system of ontic categories. He permits the mereological addition of any
two entities (even assuming that there are both concreta and abstracta), but I cannot, because
I uphold the concrete/abstract distinction as exhaustive and exclusive, and because the sum of
a concretum and an (equally complex) abstractum, e.g., the sum of a point and a (simple)
property, respectively, has an equal claim both to be concrete and to be abstract. Unless Lewis's
conceptions of sumhood and sethood fit into an altemative system of ontic classification which
is at least as good as the one that I have pic s cuted, these Lewisian claims about sums and sets
can reasonably be rejected. I would argue that there is no such alternative system.
Penelope Maddy, in her Realism in Mathematics (Oxford: The Clarendon Press, 1990), in
contradistinction to Lewis, denies that sets of concreta are abstracta. However, Maddy operates
with an inadequate understanding of abstractness. She accepts the view that abstractness can
be identified with not being in space and time, a view whose inadequacy follows from a
criticism presented earlier. In particular, souls would not be in space and time, but they would
not be abstract entities. Moreover, her substantive thesis that a set of concreta is located in
space and time is formally consistent with my claim that a set of concreta is an abstract entity
which lacks spatial or temporal parts, since an entity's being located in space and time does not
entail that it has spatial or temporal parts, as illustrated by the possible case of a spatially and
temporally located point-particle which lacks both spatial parts and temporal parts.
CHAPTER 1
INTRODUCTORY PRELIMINARIES
68
69
6I This section is based on my article "Concrete/Abstract" in Jaegwon Kim and Ernest Sosa,
eds., Companion to Metaphysics (Oxford: Basil Blackwell, 1993).
P is not nonquali-
70
CHAPTER 1
INTRODUCTORY PRELIMINARIES
infinitely long, the operative notion is that of logical length. Even if there
are necessarily ungraspable qualitative properties or propositions of infinite
length, it seems that we can capture the distinction between qualitative and
nonqualitative properties or propositions along the following lines.
(D3) A property or proposition, P, of finite length is nonqualitative
=df. (i) there is a haecceity, H, which could be exemplified by a
concretum, and (ii) P is necessarily such that whoever grasps
P grasps H.
(D4) A property or proposition, P, of infinite length is nonqualitative
=df. (i) there is a haecceity, H, which could be exemplified by
a concretum, and (ii) P has a finite stretch, F, which is necessarily
such that whoever grasps F grasps H.
(D5) A property or proposition, P, is nonqualitative =df. P is either a
nonqualitative property or proposition of finite length, or a nonqualitative property or proposition of infinite length.
(D6) A property or proposition, P, is qualitative =df. P is not nonqualitative.'
621t also follows that a nonqualitative property or proposition which could not be grasped
trivially satisfies (Dl). (In Chapter 5, section X, I will argue that there are such nonqualitative
properties.) However, unlike a qualitative property's satisfying (D1), this consequence is
welcome!
63
Compare Roderick Chisholm, The First Person. Chisholm implies that all abstracta are
qualitative, and that some abstracta are worlds or infinitely long conjunctive propositions. Since
Chisholm maintains that every proposition could be conceived by someone, Chisholm is
committed to the view that there are infinitely long qualitative propositions which are possibly
grasped by someone.
71
64
CHAPTER 2
THE PROBLEM OF INDIVIDUATION
"In Peter, James, and John, you may observe in
each a Certain collection of Stature, Figure,
Color, and other peculiar Properties, by which
they are known asunder, distinguished from all
other Men, and if I may say so, individuated."
[from Berkeley Alciphron, or the minute philosopher VII 5 (1732)]
"Of course, if provision is made only for his
general humanity, and not for what makes him
hic or ille, not for his haecceity as the schoolmen
used to say, a man will have cause to complain."
(Journal of Education I Nov. 1890 629/1)
I - METAPHYSICAL EXPLANATIONS
"Metaphysics, even bad metaphysics, really rests
on observations...and the only reason that this is
not universally recognized is that it rests upon
the kinds of phenomena with which every
man's experience is so saturated that he usually
pays no particular attention to them."
[1898 C. Peirce Collected Papers Vol. 6 2 (1935)]
73
(A3) This something can only be their Redness, that is, each of them
having the property of being red.
Therefore,
(A4) Redness exists.
A is an argument from experience. Based upon our everyday experiences,
we learn that a number of particulars are of the same kind or have some
similarity. For instance, as a result of my having certain visual experiences
I am justified in believing that an apple, a scarf, and a book are red, that
Rover, Fido, and Spot are dogs, and that these three sticks appear bent.
Thus, (Al) is a logical consequence of the empirically justified proposition
that an apple, a scarf and a book are red. That a number of particulars
have Redness is hypothesized as the best explanation of (Al). In other
words, it is argued that because alternative hypotheses are less successful at
explaining (Al) than the hypothesis in question, acceptance of this hypothesis is warranted. Thus, the argument is justified partly by an inference to the
best explanation.
Arguments of this kind imply that there are universals or sharable
qualitative properties, for example, being red, being a dog, and being bent
in appearance. If such arguments are sound, then a number of particulars'
being red is best accounted for by those particulars' having Redness, a
number of particulars' being dogs is best explained by these particulars'
having Dogness, a number of particulars' appearing bent is best accounted
for by those particulars' having the property of appearing bent, and so forth.
In an explanation of this kind, traditionally known as a formal cause, the
explanans provides a logically necessary and sufficient condition of the
explanandum. For instance, a number of particulars' having Redness is a
logically necessary and sufficient condition of their being red. Moreover, in
an explanation of this sort the explanans provides a philosophical analysis
of the explanandum, for example, a number of particulars' being red can be
analyzed as their having Redness.
It should be noted that to analyze a concept, C, is to explicate C, that is,
to enhance one's understanding of C by explaining what it is for something
to be an instance of C. In an analysis, in addition to the analysans and the
,Z4
74
CHAPTER 2
75
'For a historical introduction to this problem see Jorge Gracia, Introduction to the Problem
of Individuation in the Early Middle Ages (Munich: Philosophia Verlag, 1984). Compare
Gracia's Individuality: An Essay on the Foundations of Metaphysics (Albany: State University
of New York Press, 1988).
2
For example, Duns Scotus wrote as follows. "I first explain what I understand by
individuation, whether numerical unity or through singularity: not, indeed the indeterminate
unity according to which anything in a species is called one in number, but a unity demarcated
as 'this', so that...it is impossible for an individual to be divided into subject parts. And what
is sought is the reason for this impossibility. So I say that it is impossible for an individual not
to be a 'this', demarcated by this singularity; and it is not the cause of singularity in general
which is sought, but of this specially demarcated singularity, namely, as it is determinately
`this'." See The Oxford Commentary On The Four Books Of The Sentences (selections) in
Hyman and Walsh, eds., Philosophy in the Middle Ages (Indianapolis: Hackett, 1973), p. 588.
CHAPTER 2
II - QUALITATIVELY INDISTINGUISHABLE
CONCRETA
76
77
Apparently, in the actual world no two particulars have the same qualitative
properties, counting both those that are intrinsic, for instance, being a sphere,
and those that are relational, for example, being next to a sphere. Hence, as
long as we confine ourselves to the actual world, it seems that particulars can
be distinguished from one another by differences in their qualitative
properties. Some philosophers go further, arguing that it is impossible for
there to be two particulars having the same qualitative properties. Leibniz,
for instance, argued that any two entities must differ qualitatively!' Most
philosophers now reject "Leibniz's Law" and allow for the possibility of two
qualitatively indistinguishable concreta. 5 Two individuals of this kind
would exist at the same times, and at any given time of their existence,
would have the same qualitative properties. In a classic example, Max Black
considers a possible universe consisting of two spherical objects, x and y (in
a Euclidean space), which are exactly alike in all intrinsic qualitative
respects. 6 Throughout their existence, x and y are composed of the same
kind of stuff arranged in the same way, have the same shape, size, mass,
color, and so forth. Obviously, x and y would have the same intrinsic
Leibniz based his argument on Theism and the principle of sufficient reason. God could
not create two qualitatively indiscernible spheres x and y, since there would not be a logically
sufficient reason for God's positioning x in some place rather than y, and vice-versa. In my
judgement, Theism is subject to doubt, and the principle of sufficient reason should not be
3
78
7
See Ernest Sosa, "Subjects Among Other Things," Philosophical Perspectives, 1,
Metaphysics (1987), pp. 155-187.
8
CHAPTER 2
See John Pollock, Knowledge and Justification (Princeton University Press, 1974), pp.
140-141.
79
move towards each other, then totally interpenetrate, and then move away
from each other, more specifically, they can pass through one another. Thus,
two such objects can occupy the same place at the same time. According to
this example, possibly, there is a universe consisting of two objects of this
sort which occupy the same places at the same times and which at those
times have the same intrinsic qualitative properties. Surely, these two
objects have the same qualitative properties, including relational ones.' The
second example presupposes that there could be either nonspatial Cartesian
spirits or nonspatial Humean impressions,' and maintains that possibly,
there is a universe consisting of two nonspatial spirits or two nonspatial
impressions, x and y, such that: throughout their existence, x and y have the
same intrinsic qualitative properties, for instance, the same intrinsic
qualitative mental features or experiential characteristics. Clearly, x and y
have the same qualitative properties, including those which are relational.
In the light of the foregoing examples, it is highly plausible that there
could be two qualitatively indistinguishable particulars. However, Ian
Hacking claims that there is no fact of the matter as to whether or not there
could be two qualitatively indistinguishable particulars." He argues that
natural laws and theories of space and time are intimately interconnected,
and these theories are underdetermined by empirical evidence. According
to Hacking's argument, the descriptions 'at t the universe is a highly curved
Riemannian space containing just one sphere' and 'at t the universe is a
Euclidean space containing two spheres with the same qualitative properties'
are alternative descriptions of a single possible universe. Hacking infers that
no possible world must be described as containing two objects having the
same qualitative properties. For Hacking, the alternative description we
"
Ian Hacking, "The Identity of Indiscernibles," The Journal of Philosophy, 72 (1975), pp.
249-256.
80
CHAPTER 2
Hacking's argument depends on his contention that the two aforementioned descriptions are alternative descriptions of a single possible universe.
But this contention is unintelligible. No possible universe is such that both
of these descriptions apply to it. The first of these descriptions applies to a
possible world with a Riemannian space containing only one sphere, and the
second of these descriptions applies to another possible world with a
Euclidean space that contains two spheres. Consequently, Hacking's
argument should be rejected. Thus, we are entitled to assume that there
could be two particulars which have the same qualitative properties. I2
Since an adequate criterion of individuation for particulars provides
logically necessary and sufficient conditions for the diversity of particulars
at a time, this criterion must apply not merely to actual cases of particulars
which are diverse at a time, but to all possible cases. Hence, a criterion of
individuation must be adequate to the possibility of qualitatively indistinguishable particulars, at least in the case of the two Max Black variants. Of
course, if the more controversial examples of qualitatively indistinguishable
particulars are possible, then a criterion of individuation must be adequate
to those examples too. With respect to each of the kinds of entity involved
in these examples, namely, spatial objects which can literally interpenetrate
one another, nonspatial spirits, or nonspatial Humean impressions, one can
question whether it is possible for there to be entities of that kind. In each
81
12
For an argument in support of the assumption that there could be two qualitatively
indistinguishable particulars, and criticisms of Hacking's attack on this assumption see Robert
Adams, "Primitive Thisness and Primitive Identity," The Journal of Philosophy, 76 (1979), pp.
5-26. Additional criticisms of Hacking may be found in Ronald Hoy, "Inquiry, Intrinsic
Properties, and The Identity of Indiscernibles," Synthese, 61 (1984), pp. 275-297, which I draw
on in my own discussion of Hacking.
13
CHAPTER 2
82
83
In very general terms, there are two sorts of responses to the problem of
individuation: an ontological response, and a nonontological response. An
ontological response attempts to explain the diversity of x and y by relating
14
Why is the material criterion formulated as it is, rather than as follows? (P1') At time
t, a particular x is diverse from a particular y =df. There exists a quantity of stuff Si and a
quantity of stuff S2, such that: (i) at t x is composed of SI, and (ii) at t y is composed of S2,
and (iii) S/#S2. (P1) has two advantages over (P1'). Firstly, (P1) is more economical than
(P1'). Parallel considerations apply to (P0) and to (P2), (P3), (P4), (P5), (P6), and (P8) below.
Secondly, (P1') seems vulnerable to a charge of vicious conceptual circularity to which (P1) is
immune: since a quantity of stuff composing a particular is itself a particular, it appears that
clause (iii) of (P1') employs the very concept that (P1') attempts to explicate, viz., the concept
CHAPTER 2
84
85
precise terms:
(P2) At time t, a particular x is diverse from a particular y =df. There
exists a substratum S such that: (i) at t x is supported by S, and (ii)
at t y is not supported by S.
Gustav Bergmann and Edwin Allaire are examples of philosophers who seem
to accept a substratum or bare particular criterion."
A third ontological response is a locational criterion. According to such
a criterion, a concrete entity is individuated at a time by the place which it
occupies at that time. Specifically:
(P3) At time t, a particular x is diverse from a particular y =df. There
exists a place L such that: (i) at t x occupies L, and (ii) at t y does not
occupy L.
(P3) recalls the traditional view, defended by contemporary philosophers
such as Keith Campbell, that an individual substance is individuated at a
of the diversity of particulars at a time. Parallel considerations apply to (P2), (P3), (P4), (P5),
and (P7) below.
16
See St. Thomas Aquinas, Concerning Being and Essence, George G. Leckie, trans.
(Englewood Cliffs: Prentice Hall, 1965), pp. 3-38.
17
18 Keith
Campbell, Body and Mind (Garden City: Anchor Books, 1970), pp. 44-45.
pp.
CHAPTER 2
(P7) is reminiscent of a thesis that seems to have been held by Jack Meiland:
that it is spatial relations between bodies which individuate them.'
Here, is another example of a relational criterion: At time t, a particular x
is diverse from a particular y =df. at t, x bears to y the relation of u being
possibly such that u has a property, P, at a time t* and v lacks P at t". 24
The final ontological response is a haecceity criterion, often attributed to
Duns Scotus. According to a criterion of this kind, a particular is individuated at a time by a haecceity it has at that time. Namely:
86
' For example, see John Locke, An Essay Concerning Human Understanding, Book II,
Chap XXII. According to Locke: "Power being the source from whence all action proceeds, the
substances wherein these powers are, when they exert this power into act, are called causes; and
the substances which thereupon are produced, or the simple ideas [qualities] which are
introduced into any subject by the exerting of that power, are called effects." Compare George
Berkeley's use of the related notion that there are agent causes, i.e., spiritual substances which
are efficient or active causes. See Berkeley's Three Dialogues Between Hylas and Philonous,
Second and Third Dialogues.
22 See G. F. Stout, "Are the Characteristics of Particular Things Universal or Particular,"
symposium in Proceedings of the Aristotelian Society, suppl. Vol. 3 (1923), pp. 114-122. On
Stout, see Maria van der Schaar, G. F. Stout's Theory of udgement and Proposition (University
of Leiden, 1991), especially pp. 120-122, and p. 164..
87
23
See Jack Meiland, "Do Relations Individuate?" in M. Loux, ed., Universals and
Particulars (Garden City: Anchor Books, 1970), pp. 258-263.
24 `U ,
and
CHAPTER 2
88
25
89
90
CHAPTER 2
27 See
Max Black, "The Identity of Indiscernibles". Black seems to argue that particulars
have no criterion of individuation.
91
this case, the relevant relationships are those of being a proper part and its
complement. On a causal criterion, x and y are individuated by relating
them to another particular, namely, a cause or an effect of x. Here it is the
relationships of cause and effect and their corresponding complementary
relationships which are brought into play. On a tropal criterion, x and y are
92
CHAPTER 2
that there are decisive objections to all of the other criteria, and no
successful objection to a haecceity criterion.
93
PROPOSED CRITERIA
"That is to prove the same by the same, or else to argue circularly."
(1651 Baxter Plain Scripture Proof of Infants' Church Membership
and Baptism 35)
I begin by setting forth principles for evaluating the preceding proposals for
a criterion of individuation. Those proposals seek to provide a formal
principle of individuation for entities belonging to a certain very general
ontological category - the category of Particular or Concretum. Since a
criterion of individuation for concreta is an analysis of the diversity of
concreta at a time, a proposed criterion of individuation for concreta is
inadequate if it possesses any of the following five defects.
(1) The proposal fails to provide a logically necessary condition of the
diversity of concreta at a time.
(2) The proposal fails to provide a logically sufficient condition of the
diversity of concreta at a time.
(3) The proposal is conceptually circular. Such conceptual circularity
occurs just when there is an attempt to analyze a concept in terms of itself:
a purported analysis, A, of a concept, X, is conceptually circular if and only
if X is employed in A's analysans. For example, the following proposed
analysis is (obviously) conceptually circular:
A particular, x, is diverse from a particular, y, at t =df. x is diverse from
y at t,
Given that an analysans, 1 , could be grasped, it is plausible that a concept,
X, is employed in Y just in case necessarily, if a person, S, grasps Y, then S
grasps X. Since an analysis provides a certain kind of explanation of what
is analyzed, and since it is impossible that something help explain itself, it
is impossible that an explanation be circular. Consequently, conceptually
circular analyses are viciously circular. It follows that a purported analysis
7
circularity of the sort in question if and only if it employs the concept of the
94
CHAPTER 2
95
related entails that x#z (or y#z). In what follows, I give a formal statement
of conditions under which a proposed analysis of the diversity of particulars
at a time presupposes circular individuation, and explain why an analysis of
the diversity of particulars (x and y) at a time, t, cannot presuppose circular
individuation. A proposed analysis, A, of x's being diverse from y at t
presupposes circular individuation if A meets the following three conditions.
(CI) (i) It is possible that A's analysandum and A's analysans are
jointly satisfied, and (ii) Where being a G is a category, either A
has the structure: (S1) A particular, x, is diverse from a particular,
y, at t =df. There is a G, z, such that (i) x is related in way R to z at
t, and (ii) y is not related in way R to z at t, or A has the structure:
(S2) A particular, x, is diverse from a particular, y, at t =df at t,
x is related in way R to y, and (iii) When A has structure (S1), it
is necessarily true that if A's analysandum and A's analysans are
satisfied, then z is a particular which is diverse from x (or y) at t;
and when A has structure (S2), it is necessarily true that if
A's analysandum and A's analysans are satisfied, then y is a
particular which is diverse from x at t.
Let me explain why an analysis of the diversity of particulars at a time
cannot presuppose circular individuation as specified in (CI). To begin with,
suppose that A is a proposed analysis of the diversity of particulars at a time
which satisfies (CI). In that case, A entails that if x and y are particulars,
then x is individuated from y by virtue of x's being related in a certain way
to something, z, at t (clause (ii) of (CI)), and z is a particular other than x
(clause (iii) of (CI)). If there are particulars, and if A explicates their
diversity at a time, then it follows that one particular is individuated from
another by virtue of a particular's being related in a certain way to another
particular which exists at that time. Specifically, when A has structure (Si),
a particular, x, is individuated from another particular, y, by virtue of x's
being related in a certain way at t to a third particular, z, and when A has
structure (S2), a particular, x, is individuated from a particular, y, by virtue
of x's being related in a certain way at t to y. However, p by virtue of q
entails that q helps to explain p. For example, if the car moves down the
CHAPTER 2
road by virtue of the car's wheels rotating, then this entails that the car's
wheels rotating helps to explain why the car moves down the road.
Therefore, if A is an analysis of the diversity of particulars at a time, then
a particular's being related in a certain way to another particular at a time
helps to explain why a particular is diverse from a particular at a time. But
96
97
We now possess the tools to evaluate (P1)-(P9). I will argue that (P1)-(P7)
and (P9) do not provide a satisfactory criterion of individuation for
particulars, but that (P8) does provide such a criterion. Crucial to my
argument is the claim that (CI) militates against (Pi)-(P7) and (P9), but not
against (P8).
To begin with, note that most of our proposals for a criterion of
individuation for particulars have structure (Si), namely, (P1)-(P4), (P6), and
(P8). (P5) can also be grouped together with these, since its analysans is a
disjunction of the analytical portions of two proposals which have structure
(S1). On the other hand, relational and nonontological criteria such as (P7)
and (P9) have structure (S2).
For the sake of argument, I grant that (P1)-(P9) satisfy clause (i) of (CI).
That is, I grant that in each of (P1)-(P9) the analysandum and the analysans
could be jointly met. The purpose of clause (i) of (CI) is to prevent a
proposal whose analysandum and analysans are not jointly satisfiable from
trivially satisfying (CI). Henceforth, we may ignore this clause of (CI).
Let us first consider relational and nonontological criteria, for example,
(P7) and (P9). Because proposals of these kinds have structure (S2), they
satisfy clause (ii) of (CI). In addition, since such a proposal's analysans
consists of a particular, x, that is irreflexively related to a particular, y, such
an analysans necessitates that x and y are diverse. Hence, proposals of these
sorts meet the requirements of clause (iii) of (CI) for proposals which have
structure (S2). Because relational and nonontological criteria satisfy all of
(CD's clauses, criteria of this kind presuppose circular individuation.'
28
98
CHAPTER 2
99
Thron yliopis to
100
CHAPTER 2
101
102
CHAPTER 2
possibility of simple objects such as nonspatial souls or Boscovichian pointparticles; and a causal criterion such as (P5) cannot accommodate the
104
CHAPTER 2
30
Recall that a recent theory in physics implies that two fundamental particles having the
same intrinsic qualitative properties can wholly coincide in space. As noted earlier, if this
theory is correct, then there is a possible world consisting of two spatially coincident particles
of this kind which have the same qualitative properties. Thus, premises drawn from empirical
science arguably lead to the conclusion that fundamental particles have haecceities. In a similar
vein, on some interpretations of certain quantum mechanical theories, fundamental particles can
move in a spatially discontinuous manner. If fundamental particles can "leap" through space
in this way, then the most popular criterion of the identity over time of particles is mistaken,
that of spatio-temporal continuity. For an argument that such a criterion of identity through
time is mistaken (even if it is supplemented with causal constraints on temporal stages being
stages of the same body), see my and Joshua Hoffinan's Substance Among Other Categories:
A Conceptual Investigation (Cambridge: Cambridge University Press, forthcoming), Chapter 5,
Section 9. That spatio-temporal continuity together with these causal constraints fails to furnish
a criterion of identity through time for fundamental particles suggests that haecceities are needed
to provide this criterion. Thus, there are reasons to suspect that theoretical developments in
empirical science lead to the conclusion that fundamental particles have haecceities.
31 AII I mean by the intrinsic nature of a thing is the conjunction of all of a thing's intrinsic
properties, and an intrinsic nature of a thing is simply any intrinsic property of a thing. An
intuitively plausible example of an intrinsic property of some item is the property of being
square. An example of a nonintrinsic property of some item is the relational property of being
between a rock and a tree.
105
321t
should be noted that since a haecceity is an individual essence, such an intrinsic nature
of x is also essential to x.
CHAPTER 2
106
33 For example, see Max Black, "The Identity of Indiscernibles," p. 206. Actually, Black's
protagonist claims that "All that you mean (my italics) when you say 'a has the property of
being identical with a' is that a is a." According to this claim, to say a has the property of
being identical with a is to say a is a, and vice-versa. However, notice that in some cases to
say p is to say q, and vice-versa, and in other cases, to say p is to say q, but not vice-versa. For
example, to say that something is green and round is to say that something is green and round,
and vice-versa, whereas to say that something is green and round is to say that something is
green, but not vice-versa. (Seemingly, if it is possible that someone says p, then to say p is to
say q just in case a person's saying p necessitates his saying q.) In (C1), it is claimed that to
say a has the property of being identical with a is to say a is a, but the converse is not claimed.
Hence, Black's protagonist's claim is stronger than the corresponding claim in (Cl). Moreover,
Black's protagonist's claim appears to be false, since to say that a has the property of being
identical with a is to say that something has a property, whereas to say that a is a is not to say
that something has a property. Clearly, though, this is no reason to reject the corresponding
claim in (C1). Furthermore, it is just as plausible that the latter claim implies (C2) as it is that
Black's protagonist's claim implies (C2). For these reasons, Argument C is the formulation of
choice for this sort of triviality objection.
107
108
CHAPTER 2
34 According
109
of Argument C.
The second variation on Argument C replaces (C1) with
(Clb) The haecceity of a particular, a, is the property of being identical
with a, and this property is identical with a collection (sum) of a
and the identity relation.
It would appear that (C1 b) is unacceptable. For one thing, (Clb) is untrue
if Property and Collection are nonoverlapping ontological categories, and it
is intuitively plausible that this is so. Moreover, the following related
argument entails that (Clb) is untrue. Necessarily, a haecceity is an abstract
entity, and an abstract entity does not have a particular as a part. Thus, a
nonqualitative haecceity does not have a particular as a part. However,
necessarily, a collection of a particular, a, and the identity relation, has a
particular as a part. It follows that necessarily, a nonqualitative haecceity
and a collection of a particular and the identity relation have different
properties. Hence, a nonqualitative haecceity cannot be identified with a
collection (sum) of the identity relation and a particular. Therefore, (Clb)
and the corresponding version of Argument C ought to be rejected.
According to the third variation on Argument C, (C1) is replaced with
(Clc) The haecceity of a particular, a, is the property of being identical
with a, and this property is identical with the property of being an
x such that x is identical with a.
A proponent of this variant presupposes that the phrase 'x is identical with
a' as it occurs in (C1 c) ascribes the qualitative dyadic relation of identity.
Should we accept (Cl c)? One argument which supports (Cl c) is based
on the following two premises.
(a) The property of being identical with a and the property of being an x
such that x is identical with a are necessarily coinstantiated.
(b) If a property A and a property B are necessarily coinstantiated, then
A=B.
110
(b) represents a coarse grained view of property identity, and there is good
reason to reject such a view in favor of a fine grained view of property
identity. A fine grained view can be justified by appealing to the fact that
sometimes a property A and a property B are necessarily coinstantiated, but
it is nevertheless possible that a person grasps A without his grasping B. For
35
36
For a defense of the claim that property identity is fine grained see Roderick Chisholm,
Person and Object (La Salle: Open Court, 1976), pp. 117-120.
37
Ernest Sosa, "Classical Analysis," Journal of Philosophy, 80 (1983), pp. 695-710. See
the discussion of Sosa's "Classical Analysis" in Chapter 1, section VI.
38
CHAPTER 2
111
39
From what he says in "Classical Analysis" there is reason to think that Sosa would concur
in this judgement.
40
112
CHAPTER 2
a graspable property or proposition, P2, then it seems clear that PI involves abstracta of the
same kind as P2 involves. If an abstractum, Al, involves an abstractum, A2, then Al's
involving A2 is an intrinsic feature of Al. For example, in virtue of their internal structure, a
conjunctive, disjunctive, or negative property or proposition, P1, involves another property or
proposition, P2, which is a conjunct, disjunct, or negand of Pl.
113
1 14
CHAPTER 2
41
If (Clc) is amended so that it proposes that the property of being identical with a=the
property of being an x such that x bears Identity to a, then an argument of the same kind
applies.
42This objection is based upon a criticism raised by an anonymous reviewer for Cambridge
University Press. Edward Zalta has used the term "plugging" to refer to a putative logical
analog of the linguistic operation of partially saturating a multi-place predicate with a name.
See Zalta's Abstract Objects: An Introduction to Axiomatic Metaphysics (Dordrecht: D. Reidel,
115
1983).
CHAPTER 2
116
relation attribution at a later date. (Indeed, this might be true in our own
-
117
Consequently,
(4) Necessarily, for any x, if x is a haecceity, then x is a one-place or
monadic abstract entity.
Furthermore,
(5) Necessarily, for any x, if x is an abstract entity which consists
(logically speaking) of a two-place relation one of whose places is
"plugged" by an item, then x is a two-place abstract entity.
Therefore,
(6) Necessarily, for any x, if x is a haecceity, then x does not consist,
logically speaking, of a two-place relation one of whose places is
"plugged" by an item.
We can now see that (a), (b), and (c), below, should be distinguished from
one another:
(a) _being identical with_ (Identity has two places, both of which are
"unplugged"),
(b) _being identical with a (A haecceity is a property and has one place),
and
(c) _being identical with a (Since this putative entity has two places
[one of which is "plugged" by a], it is not a property).
According to my argument, if Identity and a are logical constituents of the
property of being identical with a, then (b) is identical with (c). Since, as
I have argued, this implies a contradiction, I conclude that Identity and a are
not logical constituents of the property of being identical with a. For this
reason, it appears that the claim that a haecceity, is a relational property
having Identity and an object as logical ingredients is untenable. The
conception of haecceity embodied in this claim seems to be ill-conceived, or
of dubious coherence, for a haecceity which satisfies this conception
apparently exemplifies contradictory features characteristic of abstract entities
belonging to different ontological categories, that of Property and Relation.
For the preceding reasons, I believe that this conception of haecceity
involves a category mistake: a categorial confusion between a property and
a relation. Given such a conception, haecceities are fantastical and
CHAPTER 2
118
monstrous entities which seem even less intelligible than the singing and
dancing teapot depicted in Disney's animated film version of Beauty and the
Beast.' Now that we understand the serious problems faced by the idea
that a concretum's haecceity has Identity and a concretum as logical
constituents, it is clear that (Cid) and the corresponding version of Argument
C should be rejected.
It might be countered that although a partly "plugged" relation being
identical with a cannot be identified with a haecceity, a haecceity somehow
emerges from a partially "plugged" relation. In that case, a haecceity is
dependent upon a partly "plugged" relation, and perhaps a nonqualitative
haecceity is "constituted" by an object and such a relation in some sense.
However, a notion of an entity's emerging from another more basic entity
naturally arises in a domain of a certain kind. In particular, such a domain
has members which either (i) have spatial or temporal parts, or (ii) can
undergo a change in their intrinsic properties. For example, arguably, an ice
cube emerges from, and is in some sense constituted by, a quantity of water,
and arguably, a spherical surface emerges from, and is in some sense
dependent upon, a spherical object. In the first of these examples, the idea
seems to be twofold: (a) an ice cube cannot exist without a quantity of
water, but a quantity of water can exist without an ice cube, and (b) the
melting of the ice cube necessitates its destruction, but typically, the quantity
of water continues to exist after the ice cube melts. In the second of the
foregoing examples, the idea appears to be that a spherical surface is
somehow parasitical upon a spherical object. Whatever one might make of
such notions of emergence, they appear to be meaningless in a domain
whose members are immutable, that is to say, incapable of undergoing a
change in their intrinsic properties, and whose members have neither spatial
nor temporal parts. Yet, since haecceities are abstract properties, they belong
to a domain of this latter sort. 44 Therefore, the notion that a haecceity
somehow emerges out of a partly "plugged" relation seems to be senseless.
In the light of the foregoing arguments, there is no reason to think that a
119
45
43
Cf. Chapter 1, section II, where it is argued that a "relational property" cannot be
identified with a relation, and that the sense in which such a property is "relational" can be
understood in terms of the sort of linguistic expressions which designate such properties.
44
1 quote an anonymous reviewer who read an earlier version of this book for Cambridge
University Press.
46
CHAPTER 2
120
47
See Donald Davidson, "The Individuation of Events," and "Events as Particulars," Nous,
121
CHAPTER 2
122
48
123
124
CHAPTER 2
THE PROBLEM OF
INDIVIDUATION
125
the identity relation and x. 49 However, if (2) is true, then we should infer
that a collection which has a concretum as a part is not an abstract entity.
Because a haecceity is an abstract entity, it follows that the haecceity of a
concretum, x, cannot be identified with a collection of the identity relation
and x. Hence, if (2) is true, then (1) is false. Furthermore, since (2) is quite
plausible, it seems that (1) is false. For the foregoing reasons, the first of
these objections is unsound.
The response might be to revise (1) and (2) as follows.
(1') Although the haecceity of a concretum, x, does not have x as a part,
there is a sense in which such an abstract entity intimately involves x.
(2') It is impossible that an abstract entity involves a concretum in such
a sense.
A weakness of this revised objection is that it is unclear in what sense the
haecceity of a concretum is supposed to "intimately involve" that concretum.
For this reason, it is problematic whether (1') is true. Perhaps there is a
sense of Constituenthood which differs from Parthood or Elementhood, and
which is the intended sense of "intimate involvement" in this objection.
However, if the haecceity, H, of a concretum, x, has x as a constituent, then
x must be a proper constituent of H, otherwise H would be identical with x,
which is obviously absurd. But if something has one proper constituent, then
it must have another. If a concretum, x, is a proper constituent of the
haecceity of x, then what other proper constituent does x's haecceity possess?
My reply to the contention that it, is viciously circular or trivial to analyze
the diversity of concreta at a time in terms of their haecceities seems to
imply that such a haecceity does not have the identity relation and a
concretum as proper constituents, and does not involve the relation of
identity. However, it appears that if a haecceity of a concretum, x, has
proper constituents, then x and the identity relation are among them. Hence,
49
Note that such a collection is not a set, since it is possible that a set have elements, but
not parts. The relation of proper parthood is transitive and irreflexive, whereas the relation of
elementhood is not transitive and (on some views) not irreflexive.
CHAPTER 2
126
127
50
52
Notice that property exemplification and tropal possession are different relations,
inasmuch as it is possible that an abstract entity bears the former, but not the latter, to a
concretum.
128
CHAPTER 2
For it appears possible that there be an abstract entity which has contingent
existence, for instance, a set of contingent concreta which exists if and only
if its elements exist.
Another sort of objection to the possibility of nonqualitative haecceities
goes as follows. The haecceity of a concretum is supposed to be a property,
but such a haecceity has a diaphanous quality indicative of its lack of
content. Since a property must have some content, there could not be a
nonqualitative haecceity.
My reply is that the content of a concretum's haecceity is a concretum's
individuality or identity in a sense which is quite fundamental. Some
philosophers may be led to think that nonqualitative haecceities are
contentless by their inability to grasp the content of certain nonqualitative
haecceities. Nevertheless, whether a nonqualitative haecceity has content,
and whether that content is graspable by someone, would seem to be
different questions.
A related objection to the possibility of nonqualitative haecceities is based
on the following two premises.
(1) If concreta have haecceities, then there could be a property, namely,
some concretum's haecceity, which is necessarily ungraspable.
(2) Necessarily, a property is possibly grasped.
I am prepared to grant that (1) is true. As we shall see later, it can be
argued plausibly that there are haecceities which can be exemplified by
necessarily unconscious material substances and which could not be grasped
by anyone.
Is there a good reason to accept (2)? Of course, if there are properties,
then we grasp some of them. Yet, our grasping some properties does not
entail that every property is graspable. On the other hand, if properties can
130
CHAPTER 2
131
haecceities, then there are also abstract entities of these other sorts.'
However, to say that such a version of Realism is over-stuffed is to say that
it multiplies entities beyond necessity, thereby violating Ockham's Razor.
Hence, if my argument that nonqualitative haecceities are needed as part of
the best explanation of the diversity of individuals at a time is successful,
and if we are justified in believing that the existence of haecceities implies
the existence of abstract entities of the other aforementioned kinds, then a
full-blown realism is required if there is to be an explanation of particulars'
being diverse from one another. In this case, an ockhamist cannot justifiably
dismiss nonqualitative haecceities either on the ground that their postulation
is unparsimonious, or on the ground that the overall-ontology to which they
belong is over-inflated. Moreover, if the ockhamist claims that nonqualitative haecceities do not provide an acceptable solution to the problem of
individuation, then he ought to either give a reason for thinking that some
other proposal offers a superior solution or else explain why my proposed
solution in terms of nonqualitative haecceities is defective.
A possible worry about the adequacy of my proposed solution arises as
follows. It appears that our notion of concreta's being diverse is
conceptually prior to our notion of a concretum's having a haecceity. That
is, it seems that we acquire the former notion before we acquire the latter
one. This might be thought to constitute a reason for doubting that
concreta's being diverse can be analyzed or explicated in terms of something's having a haecceity. But it is not such a reason. For as Aristotle
recognized in the Physics, our preanalytic or prescientific ideas about things
are epistemically prior to the first principles which are discovered through
analytical inquiry and which explain the nature of things.' Similarly, our
prescientific idea of light is conceptually prior'to the notion of a photon, but
the fundamental laws which explain the nature of light tell us that light is a
stream of photons. Thus, it is to be expected that if a concretum's having
a haecceity can be used to explain why concreta are diverse, then our notion
of concreta's being diverse is conceptually, prior to our notion of a
concretum's having a haecceity.
,
53 See
54 Aristotle,
132
CHAPTER 2
55
This premise can be defended as follows. As we have seen, it seems that if concreta
have haecceities, then there are abstracta, including properties and propositions, both qualitative
and nonqualitative. Moreover, as I argued in Chapter 1, section III, Proposition is a category
of logical entity, i.e., propositions have truth-values, logical entailments, modal properties, and
so on. Therefore, it is plausible that if there is a proposition, then for certain kinds of
propositions, there must be a logically comprehensive variety of propositions of those kinds.
Specifically, it is intuitively plausible that if there are abstracta of the aforementioned sorts, and
A is an abstract entity, then there is the proposition that (3x)(x=A). But this proposition says
that some:'-g is identical with A. It is plausible that if there is a proposition of this kind, then
there is the property of being identical with A. Hence, it seems that if concreta have haecceities,
then abstracta have haecceities. Notice that this conclusion is based upon a need for logical
generality: it has not been argued that haecceities of abstracta are needed in order to explain the
diversity of abstracta. In fact, i shall argue in the text below that haecceities of abstracta
cannot help to explain the diversity of abstracta.
56
According to some philosophers, abstracta are outside of time. If these philosophers are
correct, then abstracta are not diverse at a time. In that case, the only kind of diversity which
abstracta can have is timeless diversity, and the question in the text should be replaced with 'Is
there an analysis of the timeless diversity of abstracta?' However, the claim that abstracta are
outside of time is problematic, since it seems that properties, relations, and propositions undergo
relational change, e.g., Sobriety is exemplified by Socrates at one moment and not at another.
133
and the fifth instance's) being so related entails that they are diverse, the
fifth instance's being diverse from some sixth instance of C at t can only be
explained by relating this fifth instance (or the sixth instance) to a seventh
instance of C at t in such a fashion that the fifth instance and the seventh
instance's (or the sixth instance and the seventh instance's) being so related
'entails their diversity, and so on ad infinitum). The inadmissibly circular
character of an attempted analysis of this kind is analogous to that found in
the earlier attempt to analyze or explain the diversity of concreta at a time
by relating one concretum to another concretum. In other words, such an
attempt to explain why an instance of an ontic category, C, is diverse from
another instance of C by relating an instance of C to another instance of C
is viciously circular. Thus, any proposed analysis which presupposes such
circular individuation is fatally flawed, including one which attempts to
analyze the diversity of abstracta at a time by relating abstracta to
abstracta. 57 However, the attempts to analyze the diversity of abstracta at
a time by relating abstracta to abstracta which need concern us presuppose
circular individuation of this very sort. For example, it might be proposed
that:
(AB) At time t, an abstractum A is diverse from an abstractum B =df.
There exists a property P such that: (i) at t A exemplifies P, and (ii)
at t B does not exemplify P.
57
Note that conditions or criteria such as those we usually employ to differentiate one
property from another cannot be used to construct an analysis or explanation of the diversity of
properties at a time. For example, at t, property A 1#A2 if at t, Al and A2 are not necessarily
coinstantiated; and at I, property A 1#A2 if at t, AI is possibly grasped without A2's being
grasped. Such conditions, or criteria involving them, distinguish Al and A2 by irreflexively
relating AI to ,42: they distinguish abstracta (properties) from one another by relating abstracta
(properties) to other abstracta (properties) in such a way that these abstracta's (properties')
being so related entails their diversity. Consequently, such conditions or criteria presuppose
circular individuation. Thus, criteria or conditions of this sort cannot provide an analysis or
explanation of the diversity of properties at a time. Nonetheless, conditions or criteria of this
kind have an epistemic utility: they can provide intellectual justification for the claim that
certain properties are diverse. Parallel remarks apply to abstracta such as propositions and
relations, and the criteria we customarily employ to differentiate them. See footnote 3 in this
chapter for a discussion of the distinction between formal criteria and epistemic principles of
individuation.
134
CHAPTER 2
58
Presumably, Red and Round are not self-exemplifying: they are first-order properties,
properties which could only be exemplified by concreta. On the other hand, a second-order
property is one which could only be exemplified by a first-order property, a third-order property
is one which could only be exemplified by a second-order property, and so forth.
59 Observe that although my argument for this conclusion resembles the earlier argument,
based on (CI), which rules out circular individuation in the case of concreta, these arguments
are not completely parallel. Because the exemplification relation seems not to be irretlexive,
in constructing the present argument it was necessary to diverge somewhat from the pattern of
the earlier argument. As a result of the apparent nonirreflexivity of exemplification, there
appears to be a possible case in which a property A exemplifies A, and some other property, B,
does not exemplify A. For example, possibly, the property of being grasped by someone has
the property of being grasped by someone, and some other property, say, being red, does not
have the property of being grasped by someone. Hence, (AB)'s analysans seems not to entail
that P is an abstract entity which is other than A. Notice that my argument for the conclusion
that a proposal such as (AB) is inadmissibly circular does not imply that there is such an
entailment, unlike an argument for this conclusion based on a principle which parallels (CI) and
which results from replacing each occurrence of 'particular' in (CI) with an occurrence of
`abstractum'.
135
60 The
general principle at work here can be stated as follows. Where being F and being
G are diverse ontological categories, attempting to both analyze the diversity of Fs at a time by
relating Fs to Gs, and analyze the diversity of Gs at a time by relating Gs to Fs, is viciously
circular.
136
Of course, it is viciously circular to try to analyze the diversity of nonqualitative haecceities at a time by relating them to concreta as in (H), while
trying to analyze the diversity of concreta at a time by relating them to
nonqualitative haecceities as in (P8). Thus, if (P8) is accepted as an
analysis, then (H) should be rejected as an analysis; and if (H) is accepted
as an analysis, then (P8) should be rejected as an analysis. Therefore, we
have two options, we can either
(1)
CHAPTER 2
137
Of
(2)
Is there any reason to prefer one of these options to the other? The
following considerations count decisively in favor of option (01). If we take
option (02), then although we might be able to explain the diversity of
nonqualitative abstracta at a time, we cannot explain either the diversity of
concreta at a time or the diversity of qualitative abstracta at a time. On the
other hand, if we select option (01), then we can explain the diversity of
concreta at a time, but not the diversity of abstracta at a time. The point
which tips the balance decidedly in favor of option (01) concerns the way
in which the explanations put forward by (01) and (02) correspond to an
adequate classificatory scheme of ontological categories. According to (01),
concreta have a principle of individuation, and abstracta lack one: a
distinction neatly corresponding to the core ontological division between the
categories of the concrete and the abstract. In this sense, the distinction in
question is a natural and intuitive one. In contrast, (02)'s distinction
between those entities which have and those entities which lack a principle
of individuation is gerrymandered and unintuitive: it lumps together
61
The extreme realism of properties that I defend in this book entails that abstracta lack
spatial location. Even if moderate realism can be used to defend the idea that abstract properties
are spatially located where they are exemplified, there could be coexemplified properties which
are spatially coincident. Consequently, spatio-temporal location cannot be a principle of
individuation for abstracta. However, as the numerical diversity of abstracta is a brute fact,
abstracta have no need of a principle of individuation. Thus, the fact that spatio-temporal
location cannot serve as a principle of individuation for abstracta is of no comfort to a
nominalist. Nor does the fact that the numerical diversity of abstracta is inexplicable give the
nominalist grounds for complaint, since my argument implies that the numerical diversity of
concreta is inexplicable unless there are abstracta, viz., nonqualitative haecceities.
138
CHAPTER 2
of entities of the first kind, and it is not anomalous if the diversity of entities
of the second kind is explicable, and the diversity of entities of the first kind
is an inexplicable brute fact. In what follows, I describe my reasons for
thinking that abstracta are ontologically prior to concreta.
To begin with, consider the traditional view that abstracta are necessary
beings, whereas concreta are contingent beings. If this view is correct, then
abstracta are ontologically prior to concreta: necessarily, if there are
concreta, then there are abstracta, but possibly, there are abstracta and no
concreta. Moreover, in the next chapter I argue that if there are nonqualitative properties, then properties, relations, and propositions, whether
qualitative or nonqualitative, have necessary existence. If we suppose that
abstracta of these kinds have necessary existence, then concreta are
asymmetrically dependent upon abstracta, even if some abstracta have
contingent existence or some concreta have necessary existence. In the
relevant sense of asymmetrical dependence, an entity which instantiates an
ontic category, Cl, is asymmetrically dependent upon an entity which
instantiates an ontic category, C2, just in case there being an instance, i,, of
Cl entails that i, bears a certain relation to an instance of C2, and there
being an instance, i2 , of C2 does not entail that i2 bears the converse relation
to an instance of Cl. Supposing that abstracta of the aforementioned kinds
have necessary existence, concreta are asymmetrically dependent upon
abstracta in the foregoing sense. For in that case, necessarily, if x
instantiates the ontic category of being concrete, then x bears a relation to
something which instantiates the ontic category of being abstract, but
possibly, there is something which instantiates the latter ontic category and
which does not bear the converse relation to something which instantiates the
former ontic category. For example, if we assume that properties, relations,
and propositions, whether qualitative or nonqualitative, have necessary
existence, then necessarily, if there is a concretum, x, then x exemplifies
properties, but possibly, there is a property which is not exemplified by a
concretum; necessarily, if there is a concretum, x, then there are propositions
which are true of x, but possibly, there is a proposition which isn't true of
a concretum; necessarily, if there is a concretum, x, then x enters into
relations, for example, Exemplification, but possibly, there is a relation, R,
such that no concretum enters into R; and necessarily, if there is a concre-
139
turn, x, then there is a set of which x is an element, but possibly, there are
sets, for instance, the null set, which do not have a concretum as an element.
If the existence of nonqualitative haecceities implies that abstracta are
ontologically prior to concreta in the way indicated, then there is nothing
anomalous about concreta's having a principle of individuation and
abstracta 's lacking one.' An upcoming argument implies that the existence of nonqualitative haecceities has this very consequence.
The time has come for a summary of the implications of my arguments
for the existence and nature of properties. Firstly, there are nonqualitative
haecceities. Secondly, a nonqualitative haecceity is a property, a kind of
abstractum. Thirdly, a nonqualitative haecceity cannot be identified with an
abstractum of another category such as a relation, a proposition, or a set.
Hence, it would appear that there are properties, and that Propertyhood is a
fundamental ontological category. In other words, it would seem that Robust
Realism is true.
Since the diversity of abstracta is unanalyzable, it clearly follows that the diversity of
62 Since
entities in general is unanalyzable. Of course, this conclusion is compatible with my claim that
the diversity of concreta is analyzable.
CHAPTER 3
HAECCEITIES AND NONEXISTENT POSSIBLE
INDIVIDUALS
"Conception is often employed about objects that neither do, nor
did, nor will exist."
(1785 T. Reid Essays on the Intellectual Powers of Man iv. i. Wks.
368/1)
"I and all the world are in a difficulty about the non-existent."
[Jowett The Dialogues of Plato (ed. 2) I. 230 (1875)]
I have argued that there are nonqualitative haecceities,' and that if this is the
case, then there is a full range of qualitative and nonqualitative properties
and propositions.' I conclude that there exists a full range of qualitative and
nonqualitative properties and propositions. It seems that if there are
abstracta of these kinds, then metaphysical possibility can be understood in
terms of them. Therefore, it appears that metaphysical possibility can be
understood in terms of qualitative and nonqualitative properties and
propositions. In particular, it is highly plausible that a possibility or possible
world is identifiable with an abstractum, that is, a proposition or property,
3 For instance, see Alvin Plantinga, The Nature of Necessity (Oxford: The Clarendon Press,
1974). Notice that any property, proposition, or state of affairs which can be identified with a
possible world or universe must be very large and "maximal" or suitably complete. For an
account of possible worlds as possible complete states of affairs see Alvin Plantinga,
"Transworld Identity or Worldbound Individuals" in M. Loux, ed., The Possible and The Actual
(Ithaca: Cornell University Press, 1979), p. 147. According to Plantinga: "A pair of states of
affairs S and S' may be so related that it is not possible that both obtain, in which case S
precludes S'; and if it is impossible that S obtain and S' not obtain, then S includes 5... Still
further, a state of affairs S may be such that for any state of affairs S, S either includes or
precludes S', in which case S is maximal. Now we may say that a possible world is just a
maximal possible state of affairs." On Plantinga's conception of a possible world, the maximal
possible state of affairs which obtains is the actual world, and a maximal possible state of affairs
which does not obtain is a possible world which is merely possible. To allow for the fact that
some states of affairs, for example, Socrates's drinking, occur at some time, but not others,
Plantinga revises his account in the following way. A temporally invariant state of affairs is one
that necessarily, either always occurs or never occurs. A possible world is a possible state of
affairs which is temporally invariant and maximal with respect to temporally invariant states of
affairs. See Alvin Plantinga, "Self-Profile" in James Tomberlin and Peter Van Inwagen, eds.,
Alvin Plantinga (Dordrecht: D. Reidel, 1985), pp. 90-91.
'See Chapter 2.
140
141
142
6 Note
CHAPTER 3
143
one and only one of them could exemplify P, and this possible object is a
NEP. Thus, P individuates a specific NEP. However, suppose a property
P is such that if in some possible world W, P is exemplified by an object o h
then in some possible world W2 P is exemplified by an object 02 diverse
from 0 1 . In that instance, P does not meet (D1), for either P is not
exemplified by a NEP (clause (i) of (Dl) is not satisfied by P), or P is
exemplified both by a possible object 0, in WI and by another possible
object o2 in W2 (clause (ii) of (D1) is not met by P). Because of this, P fails
to single out a specific NEP from among the totality of possible objects, both
actual and merely possible. Therefore, P does not individuate a NEP.
According to (D1), P individuates a NEP if and only if P is an unexemplified individual essence which is possibly exemplified by a concretum. Since
all unexemplified haecceities which are exemplifiable by concreta are
individual essences of this sort, (DI) implies that such an unexemplified
haecceity individuates a NEP. On the other hand, it seems that some
individual essences are not haecceities Thus, if NEPs are individuated by
unexemplified individual essences, it is not obvious that these unexemplified
individual essences are haecceities. However, I shall argue that NEPs are
individuated by unexemplified nonqualitative haecceities.
The first order of business is to show that Modal Realism requires NEPs
to be individuated by unexemplified individual essences. To begin with, it
is a datum that possibly, there exist objects which never exist in fact. In
other words, surely, in one possible world or another there exist objects
which do not exist in the actual world. Notice that this datum doesn't pick
out a specific possible object. Rather, it uses a kind of quantification to talk
about NEPs in purely general terms. However, there being a general
possibility of this kind entails that there are specific possibilities which are
instances of that general possibility. That is, there being such a general
possibility presupposes the possible existence of specific objects which do
not exist in fact, or the existence in some possible world of specific objects
which do not exist in the actual world.
Bearing this in mind, let o be a nonexistent possible, an object which does
not exist, but which exists in some nonactual possible world W. Thus, the
8 See
144
CHAPTER 3
145
NEP. Thus, o's being a NEP is incompatible with the conjunction of Modal
Realism and the claim that there is no property which individuates o: Modal
Realism implies that for each NEP, there is an individual essence which
individuates that NEP.
CHAPTER 3
146
I shall now argue that there isn't anything which individuates disjoint NEPs,
unless disjoint NEPs are individuated by unexemplified nonqualitative
haecceities.
To begin, take any possible physical object or person whose existence or
nonexistence is a contingent matter. As we have seen, it is intuitively
plausible that for each such individual, there could be another object
composed of numerically different stuff which is an exact double of it.
Two such possible objects are numerically distinct but are indiscernible in
their intrinsic qualitative properties throughout their histories. That is, at
each moment of their existence they would be of the same kind, have the
same color, shape, weight, size, internal structure, mental states, and so on.
Thus, the following assumption is justified. For any physical object or
person, o p which has contingent existence in a possible world, W1 , there is
a possible world, W2, in which there is an object, 0 2 , such that: 02 is other
than op 0 2 is made up of numerically different stuff than o / , and 0 2 and o,
are twins in the sense that for any time t, o, has the same intrinsic qualitative
properties at t in W2 as 0 / has at t in W,. Since it is plausible that 0 / could
have such a twin 0 2 , considerations of parity make it plausible that 02 could
have a twin o3 which is other than op o 3 could have a twin 0, other than 0,
and 0 2 , and so forth. For parallel reasons, it is equally plausible that if o / is
a disjoint object, then ever so many of o,'s possible twins are also disjoint.
Furthermore, in some possible world W3 02 exists, o, never exists, and 0 2
occupies each space-time position that o, occupies in W,. In addition, o l
could fail to exist and have its place taken in this way by a twin 0 2 , while
everything else in W3 is the same as it is in W, - with the only possible
exception being the existence of either parts of 0 2 , things in 0 2 's causal
ancestry, descendants of such ancestors, or parts of these ancestors or
10
147
CHAPTER 3
148
13
See Chapter 2.
149
150
CHAPTER 3
151
15
152
CHAPTER 3
153
exist a red concretum. These three claims together imply. that Redness has
contingent existence. Thus, a moderate realist may well hold that the
qualitative proposition
(2) if something is red, then it is red
has contingent existence, on the ground that (2) exists only if a red
concretum exists. After all, (2) does not exist unless Redness exists, and
Redness has contingent existence. It follows that (2) is not a necessary truth
which is true in all possible worlds. There are possible worlds in which a
red concretum does not exist, and (2) isn't true in those worlds. In contrast,
a bifurcated realist would claim that (2) is a necessary truth. To this claim,
our moderate realist would reply that although (2) is not a necessary truth,
(2) has a characteristic easily confused with necessary truth. Specifically, he
would correctly note that (2) is essentially true: (2) is true in every possible
world in which (2) exists. However, if (2) isn't a necessary truth, then no
proposition is a necessary truth. Thus, Moderate Realism implies that there
are no necessary truths, only essential ones.
Bifurcated Realism can regard (2) as a necessary truth only if it discounts
the moderate realist's claim that (2) is merely essentially true. But then it
would seem that a bifurcated realist is not justified in rejecting (1)'s
necessary truth in favor of (1)'s essential truth. Thus, the bifurcated realist's
claim that every necessary proposition is qualitative is questionable. In other
words, there might be a nonqualitative proposition which is necessary. And
since a necessary proposition has necessary existence, there might be a
nonqualitative proposition which has necessary existence. Hence, the
bifurcated realist's claim that every nonqualitative proposition has contingent
existence is problematic. Moreover, nonqualitative propositions involve
nonqualitative properties, and if abstracta of the former sort have necessary
existence, then abstracta of the latter sort have necessary existence. Consequently, the bifurcated realist's contention that nonqualitative properties have
contingent existence is problematic as well. For these reasons, the bifurcated
realist's rejection of Platonic Haecceitism should be regarded with suspicion.
Yet, Moderate Realism implies that a haecceity cannot exist unless it is
exemplified: a concretum's haecceity cannot exist unless that concretum
CHAPTER 3
154
155
Notice that if W is an empty world, then every red concretum which exists
in a possible world other than W is mereologically and causally disjoint
relative to W.' 8 This suggests that
Redness wouldn't exist if there were never a concretum
16 may also be desirable that treatments of modal and metaphysical topics be compatible
It
with the claim that some concretum has necessary existence.
17
After all, in each case (i) there is nothing which could exemplify the
property in question, and (ii) there are no things whose assembly would
create an instance of the property in question. Still, there is a certain
dissimilarity between Redness and a nonqualitative haecceity. So it might
be thought that (i) and (ii) are more damaging to the idea that a concretum's
haecceity exists independently of any concretum, than they are to the idea
that Redness exists independently of any concretum. The dissimilarity I have
in mind is that the nonqualitative haecceity of a concretum, x, pertains to x,
whereas a qualitative property such as Redness does not pertain to a
particular concretum. 19 Nevertheless, because Redness could only be
exemplified by red concreta, Redness appertains generally to red concreta.
Therefore, in the final analysis (i) and (ii) appear no more damaging to the
idea that a concretum's haecceity exists independently of any concretum,
than they are to the idea that Redness exists independently of any concretum.
Thus,
18
The notion of a concretum's being disjoint relative to a possible world can be defined
in two steps as follows. A concretum, x, is a mereological or causal product relative to a world
W =df. (i) x does not exist in W and (ii) in W, either x would be created by the assembly or
arrangement of some bits of matter which exist in W, or x would be produced by some
particular(s) which exist in W under a nomologically possible circumstance. A concretum, x,
is disjoint relative to a world W =df. (i) x does not exist in W, and (ii) x is not a mereological
or causal product relative to W, and (iii) x exists in some possible world.
19
156
CHAPTER 3
157
20
See Chapter 2, sections VI and VII, where I defend the thesis that haecceities provide an
158
CHAPTER 3
159
160
CHAPTER 3
general term 'F' to Fs. Notice that this argument for saying that
(QQ-DR) a qualitative property essentially makes quasi-denotational
reference to concreta,
161
162
CHAPTER 3
22
163
164
CHAPTER 3
23
This objection is suggested by the following remark from John Pollock's paper "Thinking
about an Object" in Peter A. French, Theodore E. Uehling, Jr., and Howard K. Wettstein, eds.,
Midwest Studies in Philosophy, 5, Studies in Epistemology (Minneapolis: University of
Minnesota Press, 1980), p. 498. "Propositions have been supposed to be abstract entities having
necessary existence, but if a de re proposition can only be entertained by a single individual,
it is at least plausible to suppose that its existence is contingent upon the existence of that
individual. To suppose otherwise smacks of talk of 'merely possible objects,' which I at least
find repugnant."
165
readings, (2) says that there exists a nonexistent possible concretum something which is an absurdity. But on that reading (1) does not imply (2):
because an unexemplified nonqualitative haecceity is neither nonexistent nor
concrete, there being such a haecceity does not imply that there exists a
nonexistent possible concretum. On the other reading, (2) is just a somewhat
misleading way of saying that there are cases in which the existence of a
concretum is possible even though the concretum in question never exists,
or of saying that in some possible world there exists a concretum which does
not exist in the actual world. On that reading, (1) seems to imply (2), but
(2) appears to be true. Since (2) cannot be derived on the first reading, and
since (2) is not self-contradictory on the second reading, the foregoing
objection fails to show that there are no unexemplified nonqualitative
haecceities.
In sum, none of the foregoing objections undercut Platonic Haecceitism.
As far as I can see at present, there is no reason to abandon the idea that
there are unexemplified nonqualitative haecceities which individuate disjoint
objects and which have necessary existence.
166
CHAPTER 3
167
attributions of de re necessity.
(D4) x has necessary existence a (i) there is a haecceity, H, and (ii)
x exemplifies H, and (iii) H is necessarily such that it is exemplified.
26
definition is schematic, and the letters 'F' and 'N' should be replaced with an
appropriate predicate and name, respectively. Note that substitution of a name 'N' for the
schematic letter 'N' can result in the satisfaction of this schematic definition only if 'N' is a
name of x, and the name 'being identical with N' (formed from 'N') designates x's haecceity.
27 This
28
This definition is schematic, and the letter 'N' ought to be replaced with an appropriate
name. Observe that replacing the schematic letter 'N' with a name 'N' can result in the
satisfaction of this schematic definition only if 'N' is a name of x, and the name 'being identical
with N' (formed from 'N') designates x's haecceity.
29
30
31
CHAPTER 4
SINGULAR REFERENCE AND UNEXEMPLIFIED
HAECCEITIES
"The conversion...of these innate potentialities into actual
existences."
[from Huxley Hume iii. 85 (1879)]
"What is and will be latent is little better than nonexistent."
[Sir T. Browne Christian Morals 75 (1716)]
I - MEREOLOGICAL DESCRIPTIONS OF
UNEXEMPLIFIED HAECCEITIES
"Particularize a few drops of the sea, by filling a glasse full
of them; then that glasse-full is distinguished from all the rest
of the watery Bulke."
[1643 Digby Observations upon Religio Medici 84 (1644)]
169
"Let but a sharp cold come, and they unite, they consolidate,
these little atoms cohere."
(1690 Locke An Essay Concerning Human Understanding II.
3 Our
5.
xxiii. 26)
168
That I have this ability even if I am unable to grasp the pen's haecceity was shown in
Chapter 1, section V. That I am unable to grasp the haecceity of an external concrete thing will
be established in Chapter 5.
The distinction between grasping a property and identifying a property by description is
discussed in Chapter 1, section V.
6
It seems that if two objects x and y bond with one another to form a complex material
object at a time t, then at t there must be a definite distance d such that if x were farther than
d from y at t, then x and y would not bond with one another. However, physicists tell us that
x and y never actually touch because of repulsive forces between fundamental particles.
However, notice that the assumption that d>0 does not entail there is no distance d of the sort
that appears to be required. For example, there might well be a precise positive distance (or a
definite spatial region) at which (or within which) the forces which bind x and y together and
170
the repulsive forces which keep x and y apart come into a sort of balance or dynamic
equilibrium, and it would be plausible to identify d with this distance (or with the maximum
width of the region in question). I shall understand the attachment or bonding of two pieces of
matter x and y, or the joining of a surface or edge of x to a surface or edge of y, in such a way
that it is compatible with, but does not require, x's literally touching y.
7
CHAPTER 4
Further support for the conclusion of this argument can be found in Roderick Chisholm's
Person and Object (La Salle: Open Court, 1976), pp. 145-158.
171
different way, then a piece of matter is assembled which does not have an
object made up of r and y as a part, but has an object made up of 1 and y as
a part. Hence, clause (i) of strict essentialism implies that the piece of
matter assembled in the first instance is not identical with the piece of matter
assembled in the second instance. I call a piece of matter to which strict
essentialism is applicable a strict mereological assembly (an SMA). Given
the foregoing explanation of the term 'part', we can see that clauses (i) and
(ii) of strict essentialism together entail that if there is an SMA in some
possible world, the (arrangement of) parts of this SMA is both essential to
it and necessarily repugnant to any other possible SMA.
A less strict interpretation or loose essentialism was apparently held by
John Locke.' According to this interpretation, (i) if in some possible world
there is a piece of matter, m, then m is composed of the same fundamental
particles attached to one another or bonded together in every possible world
in which m exists; and (ii) for any possible worlds WI & W2, if in W1 there
is a piece of matter o i composed of certain fundamental particles, and in W2
there is a piece of matter 02 composed of the same fundamental particles,
then 0 1 =02 , regardless of the arrangement of the fundamental particles
composing o i or 02 . A piece of matter of this sort retains its identity even
though its fundamental particles have been rearranged. Thus, I call a piece
of matter to which loose essentialism is applicable a plastic mereological
assembly (PMA).
See John Locke, An Essay Concerning Human Understanding, Book II, Chapter XXVII,
Section 4.
CHAPTER 4
There seems to be a sense in which strict and loose essentialism are each
true of some type of physical entity or other. As a first step towards seeing
this, consider the following thesis. When a complex material object is in a
place, p, at a time, t, there are at least two spatially coincident entities in p
at t: an SMA and a PMA. Since SMAs and PMAs have different identity
criteria (strict and loose essentialism, respectively), an SMA and a PMA are
diverse objects of different kinds. And there is no reason why two such
objects cannot occupy the same place at the same time.
Moreover, the thesis that some SMAs and PMAs are diverse objects which
are spatially coincident at a given time appears to be just as plausible as
another view which it is reasonable to accept, namely, the view that when
a bronze statue occupies a place, p, at a time, t, there are at least two items
which spatially coincide in p at t: the statue, and a piece of matter. These
items are diverse either because (i) when some such piece of matter is
melted into a blob, a piece of matter which was spatially coincident with the
statue survives the melting, but the statue thereby ceases to be, or because
(ii) when a tiny bit of bronze is chipped off the edge of the statue, the statue
continues to exist after this alteration, but a piece of matter which was
spatially coincident with that statue thereby perishes. Cases such as (i) and
(ii) above lead me to conclude that a statue, a table, a ship, a tree, et cetera,
and a spatially coincident piece of matter are diverse entities of different
kinds. Because this conclusion is justified, and because the thesis that SMAs
and PMAs are diverse objects sometimes located in the same place at the
same time is equally plausible, our acceptance of this latter thesis is
warranted.
Furthermore, cases like (i) and (ii) above illustrate the fact that neither
strict nor loose essentialism is true of an object such as a statue, a ship, and
so on. Hence, the identity criteria that apply to SMAs and PMAs do not
apply to statues and the like. Analogous reasoning explains how it is that
a piece of matter and the sum of that piece of matter's material parts can be
in the same place at once. For pieces of matter and sums have different
identity criteria. Thus, a piece of matter made up of two bodies x and y is
not identical with the sum of x and y. The latter exists if x and y exist and
they are unjoined. But the former does not exist under these conditions - it
exists only if x and y are joined. In other words, pieces of matter cannot
survive disassembly, whereas a sum of objects exists both when those objects
are joined and when they are not.
It should now be clear that there is a significant sense in which each of
the identity criteria I have mentioned is applicable to some physical item,
either an SMA, a PMA, an ens successivurn like a ship, or a sum. What we
have in all such cases are physical items distinguished from one another by
their characteristic identity criteria. Of course, one could raise issues about
the ultimate ontological status of such physical items. One could ask, for
example, if in the final analysis they (or some of them) are genuine
substances, dependent entities, or logical constructions. But issues of this
kind are not easy to resolve, and detailed discussion of them falls outside the
scope of this book. For the purpose of my argument, I shall assume
(plausibly, I believe) that either SMAs or PMAs exist.
Below, I argue that a person can pick out or refer to an unexemplified
haecceity of a nonexistent possible SMA or PMA by using a definite
description that denotes this unexemplified haecceity. To begin, it seems
that there are physical items which could be assembled but never are. For
example, it is likely that the PMA spatially coincident with my kitchen sink
at time t is never joined to the PMA spatially coincident with the bookcase
in my living room at t. Even more probable is the claim that the SMAs
spatially coincident with these two PMAs are never assembled. Yet more
likely is the claim that these SMAs are never assembled with their boundaries
aligned in a certain way that is possible. Since innumerable claims of these
kinds are probable, the following things are quite plausible. First, there are
many cases of PMAs that are never joined but could be. Likewise for SMAs.
Finally, there are numerous instances in which SMAs could be assembled
with their surfaces and edges aligned in a particular way, but never are.
Given these assumptions, it is not difficult to show that a person can use a
definite description to denote the unexemplified haecceity of a nonexistent
possible SMA. To see this, consider a situation like Case (1) below.
There exist two SMAs a and b. a and b are congruent cubical pieces of
steel. f is one of a's faces, and g is one of the edges along / fl is one of
b's faces, and gi is one of the edges along f,. In fact a and b are never
attached to one another. But it is possible for a and b to be attached to one
another to form an SMA as specified in the following definite description:
172
173
CHAPTER 4
It is clear from the foregoing description of Case (1) that in some possible
world there exists an individual, i, which satisfies the condition in Da.
Clause (i) of strict essentialism implies that i exists in a possible world only
if in that world i is composed of a and b joined together. Since by
hypothesis a and b are in fact never joined, i does not exist in the actual
world. Thus, such an individual i is a nonexistent possible.
Furthermore, assume that in a possible world WI there exists an object 01
satisfying the condition in Da, and in a possible world W2 there exists an
object 0 2 satisfying the same condition. Thus, in W1 there is an SMA o
composed of the SMAs a and b joined in the exact way specified in Da, and
in W2 there is an SMA 0 2 made up of the SMAs a and b joined in the precise
fashion delineated in Da. Moreover, clause (i) of strict essentialism implies
that an SMA (such as a or b) consists of the same parts joined together in
every possible world in which it exists. Consequently, in WI 0 1 is an SMA
composed of the same parts as an SMA 0 1 is composed of in W2 . This
consequence and clause (ii) of strict essentialism together imply that 0 1 =0 2 .
Hence, one and only one possible entity could satisfy the condition in Da,
and this possible concrete entity is an SMA which does not exist. Moreover,
as argued in the preceding chapter, a nonexistent possible concretum is
individuated by an unexemplified haecceity. Furthermore, corresponding to
a given nonexistent possible individual, there is but one such haecceity."
It follows that there is one and only one haecceity which meets the condition
in Da*, and it is an unexemplified haecceity of a nonexistent possible SMA.
Therefore, Da* denotes an unexemplified haecceity of a nonexistent possible
SMA. Da* picks out this unexemplified haecceity by specifying a definite
way in which certain actual objects could be joined to form the only possible
object that could exemplify this haecceity. Clearly, there are innumerable
similar descriptions, each of which denotes a different unexemplified
haecceity of a nonexistent possible SMA. Such descriptions pick out these
unexemplified haecceities by specifying different ways in which various
physical items, including macroscopic things and any microscopic or basic
174
The letters a , b , f , etc., are schematic, and are to be replaced with names of particular
actual items of the appropriate sorts. Thus, we do not really have a definite description here,
just a definite description form. Nonetheless, to avoid awkwardness I shall speak of this form
as if it were a definite description - and likewise in other parallel cases later on.
10
Da* specifies that a certain seven-term relation necessarily holds of x and the other six
things named in Da*. Thus, the metaphysical necessity involved here is de re. Parallel remarks
apply to the other similar definite descriptions constructed below. See Chapter 1, section IV for
a discussion of attributions of de re necessary properties and relations to things.
Suppose it is insisted on Russellian grounds, or the like, that 'a', 'b', etc., be replaced by
definite descriptions such as 'the object in the right half of my field of vision', 'the object in
the left half of my field of vision', etc. Such a Russellian assumption is not incompatible with
Da* specifying the desired condition. This is because in Da* the terms 'a', '6', etc., fall within
the scope of a de re necessity operator. The context thereby created in Da* is one that is with
respect to x and the objects designated by 'a', 'b', etc., regardless of the way in which these
singular terms designate their referents. Consequently, Da* and other parallel descriptions
specify the desired conditions regardless of the mode of designation of the referents of singular
terms like 'a', 'b', etc. Thus, it is not necessary to assume either that 'a', 'b', etc., connote
individual essences or that these singular terms are logically proper names or rigid designators.
In other words, "rigid reference" does not require the use of rigid designators, but only the use
of de re modal operators.
175
11
That there couldn't be an entity which has two haecceities was established in Chapter 1,
section I.
76
CHAPTER 4
177
178
CHAPTER 4
claim that we have good reason to believe in particular cases of this kind
that we have employed a description which accomplishes this. And given
my arguments, these two claims are plausible.
179
12 (1*) is compatible with the fact that if two pieces of clay were joined, numerous SMAs
would be formed, many of which would be unarticulated and nested inside of others.
CHAPTER 4
are the positions of d and e, their temperatures, their masses, their degrees
of hardness, the external forces acting on d and e, and so forth. The
conjunction, (L & C & (at t, d is pushed in way w)), is physically contingent
and logically contingent, and logically implies both that there is just one
SMA satisfying (1*) at t+1, and that such an SMA is composed of particular
actual bits of matter m 1 , m2 , m,, et cetera, joined together in a specific way
R, in other words, attached along certain of their boundaries. Finally, it is
possible for m 1 , m 2 , m3 , and so on, to be joined in way R, but in fact m l , m 2 ,
m 3 , and so forth, are never joined.
Let us now consider the following two descriptions. Firstly: 'the x such
that x is an SMA which would satisfy (1*) at t+1 if d were pushed in way
w at t and L & C obtain'. Call this description Dc. Secondly:
together imply that certain actual bits of matter would be joined in a specific
fashion to assemble a definite object. However, to employ a description
such as Dc* one need not be in a position to enumerate the laws and
conditions in question. It is enough to pick out these laws and conditions in
the way that I did when I described Case (2). That is, it is sufficient to pick
them out as L and C, where the reference of 'L' and 'C' is fixed with the aid
of descriptions like 'the laws of nature' and 'the relevant conditions'.
Furthermore, a person, S, can use Dc* to denote an unexemplified haecceity
even if certain microscopic particles that did not come from d or e would be
parts of the SMA which would satisfy (1*) at t+1 if d were pushed in way
w at t and L & C obtain, and certain microscopic particles that came from
d or e would not be parts of that possible SMA, and S is ignorant of these
things. Clearly, then, being in a position to pick out an unexemplified
haecceity of a nonexistent possible SMA by picking out laws of nature and
initial conditions does not require being in a position to literally specify the
parts that would be had by that possible SMA. Nor does it require being in
a position to specify how those parts would be arranged.
Hence, the doubts raised earlier concerning our ability to ascertain an
object's exact boundaries or position do not discredit either the claim that we
18 0
13
181
It might be objected that some form of indeterminism is true which implies that there are
no laws and circumstances which logically determine the exact composition of an object. If so,
then there are no situations like Case (2), and a description like Dc fails to denote an
unexemplified haecceity of a nonexistent possible SMA because two or more possible SMAs
satisfy the condition on x in Dc. However, this objection is quite problematic. For it may be
that determinism is true. Or perhaps determinism is false, but the form of determinism required
by the objection is not true. In any case, there being descriptions which denote an unexemplified haecceity by specifying laws and initial conditions is compatible with the claim that the
laws are probabilistic or nondeterministic. To see this, consider the following hypothesis.
Whenever a series of events would result in an object's being assembled, the laws of nature, L*,
and the initial conditions together imply that a number of assemblies could result, i.e., each has
a nonzero probability less than 1. This supposition is compatible with the claim that L* and the
initial conditions assign a probability to one of these possible assemblies which they do not
assign to any other one of them, and this possible assembly is never actualized. If this claim
is correct, then an unexemplified haecceity is denoted by a description identifying the probability
of the possible assembly in question given L* and certain initial conditions, e.g., a description
of the form 'the haecceity, x, which is necessarily such that x is exemplified by an SMA, y, just
in case y is the thing which most probably satisfies (1*) at t+ I if d is pushed in way w at t &
L* and C obtain'.
182
CHAPTER 4
use descriptions making reference to laws and initial conditions to pick out
unexemplified haecceities of nonexistent possible SMA s, or the claim that we
have good reason to believe in particular cases of this kind that we have
employed a description which accomplishes this. And given my arguments,
these two claims are not implausible. Analogous arguments show that it is
at least equally plausible to suppose that corresponding claims are true of
183
14
Suppose for the sake of argument that some possible tables, ships, trees, and persons are
mereological products, and neither strict nor loose essentialism is true of such products. Are
unexemplified haecceities of products of these and similar kinds denoted by descriptions?
Our supposition is consistent with the claim that for any mereological product, o, o has the
same original composition in every possible world in which o exists, and there is no possible
world in which o has the same original composition as does a diverse physical object of the
same kind in another possible world. If this claim is correct, then there is a description that
denotes o's unexemplified haecceity by specifying a way in which certain actual objects could
be arranged or assembled to originally compose o, e.g., 'the haecceity , x, which is necessarily
such that x is exemplified by a table, y, if and only if y is initially made up of a and b joined
in way R*'.
Alternatively, suppose either that an atom which is originally part of o in one world is not
originally part of o in another world in which o exists, or that the objects which originally
compose o are aligned (at the time of o's origin) in a slightly different manner in one world
than they are in another world. This is compatible with o's being such that in every world in
which it exists it is originally composed of at least 99% of the parts of a thing made up of a and
b joined in way R*. If o's identity involves such a "threshold" of 99% or some other high
percentage of such parts, then the unexemplified haecceity of o is denoted by a description like
`the haecceity, x, which is necessarily such that x is exemplified by a table, y, just in case y is
originally composed of 99% of the parts of a thing made up of a and b joined in way R*'
On the other hand, suppose that none of the matter which originally composes o in a world,
W originally composes o in another world, W in which o exists, and that o in 11/1 and a
diverse physical object of the same kind in W2 (made of the matter composing o in W1 ) are
mereologically indistinguishable from one another throughout their histories in W, and W 2 . It
then follows that o's unexemplified haecceity cannot be denoted by a mereological or causal
description of the sort I have constructed. However, it is not clear that this sort of extreme
mereological inessentialism is true of mereological products like pieces of matter, tables, ships,
etc.
15
Elsewhere I have argued that mereological and causal descriptions such as Da, Db, and
Dc make a kind of singular reference to nonexistent possible concreta, viz., certain mereological
and causal products. In contrast, my current argument is not that there is a kind of singular
reference to nonentities of a certain sort, but rather that some singular terms denote unexemplified nonqualitative haecceities - which are abstract entities. See Gary Rosenkrantz, "Nonexistent
Possibles and Their Individuation," Grazer Philosophische Studien, 22 (1984), pp. 127-147; and
"Reference, Intentionality, and Nonexistent Entities," Philosophical Studies, 58 (1990), pp. 163171. Compare Roderick Chisholm "Monads, Nonexistent Individuals, and. Possible Worlds:
Reply to Rosenkrantz," Philosophical Studies, 58 (1990), pp. 173-175; and Gary Rosenkrantz,
"On Objects Totally Out of This World," Grazer Philosophische Studien, 25/26 (1985/1986),
pp. 197-208.
ACQUAINTANCE
CHAPTER 5
ACQUAINTANCE
"The phenomenon or sign of the being or of the thatness which itself
ever eludes us."
[E. B. Bax Outlooks From The New Standpoint III. 183 (1891)]
"But that which is properly himself, that which constitutes his essence,
cannot be perceived from without, being internal by definition, nor be expressed by symbols, being incommensurable with everything else.
Description, history, and analysis leave me here in the relative.
Coincidence with the person himself would alone give me the absolute...
There is one reality, at least, which we all seize from within, by
intuition and not by simple analysis. It is...our self which endures...
an inner, absolute knowledge of the duration of the self by the self is
possible."
(1903 Bergson An Introduction To Metaphysics)
184
185
abstract entities, and (in all likelihood) himself, but not with physical objects
or persons other than himself. 2
I shall argue that there is a conception of acquaintance other than Russell's
which is definable in terms of a person's grasping a haecceity. Although
similar to Russell's conception of acquaintance in some ways, my conception
of acquaintance differs from Russell's in a crucial respect, since according
to my conception a person's being acquainted with an item entails that he
knows a truth about that item. Nevertheless, my argument is Russellian in
spirit. Utilizing my sense of acquaintance, I will argue that an individual is
acquainted with himself, certain of his own mental states, and some abstract
entities, but not with physical objects or persons other than himself.
However, my argument for this claim will be quite different from any which
Russell offered. 3
The following definition will help me to explain the way in which
Russellian acquaintance and acquaintance in my sense are similar. Let us
say that an identifying property is a characteristic which is possibly had by
something, but not possibly had by more than one thing at a time. 4
Haecceities are identifying properties, but so are other characteristics such
as being the oldest man, being the president of the U.S.A., being the even
prime number, and being the thing I perceive. The distinction between an
identifying property of this kind and a haecceity is analogous to the
distinction between two kinds of singular terms: those that are definite
descriptions, for instance, 'the oldest man', and those that are indexical
indicators or proper names that do not function as concealed definite
See Bertrand Russell, The Problems of Philosophy (London: Oxford University Press,
1950), Chapter 5.
3
1 was not the first to suggest a parallel between Russell's views and Haecceitism. See
David Kaplan, "How to Russell a Frege-Church," The Journal of Philosophy, 72 (1975), pp.
716-729. Kaplan believes that there is a metaphysical parallel in that both Russell and the
haecceitist accept the existence of singular propositions about individuals. In contrast, I discern
an epistemological parallel concerning the objects of direct acquaintance.
4
Here I borrow from Roderick Chisholm. I define an identifying property in the same way
as he defines an individual concept. See Person and Object (La Salle: Open Court, 1976), pp.
23-52.
186
ACQUAINTANCE 187
CHAPTER 5
8 'N' and 'F' are schematic letters which should be replaced with an appropriate name and
predicative expression, respectively. In clause (ii), the first occurrence of 'is' is the so-called
is of identity, and the second occurrence of 'is' is the so-called is of predication. Replacement
of the schematic letter 'N' by a name 'N' can result in the satisfaction of this schematic
definition only if 'N' is a name of x, and the name 'being identical with 'N' (formed from 'N')
designates x's haecceity.
9
1n the definition which follows, 'N' and 'F' are schematic letters which ought to be
replaced with appropriate linguistic expressions. In clause (ii) of this definition, the first
occurrence of 'is' is the so-called is of identity, and the second occurrence of 'is' is the so-called
is of predication. Substitution of a name 'N' for the schematic letter 'N' can result in the
satisfaction of this schematic definition only when 'N' is a name of x, and the name 'being
identical with N' (formed from 'N') designates x's haecceity.
10
Compare Roderick Chisholm, Person and Object, pp. 23-52. He argues, in a somewhat
similar vein, that a person individuates a particular per se when he grasps its haecceity.
Chisholm argues forcefully against this view in The First Person (Minneapolis: University of
Minnesota Press, 1981).
11
The letter 'N' is schematic and may be replaced by an appropriate nominative expression.
In clause (ii), the second occurrence of 'is' is the so-called is of identity. Replacing the
schematic letter 'Ar by a name 'N' can result in the satisfaction of this schematic definition only
if 'N' is a name of x, and the name 'being identical with N' (formed from 'N') designates x's
haecceity.
88
CHAPTER 5
However, there is some reason to think that each of us grasps his own
haecceity as well as the haecceities of numerous physical objects and persons
in his environment. This follows from a principle deemed acceptable earlier,
namely, (PG). 13
(PG) If at time t it is plausible for SI that F-ness exists, and at t it is plausible for SI that S2 believes that something is F, then at t Si can
infer that it is prima facie plausible (for Si) that S2 grasps F-ness
at t."
Given my earlier arguments, it is plausible for me that everything has a
haecceity, including myself. Thus, I am justified in believing that my
12
Duns Scotus, The Oxford Commentary On The Four Books Of The Sentences (selections)
in Hyman and Walsh, eds., Philosophy in the Middle Ages (Indianapolis: Hackett, 1973), p. 589.
13
14
ACQUAINTANCE
189
haecceity exists. In other words, it is plausible for me that there exists the
property of being identical with me. Inasmuch as it is also plausible for me
that I believe that something is identical with me, (PG) enables me to
conclude that it is prima facie plausible (for me) that I grasp my haecceity.
(I ignore temporal indices here for the sake of simplicity.) Moreover, I can
argue in a parallel fashion with respect to each of us. For instance, it is
plausible for me both that the property of being identical with Clinton exists,
and that Clinton believes that someone is identical with Clinton. Thus, I am
in a position to infer that it is prima facie plausible (for me) that each of us
grasps his own haecceity.
Alternatively, suppose that I make a demonstrative perceptual identification of a physical object or person, x, that is to say, I perceptually identify
x as this. It is plausible for me that everything has a haecceity, including
this. Therefore, I am warranted in believing that the haecceity of this exists.
In other words, it is (now) plausible for me that there exists the property of
being identical with this. Since it is also (now) plausible for me that I have
the perceptual belief, there is something that it is identical with this, it
follows via (PG) that I can (now) infer that it is prima facie plausible (for
me) that I grasp x's haecceity. Based on parallel arguments, I am in a
position to infer that it is prima facie plausible (for me) that each of us
grasps the haecceities of many physical objects and persons in his environment. However, this prima facie plausibility could be overridden or defeated
(at a later time) by a suitably strong counter-argument. I shall present such
a counter-argument: an argument which shows that none of us grasps the
haecceity of a physical object or person other than himself. Nor will I stop
there. I shall argue further that it is impossible for anyone to grasp the
haecceity of a physical object or person other than himself, and hence that
it is impossible for a person to be acquainted with such an object.
Russell held the view that perceiving a physical object or person does not
provide any of us with an avenue for acquaintance with it. Russell's
argument for this view presupposes the questionable doctrine that sense-data
are a 'veil' cutting a person off from acquaintance with the external world.
Other arguments advanced in favor of Russell's view rest on controversial
claims of Cartesian or foundationalist epistemology, for example, that
perceptual beliefs are uncertain, or that such beliefs can only be inferentially
CHAPTER 5
ACQUAINTANCE
justified. I will argue that perceiving a physical object or person does not
provide any of us with an avenue for acquaintance with it in the sense of
acquaintance defined in (D3), but my argument shall not presuppose any of
the questionable or controversial epistemological claims mentioned above.
190
191
throughout the whole process, I would still be unable to perceive the immutability of A, for
at each moment of my vision I would perceive the object precisely as it is constituted at that
192
CHAPTER 5
same moment... 15
It is sufficiently clear from this passage that Scotus is not a skeptic about
sense-perception: he presumes that we have perceptual knowledge of external
objects. Nevertheless, it is evident that Scotus finds sense-perception
t5
Duns Scotus, Metaphysics I, q. 4, n. 23; VII, 65a. Quoted by Peter C. Vier in Evidence
and Its Function According to John Duns Scotus (St. Bonaventure, New York: The Franciscan
Institute, 1951), pp. 154-155. Compare Roderick Chisholm, Person and Object, p. 34.
Chisholm observes that "If today I individuate something per se as being that thing and if
tomorrow I individuate something per se as being that thing, I may well have picked out two
different things; whereas if today I individuate something per se as being identical with me and
if tomorrow I individuate something per se as being identical with me, then I will have picked
out one and the same thing." In his endnote 24, on the passage just quoted, Chisholm alludes
to an earlier version of the argument I will present in the text. This argument originated in my
doctoral dissertation, Individual Essences (Brown University, 1976). Also compare Frederick
Copleston's account of De Anima (imputed by many to Scotus) in A History of Philosophy
(New York: Doubleday Image Books, 1985), Volume II, p. 493. Copelston remarks: "If two
material things were deprived of all difference of accidents (of place, colour, shape, etc.), neither
sense nor intellect could distinguish them from one another, even though their 'singularities'
(Scotus's haecceitas) remained, and this shows that we have, in our present state, no clear and
complete knowledge of the singularity of a thing." For a general discussion of Scotus's views
on sense-perception and epistemology, as well as their influence, see Katherine Tachau, Vision
and Certitude In The Age Of Ockham: Optics, Epistemology, And The Foundation Of Semantics,
1250-1345 (Leiden: E. J. Brill, 1988).
ACQUAINTANCE
193
CHAPTER 5
ACQUAINTANCE
perceived at t2 is the thing I perceive at t3 , and if I also know that the thing
I perceived at t, is the thing I perceive at t3 , then I can deduce that the thing
I perceived at t2 is the thing I perceived at t,. I call a simple deduction in
accord with (Al) an SD.
Since a haecceity is a fixed property, SD is the kind of deduction an
individual performs if he re-identifies an object from one perceptual situation
to another by using its haecceity to deduce a re-identification claim from
POSs. In particular, the deduction goes like this. Where being identical
with N is the haecceity of an object: I know that the thing I perceive at t2 is
N, and I also recall that the thing I perceived at t, is N. Since being
identical with N is a fixed property, I can deduce that the thing I perceive
at t2 is the thing I perceived at t, by performing SD in accord with (Al).
We are now prepared to reformulate our original argument. Let the ability
to re-identify a physical object or person from one perceptual situation to
another by using its haecceity to perform SD from presently known and
remembered POSs be called A.
194
16
The letters 'F' and `G' are schematic and may be replaced by an appropriate predicate
expression.
195
196
CHAPTER 5
Imagine that c is both the thing I perceive at t1 and the thing I perceive at
t2 , where t2 is a minute later than 1'1 , and there is a time between ti and t, at
which I do not perceive c. Suppose that during these perceptual episodes I
either identify c as this, or bestow a proper name upon c. Further suppose
that during each perceptual episode I know a POS containing an indexical
indicator or proper name designating c. In other words, what I know at t,
is
the thing I perceive at t 1 is N (call this statement p),
and what I know at t, is
the thing I perceive at t, is N (call this statement q).
p and q are schematic and the POSs known result from replacing occurrences
of 'N' with either the indicator 'this' or a proper name.
Assume for the sake of argument that perceiving c acquaints me with it.
Then my knowing p at t1 acquaints me with c. That is, by knowing p at t 1
I know that there is something that is N, and I thereby grasp the haecceity
of c - the property of being identical with N. Furthermore, my knowing q
at t, acquaints me with c. Thus, I grasp the haecceity of c by knowing q at
t2 . These conclusions follow from what was said about my knowing a POS
in section II. Notice that my argument here presupposes that perceptions of
c which occur at different times under similar conditions have an equal claim
to be an avenue for acquaintance with c.
Because I have the ability to remember things I knew a short time ago, we
may assume that at t, I remember what I knew at ti when I knew p. It
follows that at t, I remember (and hence know)
ACQUAINTANCE
197
17
0f course, there are persons, e.g., amnesiacs and idiots, who lack either the ability to
remember or the ability to perform deductions. However, since a person who possesses these
abilities is in at least as good a position to be acquainted with an object as one who lacks them,
this fact is compatible with my argument for premise 1 of R.
198
CHAPTER 5
ACQUAINTANCE
199
statement does not logically entail the latter claim, and the justificatory
relationship between them is a nondeductive or inductive one. In general,
the justificatory relationship between statements asserting the existence of
observed similarities in sensory properties and re-identification claims is an
inductive (nondeductive) one.'
The following discussion brings out the character of certain typical
grounds for re-identification claims which do not consist solely in observations of similarities in sensory properties. Suppose that at t1 I perceive a
single object. I then fall asleep for an hour. At t2 I wake up and perceive
a solitary object in the same place. Let the claim, the thing I perceive at t2
is the thing I perceived at t1 , be called m. If at t2, I know that the object I
perceived an hour ago has been locked in a bank vault for the past hour,
then I can justify m by arguing that under the circumstances it is causally
impossible that the object I perceived an hour ago has been replaced by
another object. Or suppose I know that the object I perceived an hour ago
was the item in the top draw of my desk, and that such an item's being
replaced by another one has been an infrequent occurrence in the past. Then
I can justify m by arguing that in the circumstances it is improbable that the
object I perceived an hour ago has been replaced by another object. Or
imagine that when I awake I notice that the thing I perceive is a pool of
water, and I recall that the thing I perceived an hour ago was a hunk of ice.
In this event, I can justify m by arguing that it is the best explanation of
what I have observed. Finally, imagine that someone assures me that there
has been just one object there all along. Then I can justify m by appealing
to his testimony on this matter. Thus, each of the following procedures can
be employed in the justification of re-identification claims: observations of
similarities in sensory properties, causal reasoning, enumerative induction,
inferences to the best explanation, appeals to testimony, and similar inductive
techniques. I call such procedures inductive methods, and any evidence
provided by such methods inductive evidence. The discussion above
provides a representative sampling of the ways in which inductive methods
18
200
CHAPTER 5
ACQUAINTANCE
201
19
0f course, one who possesses an ability may fail in an attempt to exercise it. However,
this can occur only if one is not in optimally favorable circumstances for the exercise of that
ability. Hence, if a person possesses A, then this does not entail that he exercises A whenever
he attempts to do so. However, if a person possesses A and attempts to exercise A when in
optimally favorable circumstances for the exercise of A, then this entails that he exercises A.
Initially, one should notice four things about Situation (1). (i) S is
logically accomplished. (ii) S knows (q, & r1 ). (iii) Given the nature of A,
if S possesses A, then (q1 & r1) trivially entails s 1 . (iv) S attempts to deduce
s 1 from (q1 & r 1 ) by performing SD. (i)-(iv) together imply that necessarily,
if S has A, then in situation (1) he deduces s1 from (q1 & r 1 ). Given the
nature of A, we should conclude that if S possesses A, then in Situation (1)
S is in circumstances which are logically sufficient for his re-identifying o
from one perceptual situation to another by exercising A. To say that S is
in such circumstances is equivalent to saying that if S has A, then he is in
circumstances which logically entail that he both knows s, and deduces s 1
from (q1 & r1 ) by exercising A. Finally, notice that Situation (1) may obtain
under typical conditions. In sum, by describing Situation (1) I have
202
CHAPTER 5
accomplished (a).
In what follows I accomplish (b). Remember that in Situation (1) the two
objects involved have the same qualitative sensory properties, for example,
they look exactly alike, they feel exactly alike, and so on. Moreover, it is
possible that in Situation (1) at t2 S has inadequate inductive evidence for
Let us suppose that this is actually the case. I will argue that given this
supposition, S does not re-identify o from one perceptual situation to another
in Situation (1). In other words, I shall argue that if at t2 S lacks adequate
inductive evidence for s 1 , then in Situation (1) he does not know s l , and he
does not deduce si from (q1 & r 1 ). To begin, notice that in Situation (1), the
evidence provided for s i by S's observations of similarities in sensory
properties is defeated by S's knowledge that there is a "look-alike" in the
vicinity. And since we are supposing that S has inadequate inductive
evidence for s i , it is also true that he is not justified in believing that in the
circumstances it is causally impossible that the thing he perceived at t1 has
been replaced by another object during the interval between t1 and t2 . For
the same reason, he is not justified in believing that in such circumstances
an object's being replaced by another one has been an infrequent occurrence
in the past, and he lacks adequate testimonial evidence for s i . Similar
remarks apply to the other kinds of relevant inductive evidence which S
lacks. If as supposed, S has inadequate inductive evidence for s1 in Situation
(1), then the hypothesis that the thing he perceives at t2 and the thing he
perceived at t 1 are different objects which look like one another, is
compatible with everything S knows. That is, without additional information
he does not know whether he has perceived the same object at t1 and t2 or
diverse "look-alikes". It follows, first, that in Situation (1) S does not know
s1 because he has inadequate inductive evidence, and second, that in
Situation (1) S does not deduce s from (q, & r 1 ). But it has already been
shown that if S possesses A, then in Situation (1) S is in circumstances which
logically entail that he both knows s 1 , and deduces s, from (q, & rd.
Consequently, S lacks A. Since the above argument holds equally well at
any time during S's life, it follows that S never possesses A. Thus premise
2 of R is true. Now that both premises of R have been demonstrated, we
should conclude that perceiving a physical object or person does not acquaint
ACQUAINTANCE
203
tuatton
(1) is a case in which o has a "look-alike" in the vicinity, and in certain
Si
circumstances this results in S's failing to re-identify o from one perceptual situation to another
because he has inadequate inductive evidence for a re-identification claim. Analogous cases can
20
also be used in my argument. For example, a case in which o radically changes its sensory
properties, and in certain circumstances this results in S's failing to re-identify o from one
perceptual situation to another because he lacks adequate inductive evidence for a re-
identification claim.
204
CHAPTER 5
Some philosophers have argued that physical objects and persons consist of
a sequence of temporal slices, each slice being an essentially ephemeral and
nonrecurrable particular. It is impossible for such ephemera to be reidentified from one perceptual situation to another. This means that a
person's being acquainted with a temporal slice does not imply that he is
able to re-identify it from one perceptual situation to another. Hence, the
strategy employed in R cannot be used to show that a person's perceiving an
object does not acquaint him with its present temporal slice. However, I
shall argue that considerations similar to those employed in defense of R
imply that an individual's perceiving a physical object or person, x, neither
acquaints him with a temporal slice of x, nor acquaints him with x. These
considerations concern a person's perceiving a single object by means of two
sensory modes at once, for instance, simultaneously touching an object with
both your right and left hands.
We should affirm the following principle of parity concerning sensory
modes (call it the principle of equal treatment): if two observations of an
item, x, 0, and 02 , are alike in all relevant cognitive respects, then the
hypothesis that 0, provides an avenue for acquaintance with x is on a par
with the hypothesis that 02 provides an avenue for acquaintance with x. For
example, the following sensory modes have an equal claim to be an avenue
for acquaintance with an item: seeing it with the naked eye, seeing it with
the aid of eyeglasses, seeing it through a periscope, and seeing it via its
reflection in a mirror. Furthermore: (i) glimpses of an item taken from
different vantage points have an equal claim to be an avenue for acquaintance with that item, and (ii) looking at an item with both eyes, looking at
it with the right eye, and looking at it with the left eye, have an equal claim
ACQUAINTANCE
205
206
ACQUAINTANCE
CHAPTER 5
immediate vicinity of one another, and that he will soon take me into the
room and allow me to see at least one of these objects. Mo attaches my
eyes to the ocular tubes of a binocularscope. However, since the ends of the
tubes have been covered with black paper I do not see anything. While I
cannot see, Mo brings me into the room and adjusts the binocularscope so
that if he removes the blinders then I see just one object, but have two
distinct visual perceptions of it. Then Mo removes the blinders, and at t1 I
have two distinct visual perceptions of a single object. Let the object I am
seeing (or a temporal slice of it at ti ) be called d. Under these conditions,
d is both the thing I see with my right eye at t1 , and the thing I see with my
left eye at t 1 . At t1 , based on each one of my visual perceptions of d, I
either identify d as this or bestow a proper name upon d. In other words,
at t1 I know that
the thing I see with my right eye at t 1 is N (call this observation statement
P2),
and at t1 I also know that
the thing I see with my left eye at t 1 is N (call this observation statement
q2).
p2 and q 2 are schematic, and the statements I know result from replacing
occurrences of 'IV' with the indicator 'this' or a proper name. At t1 I am
logically accomplished, I know (p2 & q2), and I attempt to deduce the
following claim from (p2 & q 2) by performing SD:
the thing I see with my right eye at t 1 is the thing I see with my left eye
at t1 (call this identity claim r2).
Finally, I neither remove my eyes from the binocularscope, nor perceive any
of the objects around me in any other way.
Now let us see how Case (1) can be used to show that my seeing d does
not acquaint me with it. Suppose that my seeing d acquaints me with it.
207
Then the principle of equal treatment implies that in Case (1) each of my
two visual perceptions of d acquaints me with it. Thus, at t, I am acquainted
with d both by knowing p2 and by knowing q2 . That is, at t l I know that
there is something that is N both by knowing p2 and by knowing q2 . Hence,
at t1 I grasp the haecceity of d, namely, being, identical with N, both by
knowing p 2 and by knowing q2 . Therefore, an argument analogous to the
one for premise 1 of R has the following consequence.' If my seeing d
acquaints me it, then in Case (1) I have the ability to come to , know r2 by
using the haecceity of d to deduce r2 from (p2 & q 2) through performing SD
in accord with (Al). I will refer to this ability as A'. I shall argue below
that in Case (1) I lack A', and hence that my seeing d does not acquaint me
with it.
First of all, if I possess A', then in Case (1) I am in circumstances that are
logically sufficient for my exercising it I am logically accomplished, I know
(p2 & q 2), and I attempt to deduce r2 from (1,2 & q 2) by performing SD. This
is true because given the nature of A', what was said of A in the next to last
paragraph of section IV holds analogously for A'. In what follows, I
demonstrate that my being in Case (1) is not logically sufficient for my
exercising A', and hence that I lack A'. I will accomplish this by showing,
first, that it is possible for me to be in Case (1) and have inadequate
inductive evidence for r2 , and second, that if this possibility is realized then
in Case (1) I do not exercise A'.
To begin, an identity claim like r2 can be justified by employing inductive
methods. For example, I am using such methods if I justify r2 by inferring
it from premises like these: when I have had two visual perceptions of
objects which look exactly alike, I have usually had two perceptions of the
same object; when I put my finger down near the open end of one tube of
the binocularscope this is accompanied by my having two perceptions of an
object having a finger looking exactly like mine next to it; someone tells me
21
This analogous argument differs from the one for premise 1 of R in just two noteworthy
respects. Since this analogous argument concerns cases in which someone has two perceptions
of an item at once: (i) it applies to temporal slices, and (ii) it does not presuppose that if
someone grasps a haecceity, then he has the ability to remember that haecceity. Neither (i) nor
(ii) is true of the argument for premise 1 of R, because in the cases relevant to this argument
a person has perceptions of an item at different times.
208
ACQUAINTANCE
CHAPTER 5
that I am seeing just one object, and so on. In Case (1), any evidence
provided by the first premise I mentioned is defeated by my knowledge that
there is a pair of look-alikes in the vicinity. Now, it is possible that in Case
(1) at t, I have inadequate inductive evidence for r2 . Let us suppose that this
is actually the case. Given this supposition, the hypothesis that I see two
things which look exactly alike, is compatible with everything I know. That
is, without additional information I do not know whether I am seeing one
object or a pair of look-alikes. Hence, in Case (1) I do not know r2 because
I have inadequate inductive evidence, and I do not deduce r2 from (p2 & q2).
Since to exercise A' is to come to know r2 by deducing it from (p2 & q 2), it
follows that in Case (1) I do not exercise A'. But it was shown earlier that
if I possess A', then in Case (1) I am in circumstances which logically entail
that I exercise it. Consequently, I lack A'. Notice that my argument for this
conclusion is analogous to the one for premise 2 of R. Since I have already
shown that if my seeing d acquaints me with it, then in Case (1) I possess
A', we should conclude that my seeing d does not acquaint me with it. Of
course, the same argument applies equally well to any of us at any time.
Therefore, an individual's seeing a physical object or person neither
acquaints him with it, nor acquaints him with one of its temporal slices.
It might be thought that this argument is needlessly elaborate. Specifically,
one might think that the conclusion of this argument can be established
based on not much more than Cartesian epistemology, and that my
introduction of the binocularscope is unnecessary. In response, I remind the
reader that my argument does not assume the requisite controversial claims
of Cartesian or foundationalist epistemology: that perceptual beliefs are
uncertain, and that such beliefs can only be inferentially justified. Rather,
the assumption of my argument is that one's identification of an object from
one perceptual mode to another depends upon an inductive connection
between perceptual premises and the identification. This latter assumption
is much less controversial than the two aforementioned claims of foundationalist epistemology.
Case (1) is a situation of the following kind: I perceive a single object, but
in certain circumstances I do not know whether I perceive one object or two
because I lack adequate inductive evidence for an identity claim. In a case
of this kind I may have two simultaneous perceptions of a single object with
209
210
CHAPTER 5
the thing I touch with my right index finger at t 1 is the thing I touch with
my left index finger at t 1 (call this identity claim r3).
Finally, I do not perceive any of the objects around me in any other way.
Let me explain how Case (2) can be employed to demonstrate that my
touching e does not acquaint me with it. Suppose that touching e acquaints
me with it. Then the principle of equal treatment implies that in Case (2)
each of my tactual perceptions of e acquaints me with it. Hence, arguments
like those based on Case (1) imply that if my touching e acquaints me with
it, then in Case (2) I have the ability to come to know r3 by using the
haecceity of e to deduce r3 from (Th & q3 ) via the performance of SD in
accord with (Al). I will refer to this ability as A". I shall argue below that
in Case (2) I lack A", and hence that my touching e does not acquaint me
with it.
First of all, if I possess A", then in Case (2) I am in circumstances which
are logically sufficient for my exercising it, that is, I am logically accomplished, I know (113 & q3), and I attempt to deduce r3 from (p3 & q 3) by
performing SD. This is true because given the nature of A", what was said
of A' in the argument based on Case (1) holds analogously for A". Another
analogy with Case (1) is that as with r2 , inductive methods can be used to
justify an identity claim like r3 . For instance, I am employing such methods
if I infer r3 from premises like these: when I have had two tactual perceptions of objects which feel alike, I have usually had two perceptions of the
same object; when I press against the right side of the thing I am touching
with my right index finger I feel an equal pressure against my left index
finger; someone tells me that I am touching just one object, and so on. In
Case (2), any evidence provided by the first premise I mentioned is defeated
by my knowledge that there are two objects in the vicinity which feel the
same. Moreover, it is possible that in Case (2) at t i , I have inadequate
inductive evidence for r3 . If in Case (2) I lack adequate inductive evidence
for r3 , then I do not know r3 and without additional information I do not
know whether I am touching the opposite ends of one object or two different
objects which feel alike. Consequently, arguments like those based on Case
(1) imply that in Case (2) I lack A". Since I have already shown that if my
touching e acquaints me with it, then in Case (2) I possess A", it follows that
ACQUAINTANCE 211
212
CHAPTER 5
an argument based on Case (3), parallel to the one based on Case (1), which
implies that an individual's simultaneously seeing and touching a physical
object or person neither acquaints him with it, nor acquaints him with one
of its temporal slices.'
There are arguments, parallel to the ones I have advanced to show that a
persons's seeing or touching a physical item, x, does not acquaint him with
x, which show that a person is not acquainted with x either by perceiving x
with one of the other three senses, or by simultaneously perceiving x with
any combination of the five senses. Such arguments may involve analogs
of Case (1), Case (2), and Case (3), in which a person listens to an object by
using earphones attached to each ear, smells an object by using tubes
attached to each nostril, tastes an object with each side of his tongue, and so
forth.
Strategies like the ones I have developed in this chapter can also be used
to show that a person's perceiving an object does not acquaint him with a
nonsubstantial physical entity such as an object's surface or a temporal slice
of an object's surface. In other words, entities of these kinds can either be
perceived at different times or be perceived by two modes of perception at
once, and arguments parallel to R, or its synchronic analogs, apply to them.
ACQUAINTANCE
213
Because these parallel arguments are substantially the same as those already
discussed, I forego any further discussion of them here.
Each of us can identify a particular physical object or person other than
himself in a variety of ways, for example, by perceiving it, by reading about
it, and so on. None of these ways has a better claim to be an avenue for
acquaintance with it than perceiving it. Consequently, since I have shown
that perceiving a physical object or person does not acquaint any of us with
it, it follows that none of us is acquainted with a physical object or person
other than himself. Analogous arguments imply that none of us is acquainted with items of the following kinds: temporal slices of physical
objects or persons other than himself, surfaces of such objects, and temporal
slices of such surfaces.
Surely, if any one of us ever grasps the haecceity of a physical object or
person other than himself, then he thereby does so when he knows a
perceptual observation statement about an object of this kind. But as we
have seen, when one of us knows such a POS, he does not thereby grasp the
haecceity of a physical object or person other than himself. It follows that
none of us ever grasps the haecceity of a physical object or person other than
himself. 23 For parallel reasons, none of us ever grasps haecceities of items
of the following kinds: temporal slices of physical objects or persons other
than himself, surfaces of such objects, and temporal slices of such surfaces.
22
Below, I describe three analogs of (1), (2), and (3) whose details can be spelled out in
a way parallel to the details in (1), (2), and (3). If these details are provided, then there are
arguments based on these analogs which are parallel to the ones based on (1), (2), and (3), and
have the same conclusions.
(1') At t, I know that there is a pair of look-alikes in the vicinity. At t, I have two distinct
simultaneous visual perceptions of a thing because I look at a thing which is in front of me and
at the same time look at that thing either through a periscope or via its reflections in a number
of mirrors.
(2') At t, I know that an object in the vicinity has been broken in half, and thus that there
are now two objects there instead of one. At t, I perceive a single object and notice its right
and left halves. But I do not perceive the middle portion of this object because it is covered.
(3') At t, I know that there are two objects in the vicinity which are not joined together to
form a single object. I also know that if I were to perceive these objects, then they would
appear to be a single object either because they are an imperceptible distance from one another,
or because they are in contact but not joined. At 1, I perceive a single object by looking at it
and/or touching it, or by enclosing it in my hand.
(1), (2), (3), and their analogs, are cases of the following kind: I perceive a single object,
but in certain circumstances I do not know whether I perceive one object or two because I have
inadequate inductive evidence for an identity claim.
23
Clearly, since none of us can grasp a haecceity exemplified by a material object or person
other than himself, none of us can grasp a haecceity which is unexemplified (and so other than
one's own haecceity) and such that if it were exemplified, then it would be exemplified by a
material object or person.
214
CHAPTER 5
ACQUAINTANCE
215
CHAPTER 5
ACQUAINTANCE
216
217
(a) I am in Greensboro,
entails
(b) (I am a brain in a vat on a spaceship in the Andromeda galaxy).
Nevertheless, Nozick would hold that although I know (a), I am not in a
position to know (b). If I am not in a position to know (b), then I am
ignorant of (a) and skepticism about external objects ensues, unless there is
a failure of deductive closure.
Nozick assumes that skepticism about external objects is an extremely
24
See Robert Nozick, Philosophical Explanations (Cambridge: Harvard University Press,
1981), pp. 167-288.
218
CHAPTER 5
25
See Robert Nozick, Philosophical Explanations, pp. 179-185. Nozick refines his account
of tracking in order to deal with various problem cases, primarily ones in which either a
different method of acquiring knowledge is utilized in a close counter-factual situation or
multiple methods of acquiring knowledge are employed. But none of Nozick's refinements have
any effect on my verdict in the case under discussion. In this case only a single method is
involved, and in my assessment of the relevant counter-factuals I hold the method of acquiring
knowledge fixed, as Nozick requires.
ACQUAINTANCE
219
220
CHAPTER 5
26
Edward Wierenga, The Nature of God: An Inquiry into Divine Attributes (Ithaca and
London: Cornell University Press, 1989). Compare Gary Rosenkrantz, "Critical Notice: The
Nature of God: An Inquiry into Divine Attributes by Edward Wierenga," Philosophy and
Phenomenological Research, 51 (1991), pp. 725-728.
ACQUAINTANCE
221
222
ACQUAINTANCE 223
CHAPTER 5
the haecceity of a material object or person other than himself. Since even
God would be unable to grasp such a haecceity, I conclude that it is
impossible for anyone to grasp a haecceity of this kind.' Thus, there could
not be an omniscient being, in the sense of a being who knows (and
therefore grasps) every true proposition.'
In what follows, I answer three possible objections to the preceding
argument. According to the first objection, God has a nonperceptual way of
experiencing a physical object or person other than himself, and this form
of divine experience is more direct than any perception God could have of
such a thing But what could the nature of such a divine experience
conceivably be? Of course, there are nonperceptual modes of awareness: a
person can experience himself and his own mental states introspectively, and
a person can be aware of some abstract entities in an intellectual manner.
However, this argument is of no help in understanding how God could
nonperceptually experience a physical object or person other than himself,
since it is impossible that a person has either introspective awareness, or the
relevant kind of intellectual awareness, of a physical object or person other
than himself. Indeed, it seems that we cannot conceive of a nonperceptual
experience of an external thing. Thus, acceptance of the response under
discussion entails acceptance of an incomprehensible mystery. Such an
28
27
1 assume that physical objects or persons other than God are not identifiable with divine
ideas or mental states, or sets or collections of such, items of which God is introspectively
aware.
For an opposing view, see Jonathan Kvanvig, The Possibility of an All Knowing God
(New York: St. Martin's, 1986), pp. 26-71. However, my argument is compatible with the
claim that (i) there is an omniscient being, and (ii) omniscience does not require knowledge of
every true proposition.
.
CHAPTER 5
ACQUAINTANCE
224
225
"The Sight of the Mind differs very much from the Sight
of the Body."
(1735 Bolingbroke A Dissertation Upon Parties 135)
30
For a person, S, to have an innate idea of F-ness is for S to have an innate ability to
classify something as an F, an ability S does not have because of some perception S has of an
F. See Chapter 1, section V, and particularly footnote 17.
For example, see Roderick Chisholm, Person and Object, Chapter 1. He argues that each
of us grasps his own haecceity when he knows that he has a self-presenting state. Compare The
First Person, in which Chisholm attacks the position he held in Person and Object on this
matter.
226
CHAPTER 5
ACQUAINTANCE
227
32
Compare Ernest Sosa, The Status of Becoming: What is Happening Now?" The Journal
228
CHAPTER 5
ACQUAINTANCE
229
t2 I lack adequate inductive evidence for s5 , then I do not deduce s5 from (q5
& 1.5). But in Case (5), it seems that when I deduce s5 from (g, & r5) I am
relying only on my grasping the property of being identical with Red and my
remembering my grasping this property, neither of which involves any
inductive methods. Thus as far as I can tell, in Case (5) I deduce ,s5 from
(q 5 & r5) even if I have inadequate inductive evidence for s5 . For this
reason, it appears that strategies similar to those used in defense of R cannot
be employed to construct a sound parallel argument which implies that none
of us is acquainted with an abstract entity.
As we saw above, in Cases (4) and (5) a person seems to epistemically
justify re-identification claims about himself or an abstract entity on
noninductive grounds, whereas none of us ever justifies a re-identification
claim about a physical object or person other than himself on, such grounds.
Notice that this epistemological asymmetry is explicable on the hypothesis
that a person grasps his own haecceity, or the haecceities of some abstracta,
but does not grasp the haecceity of a physical object or person other than
himself. According to such an explanation, in Case 4 [Case 5] I justify s4
[55] by using a haecceity to deduce 5 4 [5.5] from (p & q 4) [(p 5 & q 5)] via SD;
whereas none of us ever utilizes a deductive method of this kind to justify
a re-identification claim about a physical object or person other than himself.
The fact that the epistemological asymmetry in question is explicable on the
aforementioned hypothesis is a point in favor of that hypothesis.
As shown earlier, the claim that we grasp our own haecceities is prima
facie plausible?' Moreover, arguments like R do not defeat the plausibility
of this claim. Furthermore, we have seen that the claim that a person grasps
his own haecceity has a certain explanatory utility?' Hence, until there is
good reason to think otherwise, it is quite plausible to think that we grasp
our own haecceities.
I have , argued that the existence of abstracta is plausible, including the
33
0n the other hand, it is clear that an argument parallel to R does yield the conclusion that
nobody has direct knowledge of a place when he identifies it as here. For relevant, historically
important, material on the identification of bodies, souls; places, times, and other concreta see
Franz Brentano, Theory of Categories, Roderick Chisholm and Norbert Guterman, trans. (The
Hague: Martinus Nijhoff, 1981). Compare Brentano's Philosophical Investigations on Space,
Time and the Continuum, Barry Smith, trans. (London: Croom Helm, 1988). Here Brentano
maintains that a time, a place, or a soul is individuated by its "individual peculiarity," but that
none of us can grasp such a differentia individualis.
34
35
230
CHAPTER 5
ACQUAINTANCE
231
Then I fall into a deep dreamless sleep for 10 minutes. At t2 I awaken, and
I know that
the state I am introspectively experiencing at t2 is my being appeared to
redly (call this statement g6).
At t2 I remember that
the state I was introspectively experiencing at t 1 is my being appeared to
redly (call this statement r6).
Notice that because (q 6 & r6) trivially entails s6, in Case (6) I come to
232
CHAPTER 5
know s6 by deducing it from (q6 & r6). If I perform this deduction by using
the haecceity of my being appeared to redly to perform SD, then I am
acquainted with this state. Is there an argument like R which shows that in
Case (6) I do not perform this deduction in this way? There is such an
argument only if in Case (6), if at t2 I lack adequate inductive evidence for
s6, then I do not deduce s6 from (q 6 & r6). But in Case (6), it seems that
when I deduce s6 from (q 6 & r6) I am relying only on my introspecting that
I am being appeared to redly, my grasping the property of being identical
with my being appeared to redly, and my remembering my grasping this
property, none of which involves any inductive methods. Thus as far as I
can tell, in Case (6) I deduce s6 from (q 6 & r) even if I have inadequate
inductive evidence for s 6 . For this reason, it appears that strategies similar
to those used in defense of R cannot be employed to construct a sound
parallel argument which implies that none of us is acquainted with one of his
own repeatable momentary occurrent mental states. On the other hand, if
a momentary occurrent mental state is nonrepeatable, then it also follows
that there is no argument resembling R which discredits the thesis that we
are acquainted with some of our own momentary occurrent mental states.
Hence, it seems that there is no argument like R which defeats the prima
facie plausibility of the claim that we grasp the haecceities of some of our
own momentary occurrent mental states. In addition, it appears impossible
for a mental state to be introspectively experienced by means of two modes
of awareness at once. Consequently, it seems that there is no argument
resembling a synchronic analog of R which undermines the thesis that we are
acquainted with some of our own momentary occurrent mental states.
Therefore, it appears that no argument of this kind defeats the prima facie
plausibility of the claim that we grasp the haecceities of some of our own
momentary occurrent mental states.
The key cognitive and linguistic implications of my argument can now be
summarized. First of all, it seems that if a person grasps the haecceities of
certain entities, then he is acquainted with these entities. Of course, in my
sense of acquaintance the converse is obviously true. Hence, it appears that
an individual grasps the haecceities of certain entities just provided that he
is acquainted with those entities. Similarly, one of us can have direct de re
propositional belief or knowledge about an item, x, if and only if he grasps
ACQUAINTANCE
233
234
CHAPTER 5
the semantics of direct reference which implies that we can employ a proper
name or indexical indicator to express the haecceity of a particular of this
type is mistaken. 37
Three additional linguistic conclusions can be drawn. Firstly, there are
some haecceities which no one is capable of grasping or linguistically
expresses an essence; and when I use it to refer to someone else it expresses a different essence just as the word 'I', when you use it expresses an essence, and a different essence from the one
it expresses when I use it." (p. 106) "Phrases like 'that person' do indeed express essences, so
that if I know such a proposition as that person is elegantly attired, I know a proposition
entailing someone else's essence." (p. 107) From what Plantinga says in "De Essentia," he
appears to be committed to the view that we grasp haecceities of physical objects and persons
other than ourselves, and use indexical indicators to express those haecceities.
37
For example, see M. Lockwood, "Identity and Reference" in M. Munitz, ed., Identity and
Individuation (New York: New York University Press, 1971), pp. 199-211, and "On Predicating
Proper Names," The Philosophical Review, 84 (1975), pp. 471-498.
38 Earlier versions of arguments supporting these conclusions can be found in my articles
"Haecceities and Perceptual Identification," Grazer Philosophische Studien, 9 (1979), pp. 107119, and "Acquaintance," Philosophia, 14 Nos. 1-2 (1984), pp. 1-23.
ACQUAINTANCE
235
just provided that I can grasp the third-order property of Identity-withIdentity-with-Redness by thinking that something is identical with Identitywith-Redness. Since a person can be acquainted with an item just in case
he can grasp that item's haecceity, it follows that a person can be acquainted
both with haecceities of the indicated nonexternal items (including himself
and some of his own states of mind) and with haecceities of some first-order
properties, but that no one can be acquainted with either haecceities of
physical objects or persons other than himself or haecceities of spatiotemporal slices of such external things. Hence, any one of us can have
direct de re propositional belief (or knowledge) with, respect to haecceities
of the nonexternal items and abstracta in question, but a person cannot have
this sort of belief or knowledge with respect to haecceities of the relevant
external entities. Similarly, it follows that each one of us can use proper
names or indexical indicators to express the haecceities of haecceities of the
former nonexternal items and abstracta, but a person cannot use names or
indicators of this kind to express the haecceities of haecceities of the latter
external entities.
ACQUAINTANCE
CHAPTER 5
236
39
It should be noted that in split brain cases only one side of the brain exhibits linguistic
competence, suggesting (though not proving) that there is only one center of consciousness in
the person. Furthermore, the typical case of multiple personalities is one in which the
personalities surface diachronically, suggesting that there is only one center of consciousness in
the person at a time. It would be bizarre to suppose that two such personalities manifest
themselves synchronically, e.g., one by speaking, and the other by writing. Nonetheless, such
a phenomenon is conceivable.
237
introspective knowledge he has about himself at t. But suppose for the sake
of argument that at t S has two separate centers of consciousness, and at t
each of these centers of consciousness has a separate introspective experience
of S. Since these introspective experiences belong to different centers of
consciousness, at t S does not compare the two introspective experiences in
question: at t S does not know a conjunctive proposition whose conjuncts
correspond to the two pieces of introspective knowledge under discussion.
Consequently, such a case of divided consciousness does not generate an
argument which resembles a synchronic analog of R and which discredits the
claim that a person is acquainted with himself.
Likewise, if at t S has two centers of consciousness, and there is a mental
state, M, or a property, P, such that each of these centers of consciousness
either introspects M, or grasps P, or is aware of t as now, then at t S does
not know the relevant conjunction of propositions about M, P, or t. Hence,
a case of divided consciousness cannot be used to construct an argument
which resembles a synchronic analog of R and which militates against our
being acquainted with some of our own mental states, certain properties, or
times.
Although I contend each of us can grasp his own haecceity, some
philosophers sincerely avow that when they reflect upon themselves it seems
to them they fail to find such a property." Yet others have the opposite
intuition. An eloquent evocation of this opposing intuition may be found in
the notebooks of the English poet Gerard Manley Hopkins.'" Hopkins wrote
as follows: 42
40
For example, see Jaegwon Kim, "Critical Notice: The First Person: An Essay on
Reference and Intentionality by Roderick Chisholm," Philosophy and Phenomenological
Research, 46 (1986), pp. 488. Kim writes that "Chisholm is surely right about this: I have no
idea what my own "me-ness" is like. There is no sense of 'conceive' that I can even faintly
understand in which I think I can conceive this me-ness."
41
Incidentally, Hopkins was an admirer of Duns Scotus, finding him "Of realty the rarestveined unraveller; a not. Rivalled insight, be rival Italy or Greece." See Hopkins's poem Duns
Scotus's Oxford (1879).
42
The Notebooks And Papers of Gerard Manley Hopkins, Humphry House, ed. (London:
Oxford University Press, 1937), pp. 309-310.
238
CHAPTER 5
When I consider my self being, my consciousness and my feeling of myself, that taste of
myself, of I and me above and in all things, which is more distinctive than the taste of ale
or alum, more distinctive than the smell of walnutleaf or camphor, and is incommunicable
by any means to another man (as when I was a child I used to ask myself: What must it be
to be someone else?). Nothing else in nature comes near this unspeakable stress of pitch,
distinctiveness, and selving, this selfbeing of my own. Nothing explains it or resembles it,
except so far as this, that other men to themselves have the same feeling. But this only
multiplies the phenomena to be explained so far as the cases are like and do resemble. But
to me there is no resemblance: searching nature I taste self but at one tankard, that of my
own being. The development, refinement, condensation of nothing shews any sign of being
able to match this to me or give me another taste of it, a taste even resembling it.
One may dwell on this further. We say that any two things however unlike are in
something like. This is the one exception: when I compare my self, my being-myself,
with anything else whatever, all things alike, all in the same degree, rebuff me with blank
unlikeness; so that my knowledge of it, which is so intense, is from itself alone, they in
no way help me to understand it. And even those things with which I in some sort identify
myself, as my country or family, and those things which I own and call mine, as my clothes
and so on, all presupposes the stricter sense of self and me and mine and are from that
derivative.43
It would be fair to say that when Hopkins reflects upon himself it seems
Compare the poet and the philosophers: Gottlob Frege, Edmund Husserl, and H. D. Lewis.
"Now everyone is presented to himself in a particular and primitive way, in which he is present
to no-one else. So, when Dr. Lauben thinks that he has been wounded...and says 'I have been
wounded', he must use the 'I' in a sense which can be grasped by others, perhaps in the sense
of 'he who is speaking to you at this moment'..." Gottlob Frege, "The Thought: .A Logical
Inquiry," Mind, 65 (1956), p. 398. "The word 'I' names a different person from case to case,
and does so by way of an ever altering meaning. What its meaning is at the moment, can be
gleaned only from the living utterance and from the intuitive circumstances which surround it.
If we read the word without knowing who wrote it, it is perhaps not meaningless, but it is at
least estranged from its normal sense... In solitary speech the meaning of 'I' is essentially
realized in the immediate idea of one's own personality... Each man has his own I-presentation
(and with it his individual notion of I), and that is why the word's meaning differs from person
to person." Edmund Husserl, Logical Investigations (London: Routledge & Kegan Paul, 1970),
pp. 315-316 (Investigation I, Section 26). "When I lose my memory I am no longer aware of
who I am - in one sense, namely that I do not remember my name, where I live, what I have
been doing in the past and so on. I cannot place myself in the sense in which the outside
observer would place me on the basis of what is known about me. But I do all the same
recognize myself as the unique person I am. It is particulars of my past history and situation
that I cannot recover. In a more basic sense I have no doubt who I am - I am myself, the being
I expressly recognize myself to be in a way which is not possible for knowledge of any other."
H. D. Lewis, The Elusive Mind (London: Allen & Unwin, 1969), p. 235.
ACQUAINTANCE
239
to him that he finds his haecceity! Nevertheless, to base the claim that we
grasp our own haecceities on intuitions like those of Hopkins invites a
deadlock with those philosophers who have opposing intuitions. Since these
conflicting intuitions epistemically counter-balance one another, I set them
both aside.
In the following passage, Chisholm gives reasons for doubting that any of
us ever grasps his own haecceity.
It seems doubtful that I can ever be said...to grasp my individual essence or haecceity. If I
were to grasp it, shouldn't I also be able to single out its various marks? I can single out
some of the marks of my individual essence - if I have one. Thus it may include various
universal essential properties (for example, being red or non-red, or being a musician if
a violinist). And perhaps I can single out certain non-universal essential properties (for
example, being an individual thing and beings person). But if I can grasp my individual
essence, then I ought to be able to single out in it those features that are unique to it. If
being identical with me is my individual essence and being identical with you is yours,
then, presumably, each analyzes into personhood and something else as well - one
something in my case and another in yours - but I haven't the faintest idea what this
something else might be as
"Roderick Chisholm, "Objects and Persons: Revisions and Replies," Grazer Philosophische
Studien, 7/8 (1979), p. 322.
CHAPTER 5
ACQUAINTANCE
person is logically necessary for being identical with me. Still, consider the
following parallel case. On the assumption that knowledge is analyzable as
justified true belief of a certain sort, the fact that grasping a proposition is
logically necessary for knowing a proposition does not seem to imply that
propositional knowledge is analyzable in terms of grasping a proposition and
something else. Hence, Chisholm's assumption that if my haecceity is
analyzable, then it is analyzable into personhood and something else does not
seem to be justified. If my haecceity is analyzable, then perhaps it can only
be analyzed in some other way. For example, if my haecceity is analyzable,
and if I am identical with a complex material object, then perhaps my
haecceity can be analyzed wholly in terms of the haecceities of my parts
(given principles of mereological essentialism stated earlier which Chisholm
would accept') For the foregoing reasons, it appears that Chisholm's
doubts about our grasping our own haecceities are unfounded.
240
241
46
This is compatible with the fact that some unexemplified haecceities which individuate
disjoint objects are possibly grasped, e.g., an unexemplified haecceity which individuates a
disjoint person is possibly exemplified by a person who grasps that haecceity.
45
47
CHAPTER 5
ACQUAINTANCE
242
243
49
This is compatible with the fact that a haecceity of this kind is possibly picked out by
someone. Such a haecceity, H, is never exemplified and individuates a disjoint object. Yet, H
is possibly such that H is exemplified and somebody picks out or makes singular reference to
H by description, e.g., as the haecceity exemplified by the object I see on the left.
50
Compare Alvin Plantinga, "Two Concepts of Modality: Modal Realism and Modal
Reductionism," Philosophical Perspectives, 1, Metaphysics (1987), p. 190, and footnote 3, p.
226. According to Plantinga, "Every proposition is such that it is possibly believed or possibly
disbelieved or both." As he notes in this connection, "According to the classical theist, every
proposition is in fact (and, indeed, necessarily) believed or disbelieved - by God, who is a
necessary being and essentially omniscient." Plantinga makes clear that he is committed to the
48
244
CHAPTER 5
conclude that Plantinga's views about these matters imply that every nonqualitative haecceity
is graspable. Likewise, for the Chisholm of Person and Object, see pp. 117-120.
5t
See Chapter 2.
52
See Chapter 3.
INDEX OF NAMES
245
246
INDEX OF NAMES
Price, H. H. 204
Priestly, Joseph 1
Primaudaye, Pierre De La 6
Reid, Thomas 124, 140
Rescher, Nicholas 57, 85
Rosenkrantz, Gary xiv, 22, 39, 59, 71, 81,
85, 104, 142, 150, 183, 192, 220, 234
Russell, Bertrand 27, 28, 34, 35, 40, 183185, 188, 189, 225
Salmon, Nathan ix
Selby-Bigge, L. A. 79
Sergeant, John 241
Shakespeare, William 198
Sidney, Sir Philip 106
Simons, Peter 5
Smith, Barry 55, 228
Sosa, Ernest x, xiii, xiv, 11, 33, 49, 50, 68,
78, 110, 111, 227
South, Robert 106
Stout, G. F. 5, 86
Stubbes, Philip I
Tachau, Katherine 192
T. B. 6
Tomberlin, James 141
Thomson, Archbishop William 56
Uehling, Theodore E. x, 11, 164'
Van Inwagen, Peter 141
Van Cleve, James xiii
van der Schaar, Maria 86
Vier, Peter C. 192
Walsh, James 3, 43, 75, 188
Watts, Isaac 220
Werenfels, Samuel 11
Wettstein, Howard K. x, 11, 164
Wierenga, Edward xiv, 220
Williams, D. C. xi, 5
Wittgenstein, Ludwig 118
Zalta, Edward 114
INDEX OF SUBJECTS
247
248
INDEX OF SUBJECTS
INDEX OF SUBJECTS
agent cause 86
efficient cause 86, 179
formal cause 76
Change 56, 57, 66, 118, 132, 203
Circular individuation 94-103, 122, 132136
Collections xi, 5, 53, 60, 66, 109, 124,
125, 222
Collectivism 5
Colors xii, 46-51, 215, 228, 229
Conceptual circularity 50, 67, 68, 83, 93,
94, 103, 121, 122, 125
Conceptualism 4, 54, 55
Concepts (ideas, mental constructs) 24, 53,
55, 70, 119, 129
Concrete/abstract distinction x, xi, xii, 12,
55, Ch. 1, sect. VIII, 129, 135-139
Concrete entities ix, x, xi, 93
individuation of Ch. 2
Conjuncts 24, 34, 35, 37, 50, 69, 96, 111113, 122, 124, 141, 144, 147, 148,
197, 201, 206, 209, 211, 214, 215,
236, 237
Constituents 114-121, 118, 125, 126, 157
Contingent propositions 17, 18
Contingent existence 18, 21, 57, 62, 127,
128, 138, 150, 156
Contradictories 48
Contraries 48
Corpus callosum 236
Deductive closure (of knowledge) 216-219
Definite descriptions x, 21, 29-31, 158,
169, 173-183, 185-187, 243
causal Ch. 4, sect. I
mereological Ch. 4, sect. II
Descriptive identification 28-35, 40, 169,
173, 177, 181--185, 241-243
Determinism 181
Disjuncts 24, 50, 62, 69, 96, 101, 102,
111-113, 122, 124
Diversity at a time (explanation of) x, xiii,
Ch. 2, 157
Indeterminism 181
Individual concept 185
Individual essence Ch. I, sect. VI
Individuation ix, x
of abstract entities 137-139
249
250
INDEX OF SUBJECTS
INDEX OF SUBJECTS
144, 147, Ch. 3, Ch. 4
Privations 5, 56, 60, 61
Probability 173, 181
Properties xi, 1-4, Ch. 1, sect. II, 8, 12, 2236, Ch. 1, sect. VII, 60, 62, 63, 66,
67, 108, 117, 124, 126, 127, 133,
139, 163, 164, 244, et passim
ego-centric xii
intrinsic 77-79
nonqualitative Ch. 1, sect. II, 54
qualitative x, Ch. 1, sect. II, 54, 77
relational 8, 9, 78, 79, 87, 88, 104, 107,
114, 116-118, 242
unexemplified x, xiii, 2, 16, 19-21, 25,
26, 42, 43, 54, 55, 57, 66, 67, 138,
139, 143-149, Ch. 3, sect. III, Ch. 4,
169, 173, 175-178, 213, 223, 241244
world-indexed 147
Propositions xi, 4, Ch. 1, sect. II, 11-14,
16, 22, 32, 60, 63, 66, Ch. 1, sect.
IX, 88, 132, 133, 139, 220, 230
Qualitative
properties x, 46, 77, Ch. 1, sects. H, ILL
and IX
relations x, 8-10
propositions Ch. 1, sects. II and IX
Qualitatively indistinguishable
individuals x, 20, Ch. 2, sect. II, 104
Quantification 2, 3, 119-121, 143
Quantum mechanics 103, 104
Radical empiricism 24
Rationalism 24
Realism 214
Realism (Property-Realism) xii, xiii, 12,
24, 26, 32;64, 72, 74, 76, 91, 130,
131
anemic 53
bifurcated 151-154, 156, 157, 159-163,
168
moderate (or aristotelian) 4, 25, 26, 54,
252
INDEX OF SUBJECTS
Translation xii
Transparency 79
Tropes 5, 53, 56, 60, 61, 66, 79, 81, 85,
97, 127
Truth 9
de dicto 9, 10
de re 9, 10
Editor: