|
In discussing the different varieties of identity, it will be useful
to distinguish classical particulars, individuals, haecceities, and complexes
from non-classical ones.
Def. 1: ti/ti/Ti
is
classical iff tk(ti/ti/Ti
= tk/tkTk)
Def. 2: ti.Tk
is classical iff tmtn(ti.Tk
= tm.Tn)
Def. 3: ti/ti/Ti
is
non-classical iff ¬ tk(ti/ti/Ti
= tk/tkTk)
Def. 4: ti.Tk
is
non-classical iff ¬ tmtn(ti.Tk
= tm.Tn)
From the foregoing it follows that every particular, individual, haecceity,
and complex is classical or non-classical, and that none is both. |
|