Skip to main content
SpringerLink
Log in
Book cover

Model-Based Reasoning in Science and Technology pp 121–134Cite as

Belief Revision vs. Conceptual Change in Mathematics

  • Chapter

Part of the book series: Studies in Computational Intelligence ((SCI,volume 314))

Abstract

In his influential book Conceptual Revolutions (1992), Thagard asked whether the question of conceptual change is identical with the question of belief revision. One might argue that they are identical, because “whenever a concept changes, it does so by virtue of changes in the beliefs that employ that concept”. According to him, however, all those kinds of conceptual change that involve conceptual hierarchies (e.g., branch jumping or tree switching) cannot be interpreted as simple kinds of belief revision. What is curious is that Thagard’s interesting question has failed to attract any serious response from belief revision theorists. The silence of belief revision theorists may be due to both wings of their fundamental principle of informational economy, i.e., the principle of minimal change and the principle of entrenchment. Indeed, Gärdenfors and Rott conceded that their formal theory of belief revision “is concerned solely with small changes like those occurring in normal science” [8]. In this paper, I propose to re-examine Thagard’s question in the context of the problem of conceptual change in mathematics. First, I shall present a strengthened version of the argument for the redundancy of conceptual change by exploiting the notion of implicit definition in mathematics. If the primitive terms of a given mathematical structure are defined implicitly by its axioms, how could there be other conceptual changes than those via changing axioms? Secondly, I shall examine some famous episodes of domain extensions in the history of numbers in terms of belief revision and conceptual change. Finally, I shall show that there are extensive and intricate interaction between conceptual change and belief revision in these cases.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   219.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alchorron, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction functions and their associated revision functions. The Journal of Symbolic Logic 50, 510–530 (1985)

    Article  MathSciNet  Google Scholar 

  2. Darden, L.: Theory Change in Science: Strategies from Mendelian Genetics. Oxford University Press, New York (1991)

    Google Scholar 

  3. Dedekind, R.: Letter to Keferstein. English translation by Stefan Bauer-Mengelberg and Hao Wang in van Heijenoort, pp. 98–103 (1967)

    Google Scholar 

  4. Dunmore, C.: Meta-level revolutions in mathematics. In: Gillies, D. (ed.) Revolutions in Mathematics, pp. 209–225. Oxford University Press, Oxford (1992)

    Google Scholar 

  5. Ewald, W.B. (ed.): From Kant to Hilbert. A Source Book in the Foundations of Mathematics, vol. 2. Oxford University Press, Oxford (1996)

    MATH  Google Scholar 

  6. Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003)

    MATH  Google Scholar 

  7. Gärdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge (1988)

    Google Scholar 

  8. Gärdenfors, P., Rott, H.: Belief Revision. In: Gabbay, D.M., et al. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming. Epistemic and Temporal Reasoning, vol. 4, pp. 35–132. Clarendon Press, Oxford (1995)

    Google Scholar 

  9. Gillies, D. (ed.): Revolutions in Mathematics. Oxford University Press, Oxford (1992)

    MATH  Google Scholar 

  10. Heidelberger, M., Stadler, F. (eds.): History of Philosophy and Science. Kluwer, Boston (2002)

    Google Scholar 

  11. Hilbert, D.: Über den Zahlbegriff. Jahresbericht der Deutschen Mathematiker-Vereinigung 8, 180–184, English translation in Ewald 1089–1096 (1996)

    Google Scholar 

  12. Manders, K.: Domain extension and the philosophy of mathematics. Journal of Philosophy 86, 553–562 (1989)

    MathSciNet  Google Scholar 

  13. Muntersbjorn, M.M.: Naturalism, notation, and the metaphysics of mathematics. Philosophia Mathematica 7(2), 178–199 (1999)

    MATH  MathSciNet  Google Scholar 

  14. Kvasz, L.: The history of algebra and the development of the form of its language. Philosophia Mathematica 14(3), 287–317 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  15. Majer, U.: Hilbert’s program to axiomatize physics (in analogy to geometry) and its impact on Schlick, Carnap and other members of the Vienna Circle. In: Heidelberger, M., Stadler, F. (eds.) History of Philosophy and Science, pp. 213–224. Kluwer, Boston (2002)

    Google Scholar 

  16. Mancosu, P.: Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. Oxford University Press, Oxford (1996)

    MATH  Google Scholar 

  17. Nagel, E.: Teleology Revisited and Other Essays in the Philosophy and History of Science. Columbia University Press, New York (1979)

    Google Scholar 

  18. Neal, K.: From Discrete to Continuous: The Broadening of Number Concepts in Early Modern England. Kluwer, Dordrecht (2002)

    MATH  Google Scholar 

  19. Park, W.: Belief revision in Baduk. Journal of Baduk Studies 2(2), 1–11 (2005)

    Google Scholar 

  20. Park, W.: The status of scientiae mediae in the history of mathematics. Korean Journal of Logic 12(2), 141–170 (2009)

    Google Scholar 

  21. Pycior, H.M.: Symbols, Impossible Numbers, and Geometric Entanglements: British Algebra Through the Commentaries on Newton’s Universal Arithmetick. Cambridge University Press, Cambridge (1997)

    MATH  Google Scholar 

  22. Quine, W.V.O.: Two dogmas of empiricism. In: Quine, W.V.O. (ed.) From a Logical Point of View, pp. 20–46. Harvard University Press, Cambridge (1953)

    Google Scholar 

  23. Rott, H.: Two dogmas of belief revision. Journal of Philosophy 97, 503–522 (2000)

    Article  MathSciNet  Google Scholar 

  24. Rott, H.: Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning. Clarendon Press, Oxford (2001)

    MATH  Google Scholar 

  25. Rusnock, P., Thagard, P.: Strategies for conceptual change: Ratio and proportion in classical greek mathematics. Studies in History and Philosophy of Science 26, 107–131 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  26. Sepkoski, D.: Nominalism and Constructivism in Seventeenth-Century Mathematical Philosophy. Routledge, New York (2007)

    Google Scholar 

  27. Sieg, W., Schlimm, D.: Dedekind’s analysis of number: Systems and axioms. Synthese 147, 121–170 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  28. Thagard, P.: Conceptual Revolutions. Princeton University Press, Princeton (1992)

    Google Scholar 

  29. Van Heijenoort, J. (ed.): From Frege to Gödel: A Sourcebook of Mathematical Logic. Harvard University Press, Cambridge (1967)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Humanities and Social Science, Korea Advanced Institute of Science and Technology, KAIST, Daejeon, South Korea

    Woosuk Park

Authors
  1. Woosuk Park
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Università di Pavia, Pavia, Italy

    Lorenzo Magnani

  2. CLE State University of Campinas, Campinas, Brazil

    Walter Carnielli

  3. Università di Siena, Siena, Italy

    Claudio Pizzi

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Park, W. (2010). Belief Revision vs. Conceptual Change in Mathematics. In: Magnani, L., Carnielli, W., Pizzi, C. (eds) Model-Based Reasoning in Science and Technology. Studies in Computational Intelligence, vol 314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15223-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15223-8_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15222-1

  • Online ISBN: 978-3-642-15223-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation