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 条
12345