Review of Philosophy and Psychology 6 (1):49-67 (2015)
| Authors |
|
| 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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 2002 - Cambridge University Press.
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
Notational Differences.Francesco Bellucci & Ahti-Veikko Pietarinen - 2020 - Acta Analytica 35 (2):289-314.
Similar books and articles
Deduction as Reduction, From a Categorical Point of View.Dominique Duval - 2013 - Logica Universalis 7 (3):275-289.
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.
The Forgotten Individual: Diagrammatic Reasoning in Mathematics.Sun-Joo Shin - 2012 - Synthese 186 (1):149-168.
Roles of Diagrammatic Information for the Discovery of Geometrical Theorems.Tsuyoshi Murata - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 235--238.
Theories of Diagrammatic Reasoning: Distinguishing Component Problems. [REVIEW]Corin Gurr, John Lee & Keith Stenning - 1998 - Minds and Machines 8 (4):533-557.
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.
Aligning Logical and Psychological Perspectives on Diagrammatic Reasoning.Keith Stenning & Oliver Lemon - 2001 - Artificial Intelligence Review 15:29--62.
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 )
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
