Paraconsistent logic

Cogito ergo sum Logic and rhetoric

Key articles

Logical fallacy Syllogism Argument

General logic

Anecdotal evidence Fallacy of opposition Scope fallacy Appeal to pity Gotcha argument PIDOOMA

Bad logic

Gambit Spotlight fallacy Appeal to fiction Enthymeme Appeal to fear پاسخ کورتیر v - t - e

This article requires expansion. Please help. Though not a stub by pure word count, this article lacks depth of content.

Paraconsistent logic refers to alternative (non-classical) systems of logic which reject the principle of explosion, which states that once a contradiction has been asserted, any proposition can be inferred from it. Some (but not all) paraconsistent logics are also dialetheic, meaning they hold to a view known as dialetheism, the view that some contradictions are simultaneously true and false.

Does this mental voodoo perhaps destroy the entire point of logic? Not necessarily; some philosophers and scientists assert that true contradictions (dialetheia) exist and therefore should be represented by formal logic. Others, however, hold that these true contradictions are purely semantic or linguistic in nature & believe that dialetheism can make sense of certain paradoxes. The most notable defender of dialetheism in the contemporary philosophical scene is the British-Australian philosopher Graham Priest. Priest implements the concept of dialetheism in his own system of relevance logic, a particular type of paraconsistent logic.

Paraconsistent mathematics refers to attempts to develop mathematics on top of a foundation of paraconsistent logic and paraconsistent set theory.

Historically speaking, paraconsistency and dialetheism have been common themes in Indian logic, especially Jainist and Buddhist logic. Whereas in classical logic a statement is either true or false, but not both nor neither, Indian logics have traditionally been accepting of statements being both true and false simultaneously, or neither true nor false. Paraconsistency applies in particular to the both case — although it often allows the neither case as well. Paracomplete logic allows the "neither" case by denying the law of the excluded middle.

See also

• Fuzzy logic