The forgotten individual: diagrammatic reasoning in mathematics
Synthese 186 (1):149-168 (2012)
Abstract
Parallelism has been drawn between modes of representation and problem-sloving processes: Diagrams are more useful for brainstorming while symbolic representation is more welcomed in a formal proof. The paper gets to the root of this clear-cut dualistic picture and argues that the strength of diagrammatic reasoning in the brainstorming process does not have to be abandoned at the stage of proof, but instead should be appreciated and could be preserved in mathematical proofsAuthor's Profile
DOI
10.1007/s11229-012-0075-1
My notes
Similar books and articles
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.
Theories of diagrammatic reasoning: Distinguishing component problems. [REVIEW]Corin Gurr, John Lee & Keith Stenning - 1998 - Minds and Machines 8 (4):533-557.
Aligning logical and psychological perspectives on diagrammatic reasoning.Keith Stenning & Oliver Lemon - 2001 - Artificial Intelligence Review 15:29--62.
Main problems of diagrammatic reasoning. Part I: The generalization problem. [REVIEW]Zenon Kulpa - 2009 - Foundations of Science 14 (1-2):75-96.
On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Topologies and Sheaves Appeared as Syntax and Semantics of Natural Language.Oleg Prosorov - 2012 - Steklov Institute of Mathematics.
On Frege's Logical Diagrams.Iulian D. Toader - 2004 - In Diagrammatic Representation and Inference. Springer: Lecture Notes in Computer Science, vol. 2980,. pp. 22-25.
Augmenting Cognitive Architectures to Support Diagrammatic Imagination.Balakrishnan Chandrasekaran, Bonny Banerjee, Unmesh Kurup & Omkar Lele - 2011 - Topics in Cognitive Science 3 (4):760-777.
A Brief Proof of the Full Completeness of Shin’s Venn Diagram Proof System.Nathaniel Miller - 2006 - Journal of Philosophical Logic 35 (3):289 - 291.
"Merely a veil over the living thought": Mathematics and logic in Peirce's forgotten Spinoza review.Shannon Dea - 2006 - Transactions of the Charles S. Peirce Society 42 (4):501-517.
The Tinctures and Implicit Quantification over Worlds.Jay Zeman - 1997 - In Paul Forster & Jacqueline Brunning (eds.), The Rule of Reason: The Philosophy of C.S. Peirce. University of Toronto Press. pp. 96-119.
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning.Atsushi Shimojima & Yasuhiro Katagiri - 2013 - Cognitive Science 37 (2):211-254.
Analytics
Added to PP
2012-03-20
Downloads
98 (#128,163)
6 months
3 (#227,700)
2012-03-20
Downloads
98 (#128,163)
6 months
3 (#227,700)
Historical graph of downloads
Author's Profile
Citations of this work
Bowtie Structures, Pathway Diagrams, and Topological Explanation.Nicholaos Jones - 2014 - Erkenntnis 79 (5):1135-1155.
A fresh look at research strategies in computational cognitive science: The case of enculturated mathematical problem solving.Regina E. Fabry & Markus Pantsar - 2019 - Synthese 198 (4):3221-3263.
Quotation, demonstration, and iconicity.Kathryn Davidson - 2015 - Linguistics and Philosophy 38 (6):477-520.
The eco-cognitive model of abduction II.Lorenzo Magnani - 2016 - Journal of Applied Logic 15:94-129.
References found in this work
Logical Reasoning with Diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - Oxford, England: Oxford University Press.
The Foundations of Geometry.David Hilbert - 1899 - Open Court Company (This Edition Published 1921).
