Professional Documents
Culture Documents
Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to The
Journal of Symbolic Logic.
http://www.jstor.org
LOGIC
Tax JoURNALor Saouc
Volume 5. Number 2, June 190
S. LEONARD
AND NELSON
GOODMAN
46
HENRY
S. LEONARD
AND NELSON
GOODMAN
CALCULUS OF INDIVIDUALS
47
.Z l y DFZ l
X < Y =Df
I.011
Df X < y .
X id Y
I.e., two things overlap if they have a part in common. As postulate I.13
(below) indicates,overlappingis equivalent to the denial of the primitivediscreteness.
I.03
x Fu
a =Df Z lX
y ea
D, Z
x Nu a
=Df
Z <
X .
/ a
EY
Dy Z < Y
This definesthe relation of an individual which is the nucleus, or productindividual,of a class, to that class. It is structurallysimilarto definitionI.03,
with the part-wholerelationreplacingthe discretenessrelation. Theorem I.56
and subsequent theoremsreveal that forany not-nullclass of individualssuch
that some one individualis a commonpart of everymemberof the class, there
is at least one individualwhichis a nucleus of that class; and that no class has
morethan one nucleus,so that we may speak of thenucleusof the class.
The concepts of fusion and nucleus just definedare not strictly Boolean
concepts,since the Boolean concepts operate withinone logical type, whereas
6
Identityis not definednortaken as primitivesince it is alreadydefinedin our logistic
vehicle,Principiamathematics. Had it been desirable to developthiscalculusin isolation
fromothertreatmentsof logistic,identitycould have been definedas mutual part-whole,
to whichit is equivalentby theoremI.315:
x=
y. -
. x < y. y < x
48
U =Df Fu'V
I.06
I.07
Xy =
1.08
-x
Df
Nu'(tx u ty)
Fu'"(y
=Df
X)7
.06'
=Df
x +
I.07'
Xy =Df
I.08'
-x
(X)((y)
=Df
y<X)
(Z)(W
Df (Z)(Z
<
WW
Z .-
(7Z)(W
Z
l X. X+
W <
Z =
X . W TLY)
X . W < Y)
U)
(3x) .x ea.
D.
(3y) .yFua8
7The present formof this definitionhas been suggested by the corresponding definition
in Dr. A. Tarski's appendix to Woodger, op. cit.
8 Le?niewski employs only two postulates.
One is identical with our I.13 expanded in
terms of the primitive relation; the other asserts both the existence and uniqueness of the
fusion of any (non-null) class. Our postulate i.1is weaker, since it asserts only the existence of some such individual but not its uniqueness. Accordingly we require also postulate I.12.
CALCULUS
I.12
I-13
<y
OF INDIVIDUALS
y<x
AND ITS
USES
49
X=y
x o y _-(x I
are:
Someillustrative
theorems
I.3
X<Y.Y<z
I.31
x <x
x<z
I.e., "part-whole"
is a transitive
and reflexive
relation. It is non-symmetrical.
I.325
'(X << x)
I.326
x <<Y D
I.328
(Y <<x)
I.331
xo y y o x
I.332
x < y 3Xoy
I.333
xo x
I.53
(3x) . x e a .
I.55
I.556
E! Fu'a . D . a =
.E!
Fu'a
D Fu'a
= Fu'j
That is, a and ,3u yare distinctclasses and no memberof one is a memberof the
other. Yet theyisolate the same part of the total universe:
Fu'a = Fu'(Q u ey)
in the mannerof subdivisionthat theyprescribeforthat part.
They differ
Sample theoremsconcerningthe existenceand uniquenessof the nucleusof a
class and the negate ofan individualare:
I.56
I.57
xNua.zNua
A.D(3x).xNua
D.
=D
50
HENRY
I.58
I.59
(3y) . y
S. LEONARD
# A
x.
AND NELSON
GOODMAN
D E! Nu'a
El-x
E!x+y
I.62
x + y=y
I.66
(x + y) + z = x + (y + z)
+ x
xoy .x $ U . y # U. D .xy=-(-x
+ -y)
51
52
HENRY
S. LEONARD
AND NELSON
GOODMAN
= Df
# A
$- A .
n 'y = A
. A
That is, "S'(c)" means that for every two discretesubclasses, if and fy,of a,
the fusionof ,3 has the relationS to the fusionof fy.
Because the particularrelation,S, chosenhappensto have a certainproperty
later to be definedand called "interdissectiveness,"
the expressions"xSy+z,"
"ySx+z," and "zSx+y" are all equivalent,and are equivalentto "S'({x,y,zj)."
Taking advantage of this property,we can simplifyour general definitionto
read as follows:
S'(C)
=Df
(3,O)p
i n y= A
u fly= a
Fu'i3 S Fu'-y
That is, "S'(a)" means that the relation S holds betweenthe fusionsof some
two mutuallyexclusiveand exhaustivesubclasses of a.12
The meaning,then,of saying that x has the relationS to y and z together,
not merelyseverally,is given by the expression"xSy+z"; and the same treatment is applicable to the other relationsthat we noted earlier. That a man
Smith met with Jonesand Brown togethermeans that he met with the entity
whichis the sum of the two. The sum will not be a person,of course,but is a
definablethoughdiscontinuouswhole. For a colorto be "at a place at a time"
is forit to be' at that entitywhichis comprisedof both, the place plus the time,
or in otherwords,at the place-time. Likewisefora man to be a lodge-brother
of two otherstogetheris forhim to be a lodge-brother
of theirsum.
But caution is necessary here: the suggested treatmentmay be employed
only when the relationin question is one, like our S, that takes as relata not
merelyatomic elements,but also sums of theseelements,and the interpretation
of the relationmust be constantirrespectiveof the particularrelata satisfying
12 The twodefinitions
just proposedare equivalentonlyforcases in whichthecardinality
of theargument,a, is greaterthanorequal to two. The firstdefinition
makes"S'(a)" true
whenthe cardinalityof a is less than two,whilethe secondmakesit false underthesame
circumstances. This difference,
however,restsupon trivialcases that may be decided by
considerationsof conveniencein dealing withthe particularsubject-matterand problem
in hand; and eitherdefinitionmay be easily adjusted to accord withwhateverdecisionis
made.
CALCULUS
OF INDIVIDUALS
AND
ITS
USES
53
54
HENRY
S. LEONARD
AND NELSON
GOODMAN
R is internalif x R y
D2
R is externalif x R y Dxv x I
DX
vx o y
Y
A good deal of the traditionaldiscussionconcerninginternaland externalrelations mightbe clarifiedby considerationof these two simple,but systematic,
definitions. The relationof a part to a whole and of a quality to the object
that it qualifiesare examples of internalrelations. Things with no common
propertiesand withdiverslocationsin space and time are in generalexternally
related.
D3
R is expansiveif x R y x,,,.x R y + z
Any expansiverelationis cumulative,but the converseis not always true. Discreteness,forexample,and the converseof part-wholeare cumulativewithout
beingexpansive.
D5
ifxRy.xRz.yRz. y R
Ris agglomerative
z,,
xRy+z
CALCULUS
OF INDIVIDUALS
AND
ITS
USES
.55
R is dissectiveif x R y . z <y.y
.x R z
.3,..w
Rx
NORTH
AUBURNDALE,
CAROLINA
MASSACHUSETTS