Home | Previous | Next | Table of Contents | Abstract | Bottom

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 

3.312 Reflexivity and C-Complexes

P10 thus fails to make identity strongly reflexive for complexes generally (although it does make identity strongly reflexive for individuals and haecceities).  But P10 does make identity strongly reflexive for complexes w.W, x.X, y.Y, z.Z,... whose constituents correspond.
T23 for allx(for somey(y ex X)equivalentx.X = x.X))
T24 for allx(for somey(y ex X)equivalentfor allx(x.X = x.X))
I will refer to these as C-complexes.

Classical Identity
 

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


Home | Previous | Next | Table of Contents | Abstract | Top