2018年3月1日
Strategy Analysis of Non-consequence Inference with Euler Diagrams
Journal of Logic, Language and Information
- ,
- ,
- 巻
- 27
- 号
- 1
- 開始ページ
- 61
- 終了ページ
- 77
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1007/s10849-017-9259-x
- 出版者・発行元
- Springer Netherlands
How can Euler diagrams support non-consequence inferences? Although an inference to non-consequence, in which people are asked to judge whether no valid conclusion can be drawn from the given premises (e.g., All B are A
No C are B), is one of the two sides of logical inference, it has received remarkably little attention in research on human diagrammatic reasoning
how diagrams are really manipulated for such inferences remains unclear. We hypothesized that people naturally make these inferences by enumerating possible diagrams, based on the logical notion of self-consistency, in which every (simple) Euler diagram is true (satisfiable) in a set-theoretical interpretation. The work is divided into three parts, each exploring a particular condition or scenario. In condition 1, we asked participants to directly manipulate diagrams with size-fixed circles as they solved syllogistic tasks, with the result that more reasoners used the enumeration strategy. In condition 2, another type of size-fixed diagram was used. The diagram layout change interfered with accurate task performances and with the use of the enumeration strategy
however, the enumeration strategy was still dominant for those who could correctly perform the tasks. In condition 3, we used size-scalable diagrams (with the default size as in condition 2), which reduced the interfering effect of diagram layout and enhanced participants’ selection of the enumeration strategy. These results provide evidence that non-consequence inferences can be achieved by diagram enumeration, exploiting the self-consistency of Euler diagrams. An alternate strategy based on counter-example construction with Euler diagrams, as well as effects of diagram layout in inferential processes, are also discussed.
No C are B), is one of the two sides of logical inference, it has received remarkably little attention in research on human diagrammatic reasoning
how diagrams are really manipulated for such inferences remains unclear. We hypothesized that people naturally make these inferences by enumerating possible diagrams, based on the logical notion of self-consistency, in which every (simple) Euler diagram is true (satisfiable) in a set-theoretical interpretation. The work is divided into three parts, each exploring a particular condition or scenario. In condition 1, we asked participants to directly manipulate diagrams with size-fixed circles as they solved syllogistic tasks, with the result that more reasoners used the enumeration strategy. In condition 2, another type of size-fixed diagram was used. The diagram layout change interfered with accurate task performances and with the use of the enumeration strategy
however, the enumeration strategy was still dominant for those who could correctly perform the tasks. In condition 3, we used size-scalable diagrams (with the default size as in condition 2), which reduced the interfering effect of diagram layout and enhanced participants’ selection of the enumeration strategy. These results provide evidence that non-consequence inferences can be achieved by diagram enumeration, exploiting the self-consistency of Euler diagrams. An alternate strategy based on counter-example construction with Euler diagrams, as well as effects of diagram layout in inferential processes, are also discussed.
- リンク情報
-
- DOI
- https://doi.org/10.1007/s10849-017-9259-x
- DBLP
- https://dblp.uni-trier.de/rec/journals/jolli/SatoWU18
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000425538800002&DestApp=WOS_CPL
- URL
- http://dblp.uni-trier.de/db/journals/jolli/jolli27.html#journals/jolli/SatoWU18
- Scopus
- https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85029093641&origin=inward
- Scopus Citedby
- https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=85029093641&origin=inward
- ID情報
-
- DOI : 10.1007/s10849-017-9259-x
- ISSN : 1572-9583
- ISSN : 0925-8531
- eISSN : 1572-9583
- DBLP ID : journals/jolli/SatoWU18
- SCOPUS ID : 85029093641
- Web of Science ID : WOS:000425538800002