Restall's Proof-Theoretic Pluralism and Relevance Logic

被引:4
|
作者
Kouri, Teresa [1 ]
机构
[1] Ohio State Univ, Columbus, OH 43210 USA
关键词
Intuitionistic Logic; Logical Rule; Proof Theory; Structural Rule; Sequent Calculus;
D O I
10.1007/s10670-015-9792-4
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
Restall (Erkenntnis 79(2):279-291, 2014) proposes a new, proof-theoretic, logical pluralism. This is in contrast to the model-theoretic pluralism he and Beall proposed in Beall and Restall (Aust J Philos 78(4):475-493, 2000) and in Beall and Restall (Logical pluralism, Oxford University Press, Oxford, 2006). What I will show is that Restall has not described the conditions on being admissible to the proof-theoretic logical pluralism in such a way that relevance logic is one of the admissible logics. Though relevance logic is not hard to add formally, one critical component of Restall's pluralism is that the relevance logic that gets added must have connectives which mean the same thing as the connectives in the already admitted logic. This is what I will show is not possible.
引用
收藏
页码:1243 / 1252
页数:10
相关论文
共 50 条
  • [41] A proof-theoretic approach to tactics
    Aboul-Hosn, Kamal
    MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, 2006, 4108 : 54 - 66
  • [42] A proof-theoretic analysis of collection
    Lev D. Beklemishev
    Archive for Mathematical Logic, 1998, 37 : 275 - 296
  • [43] PROOF-THEORETIC SEMANTICS AND HYPERINTENSIONALITY
    Pezlar, Ivo
    LOGIQUE ET ANALYSE, 2018, (242) : 151 - 161
  • [44] A Proof-Theoretic Semantics for Exclusion
    Nissim Francez
    Michael Kaminski
    Logica Universalis, 2017, 11 : 489 - 505
  • [45] Decidability in Proof-Theoretic Validity
    Stafford, Will
    LOGICA YEARBOOK 2021, 2022, : 153 - 165
  • [46] A proof-theoretic foundation for tabled higher-order logic programming
    Pientka, B
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 271 - 286
  • [47] Bounded linear-time temporal logic: A proof-theoretic investigation
    Kamide, Norihiro
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (04) : 439 - 466
  • [48] Introduction: Proof-theoretic semantics
    Kahle, R
    Schroeder-Heister, P
    SYNTHESE, 2006, 148 (03) : 503 - 506
  • [49] A Proof-Theoretic Semantics for Exclusion
    Francez, Nissim
    Kaminski, Michael
    LOGICA UNIVERSALIS, 2017, 11 (04) : 489 - 505
  • [50] Proof-Theoretic Semantics and Feasibility
    Fichot, Jean
    CONSTRUCTIVITY AND COMPUTABILITY IN HISTORICAL AND PHILOSOPHICAL PERSPECTIVE, 2014, 34 : 135 - 158