Ground first: against the proof-theoretic definition of ground

被引：1
|
作者：
Litland, Jon Erling [1 ,2 ]
机构：
[1] Univ Texas Austin, Dept Philosophy, 2210 Speedway,WAG 316,Stop C3500, Austin, TX 78712 USA
[2] Univ Oslo, IFIKK, Oslo, Norway
来源：
SYNTHESE | 2023年 / 201卷 / 01期
关键词：
Ground; Logic; Proof-theory; Definition; LOGIC; SEMANTICS; NOTION;
D O I：
10.1007/s11229-022-04028-8
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a range of recent publications and argues that her proposed definition fails. The paper then outlines an alternative approach where logical consequence relations and the logical operations are defined in terms of ground.
引用
收藏
页数：26
相关论文
共 50 条
12345