Editing Paraconsistent logic (section)

==Philosophy==
In classical logic, Aristotle's three laws, namely, the excluded middle (''p'' or ¬''p''), non-contradiction ¬ (''p'' ∧ ¬''p'') and identity (''p'' iff ''p''), are regarded as the same, due to the inter-definition of the connectives. Moreover, traditionally contradictoriness (the presence of contradictions in a theory or in a body of knowledge) and triviality (the fact that such a theory entails all possible consequences) are assumed inseparable, granted that negation is available. These views may be philosophically challenged, precisely on the grounds that they fail to distinguish between contradictoriness and other forms of inconsistency.

On the other hand, it is possible to derive triviality from the 'conflict' between consistency and contradictions, once these notions have been properly distinguished. The very notions of consistency and inconsistency may be furthermore internalized at the object language level.