Paraconsistent logics: Difference between revisions

From Wikipedia, the free encyclopedia

Content deleted Content added

Inline

Latest revision as of 15:30, 30 April 2017

Redirect to:

This page is a redirect. The following categories are used to track and monitor this redirect:

From a merge: This is a redirect from a page that was merged into another page. This redirect was kept in order to preserve the edit history of this page after its content was merged into the content of the target page. Please do not remove the tag that generates this text (unless the need to recreate content on this page has been demonstrated) or delete this page.
- For redirects with substantive page histories that did not result from page merges use {{R with history}} instead.

From the plural form: This is a redirect from a plural noun to its singular form.
- This redirect link is used for convenience; it is often preferable to add the plural directly after the link (for example, [[link]]s). However, do not replace these redirected links with a simpler link unless the page is updated for another reason (see WP:NOTBROKEN).
- Use this rcat to tag only mainspace redirects; when plural forms are found in other namespaces, use {{R from modification}} instead.

When appropriate, protection levels are automatically sensed, described and categorized.

Hidden categories:

@@ Line 1: / Line 1: @@
+#REDIRECT [[Paraconsistent logic]]
-A '''paraconsistent logic''' is a non-trivial [[logic]] which allows inconsistencies. More specifically, it allows both a statement and its negation to be asserted, without absurdity following. In standard logics, anything can be derived from an inconsistency; this is known as ''ex contradictione quodlibet'' (ECQ). A paraconsistent logic is then a logical system in which ECQ does not hold.
+{{redirect category shell|{{R from merge}}{{R from plural}}}}
-Paraconsistent logic can be used in modelling [[belief systems]] which are inconsistent, and yet from which not anything can be inferred. In standard logics, care has to be taken to not allow such statements as the [[liar paradox]] to be formed; paraconsistent logics can be much simplified in that they do not have to excise such statements (though they still have to excise [[Curry's paradox]]). Additionally, a paraconsistent logic can potentially overcome the limitation of arithmetic that [[Gödel's incompleteness theorem]] implies, and be complete.
-Approaches to paraconsistent logic include:
-* [[Relevant logic]]s
-* [[Many-valued logic]]s
-* [[Non-adjunctive logic]]s
-[[Category:logic]]