TY - JOUR AU - Tanaka, Koji AU - Berto, Francesco AU - Mares, Edwin AU - Paoli, Francesco PY - 2010/06/30 Y2 - 2024/03/28 TI - Guest editors’ introduction JF - Logic and Logical Philosophy JA - LLP VL - 19 IS - 1-2 SE - Articles DO - 10.12775/LLP.2010.001 UR - https://apcz.umk.pl/LLP/article/view/LLP.2010.001 SP - 5-6 AB - A logic is said to be paraconsistent if it doesn’t license you to infer everything from a contradiction. To be precise, let |= be a relation of logical consequence. We call |= explosive if it validates the inference rule: {A,¬A} |= B for every A and B. Classical logic and most other standard logics, including intuitionist logic, are explosive. Instead of licensing you to infer everything from a contradiction, paraconsistent logic allows you to sensibly deal with the contradiction. ER -