The Philosophy Discussion Forum

Identity is Grounded in Monadic Recursion Via Event of Distinction



- negation/absence



-- negation of negation/absence of absence



( ) context/set/localization



<-> binconditional/if and only if







--X = (--X <-> -X)



-X = (-X <-> --X)



(--) = ((--) <-> (-))



(-) = ((-) <-> (--))



((--) = ((--) <-> (-))) <-> ((-) = ((-) <-> (--)))



--(=) <-> -(=)



(=) <-> (-, --)



(<->) = (-, --)



(--) <-> (-)



-



--



--- = -



---- = --



----- = -



------ = --



.....



-(-...) = (- -> -)



X = -



X(X) = --





All standard identity laws, and formal rules, as subject to identity are subject to these distinctions given they are events of distinction themselves.