Symposium: On Determinables and Resemblance Author(s): S

Symposium: On Determinables and Resemblance
Author(s): S. Körner and J. Searle
Source: Proceedings of the Aristotelian Society, Supplementary Volumes, Vol. 33 (1959), pp.
125-158
Published by: Blackwell Publishing on behalf of The Aristotelian Society
Stable URL: http://www.jstor.org/stable/4106622
Accessed: 29/04/2009 10:38
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at
http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless
you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you
may use content in the JSTOR archive only for your personal, non-commercial use.
Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at
http://www.jstor.org/action/showPublisher?publisherCode=black.
Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed
page of such transmission.
JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the
scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that
promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected].
The Aristotelian Society and Blackwell Publishing are collaborating with JSTOR to digitize, preserve and
extend access to Proceedings of the Aristotelian Society, Supplementary Volumes.
http://www.jstor.org
ON DETERMINABLES AND RESEMBLANCE
PROF. S. KtiRNER AND MR. J. SEARLE
I-By
S. KiSRNER
INEXACTconcepts, i.e., concepts having border-line cases, are
involved in various propositions and theories the analysis of
which is either plainly unsatisfactory or at the least, highly
controversial. It seems both plausible and heuristically sound to
anticipate that by giving proper attention to the logic of inexact
concepts some light may be thrown on the structure of those
propositions and on the theories in which they play a part.
I have argued elsewhere that the logic of inexact concepts
provides us with useful equipment for clarifying the logical status
both of empirical laws of nature (which relate inexact empirical
characteristics) and of the theories of applied mathematics (which
relate inexact empirical to exact mathematical characteristics).1
In this paper I use the logic of inexact concepts in an effort to
clarify the notion of resemblance which is applied, e.g., when we
assert of a green and blue thing that they resemble each other in
respect of-the determinable-colour, or that two objects
resemble each other in any more general way.
As regards the definition (given in Section 1 below) of the
logical relations which may hold between inexact concepts, I am
faced with the awkwardchoice of eitherrepeatingformer statements
with hardly any change or assuming that I need not do so-the
reader of this paper being already well acquainted with what I
have had to say in the matter. The former alternative appears
to me to be much the more reasonable and I proceed upon it.
1. On the logical relations between concepts. I call a rule,
say r, for the assignment or refusal of a sign, say U, an inexact
See ' On the Nature of Pure and Applied Mathematics' in Ratio No. 3
and ChapterXI of ConceptualThinkingCambridge1955,Dover (New York),
1959.
1
126
S. KiRNER
rule, and U an inexact concept, if the followingtwo conditions
are fulfilled. Thefirst concernsthe possibleresultsof applying
U to objects. These are: (a) that the assignmentof U to some
object would conformto r whereasthe refusalwould violate it;
in which case the object, we may say, is a positive candidate
for U and, for the person making the assignment,a positive
instance of U; (b) that the refusalof U to some object would
conformto r whereasthe assignmentwould violateit; in which
case the objectis a negativecandidatefor U and, for the person
makingthe refusal,a negativeinstanceof U; (c) that both the
assignmentand the refusalof U to some objectwould conform
to r; in whichcase the objectis a neutralcandidatefor U. For
the person who assigns U to the object it will be a positive
instance of U; for the person who refuses U to the object, a
negative instance of U. The second condition concerns the
natureof the neutralcandidatesfor an inexactconcept U. If we
definea concept,say V, by requiringthat the neutralcandidates
for U be the positive candidatesof V, then V will again have
positive,negativeand neutralcandidates. (Example: Let U be
the inexact concept 'green' and V the concept 'having the
neutral candidatesfor 'green' as its positive candidates'. V
is inexact.)
The inexactnessof a concept,i.e., the possibilityof its having
neutral candidates,depends on the rules which govern its use,
and not on the actual inventoryof the world. 'Green' would
e.g., remaininexactif there were no colours. An exact concept
on the other hand cannot have neutralcandidates. For such a
concept,the distinctionbetweencandidatesand instanceshas no
point; clause (c) of the firstconditionabove, likewisethe entire
secondcondition,haveno application. The concepts(attributes,
predicates, statement-functionsetc.) of standard logic and
mathematicsare all exactor at least are requiredand assumedto
be so-for exampleby Frege.2
The following definitions of the logical relations between
conceptsapply to both exact conceptsand inexact. Let U and
2
Frege, Grundgesetzeder ArithmetikJena 1903, esp. Vol. II ? 56.
ON DETERMINABLESAND RESEMBLANCE
127
V be two concepts governed respectively by r (U) and r (V); and
let S, be a finite set of objects. Apply r (U) and r (V) to the
membersof S, collecting the positive instances of U into the
" associated set " [U],
and similarly the positive instances of
V into [V]1. Between the two associated sets the following
relationsmay obtain:
(1) [U], < [V], (proper inclusion)-also, of course
[U]1> [V], and [U],
I[V], (bilateral inclusion);
(2) [U]I/[V], (exclusion); and
(3) [U] O0[ V], (proper overlap, where each of the two
finite sets has at least one member not common to both).
Next, amplify S, by one or more objects into S2 and apply
r (U) and r (V) to all members of S2thus getting the "amplified
associated sets " [U]2 and [V]2. The relations between these
again may be: [U]2 < [V]2, [U],/[V]2, [U]2 0 [V]2. If the
relation, between the original and the amplified sets be the same,
I shall say that the relation is preserved in the amplification or
briefly that it is preserved.
The possible logical relations between concepts, including
inexact ones, may now be defined in terms of the preservabilityof
the relations between their associated sets-preservability, like
exactness or inexactness of a concept, being independent of the
inventory of the world:
(1) U < V by " Inclusion is the only preservable relation
between any two associated sets of U and V." The relation
is the familiar inclusion.
(2) U/V by " Exclusion is the only preservable relation
between any two associated sets of U and V." The relation
is the familiar exclusion.
(3) U O V by " Overlap is the only preservable relation
between any two associated sets of Uand V." The relation
is the familiar overlap.
(4) U @ V by " Inclusion and overlap are both preservable
between any two associated sets of U and V." The relation
will be called " inclusion-overlap ".
128
s.
KOiRNER
(5) U O Vby "Exclusionandoverlaparebothpreservable
relations between any two associated sets of U and V."
The relationwill be called " exclusion-overlap."
Betweenexactconceptsonly the firstthreerelationscan hold
and it is on this fact that e.g., the Eulerdiagramsare based. An
example of (5) would be any two concepts U and V (say
U = ' green' and V = ' blue ') such that althougheverypositive
candidatefor U is a negativecandidatefor V and everypositive
candidatefor Va negativecandidatefor U, U and Vhavecommon
neutral candidates. If no such object is elected as a positive
instance of U and of V, [U]/[V] will be preserved; otherwise
[U] O [V]. Similarexamplescan be providedfor (4).
Clearly U ( V must be distinguishedfrom ((U < V) or
(U O V)) since the formerstatementassertsthe preservabilityof
inclusion and overlapbetweenthe associatedsets, whereasthe
latter assertsthe preservabilityof one or the other. Similarly
(4) is not an alternationof (2) and (3).-From a purelycombinatorial standpointthe following further possibilitiescan arise:
(6) No relation preservable,(7) inclusion and exclusion preservable,(8) inclusion,exclusionand overlappreservable. But a
sign used in accordancewith rules allowingany of these is-on
any view of conceptualthinking-not used as a concept.
Our definitionsof the five logical relationsare based on the
assumptionthat we are free to " elect" a neutral candidate,
say xo, of a concept, say U, as a positive or negative instance
of U independentlyof previous elections of x0 or any other object
as a positive or negativecandidateof U or any other concept.
This freedom,which may be restrictedby furtherconventions,
implies that the relation of an inexact concept U to itself is
U @ U and not U < U. It will-after the definitionof the
absolute complementU of U-equally become clear that the
relationbetweenU and U is U 0 U and not U/U.
2. Sums, products and complements. Just as the number of
possible logical relations between concepts is increased by
admittinginexact concepts in addition to exact ones, so is the
numberincreasedof ways of formingnew conceptsfrom already
ON DETERMINABLESAND RESEMBLANCE
129
availableones by meansof logicalconnectives. In definingthem
we have considerable freedom. A guiding principle for
redefining" complement", " sum" and " product" of two or
more conceptshas been the requirementthat for exact concepts
they should reduce to the usual ones. This is the principle
observedalso, for example,when operationswhich have been
defined for one class of numbers are redefinedfor a wider
class.
The sum of two-exact or inexact-concepts, say U and V, is
determinedby the followingstipulation: An objectis a positive
candidateof (U + V)-in words, U or V-if, and only if, it is
a positivecandidateeitherof U or of V or of both; it is a negative
candidateof (U + V) if and only if it is a negativecandidateof
both; it is a neutralcandidateof (U + V) in all other cases.
The definition,though needed here only for pairs of concepts,
can easily be extended to any finite sum. Since the sum is
definedin termsof candidatesfor its members-and not in terms
of candidatesand instances-the stipulationcan be represented
afterthe fashionof the truth-tables. If U and
diagrammatically
V have no neutralcandidates(U + V) is the sum of two exact
concepts.
We now turn to the notion of the product(U.V) of two
concepts. An objectis a positivecandidateof (U.V) if, and only
if, it is a positive candidateof both; it is a negativecandidate
of (U.V) if, and only if, it is a negativecandidateof one or both
of them; it is a neutral candidateof (U.V) in all other cases.
For exactconceptsthis reducesto the usual definition.
The general definition of the complementis this: Two
of each otherif, and
concepts U and U are absolutecomplements
only if, a positivecandidateof U is a negativecandidateof U; a
negative candidateof U is a positive candidateof U; and a
neutralcandidateof U is a neutralcandidateof U. For exact
conceptsthis again gives the usual definition. (I am using the
term " absolutecomplement" becauselater in this essay I shall
be introducing,under the name of " determinatecomplement"
a notion whichhas no parallelin the logic of exact concepts.)
The generalizeddefinitionsof sum, productand complement
I
130
S. K6RNER
are consistent. Theirapplicationyields theoremswhich are for
the most part obviousgeneralizationsof theoremsof exactlogic.
For example,we have U + V = U. V in the sense that by our
definitionsan objectis a positive,negativeor neutralcandidate
of U + V if, and only if, it is respectivelya positive,negativeor
neutralcandidateof U. V.
On the whole the definitions of 'sum', 'product' and
'absolute complement' correspondto common uses of 'or',
' and ' and ' not'. If we call the conceptfor whicheveryobject
is a positivecandidatethe universalconceptand the conceptfor
which every objectis a negativecandidatethe null-conceptthen
it is not true that for everyconcept U-(U + U) representsthe
universalconceptand (U. U) the null-concept. This is so only
if U is exact.3
3. Linkedconceptsanddeterminables.If an objecta resembles
another object b with respectto the propertyU and also with
respectto the propertyV, and if in addition U is a speciesof V
in the sense that either U
V or U ? V, then U will here be
called, in conformitywith an establishedphilosophicalusage, a
" determinateunder V ". If, in the conceptualsystem under
consideration,V itself is not a determinateunder some other
property,then V will be called a " determinable" of the system.
(Example: 'green' is a determinateunder the determinable
'coloured '.) Before these notions can be used in clarifying
varioustypes of resemblance,they themselvesmust be clarified.
This will be done by definingthem in terms of relationswhich
hold betweeninexact concepts only, in particularof exclusionoverlap. (WheneverpossibleI shall use 'P ', 'Q ', 'R ', 'C1'
' C,' for signs of inexactconcepts.)
Let us say that a conceptP is linkedwithanotherconceptQif,
and onlyif, either(i) P O Qor (ii) in the conceptualsystemunder
considerationthere are availableconcepts C1,C2,... . Cn such
that P O C1,C, O C2. . . C, 0 Q.* Whetheror not a concept
*
In framingsome of the definitionsof this and the following sections I
have profitedfrom discussionwith Dr. P. Feyerabendand Dr. C. Lejewski.
* Added after readingMr. Searle's paper : If any link in this exclusionoverlap chain is (or is equivalentto) a conjunctionof concepts, then it must
notbepossible
to dropanyof themwithout
thechain.
breaking
ON DETERMINABLESAND RESEMBLANCE
131
is availablein a systemdependson the rules-prescriptive,
the formationof its
proscriptiveor permissive-governing
concepts. Most of the following examples are chosen from a
conceptual system of a type which is widely adopted and is
implicitin customaryways of speaking. (It is a system of the
second of the types discussed in section 4.)
If, as we shall assume throughout,with every concept its
absolute complement is also available, the first condition above
is redundant: If P O Q then P and P have not only the same
neutral candidates but share some of them with Q. We have
P 0 P, P O Q. If the first condition is fulfilled the second is
eo ipso also fulfilled. (Example: Since 'green' is linked with
' blue', ' green' is linked with ' not-green' and ' not-green'
with 'blue '.)
The relation of linkage between two inexact concepts is
symmetrical. If P is linked with Q then Q is linked with P.
It is transitive. If P is linked with Q, and Q with R, then P is
linked with R. And it is reflexive. In view of P o P, any
inexact concept is linked with itself via its absolute complement
I.e., P 0 P and P 0 P. Linkage is thus exemplified by any
system which contains at least one inexact concept and its
complement.
Conceptual systems are conceivable in which every concept
would be linked with every other. But this is not in general so.
(Example: Consider the concept 'green' and its absolute
complement 'not-green'. Although 'green' is linked with
' not-green ', it is not linked with all its speciesbeing a species
? P. Thus we• shall assume that
of P if either T < P or @
' green' is not linked with ' romantic ', ' angry', etc. and not of
course with any exact concept such as 'being a prime number'.
Unless we postulate "links" between any two inexact
concepts we can easily provide examples of unlinked inexact
concepts.)
In order to define the notion of a determinable we must first,
mainly in terms of linkage, define a stronger relation. Let us say
that a concept P is fully linked with a concept Q if and only if,
every species n of P is linked with every species K of Q. Since
12
132
s. KiRNER
P is a speciesof P, and Q a species of Q, full linkageimplies
linkage; while the converseis not true. (Example: ' green' is
fully linkedwith ' yellow or red ' but not with ' yellow or angry',
since' angry'-a speciesof ' yellow or angry'-is not linkedwith
' green'.) It follows from the definitionof full linkagethat the
relationis symmetricaland transitive. Thus,if a conceptis fully
linkedwith another,it is also-via this concept-fully linkedwith
with itself. (Examples: ' green' if fully linked with ' red' and
viceversa; ' green' is fullylinkedwith' blue', ' blue ' with' red '
and therefore ' green' with ' red '; ' green' is fully linked
with ' red ', ' red' with ' green' and, therefore,' green' with
'green'.)
The notion of a determinablecan now be defined. A concept
is
Q a determinableof a conceptP if, and only if, (i) P is a species
of Q, but not also Q a species of P. (ii) Q is the sum of all
concepts which are fully linked with P. It follows that every
concept can have at most one determinable. (Example:
'Coloured' is the determinableof 'green'.) But not every
concepthas a determinable. (Examples: No exact concepthas
a determinablesince, having no neutral candidates,it is not
linked with any concept. Again 'green or angry' has no
determinable:For assumethat D is the determinable. Then in
view of condition (i) D must have a species 8 which is not a
species of 'green or angry', but fully linked with it. This
implies that 8 if fully linked with 'green' and with 'angry'.
Fromthe full linkagebetween' green' and 8 on the one handand
8 and ' angry' on the otherit followsthat ' green' is fully linked
with 'angry'. But-according to the example of the last
paragraphbut one-the two conceptsare not even linked.)
Whenwe say that an objectis not greenwe sometimesmean
that it is not even coloured. At other times we mean that it is
not greenbut coloured. In the firstcase the objectis a positive
or neutralcandidateof the absolutecomplementof ' green', in
the secondcase it is a positiveor neutralcandidateof what may
be called the determinatecomplementof 'green'. A concept
Q is the determinatecomplementof a conceptP if, and only if,
Qhas the samespeciesas the determinableof P, withthe exception
of P and its species. WritingDet (P) for the determinableof P
ON DETERMINABLESAND RESEMBLANCE
133
is briefly:Q = Det(P) - P. (Example:' green'
thedefinition
of
and'not green,butcoloured'are determinate
complements
eachother.)
It follows that a concept,if it has a determinatecomplement
at all, can have at most only one; and that a concept has a
determinatecomplementonly if it has a determinable. We shall
writeP' for the determinatecomplementof P. If a conceptP
has a determinatecomplementP' then the determinatecomple-
ment of P' is P, i.e., (P ')' = P.
(See last example.) If P has
no determinatecomplementwe may identifyP' with the nullconcept, i.e., P '= O.
In generalwe shall haveP ' P althoughin some conceptual
systems the absolute and the determinatecomplementmay be
identicali.e., P' = P. (Example: Considera conceptualsystem
containingonly colour-concepts. In such a system'not-green'
and 'coloured, but not green' are identical.) If P and Q are
any two species of the same determinable,say D, then by the
definitions of 'determinable' and 'determinate complement'
(P + P ') = (Q + Q ') = Det (P) = Det (P ') = Det (Q) =
Det (Q ') = D. That is to say all these expressionsrepresent
the same concept, or are differentlabels which are assignedor
refusedto objectsin accordancewith the samerules. (Example:
"(blue + blue')" = "(green + green')" = Det (green)
-
. .
. = 'coloured '.) Two determinables, say P and Q, are
identicalif every speciesz of the one is fully linked with every
speciesK of the other. Theyare differentif some species7rof one
is not fully linked with some speciesK of the other. (Example:
' coloured' and 'having shape' are different determinables
although, in various senses of the term "imply ", they imply
each other.)
I am preparedto admit that the definitionsof linkage, full
linkage, determinableand determinatecomplement could be
improvedand,perhaps,standin need of improvement. ButI do
not at presentdoubtthat the procedureof definingthemin terms
of exclusion-overlapand thus withinthe frameworkof the logic
of inexactconceptsis on the rightlines.
4. Exact and inexact determinables. The determinates a
134
s. Ki0RNER
underthe determinableD (8 < D or a @ D, but not vice versa)
are necessarilyinexact, since their inexactnessis a necessary
condition of linkage between them. The determinableitself,
however,may be exact or inexact. It is obvious (i) that D is
inexactif, and only if, D 0 D and (ii) that D is exactif, and only
if, DID. For (i) if D is inexactthe rulesgoverningits assignment
or refusaladmit of neutralcandidates. D has by definitionof
the absolute complementthe same neutral candidatesas D;
moreoverthepositiveandnegativecandidatesof D arerespectively
the negativeand positivecandidatesof D. This implies D o D.
On the other hand D 0 D implies the inexactness of D.
Statement(ii) is shownto be true in the sameway.
A statisticalenquiryamongEnglish-speaking
peoplemight,for
all I know, show that most of them use, say, the determinable
" coloured" as an exact concept. On the other hand,to use it
as an inexactconceptby no meanscommitsone to any great or
unreasonablemodification.Imagine,for example,a bluewindowpane becominggraduallymore and moretransparentin the sense
of affectingless and less the colours of the objects behind it,
untilin the end it becomesinvisible,though,of course,remaining
tangible. Should we, at every stage of the process,say of the
window-panethat it is a positiveor that it is a negativecandidate
of 'coloured', and never that it is a neutralcandidateof this
determinable? Few people can have ponderedthis question;
even fewercan have decidedit.
Those who are not awareof havingmadea previousdecision
can decidethe questioneitherway. They may so arrangetheir
languagethat at one stage of the process of becominginvisible
the window-paneis a neutral candidate of 'coloured' and
therefore,of ' not-coloured'. In this case ' coloured' 0 'not
coloured' and the determinableis inexact. On the other hand
they could decide that a fully transparentwindow-panehas by
definitionthe colour of the objectsbehind it and make further
arrangementsto ensure the exactnessof 'coloured'. Similar
examplescouldbe givenshowingthat determinables
may be both
exact or inexact.
The conceptualsystemsembodiedin most naturallanguages
ON DETERMINABLESAND RESEMBLANCE
135
include, as far as one can judge from one's limited knowledge,
exact and inexactconceptsand exact and inexactdeterminables.
It is neverthelessinstructiveto considersome " pure" types of
conceptualsystem,namely,(1) systemsin which all conceptsare
exact; (2) systemswhichcontainonly exact determinables,their
speciesandthe sums,pruductsand absolutecomplementsof these
species; (3) systemswhich contain only inexact determinables,
theirspeciesand the sums,productsand absolutecomplementsof
their species.
The firsttype of systemis exemplifiedby everytheoryof pure
mathematicsso farconstructed. Everyconcept,here,is exactand
has only exact species. To distinguish this thorough-going
exactness of mathematicalconcepts from the exactness of a
determinable,whosespeciesareinexact,one mightcall the former
"purely exact". An inquiry into the relations, and lack of
relations,betweeninexact and purelyexact conceptsis, I think,
importantto the philosophyof mathematics. (See referencesin
footnote 1.)
It is sometimes assumed that all empirical concepts are
organizedin systems of the second type-those which contain
only exact determinables. In such a system every empirical
concept is an exact determinableor a conjunction of such
determinables,a determinateunder an exact determinable,or a
sumor productof suchdeterminates.A good casemightbe made
in supportof the viewthat Locke'ssystemof empiricalknowledge
and the systems of his empiricistsuccessorsare of this type.
Part of what Wittgensteinshows by the constructionof various
" languagegames" is that languagesor conceptualsystemsof the
second type are by no means the only possible or "proper"
ones.
Systemsof the thirdtype mightpossiblythrow some light on
certainprominentfeaturesof Hegeliandialecticand of dialectic
in general. Theseare: No categoryis sharplyseparatedfrom any
other. On the contrary,all categoriesare connectedwith each
other. Hegelian negation leads allegedlyin a unique manner
from one category,the thesis,to anothercategory,the antithesis,
which is not the absolutecomplementof the thesis. The thesis
and the antithesiscombine into a third categorythe synthesis
136
S. KiRNER
which includesthem both. (Hegel, as is well known,is fond of
using the Germanword "aufheben" in describingdialectical
reasoning, because in its various senses it suggests negation,
preservation,and lifting to a higher level.) The process-or
rather the non-temporalstructureexhibitedby the process-is
completewhen the last synthesisis reached. This is the Idea or
Absolute which includeswithin itself all the precedingtheses,
anitheses and syntheses. Although Hegel begins the process
with the category of Being-in his view the most reasonable
starting point-this category being the emptiest-he holds, as
did Fichtebeforehim-that it could startwith any category.
Evena puresystemof the secondtypeconformsto someof the
foregoingprinciples,as can be seen by re-namingthe termsused
" categories
in the definitionsof section3: We call determinables
level
"
of
first
their
";
(or syntheses)
properspecies categoriesof
level zero "; the determinatecomplementof a category its
"antithesis"-so that the antithesis of an antithesis is the
originalthesis. Now clearlyeverythesis (of a categoryof level
zero)uniquelydeterminesits antithesis;andtheirsum,a synthesis
of firstlevel, includesboth thesisand antithesis. If all syntheses
or categoriesof firstlevel(alldeterminables)
areexact," dialectical
"
reasoning from thesisto antithesisto synthesismust stop at the
firstlevel.
If the categoriesof first level are inexact,exclusion-overlaps
and linkages between them become possible. We can then
define second-levelsynthesesbetween theses and antithesesof
first level. This is done, if in the definitionsof section 3, we
replace " determinable" by "category (or synthesis)of second
level ", and replace "proper species of a determinable"by
"proper species whichare categoriesof first level". We can
then "reason dialectically"from first-levelthesis to first-level
antithesisand second-levelsynthesisand so on, until aftera finite
or infinite numberof steps we reach a synthesiswhich has no
antithesis-the Absolute. Everysynthesisincludesthe preceding
synthesisand morespeciesof zero level thanits predecessor;the
last synthesisincludes(undercertainspecifiableconditions)all of
them. Thus all the above-mentionedprinciplescan be satisfied
by a pure system of the third type.-This analogy could be
ON DETERMINABLESAND RESEMBLANCE
137
elaboratedin more detailand with greaterprecision. But I fear
that in merelydrawingattentionto it I may alreadyhave angered
both Hegelianand anti-Hegelianphilosophers.
To exhibitthe structureof varioustypesof conceptualsystems,
howeverpedestrianor fanciful,is not to raisethe questionof their
adequacy. To say that "reality" is best describedby one of
these types, and that one should thereforebe preferredto all
the others is to defenda metaphysicalview or, as I understand
it, a general programmefor the construction of conceptual
systems.
5. Resemblance. Determinablesare respectsin whichobjects
resembleeach other. Oncethe notion of a determinableis clear
the notion of resemblancecan be definedwithout difficulty. If
D is exact then an objecta and an objectb resembleeach other
with respect to D if a and b are positive candidates of D.
If D
is inexactthen a and b resembleeach other also if one or both
are neutralcandidatesof D. (See the exampleof the windowpane at the beginningof the precedingsection.) This relationis
transitive,reflexiveand symmetrical:for clearly'D(a) and D(b)'
and' D(b) and D(c)' imply' D(a) and D(c)'; 'D(a) and D(a)'
implies 'D (a) and D(a)'; ' D(a) and D(b)' implies ' D(b) and
D(a) '.-An object a resemblesan object b, if a and b resemble
each otherwith respectto one of a numberof D's. This relation
is obviously intransitive,reflexiveand symmetrical. There is
nothingnew in these statementsexceptthat the term " respectof
resemblance" is no longerundefined.
Thereare, however,weakernotions of resemblancewhichdo
not fit these definitions. These are now often called "family
resemblances", a notion which is central to Wittgenstein's
philosophy and is applied by him in particularto "language
games ".
In a customarysenseof " familyresemblance"-for instance,
when speaking,say, of the resemblancebetweenthe membersof
the Habsburgfamily-one uses the termto indicatethat any two
membersof the familyare positivecandidatesfor one at least of
a limitednumberof determinables. But this Wittgensteinrejects
as mereverbiageand as tantamountto sayingthat " something"
138
S. KiRNER
runs " througha threadwhich we have twistedfibreupon fibre,
namelythe continuousoverlappingof thesefibres".4
But if Wittgenstein'sfamily resemblanceis not resemblance
with respectto determinables,what is it ? From his remarks,
and in particularhis referencesto Frege's rejectionof inexact
concepts,two thingsseemto emerge:first,thatfamilyresemblance
between objects cannot be definedin terms of exact concepts,
second,that the conceptsin termsof whichit can be definedmust
admitof commonneutralcandidates. Familyresemblancescan,
it would thus appear,be stated only in a language-conceptual
system-some of whose concepts are linked with each other
throughexclusion-overlaps.
Sometimes,and not only in poeticalmoods or whenspeaking
in metaphors,we do assertof two objectswhichdo not fall under
thattheyresembleeachother. (Examples:
the samedeterminable
In calling the colour of some red objects " warm" we imply a
connexion between 'red' and 'warm' without implying that
these two conceptsare determinatesundera commondeterminable. Again, one mightstill say that red objectswouldresemble
blue ones in coloureven if therewerea " discontinuity" in one's
colour-conceptssuch that ' blue' and ' red' werenot eitherfully
linkedor even linked.)
The questionariseswhen do we, or are we to, say of objects
underconceptswhich are not fully linked-i.e. of objectsunder'
concepts which are not determinatesunder a common determinable-that they resembleeach other ? No clear-cutanswer,
can be given. All that can be said is that the modification
necessaryto introducefull linkagebetweenthe concepts,i.e., to
replacethe conceptsby suitabledeterminatesunder a common
determinable,must not be too great.
I am not very confident that this definition of "family
resemblance" in termsof a set of inexactconceptspartlylinked
and more or less easilymodifiableinto a set
by exclusion-overlap
linked
of fully
concepts, fairly representsWittgenstein'smetaphoricallyexpressedposition. But the notion does justice to
'
Wittgenstein,PhilosophicalInvestigationsOxford 1953, esp. ??67-71.
ON DETERMINABLESAND RESEMBLANCE
139
many weak senses of resemblanceby defining them, at least
partly, in terms of clear notions. And this, in any case, is
desirable.
6. Analyticpropositionsinvolvinginexact concepts. I wish now
to indicateverybrieflyin conclusionhowin termsof the preceding
discussionthe structureof analyticpropositionsinvolvinginexact
conceptscan be understood. I believeit can be understoodin
the same mannerand to the same extent as the structureof the
more familiaranalyticpropositionsbelongingto exact systems.
Thismay be seenfromtwo simpleexamples,by use of somewellknown terms from semantics as developed in particular by
Tarski.5
The analyticcharacterof e.g. the statement' The class of even
numbersis includedin the class of evennumbers' is explainedby
the meta-statement:If a is a class-variablethen the statementform 'a C a' is satisfied by every model derived from it
through replacingthe variableby the name of a class. It is in
particularsatisfiedby our example.
The analytic characterof e.g., the statement'(The concept
'green' is included in the concept 'coloured')' is similarly
explained by the meta-statement: If P is an inexact-conceptvariable then the statement-formP < (P + P ') is satisfiedby
every model derivedfrom the statementthrough replacingthe
variableby the name of an inexactconcept.
It is in particularsatisfiedby our example if the constant
'green' has a determinatecomplement,since 'coloured' and
" (green + green') " are then names of the same concept. If
on the otherhandin the systemunderconsiderationthe constant
inexact concept substitutedfor the variablehas no determinate
complement, the substitution-instancefor P' represents the
null-conceptand the resultingmodelagainsatisfiesthe statementform. Indeedthe meta-statementremainstrue if it is generalized
by permittingP to be any concept-variableand permitting
6
Tarski, Logic, Semantics,Metamathematics,Oxford 1956,e.g., Chapter
XVI.
140
S. K6RNER
substitutionsof it by the name of any concept,exact or inexact.
A moresystematictreatmentof so-called"analyticbutnotL-true"
statements,by findingthem their properhome in an explicitly
formulatedlogic of inexactconceptsdoes not seemto presentany
very greatdifficulty. But it lies beyondthe limits of this paper.
II.-By
JOHNR. SEARLE
THEnotion of determinablesand the relation of determinate
to determinablewas first introducedinto modern philosophy
by Johnson in the following words: "I propose to call such
termsas colour and shapedeterminablein relationto such terms
as red and circular which will be called determinates ..."
Professor K6rner's paper is mainly concerned with defining
this distinction-or at any rate a related distinction-in terms
of the notion of an inexactconcept. I wish to state at the outset
that it does not seem to me that the problemof elucidatingthe
distinction between determinatesand determinableshas any
special connexion with the problem of inexact concepts, nor
is it clear to me why Professor Kbrner thinks it has. The
is the samewhether
relationof determinatesto theirdeterminables
or not the determinatesare exact or inexact. Since the notion
of inexact concepts seems to me irrelevantI shall attack this
problemin a way quite differentfrom Korner.
First a word about terminology. In what follows I shall
speak not only of determinateand determinablewords but also
of classes,concepts,andproperties:I shallemploythe expression
" term" to cover all of these indifferently. I shall employ the
expression" the determinablerelation" to mean the relationin
which any determinateand its determinablestand to each
other.
I. The Distinction between the Determinable Relation and the
Genus-Species Relation
In elucidatingthe relation of determinatesto determinables
the first considerationwhich springsto mind is that the determinateterm is more specificthan the determinable. But clearly
not any two termswhich stand in the relationof greaterto less
specificityeo ipso stand in the relation of determinateto determinable: " yellow" is in some sensemore specificthan " yellow
or angry" but it is not a determinateof " yellow or angry" in
the sensein whichit is a determinateof " colour". Furthermore
" human" is specificrelativeto " animal" but " human" and
142
JOHN R. SEARLE
" animal" stand in the relation of species to genus not
determinate and determinable. This last point might seem
more doubtful and I shall begin by elucidatingthe distinction
between the determinable relation and the genus-species
relation.
What are these two relations and how do they differ? A
species is markedoff within a genus by means of differentia.
Thuse.g., the classof humans(species)is includedwithinthe class
of animals(genus)but markedoff from otherclasseswithinthat
class in that each humanpossessesother properties-forty-eight
chromosomes,a certain shape, etc. (Philosophersalways say
that the differentiais rationality. It is not of course but for
shorthandlet us supposeit is)-which constitutethe differentia.
And it is the possessionof these differentialpropertiesas well
as membershipof the genus which entails of each human that
it is human. No analogous specification of a species via
to determinables.1
differentiaexistsfor the relationof determinates
Both species and determinatesare included within genus and
determinablerespectively-all humans are animals and all red
things are coloured-but whereaswe can say " all humansare
animalswhich are rational", how could we fill the gap left for
a differentiain " all red things are coloured things which
are . .. ." ? The onlywordwhichpresentsitselfas a candidate
is " red " itself ! Perhapsour failureto find a differentiais due
to the fact that colour termsdo not admit of verbaldefinitions,
so let us invent a verbaldefinitionfor red. Let us say that all
red things are coloured things which are "rouge ". But is
"rouge " a differentia of "coloured" in the way that
" rational" is a differentiaof " animal" determiningthe species
human? Some determinatesdo admit of verbal expansions,
so let us consider one of these e.g., anythingsphericalhas a
shapeandhaseachpointon its surfaceequidistantfroma common
centre. Butin both of thesecasesthe candidatefor the differentia
seems to mean the same as the candidatefor the species and
1 Cf. A. N. Prior, "Determinables, Determinates,and Determinants",
Mind, 1949.
DETERMINABLESAND THE NOTION OF RESEMBLANCE
143
hence falls necessarily under the genus. For what can " rouge "
mean if not " red ", and we know that " has each point equidistant . . ." just means " spherical ". But this is quite unlike
our standard species-genus examples, for "rational" is not
synonymous with " human" nor does it entail " animal ".
What these examples show can be stated in two ways: first, in
order for some property to be a genuine differentia of a species
within a genus, it must be logically possible that entities outside
the genus could have that property, i.e., the differentia must be
logically independent of the genus. For example, even if humans
are in fact the only rational things it is at least logically possible
that calculating machines, spirits, etc., could show signs of
rationality. But it is not logically possible that things without
shape could have all points on their surface equidistant from a
common centre.
Secondly: where two properties stand as determinate to
determinable nothing can fulfil the function of a differentia, for
anything which in conjunction with the determinable entailed
the determinate would (with exceptions to be discussed later) have
to entail the determinable.
In short, a species is a conjunction of two logically independent
properties-the genus and the differentia. But a determinate is
not a conjunction of its determinable and some other property
independent of the determinable. A determinate is, so to speak,
an area marked off within a determinable without outside help.
These two relations can be illustrated graphically:
species
determinable
determinate
genus
differentia
The species is determinedby the intersectionof two logically
independentterms,but anythingwhichmarkedoff the determinate
could not be independentof the determinable.
144
JOHNR. SEARLE
II. The First Criterion: Specificity
Using the materialsfrom this discussionwe can now lay
down a criterionfor decidingof any two termswhetheror not
they stand in the determinablerelation. In constructingour
criterionwe shallemployonly the notionsof termand entailment
between terms. Let us first review the conditions any such
criterion(or definition)must satisfy: what characteristicsof the
relationmustit elucidate?
1. It must show that any determinableis a more specific
form of its determinable. This is a basicfeatureof the criterion
and most of its otherfeatureswill be designedto eliminatepairs
of termswhichstandin this relationbut whichhaveotherfeatures
renderingthemunlikepairsof termsstandingin the determinable
relation.
2. It must enableus to distinguishthe determinablerelation
from the genus-speciesrelation.
3. It must enableus to distinguishthe determinablerelation
from the relationof a determinableto a conjunctionof one of its
determinateswith some independentterms-e.g., we need to
distinguishthe way " red " standsto " colour" (or "red thing"
to "coloured thing") from the way "red rose" stands to
"colour " (or " colouredthing").
4. It must enableus to distinguishthe determinablerelation
from the relationof some arbitrarydisjunction(sum)of termsto
one of its members-e.g., we must be able to distinguishthe
relationof " colour" to " yellow" from the relationof " yellow
or angry " to " yellow ".
5. It would help also if we could distinguishthe way " red"
is a determinateof " colour" from the way " scarlet" is a determinate of " red ". In some sense one wants to say that both
these pairs standin the determinablerelation,yet the relationof
either" red " or " scarlet" to " colour" seemsmorefundamental
than the relation of " scarlet" to "red ". Furthermoreone
DETERMINABLES AND
THE NOTION OF RESEMBLANCE
145
would like some way of showing that e.g., " red " and " yellow "
are on the same level as determinates of " colour " whereas
" scarlet " is on a different and lower level.
1. Let us say of any two terms A and B: A is a specifier of
B if and only if A entails B, but B does not entail A. In applying
this criterion we shall tacitly assume that the necessary syntactical
adjustments are made throughout; e.g., strictly speaking " is
spherical" entails " has a shape " but we shall say for short
"
" spherical entails " shape ".2
This criterion is of course very weak as it stands. In the
context of another problem Aycr has tried to strengthen it by
adding the qualification that A must not be a component of B.3
But this qualification is worthless since the notion of a component is unexplicated: presumably A is a component of B if
the word expressing A is also used to express B. (What else
could it mean ?) But then we can always eliminate componency
by using a different word. Thus e.g., " yellow " is a component
of " yellow or angry " only until we introduce a different word,
say " yengry " to mean " yellow or angry ". Let us therefore
abandon this terminology of componency and simply say: A is
a specifier of B if and only if A entails B, and B does not entail A.
(In symbols, letting "S " mean " is a specifier of " and " -"
B.
mean " entails ": ASB -- df. A
(B -, A).) A necessary
condition of A's being a determinate of B is that A is a specifier
of B.
2. If A is a specifier of B then A and B will not stand in the
relation of species to genus if there is no term C such that the
conjunction of B and C entails A, but not C by itself entails B,
that is, there must not be any differentia which taken with the
genus entails the species but which does not by itself entail
2
Laterwe shall see that it is more accurateto say " spherical" presupposes
rather than entails "'shape " and we shall have to make a slight revision
in our criterionaccordingly.
3 A. J. Ayer, " Negation ', Philosophical Essays.
K
146
JOHN R. SEARLE
the genus. Any specifier which satisfies this condition I shall
call an " undifferentiated specifier ". For example " negro " is
a specifier of "man" but not an undifferentiated one since
" black " and " man " entail " negro ", but " black " does not
by itself entail " man ". But " spherical " is an undifferentiated
specifier of " shape ": though " has all points equidistant from
a common centre " taken together with " has a shape " entails
" spherical ", "has all points equidistant from a common
centre " entails " has a shape ". It is a necessary condition of
A's being a determinate of B that A is an undifferentiatedspecifier
of B.
This criterion still suffers from a serious defect for it does not
so far allow us to say that " scarlet " is a determinate under
"red ". This can be shown as follows: suppose that beside
scarlet there are three other shades which along with " scarlet "
exhaust the term " red ". Then" scarlet " is not an undifferentiated specifier of " red " because " neither one nor two nor three
but red " entails " scarlet ". And " neither one nor two nor
three " does not entail " red ". However, as " neither one nor
two nor three " is clearly logically related in some way to " red "
since its negation entails " red ", we can remedy the criterion
by amending it to read, rather long-windedly, A is an
undifferentiated specifier of B if and only if A is a specifier of
B and there is no term C such that though C and B entail A,
neither C nor its negation entails B. This admits " scarlet " as
an undifferentiated specifier of "red ", "eighteen years old "
as an undifferentiatedspecifier of " under thirty years old ", etc.,
but excludes genus-species terms. (In symbols, letting "U "
mean " undifferentiated", then:
AUSB = df. ASB.3. (I C) [(C. B-->A).e
(C ->-B v
C-
B)].)
3. Satisfying our third condition is a bit awkward but
absolutely essential. After all, so far we are not even in a
position to show how the relation of " red'" to " colour"
differs from that of " red rose " to " colour ", since " red rose "
is an undil'iere-ntiatedspecifier of " colour ". However, one
would like to exclude " red rose ", because it is a conjunction of
DETERMINABLESAND THE NOTION OF1RESEMBLANCE
147
a determinate of " colour " with a term not a determinate of
" colour ". How do we do this without circularity, i.e., without
using the notion of determinate which we are trying to define?
We can exploit the logical consequences of the fact that " red
rose " is a conjunction of terms one of which is a determinate of
" colour " and one of which is not. The one which is not,
" rose ", though it may entail " colour ", is neither a determinate
of " colour" nor synonymous with "colour" and therefore
must be equivalent to a conjunction of terms some of which are
logically independent of "colour" e.g., " has a smell ". Thus,
our original term " red rose " is equivalent to a set of terms some
of which do not entail " colour " and we build our definition
on this feature. We eliminate this class of cases by requiring
that if A is a specifier of B then A must not be equivalent to a
set of terms such that one (or more) of them entails B while
the others do not. Let us say of any A and B satisfying this
relation that A is a non-conjunctive specifier of B. Recalling
our problem with " red " and " scarlet ", we must amend the
criterion to read: A is a non-conjunctive specifier of B if and
only if A is a specifier of B, and A is not equivalent (entails and
is entailed by) to any set of terms C, D, E, etc., such that one or
more of them C entails B but of some others of them D, neither
D nor its negation entails B. Being non-conjunctive entails
being undifferentiated,so this criterion satisfies both requirements
2 and 3 in one fell swoop. It is a necessary condition of A's
being a determinate of B that A is a non-conjunctive specifier of
B. (In symbols letting "N " mean "non-conjunctive ", and
mean "equivalent " : ANSB - df . ASB . N(~ C, D)
" -"
Bv
D -->-B)].)
[(A = C. D). (C ->-B) .r (D
4. It might seem that we could satisfy the fourth requirement
by insisting that " yellow " was not a determinate of " yengry "
since non-conjunctive specifiers of " yengry " are not separated
by a single fundamentun divisionis the way non-conjunctive
specifiers of " colour " are. The instinct here is sound but the
difficulty lies in formulating the point as a criterion in a way that
will not render it too circular or question-begging to be useful.
It will not do to say simply that there must be a single
fundamnenitun•
K2
148
JOHN R. SEARLE
divisionis, for how do we decide if there is one ? Nor will it do
to say that all determinates under a given determinable have
something in common, for what is it that e.g., all colours have
in common that makes them colours? Any answer must be
circular.4
We can however formulate a non-circular criterion by
reminding ourselves of certain features of determinates alluded
to earlier. Genuine determinates under a determinable compete
with each other for position within the same area, they are, as
it were, in the same line of business, and for this reason they
will stand in certain logical relations to each other. Johnson
supposed that all determinates under a determinable were
mutually exclusive; but this is not quite accurate, " green "
excludes " red ", but " scarlet " does not exclude " red ", it is
a specifier of it, yet all three are determinates of " colour ".
Let us say of any two terms that they are logically related if
either entails the other or either entails the negation of the
other. (In symbols, letting "R" mean "is logically related ",
ARB = df. (A ->-B) v (B -+ A) v (A ->- B).) It is a necessary
condition of any two terms A and B being determinates of a
third term C that A and B are logically related. (We can of
course expand this definition to include pairs of inexact concepts,
i.e., concepts with a common vague boundary.)
Ignoring for a moment the fifth condition, we can now state
a criterion for the determinable relation: For any two terms
A and B, A is a determinate of B if and only if A is a non-conjunctive specifier of B, and A is logically related to all other
non-conjunctive specifiers of B. (In symbols, letting "dt."
mean "is a determinate of ",
A dt. B = df. ANSB. (C) (CNSB D ARC).)
Let us pause for a moment to consider the nature of this
criterion. Our essential condition for the determinable relation
4
Cf. D. F. Pears, " Universals", in Flew, Logic and Language,Second
Series.
DETERMINABLES AND THE NOTION OF RESEMBLANCE
149
is specificity, but we need to exclude pairs of terms which stand
in the relation of specificity but which do not stand in the determinable relation. These fall into four classes: where the specifier
is a conjunction of the specified with some other term (this is
the genus-species situation), where the specifier is a conjunction
of a determinate of the specified with some other term, where
the specified is a disjunction of the specifier and some other term,
and where the specified is a disjunction of a determinable of the
specifier and some other term. (In symbols, letting " A " stand
for a determinable and " a " for one of its determinates and
"b" for some independent term, the cases of specificity we
wish to eliminate are: a. bSa, a. bSA, aSavb, aSAvb.) The
first two cases are climinated by conditions two and three, the
last two by condition four. K6rner, incidentally, makes no
provision for eliminating the first two. and his criterion suffers
thereby as we shall see.
5. Once we have a basic criterion for the determinable
relation the fifth condition is easily satisfied. Two terms A and B
are same level determinates of C if and only if they are both
determinates of C and neither is a specifier of the other. Thus
" yellow " and " red " are same level determinates of " colour ",
as are also " red " and " not red ", but " red " and " scarlet "
are not same level determinates.
The more fundamental position which " colour" occupies
vis a vis both " red " and " scarlet " is shown by the fact that
the predication of " red " " not red ", " scarlet" or " not
scarlet" of any object presupposes that "coloured" is true
of the object. A term A presupposes a term B if and only
if it is a necessary condition of A's being either true or false
of an object x, that B must be true of x. For example, as we
ordinarily use these words, in order for it to be either true or
false of something that it is red, it must be coloured. Both
" red" and " scarlet " then presuppose their common determinable "coloured ". But "scarlet" does not presuppose its
determinable "red", and we may generalise this point as a
criterion: B is an absolute determinableof A if and only if A is a
determinte of B, and A presupposes B. Thus "coloured " is an
150
JOHN R. SEARLE
absolute determinable of " red "'. but " red " is not an absolute
determinable of scarlet.
Presupposition is not a kind of entailment, e.g., it does not
follow the same rule for contraposition which entailment follows,
so having introduced the notion of presupposition we shall have
to revise our previous definitions to include both entailment and
presupposition. Where before we had e.g., "A entails B ", we
must read "A entails or presupposes B " throughout.5
The notion of an absolute determinable is relevant to the
traditional problem of categories: every predicate carries with it
the notion of a kind or category of entities of which it can be
sensibly affirmed or denied. For example, " red" is sensibly
affirmed or denied only of objects which are coloured-this is
part of what is meant by saying that "red" presupposes
"coloured ". Absolute determinables then provide us with a
set of category terms.
With the addition of criteria for " same level determinate "
and " absolute determinable ", our criterion now satisfies the five
conditions we set for it. It is worth emphasising that the aim
of the five conditions and the resulting criterion is not simply to
pick out terms standing in the determinable relation-for the
paradigms at least we know what pairs to look for before we
even begin our investigation-but to cast light on the nature
of the relation. The philosophical tradition bequeathes us pairs
of terms that look similarly related: " colour " and " red",
" number " and " seventeen "," temperature " and " 30 degrees",
etc. But exactly how are these pairs similar and how do they
differ from other pairs of terms? The criterion is an attempt to
answer these questions and it seems to me a merit of this
criterion as against Professor Kirner's that it provides us
with the beginnings of a philosophical elucidation of the
relation.
The weakness of this approach on the other hand lies in the
inappropriateness of attacking certain areas of ordinary language
5 This was pointed out to me by Mr. P. F. Strawson, who also made
othervaluablecriticismsof thispaper.
DETERMINABLES AND THE NOTION OF RESEMBLANCE
151
with such crude weapons as entailment, necessary and sufficient
conditions, etc., and. the consequent air of unreality surrounding
any such approach. Part of Wittgenstein's point in his discussion of family resemblance is simply to cast doubt on any
general philosophical method of this sort, for not all terms admit
of clear cut analyses of the required kind. We cannot, e.g., say
exactly what terms entail and are entailed by " game ". The
criterion then must be taken as an ideal model and not a description of the way language actually works.
III. The Second Criterion: Resemtblancewith Respect to.
If a criterion like the foregoing is of any serious philosophic
importance, if it really marks a division that is important in
our conceptual scheme, then it is likely that ordinary language
has some way of its own for making the same distinction. It
seems to me that ordinary speech does mark off tle de
ei•ninable
relation-though in a rather rough and ready way-through
certain variations on the notion of resemblance.
The most important and the most frequent observation made
about " resemblance " (and its brother notions, " likeness " and
" similarity ") is that they are in some sense incomplete predicates. One has not been given any information, or at any
rate only very minimal information, about two entities if one is
merely told that they resemble each other. For to be told that
two objects resemble each other is to be told that they have
some property in common, but it is not so far to be told what
property they have in common, and since any two entities will
have some property in common, it is not so far to be told
anything. The statement A resembles B thus invites the question
"how ?"-it invites completion.
What has been less frequently noticed is that it admits of at
least two distinct kinds of completion. These two kinds are
marked grammatically by such locutions as " resembles in that "
and "resembles with respect to ". Two red objects resemble
each other in that they are are both red, but that they are both
red entails that they resemble each other (are alike, are exactly
alike) with respect to (in respect of) colour. And these latter
locutions seem to me to provide us with another criterion for
152
JOHN R. SEARLE
the determinable relation. If to say of any two objects x and y
that they have the property A entails that they resemble each
other (are alike, are exactly alike) with respect to (in respect of)
B, then-with qualifications to emerge later-A is a determinate
of B.
In the light of this criterion consider the following list of pairs
of determinably related terms; the paradigms are near the top,
less paradigmatic cases near the bottom:
A
spherical
108 degrees F.
blue
3 ft. wide
18 years old
worth ?1 10s. Od.
pint
false
scarlet
male
decrepit
drunk
shatters easily
B
shape
temperature
colour
width
age
value
volume
truth value
redness
sex
physical condition
degree of sobriety
degree of brittleness.
Each of these pairs satisfies both criteria for the determinable
relation. Yet we need to make some qualifications to the
application of the second criterion: whenever two entities satisfy
the same A term precisely, we are more inclined to say that they
are of the same (have the same) B, reserving the locution
" resembles with respect to " for cases where the two objects do
not resemble each other exactly. That is, we move from "are
exactly alike with respect to colour, shape ", etc., to " have the
same colour, shape ", etc. I state my criterion in terms of the
former rather than the latter, for though the latter is the more
natural form, the former is not incorrect, and it has greater sortal
powers, in particular it excludes certain genus-species terms (e.g.,
" silver " and " metal ") the latter would include.
The most important class of counter-examples which the
DETERMINABLESAND THF NOTION OF RESEMBLANCE
153
secondcriterionallows are cases wherethe A term is a conjunction of a determinateof the B term with one or more unrelated
terms. (These counter-examplesare those discussed under
condition3 of the firstcriterion.) For example,if two dogs are
both cocker spaniels, then they resemble each other with
respectto shap-,: but " cocker spaniel" is not a determinateof
" shape".
With these qualificationsand exceptionsthe second criterion
gives an interestingif not very precisetest for the determinable
relation drawn from ordinarylanguage. One of its merits is
that it excludesgenus-speciesexamples: we do not, e.g., say of
two humans that they " resembleeach other with respect to
animality".
Upon scrutinyof the lists A and B in termsof the two criteria,
severalquestionspresent themselves. On the second criterion,
A terms (determinates)are characteristicallyadjectives and
adjective-likeexpressions,B terms (determinables)are characteristicallyabstractnouns. Why? Is this connected with the
fact that species terms are characteristicallynouns, and the
secondcriterionexcludespairsof species-genusterms? Why do
the two criteriagive similarresultsat all'?
Perhapsthe followingconsiderationwill give us the beginnings
of answersto such questions. First let us introducetwo new
expressions: by the expression " individuatingterm" I shall
mean a term which provides a principle of individuation,a
principleof counting,e.g., " man" is an individuatingterm, as
it allows " one man", " three men", etc. By the expression
" characterisingterm" I shall mean a descriptiveterm which
does not provide by itself a principleof counting, e.g., " red "
is a characterisingterm. Individuatingterms are characteristicadjectivesand
ally nouns, characterisingtermscharacteristically
verbs.6 Paradigmspeciesterms are conjunctionsof separately
specifiableterms, some of which are called the genus, other the
differentia. Paradigmindividuatingtermsareusedto individuate
the paradigmindividuals,materialobjects. But any material
6
For a similardistinction see P. F. Strawson, Individuals.
154
JOHN R. SEARLE
object will admit of description by several terms, not all of them
individuating terms. The concept formation of any individuating term, then, is likely to involve a conjunction of several terms
not all of them individuating terms (cf. Locke on nominal
essence) e.g., we learn to discriminate horses from the rest of
our environment and to form the concept horse, but since any
horse is describable by several terms, not all of which are
individuating, the concept horse will be analysable into other
terms not all of which are individuating. We thus develop at
least two distinct kinds of terms, individuating terms, which
divide the world and which are in some sense conjunctions,
i.e., they admit of some sort of " definition ", and characterising
terms which describe the world in ways which cut across the
divisions set up by the individuating terms and which are not
characteristically conjunctions of other terms.
These two kinds of terms proliferate two different conceptual
hierarchies: because the relation of species to genus just is the
relation of a conjunction to one of its components, the individuating terms, being conjunctions, proliferate a genus-species
hierarchy. But characterising terms, " brown ", " rough ", etc.,
do not admit of any such analysis and hence do not admit of a
genus-species hierarchy. We invent a term (e.g., "colour ",
" texture ", " shape ") to cover a whole range of characterising
terms which are all in the same line of business. But this higher
order term (determinable) is not part of an analysis of the lower
order terms, it is just a name for the line of business they are
all in.
Thus we see the start of a growth of a connexion between the
determinable relation and characterization on the one hand, and
the genus-species relation and individuation on the other.
Roughly speaking individuating terms are characteristically conjunctions of determinates and hence admit of genus-differentia
analysis, but paradigm characterising terms are not such conjunctions.
Perhaps this point will be clearer if we consider a prominent
class of counter-examples. Names of shapes often serve as both
characterising and individuating terms e.g., " is spherical" and
"is a sphere ". This is because shapes provide a convenient
DETERMINABLESAND TIHENOTION OF RESEMBLANCE
155
principle of individuation without the help of any other term.
But they are unlike most individuating terms in this respect;
the term " horse " for instance includes not only the notion of a
certain shape, but several other characteristics as well.
Note also that the determinable expression often provides,
or has cognates which provide, a (rather weak) principle of
individuation, not of objects, but of its determinate terms. Thus,
e.g., besides the characterising expression " is coloured" we
have the individuating expression " is a colour ". These abstract
noun forms of the determinable term neatly fit the syntactical
requirementsfor list B of the second criterion. Near the bottom
of list B we seem to run out of abstract nouns. Why? Wherever
we have only two or three expressions competing in the same
area, language is less likely to provide us with an abstract noun
to cover the whole area than if we have several. Thus we do not
have an abstract noun collecting " drunk " and " sober" as
" temperature " collects our elaborate terminology for degrees
of heat. In such cases we have to fabricate " degree of sobriety "
or some such expression. If we had an elaborate terminology
for degrees of sobriety we should most likely have a word corresponding to "temperature ". " Male" and " female " we
do collect under " sex ", but we do not have a word collecting
" dead ' and " alive ".
The foregoing suggests an explanation why the two criteria
give similar results: the first relies on the fact that determinates
compete for position without outside help within an area covered
by the determinable. The second relies on the fact that language
provides us with abstract nouns, or the possibility of forming
abstract nouns, to cover the range of such characterising universals, and it ties certain possible completions of the incomplete
predicate " resembles " to such abstract nouns.
IV. Professor K5rner'sApproach.
My attack on this problem has been rather different from
Professor K6rner's. Indeed I am not quite sure I have understood exactly what his aims are. Perhaps I can best emphasize
our difference of approach and expose any misunderstanding I
156
JOHN R. SEARLE
may have of his paper by stating in a crude form the objections
I have to it.
1. His definition excludes any exact concept as a possible candidate for a determinate. Thus no numerical concept can be
a determinate and any concept we care to define exactly ceases
to be a determinate. He accepts these consequences with more
equanimity than seems to me justified. For surely it must
restrict the philosophical interest of any definition enormously
if it excludes vast areas of what are usually taken as paradigmatic
terms standing in the determinable relation, with no justification
or explanation offered. Indeed any such definition must be
positively misleading if-as I have suggested-the exact concepts
share the essential features of the determinable relation along
with the inexact.
2. Leaving aside the question of exact concepts, whatever
relation Kbrner defines, it is not the determinable relation as
ordinarily understood, not even the determinable relation
between inexact concepts. Now of course, it is open to anyone
to define his terms as he likes, but Professor K6rner insists that
his definition is " in accordance with established philosophical
usage ". That it is not is shown conclusively by the fact that
his definition provides no way of distinguishing the determinable
relation from the genus-species relation. But part of Johnson's
point in introducing the notion, and he after all established the
"philosophical usage" in question, was to distinguish the
determinable relation from the genus-species relation.
3. Even if we ignore both problems raised in my first two
objections the criterion breaks down. Professor K6rner only
offers us one example, " colour ", of how it is supposed to work,
but it does not seem to me to work even for that one example.
He inadvertently offers us a proof of this in his discussion of
the example of the blue window pane: imagine a blue window
pane growing progressively more transparent until it reaches one
hundred per cent transparency, i.e., invisibility. At some point
"the window pane is a neutral candidate of coloured and therefore
DETERMINABLES AND
THE NOTION OF RESEMBLANCE
157
of not coloured" i.e., invisible. But precisely at that point,
I should like to add, it is also a neutral candidate of " blue "
and " invisible ". Thus " blue " and " invisible " are fully
linked. But the definition of the determinable relation stipulates
that the determinable must be the sum of all concepts fully linked
with any determinate. Hence, by the definition, if " blue " is
a determinate of " colour " so is " invisible ", which is absurd.
Other empirical concepts can be made to run off the rails in the
same way. " Shape " for instance will go via the extensionless
point. "Human" and "animal" will not qualify since
" human " is linked to plant concepts; " human " and " organism " will have no hope since the organic and the inorganic are
similarly linked.
Furthermore the criterion provides no way of excluding
arbitrary conjunctions (products) of terms only one of which is
a genuine determinate. Thus " blue monkey ", " red horse ",
and " yellow cow " would all count as determinates of" colour ".
On the criterion as stated I do not see how these difficulties can
be avoided.
4. 1 cannot think he means exactly what he says in his definition
of " resemblance ". He says as part of his definition that two
objects resemble each other with respect to a determinable D
if they are both positive candidates of D. Thus on the definition,
a brown object and a blue object must be said to resemble each
other with respect to colour since they both are coloured (both
are positive candidates of " coloured "); a midget and a giant
would resemble each other with respect to size since they both
have a size. This is clearly not what is ordinarily meant by
" resembles with respect to ".
5. I am puzzled by the definition of inexactness. One
ordinarily thinks of inexact concepts as those which have borderline cases (though I should prefer some other term such as
" vague " to " inexact "). But on the proposed definition this
is not sufficient for inexactness. It is also necessary that the
borderline cases should have borderline cases, the borderline
cases of' the borderline cases should have borderline cases, and
158
JOHN R. SEARLE
so on ad infinitum--and all this independent of any inventory
of the world. I do not see how the definition of inexactness can
have any application, for to establish that any concept is inexact
we must establish that an infinity of progressively narrower
concepts have borderline cases. Since human powers of discrimination are finite this can have no meaning in empirical
terms.
I might summarize my objections to Professor K6irner'spaper
by saying that it does not seem to me that the criterion works
and even if it could be made to work I do not see how it casts
light on the determinable relation.