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 条
  • [31] On the Costs of Classical Logic
    Castaldo, Luca
    [J]. ERKENNTNIS, 2023, 88 (03) : 1157 - 1188
  • [32] Spatiality and classical logic
    Stefanova, Milena
    Valentini, Silvio
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2011, 57 (04) : 432 - 440
  • [33] CLASSICAL LOGIC AND INCONSISTENCY
    BULL, RA
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 208 - 208
  • [34] Classical Chinese Logic
    Rosker, Jana S.
    [J]. PHILOSOPHY COMPASS, 2015, 10 (05): : 301 - 309
  • [35] Classical Logic Is Connexive
    Fiore, Camillo
    [J]. AUSTRALASIAN JOURNAL OF LOGIC, 2024, 21 (02)
  • [36] Paraconsistent classical logic
    Brown, B
    [J]. PARACONSISTENCY: THE LOGICAL WAY TO THE INCONSISTENT, 2002, 228 : 95 - 107
  • [37] Classical Lambek logic
    Hudelmaier, J
    SchroederHeister, P
    [J]. THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1995, 918 : 247 - 262
  • [38] The Dialogical Approach to Paraconsistency
    Sahid Rahman
    Walter A Carnielli
    [J]. Synthese, 2000, 125 : 201 - 232
  • [39] Metainferential Paraconsistency
    Da Re, Bruno
    Rubin, Mariela
    Teijeiro, Paula
    [J]. LOGIC AND LOGICAL PHILOSOPHY, 2022, 31 (02) : 235 - 260
  • [40] PARACONSISTENT SEQUENTIAL LINEAR-TIME TEMPORAL LOGIC: COMBINING PARACONSISTENCY AND SEQUENTIALITY IN TEMPORAL REASONING
    Kamide, Norihiro
    [J]. REPORTS ON MATHEMATICAL LOGIC, 2017, 52 : 3 - 44