The Philosophical Debate On Consistency
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.
Read more about this topic: Paraconsistent Logic
Famous quotes containing the words debate and/or consistency:
“My first debate in high school—”Resolved: Girls are no good”—and I won!”
—Donald Freed, U.S. screenwriter, and Arnold M. Stone. Robert Altman. Richard Nixon (Philip Baker Hall)
“People who love only once in their lives are ... shallow people. What they call their loyalty, and their fidelity, I call either the lethargy of custom or their lack of imagination. Faithfulness is to the emotional life what consistency is to the life of the intellect—simply a confession of failures.”
—Oscar Wilde (1854–1900)