# An Inquiry into the Practice of Proving in Low-Dimensional Topology

In Gabriele Lolli, Giorgio Venturi & Marco Panza (eds.),

*From Logic to Practice*. Zurich, Switzerland: Springer International Publishing. pp. 315-336 (2015)**Abstract**

The aim of this article is to investigate speciﬁc aspects connected with visualization in the practice of a mathematical subﬁeld: 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, justiﬁcations 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 diﬀerent pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a speciﬁc 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.

**Categories**

**PhilPapers/Archive ID**

DETAII

**Revision history**

Archival date: 2017-08-23

View upload history

View upload history

References found in this work BETA

On Distinguishing Epistemic From Pragmatic Action.David Kirsh & Paul Maglio - 1994 -

*Cognitive Science*18 (4):513-49.The Euclidean Diagram.Manders, Kenneth

Visual Thinking in Mathematics. [REVIEW]Giaquinto, Marcus

The Philosophy of Mathematical Practice.Mancosu, Paolo

View all 12 references / Add more references

Citations of this work BETA

‘Chasing’ the Diagram—the Use of Visualizations in Algebraic Reasoning.de Toffoli, Silvia

From Euclidean Geometry to Knots and Nets.Larvor, Brendan

**Added to PP index**

2017-08-23

**Total views**

211 ( #16,872 of 43,840 )

**Recent downloads (6 months)**

83 ( #6,798 of 43,840 )

How can I increase my downloads?

**Downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks to external links.*