Authors
Sun-Joo Shin
Yale University
Abstract
Deduction is decisive but nonetheless mysterious, as I argue in the introduction. I identify the mystery of deduction as surprise-effect and demonstration-difficulty. The first section delves into how the mystery of deduction is connected with the representation of information and lays the groundwork for our further discussions of various kinds of representation. The second and third sections, respectively, present a case study for the comparison between symbolic and diagrammatic representation systems in terms of how two aspects of the mystery of deduction – surprise-effect and demonstration-difficulty – are handled. The fourth section illustrates several well-known examples to show how diagrammatic representation suggests more clues to the mystery of deduction than symbolic representation and suggests some conjectures and further work
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s13164-014-0212-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,079
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Logical Reasoning with Diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - Oxford, England: Oxford University Press.
Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.

View all 9 references / Add more references

Citations of this work BETA

What Are Mathematical Diagrams?Silvia De Toffoli - 2022 - Synthese 200 (2):1-29.
Diagrams.Sun-Joo Shin - 2008 - Stanford Encyclopedia of Philosophy.
Notational Differences.Francesco Bellucci & Ahti-Veikko Pietarinen - 2020 - Acta Analytica 35 (2):289-314.

Add more citations

Similar books and articles

Peirce's Diagrammatic Logic in IF Perspective.Ahti-Veikko Pietarinen - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 97--111.
Predictors of Success in Diagrammatic Problem Solving.Daesub Yoon & N. Hari Narayanan - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 301--315.
Making TRACS: The Diagrammatic Design of a Double-Sided Deck.Kevin Burns - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 341--343.
Inter-Diagrammatic Reasoning and Digital Geometry.Robert McCartney & Passent El-Kafrawy - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 199--215.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
Dynamic Interpretation and HOARE Deduction.Jan Eijck & Fer-Jan Vries - 1992 - Journal of Logic, Language and Information 1 (1):1-44.

Analytics

Added to PP index
2015-01-22

Total views
55 ( #206,457 of 2,506,078 )

Recent downloads (6 months)
1 ( #416,984 of 2,506,078 )

How can I increase my downloads?

Downloads

My notes