Paraconsistent logic

Paraconsistent logic is a type of <a href="/facts/Non-classical_logic/caR36T5n">non-classical logic</a> that allows for the coexistence of contradictory statements without leading to a logical explosion where anything can be proven true. Specifically, paraconsistent logic is the subfield of <a href="/facts/Logic/8JnpJLtt">logic</a> that is concerned with studying and developing "inconsistency-tolerant" systems of logic, purposefully excluding the <a href="/facts/Principle_of_explosion/qMyRl2Ya">principle of explosion</a>.
Inconsistency-tolerant logics have been discussed since at least 1910 (and arguably much earlier, for example in the writings of <a href="/facts/Aristotle/U2bDlBFW">Aristotle</a>); however, the term paraconsistent ("beside the consistent") was first coined in 1976, by the <a href="/facts/Peru/dBt7XrYD">Peruvian</a> <a href="/facts/Philosopher/Hyvzc54m">philosopher</a> <a href="/facts/Francisco_Mir%25C3%25B3_Quesada_Cantuarias/FABzWy6E">Francisco Miró Quesada Cantuarias</a>. The study of paraconsistent logic has been dubbed paraconsistency, which encompasses the school of <a href="/facts/Dialetheism/oLRsG78y">dialetheism</a>.

Paraconsistent logic open-in-new

Paraconsistent logic