The Observational Advantages of Euler Diagrams with Existential Import

Gem Stapleton, Atsushi Shimojima, Mateja Jamnik

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

The ability of diagrams to convey information effectively inpart comes from their ability to make facts explicit that would otherwise need to be inferred. This type of advantage has often been referred to as a free ride and was deemed to occur only when a diagram was obtained by translating a symbolic representation of information. Recent work generalised free rides to the idea of an observational advantage, where the existence of such a translation is not required. Roughly speaking, it has been shown that Euler diagrams without existential import are observationally complete as compared to symbolic set theory. In this paper, we explore to what extent Euler diagrams with existential import are observationally complete with respect to set-theoretic sentences. We show that existential import significantly limits the cases when observational completeness arises, due to the potential for overspecificity.
Original languageEnglish
Title of host publication10th International Conference on the Theory and Application of Diagrams
EditorsP. Chapman, G. Stapleton, A. Moktefi, S. Perez-Kriz, F. Bellucci
Place of PublicationEdinburgh
PublisherSpringer
Pages313-329
Volume10871
ISBN (Electronic)9783319913766
ISBN (Print)9783319913759
DOIs
Publication statusPublished - 17 May 2018
Event10th International Conference on the Theory and Application of Diagrams - Edinburgh , Edinburgh , United Kingdom
Duration: 18 Jun 201822 Jun 2018
Conference number: 10
http://www.diagrams-conference.org/2018/

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743

Conference

Conference10th International Conference on the Theory and Application of Diagrams
Abbreviated titleDiagrams 2018
CountryUnited Kingdom
CityEdinburgh
Period18/06/1822/06/18
Internet address

Bibliographical note

The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91376-6_29

Fingerprint Dive into the research topics of 'The Observational Advantages of Euler Diagrams with Existential Import'. Together they form a unique fingerprint.

  • Cite this

    Stapleton, G., Shimojima, A., & Jamnik, M. (2018). The Observational Advantages of Euler Diagrams with Existential Import. In P. Chapman, G. Stapleton, A. Moktefi, S. Perez-Kriz, & F. Bellucci (Eds.), 10th International Conference on the Theory and Application of Diagrams (Vol. 10871, pp. 313-329). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-319-91376-6_29