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
Jens Lemanski
Fernuniversität Hagen
Ludger Jansen
University of Münster
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,025
External links

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

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
Diagrams, Logic and Representation.Eric Morgan Hammer - 1995 - Dissertation, Indiana University
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.
Diagrams as Sketches.Brice Halimi - 2012 - Synthese 186 (1):387-409.
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.
Valid Reasoning and Visual Representation.Sun-joo Shin - 1991 - Dissertation, Stanford University

Analytics

Added to PP index
2020-09-03

Total views
21 ( #505,563 of 2,439,594 )

Recent downloads (6 months)
15 ( #45,694 of 2,439,594 )

How can I increase my downloads?

Downloads

My notes