Presence and Absence of Individuals in Diagrammatic Logics : An Empirical Comparison
- Submitting institution
-
University of Brighton
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 7136852
- Type
- D - Journal article
- DOI
-
10.1007/s11225-017-9711-6
- Title of journal
- Studia Logica
- Article number
- -
- First page
- 787
- Volume
- 105
- Issue
- 4
- ISSN
- 0039-3215
- Open access status
- Compliant
- Month of publication
- February
- Year of publication
- 2017
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
-
- Citation count
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Choosing between semantically equivalent logical diagrams from the perspective of human cognition can make a significant difference to user performance. This paper is significant because it shows one way in which choosing the right notation and switching between equivalent diagrams can make formal reasoning more accessible to broad audiences. This is particularly important when a diagram made using one notation is significantly less cluttered than one made in another. The results were used as a basis for the EPSRC-funded project ‘The Applied Semiotics of Visual Modelling’ (EP/R043949/1).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -