A Diagrammatic Inference System with Euler Circles

Journal of Logic, Language and Information 21 (3):365-391 (2012)
  Copy   BIBTEX

Abstract

Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in the standard approach, but in terms of topological relations between diagrammatic objects. We formalize the unification rule, which plays a central role in Euler diagrammatic reasoning, in a style of natural deduction. We prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. We also investigate structure of diagrammatic proofs and prove a normal form theorem.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Euler’s visual logic.Eric Hammer & Sun-Joo Shin - 1998 - History and Philosophy of Logic 19 (1):1-29.
Diagrams as sketches.Brice Halimi - 2012 - Synthese 186 (1):387-409.
A Diagrammatic Calculus of Syllogisms.Ruggero Pagnan - 2012 - Journal of Logic, Language and Information 21 (3):347-364.
Syllogisms in Rudimentary Linear Logic, Diagrammatically.Ruggero Pagnan - 2013 - Journal of Logic, Language and Information 22 (1):71-113.
On Frege's Logical Diagrams.Iulian D. Toader - 2004 - In Diagrammatic Representation and Inference. Springer: Lecture Notes in Computer Science, vol. 2980,. pp. 22-25.

Analytics

Added to PP
2012-03-28

Downloads
72 (#206,541)

6 months
10 (#134,868)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

A Bitstring Semantics for Calculus CL.Fabien Schang & Jens Lemanski - 2022 - In Ioannis M. Vandoulakis & Jean-Yves Beziau (eds.), The Exoteric Square of Opposition. Cham: Springer. pp. 171–193.
How Diagrams Can Support Syllogistic Reasoning: An Experimental Study.Yuri Sato & Koji Mineshima - 2015 - Journal of Logic, Language and Information 24 (4):409-455.
Syllogisms in Rudimentary Linear Logic, Diagrammatically.Ruggero Pagnan - 2013 - Journal of Logic, Language and Information 22 (1):71-113.

View all 6 citations / Add more citations

References found in this work

Symbolic logic.John Venn - 1894 - New York,: B. Franklin.
Symbolic Logic.John Venn - 1881 - Mind 6 (24):574-581.
[Introduction].O. H. Mitchell & J. Venn - 1884 - Mind 9 (34):321-322.
Logic and Visual Information.Eric Hammer - 1995 - CSLI Publications.
Euler’s visual logic.Eric Hammer & Sun-Joo Shin - 1998 - History and Philosophy of Logic 19 (1):1-29.

View all 6 references / Add more references