|
To the postulates of HI,
C adds P7-P9.
-
P7
 wxyz(w.X
= y.Z (w
ex X & w ex Z & y ex X))
(w.X = y.Z just in case w exemplifies X and Z, and y exemplifies
X.)
-
P8 xyz(x.Y
emb Zx
ex Y & x ex Z)
(x.Y embodies Z just in case x exemplifies Y and Z.)
-
P9 xyz(x.Y
cont zx
ex Y & z ex Y)
(x.Y contains z just in case x and z exemplify Y.)
P7 determines when complexes are identical; P8, when a complex embodies
a haecceity; and P9, when a complex contains an individual. In so doing,
P7-P9 determine--together with P1-P6--the properties of identity as this
relation applies to complexes. |
|
