RationalWiki's 2020 Fundraiser

There is no RationalWiki without you. We are a small non-profit with no staff – we are hundreds of volunteers who document pseudoscience and crankery around the world every day. We will never allow ads because we must remain independent. We cannot rely on big donors with corresponding big agendas. We are not the largest website around, but we believe we play an important role in defending truth and objectivity.

If everyone who saw this today donated $5, we would meet our goal for 2021.

Fighting pseudoscience isn't free.
We are 100% user-supported! Help and donate $5, $20 or whatever you can today with PayPal Logo.png!

Donations so far: $720Goal: $3500

Paraconsistent logic

From RationalWiki
Jump to: navigation, search
Cogito ergo sum
Logic and rhetoric
Icon logic.svg
Key articles
General logic
Bad logic

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.[1][2] Some (but not all) paraconsistent logics are also dialetheic, meaning they hold to a view known as dialetheism,Wikipedia 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.[3]

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.[4][5] 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[edit]