The Observational Advantages of Euler Diagrams with Existential Import

Gem Stapleton; Atsushi Shimojima; Mateja Jamnik

doi:10.1007/978-3-319-91376-6_29

The Observational Advantages of Euler Diagrams with Existential Import

Gem Stapleton, Atsushi Shimojima, Mateja Jamnik

University of Brighton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

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 language	English
Title of host publication	10th International Conference on the Theory and Application of Diagrams
Editors	P. Chapman, G. Stapleton, A. Moktefi, S. Perez-Kriz, F. Bellucci
Place of Publication	Edinburgh
Publisher	Springer
Pages	313-329
Volume	10871
ISBN (Electronic)	9783319913766
ISBN (Print)	9783319913759
DOIs	https://doi.org/10.1007/978-3-319-91376-6_29
Publication status	Published - 17 May 2018
Event	10th International Conference on the Theory and Application of Diagrams - Edinburgh , Edinburgh , United Kingdom Duration: 18 Jun 2018 → 22 Jun 2018 Conference number: 10 http://www.diagrams-conference.org/2018/

Publication series

Name	Lecture Notes in Computer Science
ISSN (Print)	0302-9743

Conference

Conference	10th International Conference on the Theory and Application of Diagrams
Abbreviated title	Diagrams 2018
Country/Territory	United Kingdom
City	Edinburgh
Period	18/06/18 → 22/06/18
Internet address	http://www.diagrams-conference.org/2018/

Bibliographical note

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

Access to Document

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

mainFinal.pdfAccepted author manuscript, 337 KBLicence: Unspecified

https://link.springer.com/chapter/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). Springer. https://doi.org/10.1007/978-3-319-91376-6_29

@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; 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018 ; Conference date: 18-06-2018 Through 22-06-2018",

year = "2018",

month = may,

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",

url = "http://www.diagrams-conference.org/2018/",

}

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 ISBN › Conference contribution with ISSN or ISBN › peer-review

TY - GEN

T1 - The Observational Advantages of Euler Diagrams with Existential Import

AU - Stapleton, Gem

AU - Shimojima, Atsushi

AU - Jamnik, Mateja

N1 - Conference code: 10

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

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

Y2 - 18 June 2018 through 22 June 2018

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). doi: 10.1007/978-3-319-91376-6_29

The Observational Advantages of Euler Diagrams with Existential Import

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Fingerprint

Cite this