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 proofs | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesKoji Mineshima, Mitsuhiro Okada & Ryo Takemura (2012). A Diagrammatic Inference System with Euler Circles. Journal of Logic, Language and Information 21 (3):365-391.
Ryo Takemura (2013). Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization. Studia Logica 101 (1):157-191.
Corin Gurr, John Lee & Keith Stenning (1998). Theories of Diagrammatic Reasoning: Distinguishing Component Problems. Minds and Machines 8 (4):533-557.
Zenon Kulpa (2009). Main Problems of Diagrammatic Reasoning. Part I: The Generalization Problem. Foundations of Science 14 (1-2):75-96.
Brice Halimi (2012). Diagrams as Sketches. Synthese 186 (1):387-409.
Mateja Jamnik, Alan Bundy & Ian Green (1999). On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information 8 (3):297-321.
Oleg Prosorov (2012). Philosophy, Mathematics and Linguistics: Aspects of Interaction. Steklov Institute of Mathematics.
Annalisa Coliva (2012). Human Diagrammatic Reasoning and Seeing-As. Synthese 186 (1):121-148.
Iulian D. Toader (2004). On Frege's Logical Diagrams. In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer.
Balakrishnan Chandrasekaran, Bonny Banerjee, Unmesh Kurup & Omkar Lele (2011). Augmenting Cognitive Architectures to Support Diagrammatic Imagination. Topics in Cognitive Science 3 (4):760-777.
Nathaniel Miller (2006). A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System. Journal of Philosophical Logic 35 (3):289 - 291.
Shannon Dea (2006). "Merely a Veil Over the Living Thought": Mathematics and Logic in Peirce's Forgotten Spinoza Review. Transactions of the Charles S. Peirce Society 42 (4):501-517.
Atsushi Shimojima & Yasuhiro Katagiri (2013). An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning. Cognitive Science 37 (2):211-254.
Analytics
Monthly downloads |
Added to index2012-03-20Total downloads18 ( #67,622 of 549,196 )Recent downloads (6 months)3 ( #25,790 of 549,196 )How can I increase my downloads? |
My notes
Discussion
