Presence and Absence of Individuals in Diagrammatic Logics

An Empirical Comparison

Research output: Contribution to journalArticleResearchpeer-review

Abstract

The development of diagrammatic logics is stronglymotivated by the desire to make formal reasoning accessible tobroad audiences. One major research problem, for which surprisinglylittle progress has been made, is to understand how to choosebetween semantically equivalentdiagrams from the perspective of human cognition. The particularfocus of this paper is on choosing between diagrams that representeither the presence or absence of individuals.To understand how to best make this choice, we conducted anempirical study. We found thatrepresenting the presence of individuals supported taskperformance either significantly better than, or no worse than,representing the absence of individuals. The particularly strikingfeature of our results was that representing the absence ofindividuals in a way that makes the diagram highly cluttered isdetrimental to human cognition. As a result, diagrams with thisfeature should be avoided, but diagrams using presence(irrespective of diagram clutter) or low-cluttered absence can beused to support cognition in the context of the tasks performed inour study.
Original languageEnglish
Pages (from-to)787-815
Number of pages29
JournalStudia Logica
Volume105
Issue number4
DOIs
Publication statusPublished - 20 Feb 2017

Fingerprint

Cognition
Research

Bibliographical note

© The Author(s) 2017. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Keywords

  • Individuals
  • Presence
  • Absence
  • Clutter
  • Cognition
  • Diagrammatic logics

Cite this

@article{d6653a033ec44491b0dcfd950578265b,
title = "Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison",
abstract = "The development of diagrammatic logics is stronglymotivated by the desire to make formal reasoning accessible tobroad audiences. One major research problem, for which surprisinglylittle progress has been made, is to understand how to choosebetween semantically equivalentdiagrams from the perspective of human cognition. The particularfocus of this paper is on choosing between diagrams that representeither the presence or absence of individuals.To understand how to best make this choice, we conducted anempirical study. We found thatrepresenting the presence of individuals supported taskperformance either significantly better than, or no worse than,representing the absence of individuals. The particularly strikingfeature of our results was that representing the absence ofindividuals in a way that makes the diagram highly cluttered isdetrimental to human cognition. As a result, diagrams with thisfeature should be avoided, but diagrams using presence(irrespective of diagram clutter) or low-cluttered absence can beused to support cognition in the context of the tasks performed inour study.",
keywords = "Individuals, Presence, Absence, Clutter, Cognition, Diagrammatic logics",
author = "Gem Stapleton and Andrew Blake and James Burton and Anestis Touloumis",
note = "{\circledC} The Author(s) 2017. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.",
year = "2017",
month = "2",
day = "20",
doi = "10.1007/s11225-017-9711-6",
language = "English",
volume = "105",
pages = "787--815",
journal = "Studia Logica",
issn = "0039-3215",
number = "4",

}

Presence and Absence of Individuals in Diagrammatic Logics : An Empirical Comparison. / Stapleton, Gem; Blake, Andrew; Burton, James; Touloumis, Anestis.

In: Studia Logica, Vol. 105, No. 4, 20.02.2017, p. 787-815.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - Presence and Absence of Individuals in Diagrammatic Logics

T2 - An Empirical Comparison

AU - Stapleton, Gem

AU - Blake, Andrew

AU - Burton, James

AU - Touloumis, Anestis

N1 - © The Author(s) 2017. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

PY - 2017/2/20

Y1 - 2017/2/20

N2 - The development of diagrammatic logics is stronglymotivated by the desire to make formal reasoning accessible tobroad audiences. One major research problem, for which surprisinglylittle progress has been made, is to understand how to choosebetween semantically equivalentdiagrams from the perspective of human cognition. The particularfocus of this paper is on choosing between diagrams that representeither the presence or absence of individuals.To understand how to best make this choice, we conducted anempirical study. We found thatrepresenting the presence of individuals supported taskperformance either significantly better than, or no worse than,representing the absence of individuals. The particularly strikingfeature of our results was that representing the absence ofindividuals in a way that makes the diagram highly cluttered isdetrimental to human cognition. As a result, diagrams with thisfeature should be avoided, but diagrams using presence(irrespective of diagram clutter) or low-cluttered absence can beused to support cognition in the context of the tasks performed inour study.

AB - The development of diagrammatic logics is stronglymotivated by the desire to make formal reasoning accessible tobroad audiences. One major research problem, for which surprisinglylittle progress has been made, is to understand how to choosebetween semantically equivalentdiagrams from the perspective of human cognition. The particularfocus of this paper is on choosing between diagrams that representeither the presence or absence of individuals.To understand how to best make this choice, we conducted anempirical study. We found thatrepresenting the presence of individuals supported taskperformance either significantly better than, or no worse than,representing the absence of individuals. The particularly strikingfeature of our results was that representing the absence ofindividuals in a way that makes the diagram highly cluttered isdetrimental to human cognition. As a result, diagrams with thisfeature should be avoided, but diagrams using presence(irrespective of diagram clutter) or low-cluttered absence can beused to support cognition in the context of the tasks performed inour study.

KW - Individuals

KW - Presence

KW - Absence

KW - Clutter

KW - Cognition

KW - Diagrammatic logics

U2 - 10.1007/s11225-017-9711-6

DO - 10.1007/s11225-017-9711-6

M3 - Article

VL - 105

SP - 787

EP - 815

JO - Studia Logica

JF - Studia Logica

SN - 0039-3215

IS - 4

ER -