### Abstract

Inthisstudy,weinvestigatehowpeoplemanipulatediagrams 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 dia- grammatic 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 mul- tiple 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.

Original language | English |
---|---|

Title of host publication | Diagrammatic Representation and Inference; Proceedings of the 8th International Conference on the Theory and Application of Diagrams (Diagrams 2014) |

Place of Publication | Heidelberg |

Publisher | Springer |

Pages | 190-197 |

Number of pages | 8 |

Publication status | Published - 1 Jan 2014 |

Event | Diagrams 2014 - Melbourne, Australia, 28 July - 1 August 2014 Duration: 1 Jan 2014 → … |

### Conference

Conference | Diagrams 2014 |
---|---|

Period | 1/01/14 → … |

## Cite this

Sato, Y., Wajima, Y., & Ueda, K. (2014). An empirical study of diagrammatic inference process by recording the moving operation of diagrams. In

*Diagrammatic Representation and Inference; Proceedings of the 8th International Conference on the Theory and Application of Diagrams (Diagrams 2014)*(pp. 190-197). Springer.