Reasoning with Diagrams: Observation, Inference and Overspecificity

Research output: Contribution to conferenceOtherResearch

Abstract

The ability of diagrams to convey information effectivelycomes, in part, from their ability to make facts explicit that would otherwise need to be inferred. This type of advantagehas often been referred to as a free ride and was deemed to occur only when a diagram was obtained by translating asymbolic representation of information. Recent work generalised free rides, introducing the idea of an observational advantage, where the existence of such a translation is not required. In this paper, I will provide an overview of the theory of observation. It has been shown that Euler diagrams without existential import have significant observational advantages over set theory: they are observationallycomplete. I will then explore to what extent Euler diagrams with existential import are observationally complete with respect to set-theoretic sentences. In particular, has been shown that existential import significantly limits the cases when observational completeness arises, due to the potentialfor overspecificity. These two results formally support Larkin and Simon's claim that "a diagram is (sometimes)worth ten thousand words". The work in this invited paperis derived from previously published results as cited in the text.
Original languageEnglish
Pages0-0
Number of pages1
DOIs
Publication statusPublished - 1 Jan 2018
EventThe 24th International DMS Conference on Visualization and Visual Languages - San Fransisco, 29-30 June 2018
Duration: 1 Jan 2018 → …

Conference

ConferenceThe 24th International DMS Conference on Visualization and Visual Languages
Period1/01/18 → …

Fingerprint

Inference
Diagrams
Import
Leonhard Euler
Translating
Set Theory
Completeness

Cite this

Stapleton, G. (2018). Reasoning with Diagrams: Observation, Inference and Overspecificity. 0-0. The 24th International DMS Conference on Visualization and Visual Languages, . https://doi.org/10.18293/DMSVIVA2018-026
Stapleton, Gem. / Reasoning with Diagrams: Observation, Inference and Overspecificity. The 24th International DMS Conference on Visualization and Visual Languages, .1 p.
@conference{80e50755a4f141d1bf826e9a92fbb67d,
title = "Reasoning with Diagrams: Observation, Inference and Overspecificity",
abstract = "The ability of diagrams to convey information effectivelycomes, in part, from their ability to make facts explicit that would otherwise need to be inferred. This type of advantagehas often been referred to as a free ride and was deemed to occur only when a diagram was obtained by translating asymbolic representation of information. Recent work generalised free rides, introducing the idea of an observational advantage, where the existence of such a translation is not required. In this paper, I will provide an overview of the theory of observation. It has been shown that Euler diagrams without existential import have significant observational advantages over set theory: they are observationallycomplete. I will then explore to what extent Euler diagrams with existential import are observationally complete with respect to set-theoretic sentences. In particular, has been shown that existential import significantly limits the cases when observational completeness arises, due to the potentialfor overspecificity. These two results formally support Larkin and Simon's claim that {"}a diagram is (sometimes)worth ten thousand words{"}. The work in this invited paperis derived from previously published results as cited in the text.",
author = "Gem Stapleton",
year = "2018",
month = "1",
day = "1",
doi = "10.18293/DMSVIVA2018-026",
language = "English",
pages = "0--0",
note = "The 24th International DMS Conference on Visualization and Visual Languages ; Conference date: 01-01-2018",

}

Stapleton, G 2018, 'Reasoning with Diagrams: Observation, Inference and Overspecificity' The 24th International DMS Conference on Visualization and Visual Languages, 1/01/18, pp. 0-0. https://doi.org/10.18293/DMSVIVA2018-026

Reasoning with Diagrams: Observation, Inference and Overspecificity. / Stapleton, Gem.

2018. 0-0 The 24th International DMS Conference on Visualization and Visual Languages, .

Research output: Contribution to conferenceOtherResearch

TY - CONF

T1 - Reasoning with Diagrams: Observation, Inference and Overspecificity

AU - Stapleton, Gem

PY - 2018/1/1

Y1 - 2018/1/1

N2 - The ability of diagrams to convey information effectivelycomes, in part, from their ability to make facts explicit that would otherwise need to be inferred. This type of advantagehas often been referred to as a free ride and was deemed to occur only when a diagram was obtained by translating asymbolic representation of information. Recent work generalised free rides, introducing the idea of an observational advantage, where the existence of such a translation is not required. In this paper, I will provide an overview of the theory of observation. It has been shown that Euler diagrams without existential import have significant observational advantages over set theory: they are observationallycomplete. I will then explore to what extent Euler diagrams with existential import are observationally complete with respect to set-theoretic sentences. In particular, has been shown that existential import significantly limits the cases when observational completeness arises, due to the potentialfor overspecificity. These two results formally support Larkin and Simon's claim that "a diagram is (sometimes)worth ten thousand words". The work in this invited paperis derived from previously published results as cited in the text.

AB - The ability of diagrams to convey information effectivelycomes, in part, from their ability to make facts explicit that would otherwise need to be inferred. This type of advantagehas often been referred to as a free ride and was deemed to occur only when a diagram was obtained by translating asymbolic representation of information. Recent work generalised free rides, introducing the idea of an observational advantage, where the existence of such a translation is not required. In this paper, I will provide an overview of the theory of observation. It has been shown that Euler diagrams without existential import have significant observational advantages over set theory: they are observationallycomplete. I will then explore to what extent Euler diagrams with existential import are observationally complete with respect to set-theoretic sentences. In particular, has been shown that existential import significantly limits the cases when observational completeness arises, due to the potentialfor overspecificity. These two results formally support Larkin and Simon's claim that "a diagram is (sometimes)worth ten thousand words". The work in this invited paperis derived from previously published results as cited in the text.

U2 - 10.18293/DMSVIVA2018-026

DO - 10.18293/DMSVIVA2018-026

M3 - Other

SP - 0

EP - 0

ER -

Stapleton G. Reasoning with Diagrams: Observation, Inference and Overspecificity. 2018. The 24th International DMS Conference on Visualization and Visual Languages, . https://doi.org/10.18293/DMSVIVA2018-026