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:
“The much vaunted male logic isn’t logical, because they display prejudices—against half the human race—that are considered prejudices according to any dictionary definition.”
—Eva Figes (b. 1932)