Skip to main content
Log in

In search of \(\aleph _{0}\): how infinity can be created

  • S.I.: Infinity
  • Published:
Synthese Aims and scope Submit manuscript

Abstract

In this paper I develop a philosophical account of actual mathematical infinity that does not demand ontologically or epistemologically problematic assumptions. The account is based on a simple metaphor in which we think of indefinitely continuing processes as defining objects. It is shown that such a metaphor is valid in terms of mathematical practice, as well as in line with empirical data on arithmetical cognition.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. Physics 208a6.

  2. Historically, the most famous empiricist account of mathematics is Mill (1843) System of Logic.

  3. For more extensive information about the state of empirical study of numerical cognition, Nieder (2011), Dehaene (2011) and Dehaene and Brannon (2011) are good places to start. For a more detailed philosophical interpretation of the empirical results, see Pantsar (2014).

  4. It has been suggested that subitizing and the ANS could be part of the same ability, since ANS allows accurate estimation of small quantities. Expirements show, however, that subitizing and ANS have different characteristics, thus supporting the idea that they are separate systems (Revkin et al. 2008).

  5. This account is developed in more detail in Pantsar (2014).

  6. Of course one important question to ask is whether the results concerning monkeys can be applied to the human brain. There is a lot of evidence of this. The same areas in the human brain activate as in monkeys (Piazza et al. 2007) and college students have shown similar patterns as monkeys in number-ordering and quantity estimation tasks (Cantlon and Brannon 2006).

  7. In Nunez (2005) this account is amended and BMI is characterized as a “double-scope conceptual blend”, after Fauconnier and Turner (2002), This means that BMI has two input spaces, one coming from Completed Iterative Processes and the other from Endless Iterative Processes. The idea is that that both inputs are used in BMI to reach endless processes with final resultant states. Instead of Basic Metaphor of Infinity, in this updated account BMI stands for the Basic Mapping of Infinity. While the new account is conceptually more coherent, I do not see the difference as great enough to require independent treatment. Hence, in this paper I focus on the account of BMI given in Lakoff and Nunez (2000).

  8. The Conceptual Metaphor Theory has received a lot of criticism, as well. See Kovecses (2008) for a review of some of the most important problems and a proposal for a solution.

  9. In this regard, the closest relative to the approach here is probably the account of Sfard (1991), who also emphasizes the primary nature of processes in the process-objects duality.

  10. I want to thank the people at the Munich Center for Mathematical Philosophy at the Ludwig-Maximilians-Universität München, in particular Professor Hannes Leitgeb, for providing an inspiring environment for writing this paper. I’d also like to thank the participants of the conference “Foundations of the Formal Sciences VIII: History & Philosophy of Infinity” at the University of Cambridge for all their valuable comments and questions. I am in great debt to the two anonymous referees for suggestions on how to develop the paper. Finally, I want to thank the Academy of Finland for generously supporting this research.

References

  • Agrillo, C., Dadda, M., Serena, G., & Bisazza, A. (2009). Use of number by fish. PLoS One, 4(3), e4786.

    Article  Google Scholar 

  • Aristotle. (1999). Physics, translated by R. Waterfield (D. Bostock, Ed.). Oxford: Oxford University Press.

  • Beth, E. W., & Piaget, J. (1966). Mathematical epistemology and psychology. Dordrecht: Springer.

    Google Scholar 

  • Brannon, E., & Merritt, D. (2011). Evolutionary foundations of the approximate number system. In D. Brannon (Ed.), Space, time and number in the brain (pp. 107–122). London: Academic Press.

    Google Scholar 

  • Butterworth, B. (2010). Foundational numerical capacities and the origins of dyscalculia. Trends in Cognitive Sciences, 14, 534–541.

    Article  Google Scholar 

  • Cantor, G. (1892). Über eine elementare Frage der Mannigfaltigkeitslehre. Jahresbericht der Deutsche Mathematiker-Vereinigung 1890–1891, 1890–1891(1), 75–78.

    Google Scholar 

  • Cantor, G. (1932). LogischPhilosophische Abhandlung. In E. Zermelo (Ed.), Gesammelte Abhandlungen mathematischen und philosophischen inhalts. Hildesheim: Georg Olms Verlagsbuchhandlung.

    Google Scholar 

  • Cantlon, J. F., & Brannon, E. M. (2006). Shared system for ordering small and large numbers in monkeys and humans. Psychological Science, 17(5), 402–407.

    Article  Google Scholar 

  • Carey, S., & Sarnecka, B. W. (2006). The development of human conceptual representations. In M. Johnson & Y. Munakata (Eds.), Processes of change in brain and cognitive development: attention and performance (pp. 473–496). Oxford: Oxford University Press.

    Google Scholar 

  • Church, R., & Meck, W. (1984). The numerical attribute of stimuli. In H. L. Roitblat, T. G. Bever, & H. S. Terrace (Eds.), Animal cognition. Hillsdale, NJ: Erlbaum.

    Google Scholar 

  • Dawkins, P. C. (2014). How students interpret and enact inquiry-oriented defining practices in undergraduate real analysis. The Journal of Mathematical Behavior, 33, 88–105.

    Article  Google Scholar 

  • Dehaene, S. (2011). Number sense (2nd ed.). New York: Oxford University Press.

    Google Scholar 

  • Dehaene, S., & Brannon, E. (Eds.). (2011). Space, time and number in the brain. London: Academic Press.

  • Diester, I., & Nieder, A. (2007). Semantic associations between signs and numerical categories in the prefrontal cortex. PLoS Biology, 5, e294.

    Article  Google Scholar 

  • Dubinsky, E. (1991). Reflective abstraction in advanced mathematical thinking. In D. Tall (Ed.), Advanced mathematical thinking (pp. 95–126). Dordrecht: Springer.

    Google Scholar 

  • Dubinsky, E., & McDonald, M. (2002). APOS: A constructivist theory of learning in undergraduate mathematics education research. In D. Holton, M. Artugue, U. Kirchgräber, J. Hillel, M. Niss & A. Schoenfeld (Eds.), The teaching and learning of mathematics at university level (pp. 275–282). Rotterdam: Springer.

  • Dubinsky, E., Weller, K., McDonald, M. A., & Brown, A. (2005a). Some historical issues and paradoxes regarding the concept of infinity: An apos-based analysis: Part 1. Educational Studies in Mathematics, 58(3), 335–359.

    Article  Google Scholar 

  • Dubinsky, E., Weller, K., McDonald, M. A., & Brown, A. (2005b). Some historical issues and paradoxes regarding the concept of infinity: An APOS analysis: Part 2. Educational Studies in Mathematics, 60(2), 253–266.

    Article  Google Scholar 

  • Falk, R. (1994). Infinity: A cognitive challenge. Theory & Psychology, 4(1), 35–60.

    Article  Google Scholar 

  • Falk, R. (2010). The infinite challenge: Levels of conceiving the endlessness of numbers. Cognition and Instruction, 28(1), 1–38.

    Article  Google Scholar 

  • Fauconnier, G., & Turner, M. (2002). The way we think: Conceptual blending and the mind’s hidden complexities. New York: Basic Books.

    Google Scholar 

  • Feigenson, L. (2011). Objects, sets, and ensembles. In Dehaene & Brennan (Eds.), Space, time and number in the brain (Vol. 2001, pp. 13–22). London: Academic Press.

  • Frege, G. (1884). The Foundations of Arithmetic, (J.L. Austin, Trans.). Evanston, IL: Northwestern University Press 1980.

  • Gold, B. (2001). Review of where mathematics comes from, www.maa.org/reviews/wheremath.html.

  • Gray, E., & Tall, D. (1994). Duality, ambiguity and flexibility: A proceptual view of simple arithmetic. The Journal for Research in Mathematics Education, 26(2), 115–141.

    Google Scholar 

  • Henderson, D. (2002). Review of where mathematics comes from. Mathematical Intelligencer, 24(1), 75–78.

    Google Scholar 

  • Kitcher, P. (1983). The nature of mathematical knowledge. New York: Oxford University Press.

    Google Scholar 

  • Kline, M. (1973). Why Johnny can’t add: The failure of the new math. New York: St. Martin’s Press.

    Google Scholar 

  • Kövecses, Z. (2008). Conceptual metaphor theory some criticisms and alternative proposals. Annual Review of Cognitive Linguistics, 6(1), 168–184.

    Article  Google Scholar 

  • Kripke, S. (1982). Wittgenstein on rules and private language. Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Lagendoen, D. (2002). Review of where mathematics comes from. Language, 78(1), 170–172.

    Article  Google Scholar 

  • Lakoff, G. (1993). The contemporary theory of metaphor. Metaphor and Thought, 2, 202–251.

    Article  Google Scholar 

  • Lakoff, G., & Johnson, M. (1980). Conceptual metaphor in everyday language. The Journal of Philosophy, 7, 453–486.

    Article  Google Scholar 

  • Lakoff, G., & Núñez, R. (2000). Where mathematics comes from. New York: Basic Books.

    Google Scholar 

  • Lakoff, G. & Núñez, R. (2001). Reply to bonnie gold’s review. www.maa.org/reviews/wheremath_reply.html.

  • Mechner, F. (1958). Probability relations within response sequences under ratio reinforcement. Journal of Experimental Analysis of Behavior, 1, 109–121.

    Article  Google Scholar 

  • Mechner, F., & Guevrekian, L. (1962). Effects of deprivation upon counting and timing in rats. Journal of Experimental Analysis of Behavior, 5, 463–466.

    Article  Google Scholar 

  • Mill, J. S. (2002). A system of logic. Honolulu: University Press of the Pacific.

    Google Scholar 

  • Monaghan, J. (2001). Young peoples’ ideas of infinity. Educational Studies in Mathematics, 48(2–3), 239–257.

    Article  Google Scholar 

  • Nieder, A. (2011). The neural code for number. In D. Brannon (Ed.), Space, time and number in the brain (pp. 107–122). London: Academic Press.

    Google Scholar 

  • Nieder, A. (2012). Coding of abstract quantity by ‘number neurons’. Journal of Comparative Physiology A, 199(1), 1–16.

    Article  Google Scholar 

  • Nieder, A., et al. (2006). Temporal and spatial enumeration processes in the primate parietal cortex. Science, 313(2006), 1431–1435.

    Article  Google Scholar 

  • Nieder, A., & Dehaene, S. (2009). Representation of number in the brain. Annual Review of Neuroscience, 32, 185–208.

    Article  Google Scholar 

  • Núñez, R. (2005). Creating mathematical infinities: The beauty of transfinite cardinals. Journal of Pragmatics, 37, 1717–1741.

    Article  Google Scholar 

  • Pantsar, M. (2014). An empirically feasible approach to the epistemology of arithmetic. Synthese, 191(17), 4201–4229.

    Article  Google Scholar 

  • Pehkonen, E., Hannula, M. S., Maijala, H., & Soro, R. (2006). Infinity of numbers: How students understand it. International Group for the Psychology of Mathematics Education, 4, 345.

    Google Scholar 

  • Piaget, J. (1970). Genetic epistemology. New York: Columbia University Press.

    Google Scholar 

  • Piazza, M. (2010). Neurocognitive start-up tools for symbolic number representations. Trends in Cognitive Sciences, 14, 542–551.

    Article  Google Scholar 

  • Piazza, M., et al. (2007). A magnitude code common to numerosities and number symbols in human intraparietal cortex. Neuron, 53, 293–305.

    Article  Google Scholar 

  • Revkin, S. K., Piazza, M., Izard, V., Cohen, L., & Dehaene, S. (2008). Does subitizing reflect numerical estimation? Psychological Science, 19(6), 607–614.

    Article  Google Scholar 

  • Rumbaugh, D., Savage-Rumbaugh, S., & Hegel, M. (1987). Summation in the chimpanzee. Journal of Experimental Psychology: Animal Behavior Processes, 13, 107–115.

    Google Scholar 

  • Sfard, A. (1991). On the Dual nature of mathematical conceptions: Reflections on processes and objects as different sides of the same coin. Educational Studies in Mathematics, 22(1), 1–36.

    Article  Google Scholar 

  • Sierpińska, A. (1987). Humanities students and epistemological obstacles related to limits. Educational Studies in Mathematics, 18(4), 371–397.

    Article  Google Scholar 

  • Simon, T. J., Hespos, S. J., & Rochat, P. (1995). Do infants understand simple arithmetic? A replication of Wynn (1992). Cognitive Development, 10(2), 253–269.

    Article  Google Scholar 

  • Singer, F. M., & Voica, C. (2008). Between perception and intuition: Learning about infinity. The Journal of Mathematical Behavior, 27(3), 188–205.

    Article  Google Scholar 

  • Spelke, E. (2011). Natural number and natural geometry. In D. Brannon (Ed.), Space, time and number in the brain (pp. 287–318). London: Academic Press.

    Chapter  Google Scholar 

  • Tall, D. (2008). The transition to formal thinking in mathematics. Mathematics Education Research Journal, 20(2), 5–24.

    Article  Google Scholar 

  • Tall, D., & Schwarzenberger, R. (1978). Conflicts in the learning of real numbers and limits. Mathematics Teaching, 82, 44–49.

    Google Scholar 

  • Tirosh, D. (1999). Finite and infinite sets: Definitions and intuitions. International Journal of Mathematical Education in Science and Technology, 30(3), 341–349.

    Article  Google Scholar 

  • Tsamir, P. (1999). The transition from comparison of finite to the comparison of infinite sets: Teaching prospective teachers. In P. Liljedahl, S. Oesterle, C. Nicol, & D. Allan (Eds.), Forms of mathematical knowledge (pp. 209–234). Dordrecht: Springer.

    Chapter  Google Scholar 

  • Voorhees, B. (2004). Embodied mathematics. Journal of Consciousness Studies, 11, 83–88.

    Google Scholar 

  • Wynn, K. (1992). Addition and subtraction by human infants. Nature, 358, 749–751.

    Article  Google Scholar 

  • Xu, F., Spelke, E. S., & Goddard, S. (2005). Number sense in human infants. Developmental Science, 8(1), 88–101.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Markus Pantsar.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Pantsar, M. In search of \(\aleph _{0}\): how infinity can be created. Synthese 192, 2489–2511 (2015). https://doi.org/10.1007/s11229-015-0775-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-015-0775-4

Keywords

Navigation