Mental models: towards a cognitive science of language, inference, and consciousness
Mental models: towards a cognitive science of language, inference, and consciousness
External cognition: how do graphical representations work?
International Journal of Human-Computer Studies
Visual information and valid reasoning
Logical reasoning with diagrams
Operational constraints in diagrammatic reasoning
Logical reasoning with diagrams
Logic and Visual Information
Theories of Diagrammatic Reasoning: Distinguishing Component Problems
Minds and Machines
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
A Survey of Reasoning Systems Based on Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Deduction with euler circles: diagrams that hurt
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Two types of diagrammatic inference systems: natural deduction style and resolution style
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
A Diagrammatic Inference System with Euler Circles
Journal of Logic, Language and Information
Proof-Theoretical investigation of venn diagrams: a logic translation and free rides
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
The efficacy of diagrams in syllogistic reasoning: a case of linear diagrams
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Syllogisms in Rudimentary Linear Logic, Diagrammatically
Journal of Logic, Language and Information
Twelve years of diagrams research
Journal of Visual Languages and Computing
Hi-index | 0.00 |
This paper discusses the cognitive differences between reasoning with Euler diagrams and reasoning with Venn diagrams. We test subjects' performances in syllogism solving in case where these two types of diagrams are used. We conduct an analysis on the role played by the conventional devices of each diagram in reasoning processes. Based on this, we hypothesize that of the two types of diagrams, only Euler diagrams could guide subjects without prior knowledge of their inferential strategies for combining diagrams. To test this hypothesis, subjects in our experiment are only provided with instructions on the meanings of diagrams and required to solve reasoning tasks without any instruction on the solving strategies. Our experimental results support the hypothesis and indicate that Euler diagrams can not only contribute to subjects' correct interpretation of categorical sentences used but also play a crucial role in reasoning processes themselves.