How Diagrams Can Support Syllogistic Reasoning: An Experimental Study
暂无分享,去创建一个
[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..