Filters

Topics (hold ctrl / ⌘ to select more or unselect)

Languages (hold ctrl / ⌘ to select more or unselect)

Traditions (hold ctrl / ⌘ to select more or unselect)

Times

-

Medium:

Recommended use:

Difficulty:


Full textRead freeBlue print
De Toffoli, Silvia, Giardino, Valeria. An Inquiry into the Practice of Proving in Low-Dimensional Topology
2015, in From Logic to Practice, Gabriele Lolli, Giorgio Venturi and Marco Panza (eds.). Springer International Publishing.
Topics: Logic and Mathematics
Keywords: manipulative imagination; topological pictures
Traditions: European; Formal
Languages: English

Expand entry

Added by: Fenner Stanley Tanswell
Abstract:
The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology.

Comment (from this Blueprint): De Toffoli and Giardino look at proof practices in low-dimensional topology, and especially a proof by Rolfsen that relies on epistemic actions on a diagrammatic representation. They make the case that the many diagrams are used to trigger our manipulative imagination to make inferential moves which cannot be reduced to formal statements without loss of intuition.

Difficulty: Intermediate-Advanced
Recommended use: Specialised

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format

Share on Facebook Share on LinkedIn Share by Email
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!