# Paraconsistent logic

## Type of formal logic without explosion principle / From Wikipedia, the free encyclopedia

#### Dear Wikiwand AI, let's keep it short by simply answering these key questions:

Can you list the top facts and stats about Paraconsistent logic?

Summarize this article for a 10 year old

**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.

This article needs additional citations for verification. (April 2018) |

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.