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:
“There is no morality by instinct.... There is no social salvation—in the end—without taking thought; without mastery of logic and application of logic to human experience.”
—Katharine Fullerton Gerould (1879–1944)