Skip to main content

Mathematical Models of Time as a Heuristic Tool

  • Conference paper
  • First Online:
Book cover Model-Based Reasoning in Science and Technology

Part of the book series: Studies in Applied Philosophy, Epistemology and Rational Ethics ((SAPERE,volume 27))

  • 611 Accesses

Abstract

This paper sets out to show how mathematical modelling can serve as a way of ampliating knowledge. To this end, I discuss the mathematical modelling of time in theoretical physics. In particular I examine the construction of the formal treatment of time in classical physics, based on Barrow’s analogy between time and the real number line, and the modelling of time resulting from the Wheeler-DeWitt equation. I will show how mathematics shapes physical concepts, like time, acting as a heuristic means—a discovery tool—, which enables us to construct hypotheses on certain problems that would be hard, and in some cases impossible, to understand otherwise.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    See Polya (1954), Hanson (1958), Lakatos (1976), Laudan (1977), Simon (1977), Nickles (1980a, b), Simon et al. (1987), Gillies (1995), Grosholz and Breger (2000), Grosholz (2007), Abbott (2004), Darden (2006), Weisberg (2006), Magnani (2001, 2013), Magnani and Li (2007), Nickles and Meheus (2009), Magnani et al. (2010), Gertner (2012), Cellucci (2013), Ippoliti (20112014).

  2. 2.

    That is the strings of symbols representing objects and operations and assembled according to certain syntactic rules.

  3. 3.

    See e.g. Devito (1997) for a non-linear account of time.

  4. 4.

    Note that this would also imply the replacement of the differential equations with difference equations, so the time derivative would be replaced by a finite difference.

  5. 5.

    See Hagar (2014), pp. 64–75, for a careful analysis of the issue.

  6. 6.

    Formally this means that the space is invariant under rotations in space, since rotations can map any direction onto any other direction.

  7. 7.

    Diffeomorphism invariance is a way of mathematically expressing general covariance—the invariance of the form of physical laws under arbitrary differentiable coordinate transformations and then the background independence of a theory.

  8. 8.

    Where \(\partial^{2}\) is the second derivative w.r.t. x; x the position; \(\Psi\) the Shroindger wave function; E the energy; V the potiantial energy.

  9. 9.

    See Parentani (1997), Peres (1999).

  10. 10.

    See for instance the answer provided by the termal time hypothesis in Connes and Rovelli (1994).

  11. 11.

    See Tzanakis (2002a, b) on the way mathematical modelling can determine the content of physical entities and theories.

  12. 12.

    See e.g. Ippoliti (2006) for a critical examination of the notion of relevance.

  13. 13.

    See e.g. Brown (2015), Bunge (1981), Turner (1988, 2005), Johnson (1988) on this point.

  14. 14.

    For instance Feynman integrals can be regarded as an altered version of the notion of integral—see Ippoliti (2013).

  15. 15.

    See Kvasz (2008) for a deep account of this point.

  16. 16.

    See Butterworth (1999), Devlin (2000), Lakoff and Nunez (2001) on this point.

  17. 17.

    The “machinery” is the term used by Feynman to express the mechanism that explains why, but especially how, certain processes take place—see also Morrison (2000, p. 3) on this point.

References

  • Abbott, A. (2004). Method of discovery. New York: W.W. Norton & Company Inc.

    Google Scholar 

  • Barrow, I. (1660). Letiones geometricae (J. M. Child, Trans., 1916). The geometrical lectures of isaac barrow. London: The Open Court Publishing Company.

    Google Scholar 

  • Bolzano, B. (1817). Rein analytischer Beweis des Lehrsatzes dass zwischen je zwey Werthen, die ein entgegengesetztes Resultat gewaehren, wenigstens eine reele Wurzel der Gleichung liege. Prague. (S. B. Russ “A Translation of Bolzano’s Paper on the Intermediate Value Theorem”, Trans.) History of Mathematics, 7, 156–185, 1980.

    Google Scholar 

  • Brown, H. (2015). Against interpretation in mathematical physics. Draft.

    Google Scholar 

  • Bunge, M. (1981). Analogy in quantum theory: From insight to nonsense. The British Journal for the Philosophy of Science, 18(4), 265–286.

    Article  Google Scholar 

  • Butterworth, B. (1999). The mathematical brain. London: Macmillan.

    Google Scholar 

  • Carazza, B., & Kragh, H. (1995). Heisenberg’s lattice world: The 1930 theory sketch. American Journal of Physics, 63, 595.

    Article  Google Scholar 

  • Cellucci, C. (2013). Rethinking logic. New York: Springer.

    Google Scholar 

  • Cellucci, C. (2015). Naturalizing the applicability of mathematics. Paradigmi Rivista di critica filosofica, 2, 23–42.

    Google Scholar 

  • Connes, A., & Rovelli, C. (1994). Von neumann algebra automorphisms and time-thermodynamics relation in general covariant quantum theories. Classical and Quantum Gravity, 11, 2899–2918.

    Article  Google Scholar 

  • Darden, L. (Ed.). (2006). Reasoning in biological discoveries: Essays on mechanisms, inter-field relations, and anomaly resolution. New York: Cambridge University Press.

    Google Scholar 

  • Devito, C. L. (1997). A non-linear model for time. In W. G. Tifft & Cocke, W. J. (Eds.), Modern mathematical models of time and their applications to physics and cosmology (pp. 357–370). Springer.

    Google Scholar 

  • Devlin, K. (2000). The math gene: How mathematical thinking evolved and why numbers are like gossip. New Tork: Basic Books.

    Google Scholar 

  • DeWitt, B. S. (1967). Quantum theory of gravity. I. The canonical theory. Physical Review, 160, 1113.

    Article  Google Scholar 

  • Everett, H. (1957). Relative state formulation of quantum mechanics. Reviews of Modern Physics, 29, 454–462.

    Article  Google Scholar 

  • Fabri, E. (2005). Insegnare relatività nel XXI secolo. Bollettino trimestrale dell’Associazione Italiana per l’insegnamento della fisica. XXXVIII (2). Supplemento.

    Google Scholar 

  • Feynman, R. (1963). Six easy pieces. New York: Basic Books.

    Google Scholar 

  • Feynman, R. (1977). Lectures on physics. Addison Wesley.

    Google Scholar 

  • Gertner, J. (2012). The idea factory. New York: Penguin Press.

    Google Scholar 

  • Gillies, D. (1995). Revolutions in mathematics. Oxford: Oxford University Press.

    Google Scholar 

  • Grosholz, E. (2007). Representation and productive ambiguity in mathematics and the sciences. Oxford: Oxford University Press.

    Google Scholar 

  • Grosholz, E., & Breger, H. (Eds.). (2000). The growth of mathematical knowledge. Dordercht: Springer.

    Google Scholar 

  • Hagar, A. (2014). Discrete or continuous? The quest for fundamental length in modern physics. New York: Cambridge University Press.

    Book  Google Scholar 

  • Hanson, N. (1958). Patterns of discovery: An inquiry into the conceptual foundations of science. Cambridge: Cambridge University Press.

    Google Scholar 

  • Heisenberg, W. (1930). The self-energy of the electron. In A. Miller (Ed.), Early quantum electrodynamics (pp. 121–128). Cambridge: Cambridge University Press 1994.

    Google Scholar 

  • Ippoliti, E. (2006). Demonstrative and non-demonstrative reasoning by analogy. In C. Cellucci & P. Pecere (Eds.), Demonstrative and non-demonstrative reasoning in mathematics and natural science (pp. 309–338). Cassino: Edizioni dell’Università di Cassino.

    Google Scholar 

  • Ippoliti, E. (2011). Between data and hypotheses. In C. Cellucci, E. Grosholz, & E. Ippoliti (Eds.), Logic and knowledge. Newcastle Upon Tyne: Cambridge Scholars Publishing.

    Google Scholar 

  • Ippoliti, E. (2013). Generation of hypotheses by ampliation of data. In L. Magnani (Ed.), Model-based reasoning in science and technology (pp. 247–262). Berlin: Springer.

    Google Scholar 

  • Ippoliti, E. (Ed.). (2014). Heuristic reasoning. London: Springer.

    Google Scholar 

  • Johnson, M. (1988). Some constraints on embodied analogical understanding. In D. H. Helman (Ed.), Analogical reasoning: Perspectives of artificial intelligence, cognitive science, and philosophy. Dordrecht: Kluwer.

    Google Scholar 

  • Kvasz, L. (2008). Patterns of change. Linguistic innovations in the development of classical mathematics. Basel: Birkhäuser.

    Google Scholar 

  • Lakatos, I. (1976). Proofs and refutations: The logic of mathematical discovery. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Lakoff, G., & Nuñez, R. (2001). Where mathematics come from: How the embodied mind brings mathematics. New York: Basics Books.

    Google Scholar 

  • Laudan, L. (1977). Progress and its problems. Berkeley and LA: University of California press, California.

    Google Scholar 

  • Magnani, L. (2001). Abduction, reason, and science. Processes of discovery and explanation. New York: Kluwer Academic.

    Book  Google Scholar 

  • Magnani, L. (2013). Model-based reasoning in science and technology. Berlin: Springer.

    Google Scholar 

  • Magnani, L., & Li, P. (Eds.). (2007). Model-based reasoning in science, technology, and medicine. London: Springer.

    Google Scholar 

  • Magnani, L., Carnielli, W., & Pizzi, C. (Eds.). (2010). Model-based reasoning in science and technology: Abduction, logic, and computational discovery. Heidelber: Springer.

    Google Scholar 

  • Morrison, M. (2000). Unifying scientific theories. New York: Cambridge University Press.

    Book  Google Scholar 

  • Nickles, T. (Ed.). (1980a). Scientific discovery: Logic and rationality. Boston: Springer.

    Google Scholar 

  • Nickles, T. (Ed.). (1980b). Scientific discovery: Case studies. Boston: Springer.

    Google Scholar 

  • Nickles, T., & Meheus, J. (Eds.). (2009). Methods of discovery and creativity. New York: Springer.

    Google Scholar 

  • Parentani, R. (1997). Interpretation of the solutions of the Wheeler-DeWitt equation. Physical Review D, 56(8), 4618–4624.

    Article  Google Scholar 

  • Peres, A. (1999). Critique of the Wheeler-DeWitt equation. In A. Harvey (Ed.), On Einstein’s path (pp. 367–379). New York: Springer-Verlag.

    Chapter  Google Scholar 

  • Piaget, J., & Cook, M. T. (1952). The origins of intelligence in children. New York: International University Press.

    Book  Google Scholar 

  • Polya, G. (1954). Mathematics and plausible reasoning. Princeton: Princeton University Pres.

    Google Scholar 

  • Rovelli, C. (2001). Notes for a brief history of quantum gravity. arXiv:gr-qc/0006061v3.

  • Simon, H. (1977). Models of discovery. Dordrecht: Reidel.

    Book  Google Scholar 

  • Simon, H., Langley, P., Bradshaw, G., & Zytkow, J. (Eds.). (1987). Scientific discovery: Computational explorations of the creative processes. Boston: MIT Press.

    Google Scholar 

  • Turner, M. (1988). Categories and analogies. In D. H. Helman (Ed.), Analogical reasoning: Perspectives of artificial intelligence, cognitive science, and philosophy. Dordrecht: Kluwer.

    Google Scholar 

  • Turner, M. (2005). The literal versus figurative dichotomy. In S. Coulson & B. Lewandowska-Tomaszczyk (Eds.), The literal and nonliteral in language and thought (pp. 25–52). Frankfurt: Peter Lang.

    Google Scholar 

  • Tzanakis, C. (2002a). On the relation between mathematics and physics in undergraduate teaching. In I. Vakalis, et al. (Eds.), 2nd international conference on the teaching of mathematics (at the undergraduate level) (p. 387). New York, NY: Wiley.

    Google Scholar 

  • Tzanakis, C. (2002b). Unfolding interrelations between mathematics and physics, in a presentation motivated by history: Two examples. International Journal of Mathematical Education in Science and Technology, 30(1), 103–118.

    Article  Google Scholar 

  • Weisberg, R. (2006). Creativity: Understanding innovation in problem solving, science, invention, and the arts. Hoboken (NJ): John Wiley & Sons.

    Google Scholar 

  • Windred, G. (1933a). The history of mathematical time: I. Isis, 19(1), 121–53.

    Google Scholar 

  • Windred, G. (1933b). The history of mathematical time: II. Isis, 20(1), 192–219.

    Google Scholar 

  • Windred, G. (1935). The interpretation of imaginary mathematical time. The Mathematical Gazette, 19(235), 280–290.

    Article  Google Scholar 

Download references

Acknowledgments

I would like to thank Sergio Caprara, Angleo Vulpiani and the other friends at the Dept. of Physics—Sapienza University of Rome for the fruitful dialogues about technical as well as theoretical issues. I would also like to thank the two anonymous referees for their comments and suggestions that helped me to improve the paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Emiliano Ippoliti .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Ippoliti, E. (2016). Mathematical Models of Time as a Heuristic Tool. In: Magnani, L., Casadio, C. (eds) Model-Based Reasoning in Science and Technology. Studies in Applied Philosophy, Epistemology and Rational Ethics, vol 27. Springer, Cham. https://doi.org/10.1007/978-3-319-38983-7_7

Download citation

Publish with us

Policies and ethics