Studia Logica 105 (3):625-647 (2017)
Authors | |
Abstract |
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 Brünnler’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.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.1007/s11225-016-9703-y |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Existential Graphs as an Instrument of Logical Analysis: Part I. Alpha.Francesco Bellucci & Ahti-Veikko Pietarinen - 2016 - Review of Symbolic Logic 9 (2):209-237.
Iconicity and Abduction: A Categorical Approach to Creative Hypothesis-Formation in Peirce's Existential Graphs.G. Caterina & R. Gangle - 2013 - Logic Journal of the IGPL 21 (6):1028-1043.
Peircean Graphs for Propositional Logic.Eric Hammer - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
Citations of this work BETA
On the Logical Philosophy of Assertive Graphs.Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Journal of Logic, Language and Information 29 (4):375-397.
Semeiotic Completeness in the Theory of Signs.Ahti-Veikko Pietarinen - 2019 - Semiotica 2019 (228):237-257.
Peirce’s Dragon-Head Logic.Minghui Ma & Ahti-Veikko Pietarinen - 2022 - Archive for History of Exact Sciences 76 (3):261-317.
A Generic Figures Reconstruction of Peirce’s Existential Graphs.Rocco Gangle, Gianluca Caterina & Fernando Tohme - 2022 - Erkenntnis 87 (2):623-656.
Why Images Cannot be Arguments, But Moving Ones Might.Marc Champagne & Ahti-Veikko Pietarinen - 2020 - Argumentation 34 (2):207-236.
View all 6 citations / Add more citations
Similar books and articles
Game-Theoretical Semantics for Peirce's Existential Graphs.Robert W. Burch - 1994 - Synthese 99 (3):361 - 375.
Peirce's Alpha Graphs and Propositional Languages.Sun-joo Shin - 2011 - Semiotica 2011 (186):333-346.
The Sheet of Indication: A Diagrammatic Semantics for Peirce’s EG-Alpha.Gianluca Caterina & Rocco Gangle - 2015 - Synthese 192 (4):923-940.
Moving Pictures of Thought II: Graphs, Games, and Pragmaticism's Proof.Ahti-Veikko Pietarinen - 2011 - Semiotica 2011 (186):315-331.
Syntactic Cut-Elimination for Common Knowledge.Kai Brünnler & Thomas Studer - 2009 - Annals of Pure and Applied Logic 160 (1):82-95.
Peircean Algebraic Logic and Peirce's Reduction Thesis.Joachim Hereth & Reinhard Pöschel - 2011 - Semiotica 2011 (186):141-167.
Cut Elimination Inside a Deep Inference System for Classical Predicate Logic.Kai Brünnler - 2006 - Studia Logica 82 (1):51-71.
Semantics for Existential Graphs.Eric M. Hammer - 1998 - Journal of Philosophical Logic 27 (5):489-503.
The Deduction Rule and Linear and Near-Linear Proof Simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Introdução ao Sistema Beta dos Grafos Existenciais de C.S. Peirce.Lafayette de Moraes & João Queiroz - 2004 - Cognitio 5 (1):28-43.
Reconstituting Beta Graphs Into an Efficacious System.Sun-Joo Shin - 1999 - Journal of Logic, Language and Information 8 (3):273-295.
Analytics
Added to PP index
2016-12-20
Total views
18 ( #608,481 of 2,507,718 )
Recent downloads (6 months)
1 ( #416,820 of 2,507,718 )
2016-12-20
Total views
18 ( #608,481 of 2,507,718 )
Recent downloads (6 months)
1 ( #416,820 of 2,507,718 )
How can I increase my downloads?
Downloads