Counter-Example Construction with Euler Diagrams

Studia Logica 103 (4):669-696 (2015)
  Copy   BIBTEX

Abstract

One of the traditional applications of Euler diagrams is as a representation or counterpart of the usual set-theoretical models of given sentences. However, Euler diagrams have recently been investigated as the counterparts of logical formulas, which constitute formal proofs. Euler diagrams are rigorously defined as syntactic objects, and their inference systems, which are equivalent to some symbolic logical systems, are formalized. Based on this observation, we investigate both counter-model construction and proof-construction in the framework of Euler diagrams. We introduce the notion of “counter-diagrammatic proof”, which shows the invalidity of a given inference, and which is defined as a syntactic manipulation of diagrams of the same sort as inference rules to construct proofs. Thus, in our Euler diagrammatic framework, the completeness theorem can be formalized in terms of the existence of a diagrammatic proof or a counter-diagrammatic proof

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

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

A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
How Diagrams Can Support Syllogistic Reasoning: An Experimental Study.Yuri Sato & Koji Mineshima - 2015 - Journal of Logic, Language and Information 24 (4):409-455.
Strategy Analysis of Non-consequence Inference with Euler Diagrams.Yuri Sato, Yuichiro Wajima & Kazuhiro Ueda - 2018 - Journal of Logic, Language and Information 27 (1):61-77.
Drawing graphs in Euler diagrams.Paul Mutton, Peter Rodgers & Jean Flower - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 66--81.
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams.David Waszek - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 382-389.

Analytics

Added to PP
2014-10-10

Downloads
33 (#693,203)

6 months
6 (#891,985)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Euler’s visual logic.Eric Hammer & Sun-Joo Shin - 1998 - History and Philosophy of Logic 19 (1):1-29.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.

Add more references