In Ahti Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James Corter & Sven Linker (eds.), Diagrammatic Representation and Inference. Diagrams 2020. Lecture Notes in Computer Science, vol 12169. 2020. 93413 Cham, Deutschland: pp. 445-460 (2020)
| Authors |
|
| Abstract |
In recent years CL diagrams inspired by Lange’s Cubus Logicus have been used in various contexts of diagrammatic reasoning. However, whether CL diagrams can also be used as a formal system seemed questionable. We present a CL diagram as a formal system, which is a fragment of propositional logic. Syntax and semantics are presented separately and a variant of bitstring semantics is applied to prove soundness and completeness of the system.
|
| Keywords | Diagrammatic Representation Visual Reasoning Logic Diagrams Propositional Logic Ontology Metalogic |
| Categories | (categorize this paper) |
| Buy the book |
Find it on Amazon.com
|
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,177
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Combinatorial Bitstring Semantics for Arbitrary Logical Fragments.Lorenz6 Demey & Hans5 Smessaert - 2018 - Journal of Philosophical Logic 47 (2):325-363.
Euler-type Diagrams and the Quantification of the Predicate.Jens Lemanski - 2020 - Journal of Philosophical Logic 49 (2):401-416.
Oppositional Geometry in the Diagrammatic Calculus CL.Jens Lemanski - 2017 - South American Journal of Logic 3 (2):517-531.
Citations of this work BETA
Extended Syllogistics in Calculus CL.Jens Lemanski - 2021 - Journal of Applied Logics 8 (2):557-577.
Techniques of Bridging the Gulf: Dialectic and Reductionism in McDowell and Fichte.Jens Lemanski - 2020 - Edukacja Filozoficzna 69 (1):7-36.
Similar books and articles
Calculus CL as Ontology Editor and Inference Engine.Jens Lemanski - 2018 - In P. Chapman, G. Stapleton, A. Moktefi, S. Perez-Kriz & F. Bellucci (eds.), Diagrammatic Representation and Inference10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Cham, Schweiz: Springer. pp. 752-756.
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
Reasoning with Sentences and Diagrams.Eric Hammer - 1994 - Notre Dame Journal of Formal Logic 35 (1):73-87.
Theories of Diagrammatic Reasoning: Distinguishing Component Problems. [REVIEW]Corin Gurr, John Lee & Keith Stenning - 1998 - Minds and Machines 8 (4):533-557.
Aligning Logical and Psychological Perspectives on Diagrammatic Reasoning.Keith Stenning & Oliver Lemon - 2001 - Artificial Intelligence Review 15:29--62.
How Diagrams Can Support Syllogistic Reasoning: An Experimental Study.Yuri Sato & Koji Mineshima - 2015 - Journal of Logic, Language and Information 24 (4):409-455.
Oppositional Geometry in the Diagrammatic Calculus CL.Jens Lemanski - 2017 - South American Journal of Logic 3 (2):517-531.
Set Venn Diagrams Applied to Inclusions and Non-Inclusions.Renata de Freitas & Petrucio Viana - 2015 - Journal of Logic, Language and Information 24 (4):457-485.
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.
A Brief Proof of the Full Completeness of Shin’s Venn Diagram Proof System.Nathaniel Miller - 2006 - Journal of Philosophical Logic 35 (3):289-291.
Analytics
Added to PP index
2020-09-03
Total views
25 ( #453,404 of 2,499,680 )
Recent downloads (6 months)
2 ( #278,274 of 2,499,680 )
2020-09-03
Total views
25 ( #453,404 of 2,499,680 )
Recent downloads (6 months)
2 ( #278,274 of 2,499,680 )
How can I increase my downloads?
Downloads
