This article needs additional citations for verification. (April 2018) |
Paraconsistent logic is an attempt at a logical system to deal with contradictions in a discriminating[clarification needed] way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic, which reject the principle of explosion.
Inconsistency-tolerant logics have been discussed since at least 1910 (and arguably much earlier, for example in the writings of Aristotle);[1] however, the term paraconsistent ("beside the consistent") was first coined in 1976, by the Peruvian philosopher Francisco Miró Quesada Cantuarias.[2] The study of paraconsistent logic has been dubbed paraconsistency,[3] which encompasses the school of dialetheism.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search