Paraconsistency in classical logic

被引:5
|
作者
Pulcini, Gabriele [1 ]
Varzi, Achille C. [2 ]
机构
[1] Univ Nova Lisboa, Dept Matemat, Lisbon, Portugal
[2] Columbia Univ, Dept Philosophy, New York, NY 10027 USA
关键词
Paraconsistency; Classical logic; Complementary system; Consequence relation; Decidability; Unprovability;
D O I
10.1007/s11229-017-1458-0
中图分类号
N09 [自然科学史]; B [哲学、宗教];
学科分类号
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要
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.
引用
收藏
页码:5485 / 5496
页数:12
相关论文
共 50 条
  • [1] Paraconsistency in classical logic
    Gabriele Pulcini
    Achille C. Varzi
    [J]. Synthese, 2018, 195 : 5485 - 5496
  • [2] Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic
    Verdee, Peter
    [J]. LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, WOLLIC 2011, 2011, 6642 : 272 - 292
  • [3] Modal (logic) paraconsistency
    Besnard, P
    Wong, P
    [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDING, 2003, 2711 : 540 - 551
  • [4] Relevant logic and paraconsistency
    Slaney, J
    [J]. INCONSISTENCY TOLERANCE, 2004, 3300 : 270 - 293
  • [5] Paraconsistency in hybrid logic
    Costa, Diana
    Martins, Manuel A.
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (06) : 1825 - 1852
  • [6] Paraconsistency in Categories: Case of Relevance Logic
    Vasyukov, Vladimir L.
    [J]. STUDIA LOGICA, 2011, 98 (03) : 429 - 443
  • [7] Paraconsistency in Categories: Case of Relevance Logic
    Vladimir L. Vasyukov
    [J]. Studia Logica, 2011, 98 : 429 - 443
  • [8] Paraconsistency and neighborhood models in modal logic
    Murai, T
    Sato, Y
    [J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XII, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS: II, 2003, : 220 - 223
  • [9] An epistemic approach to paraconsistency: a logic of evidence and truth
    Carnielli, Walter
    Rodrigues, Abilio
    [J]. SYNTHESE, 2019, 196 (09) : 3789 - 3813
  • [10] An epistemic approach to paraconsistency: a logic of evidence and truth
    Walter Carnielli
    Abilio Rodrigues
    [J]. Synthese, 2019, 196 : 3789 - 3813