Search
Search
Paraconsistent Logic

Date

source

share

[Revised entry by Graham Priest, Koji Tanaka, and Zach Weber on April 17, 2026.
Changes to: Main text, Bibliography]
A logical consequence relation is explosive if according to it any arbitrary contradiction (A), (neg A) entails any arbitrary conclusion (B) (ex contradictione quodlibet (ECQ)). Classical logic, and most standard non-classical logics too such as intuitionist logic, are explosive. Inconsistency, according to a standard view about logic, cannot be coherently reasoned about….

Read the full article which is published on Stanford Encyclopedia of Philosophy (external link)

More
articles

More
news

Paraconsistent Logic

[Revised entry by Graham Priest, Koji Tanaka, and Zach Weber on April 17, 2026. Changes to: Main text, Bibliography] A...

Early Modern Rationalism

[New Entry by Peter West, Kevin Lower, Natalia Strok, Pedro Pricladnitzky, Fabio Malfara, Manuel Fasko, and Christopher P. Noble on...