A proof-theoretic view of necessity

被引：3
|
作者：
Kahle, R
机构：
[1] Univ Nova Lisboa, CENTRIA, P-3001454 Coimbra, Portugal
[2] Univ Coimbra, Dept Matemat, P-3001454 Coimbra, Portugal
来源：
SYNTHESE | 2006年 / 148卷 / 03期
关键词：
D O I：
10.1007/s11229-004-6293-4
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
We give a reading of binary necessity statements of the form "phi is necessary for psi" in terms of proofs. This reading is based on the idea of interpreting such statements as "Every proof of psi uses phi".
引用
收藏
页码：659 / 673
页数：15
相关论文
共 50 条
  • [21] A Proof-Theoretic Semantics for Exclusion
    Nissim Francez
    Michael Kaminski
    Logica Universalis, 2017, 11 : 489 - 505
  • [22] Decidability in Proof-Theoretic Validity
    Stafford, Will
    LOGICA YEARBOOK 2021, 2022, : 153 - 165
  • [23] Introduction: Proof-theoretic semantics
    Kahle, R
    Schroeder-Heister, P
    SYNTHESE, 2006, 148 (03) : 503 - 506
  • [24] A Proof-Theoretic Semantics for Exclusion
    Francez, Nissim
    Kaminski, Michael
    LOGICA UNIVERSALIS, 2017, 11 (04) : 489 - 505
  • [25] Proof-Theoretic Semantics and Feasibility
    Fichot, Jean
    CONSTRUCTIVITY AND COMPUTABILITY IN HISTORICAL AND PHILOSOPHICAL PERSPECTIVE, 2014, 34 : 135 - 158
  • [26] Introduction: Proof-theoretic Semantics
    Reinhard Kahle
    Peter Schroeder-Heister
    Synthese, 2006, 148 : 503 - 506
  • [27] Proof-theoretic analysis of collection
    Beklemishev, L.D.
    Archive for Mathematical Logic, 1998, 37 (5-6):
  • [28] Bilateralism in Proof-Theoretic Semantics
    Francez, Nissim
    JOURNAL OF PHILOSOPHICAL LOGIC, 2014, 43 (2-3) : 239 - 259
  • [29] Failure of Completeness in Proof-Theoretic Semantics
    Piecha, Thomas
    Sanz, Wagner de Campos
    Schroeder-Heister, Peter
    JOURNAL OF PHILOSOPHICAL LOGIC, 2015, 44 (03) : 321 - 335
  • [30] A Proof-Theoretic Account of the Miners Paradox
    Klev, Ansten
    THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2016, 82 (04): : 351 - 369
12345