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

3.33 Non-Classical Identity


In C-, obtained by adding P10' to the postulates of C, 
P10' ¬for allxfor somey(y ex X)
the Reflexive Law of Equality fails to hold for individuals, haecceities (T10'*), C-complexes, or complexes.
T26' ¬for allx(x.X = x.X)
T28' ¬for allxy(x.Y = x.Y)18
Hence in C- the identity of indiscernibles also fails to hold for individuals, haecceities (T11'*), C-complexes or complexes.
T27'# ¬for allxy(for allz(x.X emb Z  equivalent y.Y emb Z) if-then x.X = y.Y)
T29'# ¬for allwxyz(for allv(w.X emb V equivalent y.Z emb V) if-then w.X = y.Z)

C-Complexes and Particulars

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

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