Guest editors’ introduction
DOI:
https://doi.org/10.12775/LLP.2010.001Abstrakt
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.Pobrania
Opublikowane
30.06.2010
Jak cytować
1.
TANAKA, Koji, BERTO, Francesco, MARES, Edwin & PAOLI, Francesco. Guest editors’ introduction. Logic and Logical Philosophy [online]. 30 czerwiec 2010, T. 19, nr 1-2, s. 5–6. [udostępniono 25.7.2024]. DOI 10.12775/LLP.2010.001.
Numer
Dział
Artykuły
Statystyki
Liczba wyświetleń i pobrań: 196
Liczba cytowań: 0