On the logical philosophy of assertive graphs

DOI10.1007/S10849-020-09315-6MaRDI QIDQ2228440zbMATH OpenOpenAlexFDO

Authors Daniele Chiffi, Ahti Pietarinen

Publication date 17 February 2021

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10849-020-09315-6

zbMATH Keywords

assertionassertive graphsclassical vs. non-classical logical graphsdeep inferenceexistential graphsinferentialismPeirce

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Assertive graphs
• Beta Assertive Graphs
• scientific article; zbMATH DE number 7599923
• The existential graphs
• Existential graphs: what a diagrammatic logic of cognition might look like

Cites work

• Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic
• A graphical deep inference system for intuitionistic logic
• Assertion and denial: Aa contribution from logical notations
• Assertion and hypothesis: a logical framework for their opposition relations:
• Assertive graphs
• Constructivism in mathematics. An introduction. Volume II
• Deep inference and symmetry in classical proofs
• Diagrammatic representation and inference. 10th international conference, Diagrams 2018, Edinburgh, UK, June 18--22, 2018. Proceedings
• Existential graphs as an instrument of logical analysis. I: Alpha
• Gamma graph calculi for modal logics
• scientific article; zbMATH DE number 3508455 (Why is no real title available?)
• scientific article; zbMATH DE number 1773524 (Why is no real title available?)
• scientific article; zbMATH DE number 753778 (Why is no real title available?)
• scientific article; zbMATH DE number 7178365 (Why is no real title available?)
• Implicit epistemic aspects of constructive logic
• Intuitionism. An introduction
• Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5--7, 2017. Proceedings
• On the length of medial-switch-mix derivations
• On the proof complexity of deep inference
• Proof analysis of Peirce's alpha system of graphs
• Proof theory for admissible rules
• Signs of logic. Peircean themes on the philosophy of language, games, and communication
• Spider Diagrams
• The basic intuitionistic logic of proofs
• What is Logic?

Cited in

(10)

• Existential graphs on nonplanar surfaces
• scientific article; zbMATH DE number 1210779 (Why is no real title available?)
• scientific article; zbMATH DE number 7599923 (Why is no real title available?)
• An Analytic Propositional Proof System on Graphs
• Assertive graphs
• scientific article; zbMATH DE number 7644089 (Why is no real title available?)
• Assertive and Existential Graphs: A Comparison
• Fregean Logical Graphs
• Beta Assertive Graphs
• Native diagrammatic soundness and completeness proofs for Peirce's existential graphs (alpha)

This page was built for publication: On the logical philosophy of assertive graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2228440)