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)

This chapter gives a detailed study of diagram-based reasoning in Euclidean plane geometry (Books I, III), as well as an exploration how to characterise a geometric practice. First, an account is given of diagram attribution: basic geometrical claims are classified as exact (equalities, proportionalities) or co-exact (containments, contiguities); exact claims may only be inferred from prior entries in the demonstration text, but co-exact claims may be asserted based on what is seen in the diagram. Diagram control by constructions is necessary (...) for this to work. Case-branching occurs when a construction renders a diagram un-representative. The roles of diagrams in reductio arguments, and of objection in probing a demonstration, are discussed. (shrink)

By the middle of the seventeenth century we that find that algebra is able to offer proofs in its own right. That is, by that time algebraic argument had achieved the status of proof. How did this transformation come about?

Here the author of How to Solve It explains how to become a "good guesser." Marked by G. Polya's simple, energetic prose and use of clever examples from a wide range of human activities, this two-volume work explores techniques of guessing, inductive reasoning, and reasoning by analogy, and the role they play in the most rigorous of deductive disciplines.

Of course, words aren’t magic. Neither are sextants, compasses, maps, slide rules and all the other paraphenelia which have accreted around the basic biological brains of homo sapiens. In the case of these other tools and props, however, it is transparently clear that they function so as to either carry out or to facilitate computational operations important to various human projects. The slide rule transforms complex mathematical problems (ones that would baffle or tax the unaided subject) into simple tasks of (...) perceptual recognition. The map provides geographical information in a format well-suited to aid complex planning and strategic military operations. The compass gathers and displays a kind of information that (most) unaided human subjects do not seem to command. These various tools and props thus act to generate information, or to store it, or to transform it, or some combination of the three. In so doing, they impact our individual and collective problem- solving capacities in much the same dramatic ways as various software packages impact the performance of a simple pc. (shrink)

We present data and argument to show that in Tetris - a real-time interactive video game - certain cognitive and perceptual problems are more quickly, easily, and reliably solved by performing actions in the world rather than by performing computational actions in the head alone. We have found that some translations and rotations are best understood as using the world to improve cognition. These actions are not used to implement a plan, or to implement a reaction; they are used to (...) change the world in order to simplify the problem-solving task. Thus, we distinguish pragmatic actions ñ actions performed to bring one physically closer to a goal - from epistemic actions - actions performed to uncover information that is hidden or hard to compute mentally. To illustrate the need for epistemic actions, we first develop a standard information-processing model of Tetris-cognition, and show that it cannot explain performance data from human players of the game - even when we relax the assumption of fully sequential processing. Standard models disregard many actions taken by players because they appear unmotivated or superfluous. However, we describe many such actions that are actually taken by players that are far from superfluous, and that play valuable roles in improving human performance. We argue that traditional accounts are limited because they regard action as having a single function: to change the world. By recognizing a second function of action - an epistemic function - we can explain many of the actions that a traditional model cannot. Although, our argument is supported by numerous examples specifically from Tetris, we outline how the one category of epistemic action can be incorporated into theories of action more generally. (shrink)

In line with the emerging field of philosophy of mathematical practice, this book pushes the philosophy of mathematics away from questions about the reality and truth of mathematical entities and statements and toward a focus on what mathematicians actually do—and how that evolves and changes over time. How do new mathematical entities come to be? What internal, natural, cognitive, and social constraints shape mathematical cultures? How do mathematical signs form and reform their meanings? How can we model the cognitive processes (...) at play in mathematical evolution? And how does mathematics tie together ideas, reality, and applications? -/- Roi Wagner uniquely combines philosophical, historical, and cognitive studies to paint a fully rounded image of mathematics not as an absolute ideal but as a human endeavor that takes shape in specific social and institutional contexts. The book builds on ancient, medieval, and modern case studies to confront philosophical reconstructions and cutting-edge cognitive theories. It focuses on the contingent semiotic and interpretive dimensions of mathematical practice, rather than on mathematics' claim to universal or fundamental truths, in order to explore not only what mathematics is, but also what it could be. Along the way, Wagner challenges conventional views that mathematical signs represent fixed, ideal entities; that mathematical cognition is a rigid transfer of inferences between formal domains; and that mathematics’ exceptional consensus is due to the subject’s underlying reality. -/- The result is a revisionist account of mathematical philosophy that will interest mathematicians, philosophers, and historians of science alike. (shrink)

This paper investigates the role of pictures in mathematics in the particular case of Cayley graphs—the graphic representations of groups. I shall argue that their principal function in that theory—to provide insight into the abstract structure of groups—is performed employing their visual aspect. I suggest that the application of a visual graph theory in the purely non-visual theory of groups resulted in a new effective approach in which pictures have an essential role. Cayley graphs were initially developed as exact mathematical (...) constructions. Therefore, they are legitimate components of the theory (combinatorial and geometric group theory) and the pictures of Cayley graphs are a part of practical mathematical procedures. (shrink)