Philosophy Now Forum

(-P --> -P) as subject to the law of identity is -P also directed towards itself into a self negation into a new tautology. To say (-P --> -P), where -P is self referencing, is to simultaneously state a self referential statement as -(-P).