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

Fingerprint

Set theory

Bibliographical note

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

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). Edinburgh: Springer. https://doi.org/10.1007/978-3-319-91376-6_29
Stapleton, Gem ; Shimojima, Atsushi ; Jamnik, Mateja. / The Observational Advantages of Euler Diagrams with Existential Import. 10th International Conference on the Theory and Application of Diagrams. editor / P. Chapman ; G. Stapleton ; A. Moktefi ; S. Perez-Kriz ; F. Bellucci. Vol. 10871 Edinburgh : Springer, 2018. pp. 313-329 (Lecture Notes in Computer Science).
@inproceedings{eeee29331b734971bcfae64aa02c1842,
title = "The Observational Advantages of Euler Diagrams with Existential Import",
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.",
author = "Gem Stapleton and Atsushi Shimojima and Mateja Jamnik",
note = "The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91376-6_29",
year = "2018",
month = "5",
day = "17",
doi = "10.1007/978-3-319-91376-6_29",
language = "English",
isbn = "9783319913759",
volume = "10871",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "313--329",
editor = "P. Chapman and G. Stapleton and A. Moktefi and S. Perez-Kriz and { Bellucci}, F.",
booktitle = "10th International Conference on the Theory and Application of Diagrams",

}

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, Lecture Notes in Computer Science, Springer, Edinburgh, pp. 313-329, 10th International Conference on the Theory and Application of Diagrams, Edinburgh , United Kingdom, 18/06/18. https://doi.org/10.1007/978-3-319-91376-6_29

The Observational Advantages of Euler Diagrams with Existential Import. / Stapleton, Gem; Shimojima, Atsushi; Jamnik, Mateja.

10th International Conference on the Theory and Application of Diagrams. ed. / P. Chapman; G. Stapleton; A. Moktefi; S. Perez-Kriz; F. Bellucci. Vol. 10871 Edinburgh : Springer, 2018. p. 313-329 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - The Observational Advantages of Euler Diagrams with Existential Import

AU - Stapleton, Gem

AU - Shimojima, Atsushi

AU - Jamnik, Mateja

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

PY - 2018/5/17

Y1 - 2018/5/17

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-91376-6_29

DO - 10.1007/978-3-319-91376-6_29

M3 - Conference contribution with ISSN or ISBN

SN - 9783319913759

VL - 10871

T3 - Lecture Notes in Computer Science

SP - 313

EP - 329

BT - 10th International Conference on the Theory and Application of Diagrams

A2 - Chapman, P.

A2 - Stapleton, G.

A2 - Moktefi, A.

A2 - Perez-Kriz, S.

A2 - Bellucci, F.

PB - Springer

CY - Edinburgh

ER -

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