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:
“Abject flattery and indiscriminate assentation degrade, as much as indiscriminate contradiction and noisy debate disgust. But a modest assertion of one’s own opinion, and a complaisant acquiescence in other people’s, preserve dignity.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“The lawyer’s truth is not Truth, but consistency or a consistent expediency.”
—Henry David Thoreau (1817–1862)