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 条
  • [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] A proof-theoretic view of necessity
    Kahle, R
    SYNTHESE, 2006, 148 (03) : 659 - 673
  • [27] Introduction: Proof-theoretic Semantics
    Reinhard Kahle
    Peter Schroeder-Heister
    Synthese, 2006, 148 : 503 - 506
  • [28] Proof-theoretic analysis of collection
    Beklemishev, L.D.
    Archive for Mathematical Logic, 1998, 37 (5-6):
  • [29] A Proof-theoretic View of Necessity
    Reinhard Kahle
    Synthese, 2006, 148 : 659 - 673
  • [30] Bilateralism in Proof-Theoretic Semantics
    Francez, Nissim
    JOURNAL OF PHILOSOPHICAL LOGIC, 2014, 43 (2-3) : 239 - 259
12345