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 条
  • [1] A Proof-theoretic View of Necessity
    Reinhard Kahle
    Synthese, 2006, 148 : 659 - 673
  • [2] A proof-theoretic view on scheduling in concurrency
    Beffara, Emmanuel
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (164): : 78 - 92
  • [3] Views of proof-theoretic semantics: reified proof-theoretic meanings
    Francez, Nissim
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (02) : 479 - 494
  • [4] The Definitional View of Atomic Systems in Proof-Theoretic Semantics
    Piecha, Thomas
    Schroeder-Heister, Peter
    LOGICA YEARBOOK 2016, 2017, : 185 - 200
  • [5] Proof-Theoretic Semantics
    Pezlar, Ivo
    MIND, 2017, 126 (501) : 296 - 302
  • [6] Proof-theoretic pluralism
    Ferrari, Filippo
    Orlandelli, Eugenio
    SYNTHESE, 2021, 198 (SUPPL 20) : 4879 - 4903
  • [7] Proof-theoretic semantics
    Catta, Davide
    BULLETIN OF SYMBOLIC LOGIC, 2019, 25 (03) : 360 - 362
  • [8] Proof-theoretic Semantics
    Peregrin, Jaroslav
    ORGANON F, 2016, 23 (04) : 551 - 555
  • [9] Proof-theoretic pluralism
    Filippo Ferrari
    Eugenio Orlandelli
    Synthese, 2021, 198 : 4879 - 4903
  • [10] The proof-theoretic square
    Antonio Piccolomini d’Aragona
    Synthese, 201
12345