How Diagrams Can Support Syllogistic Reasoning: An Experimental Study

This paper explores the question of what makes diagrammatic representations effective for human logical reasoning, focusing on how Euler diagrams support syllogistic reasoning. It is widely held that diagrammatic representations aid intuitive understanding of logical reasoning. In the psychological literature, however, it is still controversial whether and how Euler diagrams can aid untrained people to successfully conduct logical reasoning such as set-theoretic and syllogistic reasoning. To challenge the negative view, we build on the findings of modern diagrammatic logic and introduce an Euler-style diagrammatic representation system that is designed to avoid problems inherent to a traditional version of Euler diagrams. It is hypothesized that Euler diagrams are effective not only in interpreting sentential premises but also in reasoning about semantic structures implicit in given sentences. To test the hypothesis, we compared Euler diagrams with other types of diagrams having different syntactic or semantic properties. Experiment compared the difference in performance between syllogistic reasoning with Euler diagrams and Venn diagrams. Additional analysis examined the case of a linear variant of Euler diagrams, in which set-relationships are represented by one-dimensional lines. The experimental results provide evidence supporting our hypothesis. It is argued that the efficacy of diagrams in supporting syllogistic reasoning crucially depends on the way they represent the relational information contained in categorical sentences.

[1]  A. Rizzo,et al.  The Mediating Role of Artefacts in Deductive Reasoning , 2005 .

[2]  Jonathan Evans Dual-processing accounts of reasoning, judgment, and social cognition. , 2008, Annual review of psychology.

[3]  Shigeru Watanabe,et al.  An fMRI analysis of the efficacy of Euler diagrams in logical reasoning , 2015, 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

[4]  G. Boolos On ‘syllogistic inference’ , 1984, Cognition.

[5]  Koji Mineshima,et al.  Constructing internal diagrammatic proofs from external logic diagrams , 2010 .

[6]  Margaret E. Baron,et al.  A Note on the Historical Development of Logic Diagrams: Leibniz, Euler and Venn , 1969, The Mathematical Gazette.

[7]  Koji Mineshima,et al.  Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective , 2014, J. Vis. Lang. Comput..

[8]  T. Meilinger,et al.  Ask for directions or use a map: A field experiment on spatial orientation and wayfinding in an urban environment , 2008 .

[9]  Peter Rodgers,et al.  Evaluating the Comprehension of Euler Diagrams , 2007, 2007 11th International Conference Information Visualization (IV '07).

[10]  Atsushi Shimojima,et al.  ON THE EFFICACY OF REPRESENTATION , 1996 .

[11]  Jon Oberlander,et al.  A cognitive theory of graphical and linguistic reasoning: logic and implementation. Cognitive Science , 1995 .

[12]  Peter Hamburger,et al.  Cogwheels of the mind. The story of venn diagrams , 2005 .

[13]  R. Wallace The Body in the Mind: The Bodily Basis of Meaning, Imagination, and Reason , 1988 .

[14]  Kurt Konolige,et al.  Reasoning with Analogical Representations , 1992, KR.

[15]  Gem Stapleton,et al.  A Survey of Reasoning Systems Based on Euler Diagrams , 2005, Euler.

[16]  Stephen E. Newstead,et al.  Drawing inferences from quantified statements: a study of the square of opposition , 1983 .

[17]  Herbert A. Simon,et al.  Why a Diagram is (Sometimes) Worth Ten Thousand Words , 1987 .

[18]  Sun-Joo Shin,et al.  The logical status of diagrams , 1995 .

[19]  Harold T. Hodes Logicism and the Ontological Commitments of Arithmetic , 1984 .

[20]  P. Johnson-Laird,et al.  Theories of the syllogism: A meta-analysis. , 2012, Psychological bulletin.

[21]  Koji Mineshima,et al.  A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations , 2012, Studia Logica.

[22]  George Englebretsen,et al.  Linear Diagrams for Syllogisms (with Relatitonals) , 1991, Notre Dame J. Formal Log..

[23]  Michael Rescorla,et al.  Predication and cartographic representation , 2009, Synthese.

[24]  Richard Cox,et al.  Contrasting the cognitive effects of graphical and sentential logic teaching: Reasoning, representation and individual differences , 1995 .

[25]  Jon Barwise,et al.  Logical reasoning with diagrams , 1996 .

[26]  Merideth Gattis,et al.  Inferencing From Spatial Information , 2005, Spatial Cogn. Comput..

[27]  Mark S. Staveley,et al.  A graphical user interface for Boolean query specification , 1999, International Journal on Digital Libraries.

[28]  Bart Geurts,et al.  Reasoning with quantifiers , 2003, Cognition.

[29]  S. Gelman,et al.  Quantified statements are recalled as generics: Evidence from preschool children and adults , 2012, Cognitive Psychology.

[30]  S. Phillips,et al.  Processing capacity defined by relational complexity: implications for comparative, developmental, and cognitive psychology. , 1998, The Behavioral and brain sciences.

[31]  G. Kleiter,et al.  Towards a mental probability logic , 2005 .

[32]  L. J. Chapman,et al.  Atmosphere effect re-examined. , 1959, Journal of experimental psychology.

[33]  H. Mercier,et al.  Solving categorical syllogisms with singular premises , 2008 .

[34]  Jonathan Evans In two minds: dual-process accounts of reasoning , 2003, Trends in Cognitive Sciences.

[35]  N. Hari Narayanan,et al.  Diagrammatic Reasoning: Cognitive and Computational Perspectives , 1995 .

[36]  A. Michard,et al.  Graphical presentation of boolean expressions in a database query language: design notes and an ergonomic evaluation , 1982 .

[37]  Richard A. Griggs,et al.  Quantifier interpretation and syllogistic reasoning , 2001 .

[38]  Eric Hammer,et al.  Euler’s visual logic , 1998 .

[39]  S. Phillips,et al.  Relational knowledge: the foundation of higher cognition , 2010, Trends in Cognitive Sciences.

[40]  Koji Mineshima,et al.  A Diagrammatic Inference System with Euler Circles , 2012, Journal of Logic, Language and Information.

[41]  Keith Stenning,et al.  Semantics as a Foundation for Psychology: A Case Study of Wason's Selection Task , 2001, J. Log. Lang. Inf..

[42]  Barbara Tversky,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1993, Lecture Notes in Computer Science.

[43]  Louis S. Dickstein The meaning of conversion in syllogistic reasoning , 1981 .

[44]  Stuart Kent,et al.  Spider Diagrams: A Diagrammatic Reasoning System , 2001, J. Vis. Lang. Comput..

[45]  Yuri Sato,et al.  A specification-aware modeling of mental model theory for syllogistic reasoning , 2015 .

[46]  Padraic Monaghan,et al.  Effects of representational modality and thinking style on learning to solve reasoning problems , 1998 .

[47]  Jiajie Zhang,et al.  Representations in Distributed Cognitive Tasks , 1994, Cogn. Sci..

[48]  Ryo Takemura,et al.  Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization , 2012, Studia Logica.

[49]  Elisabeth Camp,et al.  THINKING WITH MAPS , 2007 .

[50]  Koji Mineshima,et al.  A Diagrammatic Reasoning System with Euler Circles , 2009 .

[51]  Jon Barwise,et al.  Diagrams and the concept of logical system , 1994 .

[52]  Daniel M. Oppenheimer,et al.  Overcoming intuition: metacognitive difficulty activates analytic reasoning. , 2007, Journal of experimental psychology. General.

[53]  Helen C. Purchase,et al.  Twelve years of diagrams research , 2014, J. Vis. Lang. Comput..

[54]  Andrew Fish,et al.  User-comprehension of Euler diagrams , 2011, J. Vis. Lang. Comput..

[55]  H. Gaifman,et al.  Symbolic Logic , 1881, Nature.

[56]  Michael L. Geis,et al.  On Invited Inferences , 1971 .

[57]  Jonathan Evans,et al.  Human Reasoning: The Psychology Of Deduction , 1993 .

[58]  Atsushi Shimojima,et al.  An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning , 2008, Diagrams.

[59]  Leonhard Euler,et al.  Lettres à une princesse d'Allemagne sur divers sujets de physique & de philosophie , 1812 .

[60]  Keith Stenning,et al.  A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning , 2004 .

[61]  Jean-Baptiste Van der Henst,et al.  The Interpretation of Classically Quantified Sentences: A Set-Theoretic Approach , 2006, Cogn. Sci..

[62]  Yvonne Rogers,et al.  External cognition: how do graphical representations work? , 1996, Int. J. Hum. Comput. Stud..

[63]  Russell Revlin,et al.  Deduction with Euler Circles: Diagrams That Hurt , 2006, Diagrams.

[64]  Dag Westerstaåhl,et al.  Quantifiers in Formal and Natural Languages , 1989 .

[65]  Louis S. Dickstein,et al.  The effect of figure on syllogistic reasoning , 1978 .

[66]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[67]  P. Greenfield,et al.  Strategies used to combine seriated cups by chimpanzees (Pan troglodytes), bonobos (Pan paniscus), and capuchins (Cebus apella). , 1999, Journal of comparative psychology.

[68]  John Lee,et al.  Theories of Diagrammatic Reasoning: Distinguishing Component Problems , 1998, Minds and Machines.

[69]  Morten Hertzum,et al.  Browsing and querying in online documentation: a study of user interfaces and the interaction process , 1996, TCHI.

[70]  L. Couturat,et al.  Opuscules et fragments Inédits : extraits des manuscrits de la bibliothéque royale de Hanovre , 1988 .

[71]  Koji Mineshima,et al.  Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations , 2011, CogSci.

[72]  Leonidas A A Doumas,et al.  A theory of the discovery and predication of relational concepts. , 2008, Psychological review.

[73]  J. Lambert,et al.  Neues Organon oder Gedanken über die Erforschung und Bezeichnung des Wahren und dessen Unterscheidung vom Irrtum und Schein , 1990 .

[74]  E. Saltzman,et al.  The development of rulebound strategies for manipulating seriated cups: A parallel between action and grammar , 1972 .

[75]  J. Deloache,et al.  The development of error correction strategies in young children's manipulative play. , 1985, Child development.

[76]  Keith Stenning,et al.  Human Reasoning and Cognitive Science , 2008 .

[77]  Peter C-H Why Diagrams Are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing , 2004 .

[78]  John Taylor,et al.  On Diagram Tokens and Types , 2002, Diagrams.

[79]  Barbara Tversky,et al.  Arrows in Comprehending and Producing Mechanical Diagrams , 2006, Cogn. Sci..

[80]  Peter Rodgers,et al.  A survey of Euler diagrams , 2014, J. Vis. Lang. Comput..

[81]  J. Barwise,et al.  Visual information and valid reasoning , 1991 .

[82]  P. Johnson-Laird,et al.  Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness , 1985 .

[83]  Francis Jeffry Pelletier,et al.  Representation and Inference for Natural Language: A First Course in Computational Semantics , 2005, Computational Linguistics.

[84]  P. Johnson-Laird,et al.  How Diagrams Can Improve Reasoning , 1993 .

[85]  Laurence R. Horn From if to iff: Conditional perfection as pragmatic strengthening , 2000 .

[86]  M. Hegarty Mechanical reasoning by mental simulation , 2004, Trends in Cognitive Sciences.

[87]  Jakub Szymanik,et al.  Comprehension of Simple Quantifiers: Empirical Evaluation of a Computational Model , 2010, Cogn. Sci..

[88]  Mike Dobson,et al.  Information enforcement and learning with interactive graphical systems , 1999 .

[89]  Russell Revlis,et al.  Two models of syllogistic reasoning: Feature selection and conversion , 1975 .

[90]  Marilyn Ford,et al.  Two modes of mental representation and problem solution in syllogistic reasoning , 1995, Cognition.

[91]  Koji Mineshima,et al.  Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design , 2008, Diagrams.

[92]  Gem Stapleton,et al.  Visualizing Sets: An Empirical Comparison of Diagram Types , 2014, Diagrams.

[93]  Oliver Lemon,et al.  On the Insufficiency of Linear Diagrams for Syllogisms , 1998, Notre Dame J. Formal Log..

[94]  K. Stenning Seeing Reason: Image and language in learning to think , 2002 .

[95]  J. MacFarlane Frege, Kant, and the Logic in Logicism , 2002 .

[96]  Oliver Lemon,et al.  Aligning Logical and Psychological Perspectives on Diagrammatic Reasoning , 2001, Artificial Intelligence Review.

[97]  Martha Kneale,et al.  The development of logic , 1963 .

[99]  G. Lakoff,et al.  Where mathematics comes from : how the embodied mind brings mathematics into being , 2002 .

[100]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[101]  Jon Oberlander,et al.  A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation , 1995, Cogn. Sci..