Paraconsistency in classical logic
pp. 5485-5496
Résumé
Classical propositional logic can be characterized, indirectly, by means of a complementary formal system whose theorems are exactly those formulas that are not classical tautologies, i.e., contradictions and truth-functional contingencies. Since a formula is contingent if and only if its negation is also contingent, the system in question is paraconsistent. Hence classical propositional logic itself admits of a paraconsistent characterization, albeit "in the negative". More generally, any decidable logic with a syntactically incomplete proof theory allows for a paraconsistent characterization of its set of theorems. This, we note, has important bearing on the very nature of paraconsistency as standardly characterized.
Détails de la publication
Publié dans:
(2018) Synthese 195 (12).
Pages: 5485-5496
DOI: 10.1007/s11229-017-1458-0
Citation complète:
Pulcini Gabriele, Varzi Achille C, 2018, Paraconsistency in classical logic. Synthese 195 (12), 5485-5496. https://doi.org/10.1007/s11229-017-1458-0.