A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or "inconsistency-tolerant") systems of logic.
Inconsistency-tolerant logics have been discussed since at least 1910 (and arguably much earlier, for example in the writings of Aristotle); however, the term paraconsistent ("beside the consistent") was not coined until 1976, by the Peruvian philosopher Francisco Miró Quesada.
Read more about Paraconsistent Logic: Definition, Paraconsistent Logics Are Propositionally Weaker Than Classical Logic, Motivation, The Philosophical Debate On Consistency, Tradeoff, A Simple Paraconsistent Logic, Relation To Other Logics, Applications, Criticism, Alternatives, Notable Figures
Famous quotes containing the word logic:
“Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic.”
—Sir Peter Frederick Strawson (b. 1919)