We define a "representation" as an external object with which we denote another object and present information about it to ourselves or others. All the following objects count as representations in our sense: a set of Japanese declarative sentences describing Mount Fuji, a time table of the Boston subway system, a geometry diagram used to demonstrate the Pythagorean theorem, a state map of the United States, a relief map of a Rocky terrain, a ball-and-stick model of a molecular, and a (...) scale model of the Rockefeller center. ;The dissertation studies how different modes of presenting information exhibit different degrees and kinds of efficacy as an aid for human reasoning. The main hypothesis, which we dub the "Constraint Hypothesis," is that the variance in inferential potentials of different modes of representation is largely attributable to particular ways in which structural constraints on representations match and mismatch with constraints on their targets. The hypothesis is intended to provide a definite perspective for the general study of information representation, which is gradually taking the shape of an independent branch of science. ;As the basis for our analysis, we adopt the mathematical framework of the "qualitative information theory" being developed by Dretske, Barwise, Perry, and Seligman. We analyze several key properties that account for the efficacy of particular modes of representation, including the capacity of providing "free rides" in inference, the property of being over-specific in representing information, and the property of being self-consistent in information content. We also propose an analysis of the conceptual boundary between the "linguistic" modes and the "graphical" modes of representation, and explain some of the important differences in their cognitive potentials. All of these analyses crucially refer to structural constraints on representations and their match and mismatch with constraints on the targets, and hence lend piecemeal yet sturdy supports to our main hypothesis. (shrink)

One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore (...) the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information. (shrink)