Content deleted Content added
Contextualizes the naming and credits the author behind much of the logic behind the term, with two sources to back up both the context and da Costa's importance in this field, one of them by Miró himself. |
|||
Line 5:
'''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]]);<ref>{{cite encyclopedia|url=http://plato.stanford.edu/entries/logic-paraconsistent/|title=Paraconsistent Logic|encyclopedia=[[Stanford Encyclopedia of Philosophy]]|access-date=1 December 2015|archive-url=https://web.archive.org/web/20151211014311/http://plato.stanford.edu/entries/logic-paraconsistent/|archive-date=2015-12-11|url-status=live}}</ref> however, the term ''paraconsistent'' ("beside the consistent") was first coined in 1976, by the [[Peru]]vian [[philosopher]] [[Francisco Miró Quesada Cantuarias]]
"[http://philsci-archive.pitt.edu/14115/1/letj.pdf An epistemic approach to paraconsistency: a logic of evidence and truth]"
| |||