{"id":164872,"date":"2023-05-31T15:23:43","date_gmt":"2023-05-31T20:23:43","guid":{"rendered":"https:\/\/lifeboat.com\/blog\/2023\/05\/paraconsistent-logic-stanford-encyclopedia-of-philosophy"},"modified":"2023-05-31T15:23:43","modified_gmt":"2023-05-31T20:23:43","slug":"paraconsistent-logic-stanford-encyclopedia-of-philosophy","status":"publish","type":"post","link":"https:\/\/lifeboat.com\/blog\/2023\/05\/paraconsistent-logic-stanford-encyclopedia-of-philosophy","title":{"rendered":"Paraconsistent Logic (Stanford Encyclopedia of Philosophy)"},"content":{"rendered":"<p>Paraconsistent logic challenges this standard view. A logical consequence relation is said to be <em>paraconsistent<\/em> if it is not explosive. Thus, if a consequence relation is paraconsistent, then even in circumstances where the available information is inconsistent, the consequence relation does not explode into <em>triviality<\/em>. Thus, paraconsistent logic accommodates inconsistency in a controlled way that treats inconsistent information as potentially informative.<\/p>\n<p>The prefix \u2018para\u2019 in English has two meanings: \u2018quasi\u2019 (or \u2018similar to, modelled on\u2019) or \u2018beyond\u2019. When the term \u2018paraconsistent\u2019 was coined by Mir\u00f3 Quesada at the Third Latin America Conference on Mathematical Logic in 1976, he seems to have had the first meaning in mind. Many paraconsistent logicians, however, have taken it to mean the second, which provided different reasons for the development of paraconsistent logic as we will see below.<\/p>\n<p>Paraconsistent logic is defined negatively: any logic is paraconsistent as long as it is not explosive. This means there is no single set of open problems or programs in paraconsistent logic. As such, this entry is not a complete survey of paraconsistent logic. The aim is to describe some philosophically salient features of a diverse field.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Paraconsistent logic challenges this standard view. A logical consequence relation is said to be paraconsistent if it is not explosive. Thus, if a consequence relation is paraconsistent, then even in circumstances where the available information is inconsistent, the consequence relation does not explode into triviality. Thus, paraconsistent logic accommodates inconsistency in a controlled way that [\u2026]<\/p>\n","protected":false},"author":661,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2229],"tags":[],"class_list":["post-164872","post","type-post","status-publish","format-standard","hentry","category-mathematics"],"_links":{"self":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/164872","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/users\/661"}],"replies":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/comments?post=164872"}],"version-history":[{"count":0,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/164872\/revisions"}],"wp:attachment":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/media?parent=164872"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/categories?post=164872"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/tags?post=164872"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}