A Proof-Theoretic Defence of Meaning-Invariant Logical Pluralism

被引:10
|
作者
Dicher, Bogdan [1 ]
机构
[1] Univ Cagliari, I-09124 Cagliari, Italy
关键词
D O I
10.1093/mind/fzv214
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
In this paper I offer a proof-theoretic defence of meaning-invariant logical pluralism. I argue that there is a relation of co-determination between the operational and structural aspects of a logic. As a result, some features of the consequence relation are induced by the connectives. I propose that a connective is defined by those rules which are conservative and unique, while at the same time expressing only connective-induced structural information. This is the key to stabilizing the meaning of the connectives across multiple determinations of the consequence relation.
引用
收藏
页码:727 / 757
页数:31
相关论文
共 50 条
  • [31] PROOF-THEORETIC SEMANTICS AND HYPERINTENSIONALITY
    Pezlar, Ivo
    LOGIQUE ET ANALYSE, 2018, (242) : 151 - 161
  • [32] A Proof-Theoretic Semantics for Exclusion
    Nissim Francez
    Michael Kaminski
    Logica Universalis, 2017, 11 : 489 - 505
  • [33] Decidability in Proof-Theoretic Validity
    Stafford, Will
    LOGICA YEARBOOK 2021, 2022, : 153 - 165
  • [34] Introduction: Proof-theoretic semantics
    Kahle, R
    Schroeder-Heister, P
    SYNTHESE, 2006, 148 (03) : 503 - 506
  • [35] A Proof-Theoretic Semantics for Exclusion
    Francez, Nissim
    Kaminski, Michael
    LOGICA UNIVERSALIS, 2017, 11 (04) : 489 - 505
  • [36] Proof-Theoretic Semantics and Feasibility
    Fichot, Jean
    CONSTRUCTIVITY AND COMPUTABILITY IN HISTORICAL AND PHILOSOPHICAL PERSPECTIVE, 2014, 34 : 135 - 158
  • [37] A proof-theoretic view of necessity
    Kahle, R
    SYNTHESE, 2006, 148 (03) : 659 - 673
  • [38] Introduction: Proof-theoretic Semantics
    Reinhard Kahle
    Peter Schroeder-Heister
    Synthese, 2006, 148 : 503 - 506
  • [39] Proof-theoretic analysis of collection
    Beklemishev, L.D.
    Archive for Mathematical Logic, 1998, 37 (5-6):
  • [40] A Proof-theoretic View of Necessity
    Reinhard Kahle
    Synthese, 2006, 148 : 659 - 673