•  9
  •  3
    Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison
    with Gem Stapleton, Andrew Blake, and Anestis Touloumis
    Studia Logica 105 (4): 787-815. 2017.
    The development of diagrammatic logics is strongly motivated by the desire to make formal reasoning accessible to broad audiences. One major research problem, for which surprisingly little progress has been made, is to understand how to choose between semantically equivalent diagrams from the perspective of human cognition. The particular focus of this paper is on choosing between diagrams that represent either the presence or absence of individuals. To understand how to best make this choice, w…Read more