Switch to: Citations

References in:

Can diagrams have epistemic value? The case of Euclid

In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 14--17 (2004)

Add references

You must login to add references.
  1. Logical reasoning with diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - New York: Oxford University Press.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Mathematical Reasoning with Diagrams: From Intuition to Automation.Mateja Jamnik - 2001 - Stanford Univ Center for the Study.
    Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system—called Diamond—which allows users to prove arithmetical theorems using diagrams.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Computers, visualization, and the nature of reasoning.Jon Barwise & John Etchemendy - 1998 - In Terrell Ward Bynum & James Moor (eds.), The Digital Phoenix: How Computers are Changing Philosophy. Cambridge: Blackwell. pp. 93--116.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On the Efficacy of Representation.Atsushi Shimojima - 1996 - Dissertation, Indiana University
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations