Francisco Miró Quesada Cantuarias (21 December 1918 – 11 June 2019) was a Peruvian philosopher, journalist and politician.
In his works he discusses the belief in "human nature" on the basis that any collective assumption about such a nature will be frustrating, and will have negative public results. He was interested in so-called "unorthodox logics". The term "paraconsistent logic" was coined in 1976 by him.
Paraconsistent logic is a type of non-classical logic 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 logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic, purposefully excluding 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); however, the term paraconsistent ("beside the consistent") was first coined in 1976, by the Peruvian philosopher Francisco Miró Quesada Cantuarias, under request of Newton da Costa, who is often credited as the creator of the field. The study of paraconsistent logic has been dubbed paraconsistency, which encompasses the school of dialetheism.