I investigate the construction of the mathematical concept of quaternion from a methodological and heuristic viewpoint to examine what we can learn from it for the study of the advancement of mathematical knowledge. I will look, in particular, at the inferential microstructures that shape this construction, that is, the study of both the very first, ampliative inferential steps, and their tentative outcomes—i.e. small ‘structures’ such as provisional entities and relations. I discuss how this paradigmatic case study supports the recent approaches (...) to problem-solving and philosophy of mathematics, and how it suggests refinements of them. In more detail, I argue that the inferential micro-structures enable us to shed more light on the informal, heuristic side of mathematical practice, and its inferential and rational procedures. I show how they enable the generation of a problem, the construction of its conditions of solvability, the search for a hypothesis to solve it, and how these processes are representation-sensitive. On this base, I argue that: 1.the recent development of the philosophy of mathematics was right in moving from Lakatos’ initial investigation of the formal side of a mathematical proof to the investigation of the semi-formal, heuristic side of the mathematical practice as a way of understanding mathematical knowledge and its advancement. 2.The investigation of mathematical practice and discovery can be improved by a finer-grained study of the inferential micro-structures that are built during mathematical problem-solving. (shrink)

I examine the way a relevant conceptual novelty in mathematics, that is, the notion of group, has been constructed in order to show the kinds of heuristic reasoning that enabled its manufacturing. To this end, I examine salient aspects of the works of Lagrange, Cauchy, Galois and Cayley. In more detail, I examine the seminal idea resulting from Lagrange’s heuristics and how Cauchy, Galois and Cayley develop it. This analysis shows us how new mathematical entities are generated, and also how (...) what counts as a solution to a problem is shaped and changed. Finally, I argue that this case study shows us that we have to study inferential micro-structures, that is, the ways similarities and regularities are sought, in order to understand how theoretical novelty is constructed and heuristic reasoning is put forward. (shrink)

I argue that mathematical representations can have heuristic power since their construction can be ampliative. To this end, I examine how a representation introduces elements and properties into the represented object that it does not contain at the beginning of its construction, and how it guides the manipulations of the represented object in ways that restructure its components by gradually adding new pieces of information to produce a hypothesis in order to solve a problem.In addition, I defend an ‘inferential’ approach (...) to the heuristic power of representations by arguing that these representations draw on ampliative inferences such as analogies and inductions. In effect, in order to construct a representation, we have to ‘assimilate’ diverse things, and this requires identifying similarities between them. These similarities form the basis for ampliative inferences that gradually build hypotheses to solve a problem.To support my thesis, I analyse two examples. The first one is intra-field, that is, the construction of an algebraic representation of 3-manifolds; the second is inter-fields, that is, the construction of a topological representation of DNA supercoiling. (shrink)