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 条
  • [11] The logic of tune - A proof-theoretic analysis of intonation
    Hendriks, H
    LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, 1999, 1582 : 132 - 159
  • [12] A proof-theoretic study of the correspondence of hybrid logic and classical logic
    Kushida H.
    Okada M.
    Journal of Logic, Language and Information, 2007, 16 (1) : 35 - 61
  • [13] A proof-theoretic study of the correspondence of classical logic and modal logic
    Kushida, H
    Okada, M
    JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (04) : 1403 - 1414
  • [14] A Proof-Theoretic Defence of Meaning-Invariant Logical Pluralism
    Dicher, Bogdan
    MIND, 2016, 125 (499) : 727 - 757
  • [15] Views of proof-theoretic semantics: reified proof-theoretic meanings
    Francez, Nissim
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (02) : 479 - 494
  • [16] A proof-theoretic semantic analysis of dynamic epistemic logic
    Frittella, Sabine
    Greco, Giuseppe
    Kurz, Alexander
    Palmigiano, Alessandra
    Sikimic, Vlasta
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (06) : 1961 - 2015
  • [17] Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic
    Gheorghiu, Alexander V.
    Gu, Tao
    Pym, David J.
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 367 - 385
  • [18] Proof-theoretic foundation of compilation in logic programming languages
    Cervesato, I
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 115 - 129
  • [20] Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
    Gheorghiu, Alexander V.
    Gu, Tao
    Pym, David J.
    STUDIA LOGICA, 2024,