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

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3.32 Classical Identity


The system C+ is obtained by adding P10 to the postulates of C. 
P10 for allxfor somey(y ex X) 
In C+, identity is reflexive for some complexes,
T25 for somexy(x.Y = x.Y)
and reflexive for all individuals and haecceities (T10*), as well as for all C-complexes:
T26 for allx(x.X = x.X)
Hence in C+, individuals and haecceities (T11*) and C-complexes are identical if indiscernible:
T27# for allxy(for allz(x.X emb Z equivalent y.Y emb Z)if-thenx.X = y.Y)

Non-Classical Identity
 

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

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