Abstract
This chapter addresses Lakatos’ version of constructivism. Lakatos shows how mathematical notions, theorems and proofs become constructed through a dialogical process. He illustrates how the logic of mathematical discovery operates as an interactive process within the mathematical community. In opposition to logical positivism, Popper, who inspired Lakatos profoundly, moved from being interested in verification to being interested in falsification. In parallel with this, he also turned his attention from “the context of justification” to “the contexts of discovery.” This way scepticism and fallibilism come into focus. Lakatos reinterprets Popper’s ideas, and this way he formulates fallibilism as a position in the philosophy of mathematics.
Lakatos introduces a neo-empiricist perspective on mathematics, which he refers to as quasi-empiricism in the sense that mathematics to some extent resembles natural sciences. Mathematics is about concept development, and it is driven forward by particular observations concerning conceptual connections. With reference to Euler’s polyhedron theorem, Lakatos provides a detailed specification of how this development takes place, which he condenses in terms of the method of proofs and refutations. This method includes many features, as for instance the emergence of proof-generated concepts. Lakatos finds that mathematical statements have their origin in experience, but his naturalism differs from classic versions, as for instance suggested by Mill. Instead of searching for an empirical basis for mathematical notions and theorems in terms of sensory experiences, Lakatos considers the basis of mathematical reasoning to be quasi-empirical objects.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Lakatos also refers to the scepticist programme as a “Popperian critical fallibilism.” However, we find that this labelling could be a bit misleading as the programme includes a good deal of Lakatos’ own philosophy.
- 2.
Lakatos characterised the method of proofs and refutations in several steps. The first steps define what he refers to as the method of proof and refutation, and when the full characteristic is provided, he uses plurals and talks about proofs and refutations. Here, we immediately talk about the method of proofs and refutations.
References
Lakatos, I. (1976). Proofs and refutations. Cambridge, UK: Cambridge University Press.
Lakatos, I. (1978). Mathematics, science and epistemology. Philosophical Papers. Cambridge, UK: Cambridge University Press.
Popper, K. R. (1965). The logic of scientific discovery. New York, NY: Harper & Row.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Ravn, O., Skovsmose, O. (2019). Mathematics as Dialogue. In: Connecting Humans to Equations . History of Mathematics Education. Springer, Cham. https://doi.org/10.1007/978-3-030-01337-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-01337-0_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01336-3
Online ISBN: 978-3-030-01337-0
eBook Packages: EducationEducation (R0)