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. (shrink)

Philosophy of science in the twentieth century tends to emphasize either the logic of science (e.g., Popper and Hempel on explanation, confirmation, etc.) or its history/sociology (e.g., Kuhn on revolutions, holism, etc.). This dichotomy, however, is neither exhaustive nor exclusive. Questions regarding scientific understanding and mathematical explanation do not fit neatly inside either category, and addressing them has drawn from both logic and history. Additionally, interest in scientific and mathematical practice has led to work that falls between the two sides (...) of the dichotomy. We might call these less narrow approaches ‘holistic’. Prior to 1918, work in the philosophy of science was also somewhat more holistic and interdisciplinary in nature. An exemplar of this type of approach is found in the work of Henri Poincaré. In this paper I will consider one particularly flexible tool Poincaré uses throughout his philosophical writings about science and mathematics: the tool of the unifying concept. More specifically, I will focus on one unifying concept: that of structure. I aim to show first, that structure is a unifying scientific concept for Poincaré; second, a focus on structure helps explain his scientific and mathematical success; lastly, this case study may provide a model for how unifying concepts can facilitate progress in mathematics and science. (shrink)

This book explores the interplay between logic and science, describing new trends, new issues and potential research developments.