Proof Analysis of Peirce's Alpha System of Graphs

被引：15
|
作者：
Ma, Minghui [1 ]
Pietarinen, Ahti-Veikko [2 ]
机构：
[1] Sun Yat Sen Univ, Dept Philosophy, Inst Log & Cognit, Xingang Xi Rd 135, Guangzhou, Guangdong, Peoples R China
[2] Tallinn Univ Technol, Tallinn, Estonia
来源：
STUDIA LOGICA | 2017年 / 105卷 / 03期
基金：
芬兰科学院;
关键词：
Peirce; Alpha graph; Deep inference; Sequent calculus; LOGIC;
D O I：
10.1007/s11225-016-9703-y
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Charles Peirce's alpha system is reformulated into a deep inference system where the rules are given in terms of deep graphical structures and each rule has its symmetrical rule in the system. The proof analysis of is given in terms of two embedding theorems: the system and Brunnler's deep inference system for classical propositional logic can be embedded into each other; and the system and Gentzen sequent calculus can be embedded into each other.
引用
收藏
页码：625 / 647
页数：23
相关论文
共 50 条
  • [1] Proof Analysis of Peirce’s Alpha System of Graphs
    Minghui Ma
    Ahti-Veikko Pietarinen
    [J]. Studia Logica, 2017, 105 : 625 - 647
  • [2] Provability in Peirce's alpha graphs
    Norman, J
    [J]. TRANSACTIONS OF THE CHARLES S PEIRCE SOCIETY, 2003, 39 (01): : 23 - 41
  • [3] Peirce's alpha graphs and propositional languages
    Shin, Sun-Joo
    [J]. SEMIOTICA, 2011, 186 (1-4) : 333 - 346
  • [4] A Generic Figures Reconstruction of Peirce's Existential Graphs (Alpha)
    Gangle, Rocco
    Caterina, Gianluca
    Tohme, Fernando
    [J]. ERKENNTNIS, 2022, 87 (02) : 623 - 656
  • [5] A Generic Figures Reconstruction of Peirce’s Existential Graphs (Alpha)
    Rocco Gangle
    Gianluca Caterina
    Fernando Tohme
    [J]. Erkenntnis, 2022, 87 : 623 - 656
  • [6] Peirce's graphs
    Zeman, J
    [J]. CONCEPTUAL STRUCTURES: FULFILLING PEIRCE'S DREAM, 1997, 1257 : 12 - 24
  • [7] Peirce's graphs amended
    Slater, BH
    [J]. HISTORY AND PHILOSOPHY OF LOGIC, 1998, 19 (02) : 101 - 106
  • [8] Native diagrammatic soundness and completeness proofs for Peirce’s Existential Graphs (Alpha)
    Gianluca Caterina
    Rocco Gangle
    Fernando Tohmé
    [J]. Synthese, 200
  • [9] Native diagrammatic soundness and completeness proofs for Peirce's Existential Graphs (Alpha)
    Caterina, Gianluca
    Gangle, Rocco
    Tohme, Fernando
    [J]. SYNTHESE, 2022, 200 (06)
  • [10] Taking Peirce's Graphs Seriously
    Beisecker, Dave
    [J]. INTERNATIONAL JOURNAL OF PHILOSOPHICAL STUDIES, 2022, 30 (04) : 438 - 445
12345