The central idea of Lakatos’ quasi-empiricism view of the philosophy of mathematics is that truth values are transmitted bottom-up, but only falsity can be transmitted from basic statements. As it is falsity but not truth that flows bottom-up, Lakatos emphasizes that observation and induction play no role in both conjecturing and proving phases in mathematics. In this paper, I argue that Lakatos’ view that one cannot obtain primitive conjectures by induction contradicts the history of mathematics, and therefore undermines his quasi-empiricism (...) theory. I argue that his misconception of induction causes this view of Lakatos. Finally, I propose that Wittgenstein’s view that “mathematics does have a grammatical nature, but it is also rooted in empirical regularities” suggests the possibility to improve Lakatos’ view by maintaining his quasi-empiricism while accepting the role induction plays in the conjecturing phase. (shrink)

Given the plethora of competing logical theories of validity available, it’s understandable that there has been a marked increase in interest in logical epistemology within the literature. If we are to choose between these logical theories, we require a good understanding of the suitable criteria we ought to judge according to. However, so far there’s been a lack of appreciation of how logical practice could support an epistemology of logic. This paper aims to correct that error, by arguing for a (...) practice-based approach to logical epistemology. By looking at the types of evidence logicians actually appeal to in attempting to support their theories, we can provide a more detailed and realistic picture of logical epistemology. To demonstrate the fruitfulness of a practice-based approach, we look to a particular case of logical argumentation—the dialetheist’s arguments based upon the self-referential paradoxes—and show that the evidence appealed to support a particular theory of logical epistemology, logical abductivism. (shrink)

This contribution defends two claims. The first is about why thought experiments are so relevant and powerful in mathematics. Heuristics and proof are not strictly and, therefore, the relevance of thought experiments is not contained to heuristics. The main argument is based on a semiotic analysis of how mathematics works with signs. Seen in this way, formal symbols do not eliminate thought experiments (replacing them by something rigorous), but rather provide a new stage for them. The formal world resembles the (...) empirical world in that it calls for exploration and offers surprises. This presents a major reason why thought experiments occur both in empirical sciences and in mathematics. The second claim is about a looming aporia that signals the limitation of thought experiments. This aporia arises when mathematical arguments cease to be fully accessible, thus violating a precondition for experimenting in thought. The contribution focuses on the work of Vladimir Voevodsky (1966–2017, Fields medalist in 2002) who argued that even very pure branches of mathematics cannot avoid inaccessibility of proof. Furthermore, he suggested that computer verification is a feasible path forward, but only if proof is not modeled in terms of formal logic. (shrink)

Is there anything like an experiment in mathematics? And if this is the case, what would distinguish a mathematical experiment from a mathematical thought experiment? In the present paper, a framework for the practice of mathematics will be put forward, which will consider mathematics as an experimenting activity and as a proving activity. The relationship between these two activities will be explored and more importantly a distinction between thought-experiments, real experiments, quasi experiments and proofs in pure mathematics will be provided. (...) To do so, three examples of experimenting with triangles will be introduced and discussed. (shrink)

Since the beginning of the twentieth century, prominent authors including Jean Piaget have drawn attention to Edmond Goblot’s account of mathematical thought experiments. But his contribution to today’s debate has been neglected so far. The main goal of this article is to reconstruct and discuss Goblot’s account of logical operations (the term he used for thought experiments in mathematics) and its interpretation by Piaget against the theoretical background of two open questions in today’s debate: (1) the relationship between empirical and (...) mathematical thought experiments and (2) the question of whether mathematical thought experiments can play a justificatory function in proofs. The main corollary of this analysis is that Piaget’s interpretation is seriously flawed and insufficiently appreciative of important theses of Goblot’s account. First, Goblot can be easily defended against Piaget’s main criticism, and second, Goblot developed ideas about mathematical thought experiments that still deserve attention. (shrink)

Since the beginning of the twentieth century, prominent authors including Jean Piaget have drawn attention to Edmond Goblot’s account of mathematical thought experiments. But his contribution to today’s debate has been neglected so far. The main goal of this article is to reconstruct and discuss Goblot’s account of logical operations (the term he used for thought experiments in mathematics) and its interpretation by Piaget against the theoretical background of two open questions in today’s debate: (1) the relationship between empirical and (...) mathematical thought experiments and (2) the question of whether mathematical thought experiments can play a justificatory function in proofs. The main corollary of this analysis is that Piaget’s interpretation is seriously flawed and insufficiently appreciative of important theses of Goblot’s account. First, Goblot can be easily defended against Piaget’s main criticism, and second, Goblot developed ideas about mathematical thought experiments that still deserve attention. (shrink)

With reference to an already existing and relatively widespread use of the expression in question, mathematical “thought experiments” (“TEs”) involve mathematical reasoning in which visualisation plays a relatively more important role. But to ensure an unambiguous and consistent use of the term, certain conditions have to be met: (1) Contrary to what has happened so far in the literature, the distinction between logical-formal thinking and experimental-operational thinking must not be ignored; (2) The separation between the context of discovery and the (...) context of justification is to be rejected, at least in one of the main senses in which it was defended by the logical empiricists and Popper (this excludes any position which, ascribing to mathematical TEs only a heuristic role, regards them an intermediate step to attain more traditional forms of rigour); (3) The distinction between mathematical TEs and formal proofs must be regarded as one of degree, and not as a qualitative one, although this distinction may be used in a de facto way for particular or local purposes. (shrink)