Cover
Table of Contents
1.1 General Problem
1.2 Origin of This Book
1.3 Main Theme 1: Free Rides
1.4 Main Theme 2: Over-Specificity
1.5 Main Theme 3: Consistency Check
1.6 Main Theme 4: Derivative Meaning
1.7 Organization of This Book
1.8 The Reach of This Book
2.1.1 Hohauser (1982): Memory Maps
2.1.2 Barwise & Etchemendy (1991): Hyperproof Diagrams
2.1.3 Funt (1980): Block Drawings
2.1.4 Larkin & Simon (1987): Geometry Diagrams
2.1.5 Schön (1983): Design Sketches
2.1.7 Further Examples: Euler Diagrams
2.2.1 Representations and Source Types
2.2.2 The Representation Relation
2.2.3 Represented Objects and Target Types
2.2.4 The Indication Relation
2.2.5 Two-Tier Semantics
2.2.6 Constraints
2.3.1 Consequence Tracking
2.3.2 Application of the Notion to Specific Examples
2.4.1 Question: Who Does the Inference, Then?
2.4.2 Question: Is It Really Free?
2.4.3 Question: Is It Always Advantageous?
2.4.4 Question: Possibility of Invalid Rides?
2.5 Chapter Takeaways
3.1.1 Hohauser (1982): Memory Maps
3.1.2 Barwise & Etchemendy (1994): Hyperproof Diagrams
3.1.3 Barwise & Etchemendy (1991): Geometry Diagrams
3.1.5 Further Example: Euler Diagrams (Case 2)
3.2.1 Projection of Disjunctive Constraints
3.2.2 Application of the Notion to Specific Examples
3.3.1 Question: Isn't It an Artifact?
3.3.2 Question: Are Free Rides and Over-Specificity So Different?
3.4 Chapter Takeaways
4.1.1 Schön (1983): Cross-Section Diagrams
4.1.2 Barwise and Etchemendy (1994): Hyperproof Diagrams
4.1.3 Gelernter (1959): Geometry Diagrams
4.1.4 Barwise and Etchemendy (1995): Euler Diagrams
4.1.5 Further Examples: Bar Charts
4.2.1 Inconsistency Tracking
4.2.2 Application to Specific Cases
4.3.1 Question: Are They Really Auto-Consistent?
4.3.2 Question: Difference from the Standard Counter-Example Method?
4.3.3 Question: Unsoundness in Inconsistency Tracking?
4.3.4 Question: Diagrammatic Proof of Inconsistency?
4.4 Chapter Takeaways
5.1.1 Tufte (1983): Scatter Plots
5.1.2 Kosslyn (1994): Line Graphs
5.1.3 Pinker (1990): Bar Charts
5.1.4 Kinnear and Wood (1997): Contour Maps
5.1.5 Tufte (1983): Data Maps
5.1.6 Olivier (2001): Node-Edge Graphs
5.1.7 Further Examples: Round-Robin Tables
5.2.1 Abstraction Tracking
5.2.2 Application to Specific Cases
5.3.1 Question: Differences from Secondary Notations?
5.3.2 Question: Difference from Graphical Implicatures?
5.3.3 Question: Relevance to Cognitive Potentials?
5.3.4 Question: Too Many Cases of Abstraction Tracking?
5.4 Chapter Takeaways
6.1 Envisaging
6.2 Transfer of Spatial Analysis
6.3 Aspect Shifting
6.4 Law-Encoding Diagrams
6.5 Chapter Takeaways
7.1 Commonality of the Four Logical Properties
7.2 Implications of the Commonality
Appendix A: Additional Analyses of Free Ride Potentials
Appendix B: Analysis of a Derivative Meaning with Round-Robin Tables
References
Index
Back Cover