Abstract
In this study, we investigate how people manipulate diagrams in logical reasoning, especially no valid conclusion (NVC) tasks. In NVC tasks, premises are given and people are asked to judge whether “no consequence can be drawn from the premises.” Here, we introduce a method of asking participants to directly manipulate instances of diagrammatic objects as a component of inferential processes. We observed how participants move Euler diagrams, presented on a PC monitor, to solve syllogisms with universally quantified sentences. In the NVC tasks, 88.6% of our participants chose to use an enumeration strategy with multiple configurations of conclusion diagrams and/or a partial-overlapping strategy of placing two circles. Our results provide evidence that NVC judgment for tasks with diagrams can be reached using an efficient way of counter-example construction.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bucciarelli, M., Johnson-Laird, P.N.: Strategies in syllogistic reasoning. Cognitive Science 23, 247–303 (1999)
Ford, M.: Two modes of mental representation and problem solution in syllogistic reasoning. Cognition 54, 1–71 (1994)
Howse, J., Molina, F., Shin, S.-J., Taylor, J.: On diagram tokens and types. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol. 2317, pp. 146–160. Springer, Heidelberg (2002)
Mineshima, K., Sato, Y., Takemura, R., Okada, M.: Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective. Journal of Visual Languages and Computing 25, 156–169 (2014)
Sato, Y., Mineshima, K., Takemura, R.: The efficacy of Euler and Venn diagrams in deductive reasoning: Empirical findings. In: Goel, A.K., Jamnik, M., Narayanan, N.H. (eds.) Diagrams 2010. LNCS, vol. 6170, pp. 6–22. Springer, Heidelberg (2010)
Sato, Y., Mineshima, K., Takemura, R.: Constructing internal diagrammatic proofs from external logic diagrams. In: Proceedings of 32nd Annual Conference of the Cognitive Science Society, pp. 2668–2673 (2010)
Sato, Y., Mineshima, K.: The efficacy of diagrams in syllogistic reasoning: A case of linear diagrams. In: Cox, P., Plimmer, B., Rodgers, P. (eds.) Diagrams 2012. LNCS (LNAI), vol. 7352, pp. 352–355. Springer, Heidelberg (2012)
Sato, Y., Wajima, T., Ueda, K.: Visual bias of diagram in logical reasoning. Accepted for publication in Proceedings of 36th Annual Conference of the Cognitive Science Society (2014)
Shimojima, A.: Inferential and expressive capacities of graphical representations: Survey and some generalizations. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol. 2980, pp. 18–21. Springer, Heidelberg (2004)
Shimojima, A., Katagiri, Y.: An eye-tracking study of exploitations of spatial constraints in diagrammatic reasoning. Cognitive Science 37, 211–254 (2013)
Stenning, K., van Lambalgen, M.: A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning. Cognitive Science 28, 481–529 (2004)
Sugimoto, Y., Sato, Y., Nakayama, S.: Towards a formalization of mental model reasoning for syllogistic fragments. In: AIC 2013. CEUR, vol. 1100, pp. 140–145. CEUR-WS.org, Aachen (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sato, Y., Wajima, Y., Ueda, K. (2014). An Empirical Study of Diagrammatic Inference Process by Recording the Moving Operation of Diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds) Diagrammatic Representation and Inference. Diagrams 2014. Lecture Notes in Computer Science(), vol 8578. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44043-8_21
Download citation
DOI: https://doi.org/10.1007/978-3-662-44043-8_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44042-1
Online ISBN: 978-3-662-44043-8
eBook Packages: Computer ScienceComputer Science (R0)