Skip to main content

The “Middle Wittgenstein” and Modern Mathematics

  • Chapter
  • First Online:
Epistemology versus Ontology

Part of the book series: Logic, Epistemology, and the Unity of Science ((LEUS,volume 27))

Abstract

It will be argued that the overcoming and avoiding of dogmatism is a decisive feature of the change in Wittgenstein’s thinking that takes place in the beginning of the 1930s when he starts to emphasise the autonomy of the grammar of language and to talk about grammatical pictures and language games as objects of comparison. By examining certain crucial features in this change in Wittgenstein’s thinking, it will be shown that he received decisive impulses and ideas from new developments in mathematics and natural science in the early twentieth century. These ideas include the axiomatisation of geometry and, in general, Hilbert’s axiomatic method, but also relativity theory and the so-called method of ideal elements. By drawing upon certain analogies rather than theory-constructions, these ideas affected not only his thinking about mathematics, but also his thinking about language and the nature of philosophy in general.

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 169.00
Price excludes VAT (USA)
  • Available as EPUB and 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

Institutional subscriptions

Notes

  1. 1.

    The importance of the ‘Middle Period’ for understanding Wittgenstein’s philosophy of mathematics was emphasized by Gerrard (1991).

  2. 2.

    In PR, p. 186 we find the following sharpened statement of this feature of mathematical symbolism: “Let’s remember that in mathematics, the signs themselves do mathematics, they don’t describe it. [] You can’t write mathematics [in the sense in which you write history], you can only do it.” (References to printed editions of Wittgenstein’s works are given using the abbreviations indicated in the bibliography. Such an abbreviation followed by a decimal number refers to the remark or section with that number. An abbreviation followed by a roman numeral indicates a part of the abbreviated work. References by MS and TS number are from the Bergen electronic edition of Wittgenstein’s Nachlass, Oxford University Press, Oxford, 2000).

  3. 3.

    LFM, p. 150.

  4. 4.

    The nature of this realm is the subject matter of the ‘ontology of mathematics’, in the philosophical discourse.

  5. 5.

    By ‘modern mathematics’ will be meant, in this paper, the new trends in mathematics that emerge in the late nineteenth and the beginning of the twentieth century when the old conception of mathematics as the science of quantity is experienced as outdistanced and inadequate in regard to the internal change and development of the discipline of mathematics, in particular in regard to the new emphasis of formal rigor, and of pure mathematics as an independent and autonomous discipline. See Mehrtens (1990), Epple (2003), and Gray (2006). Mehrtens focuses in particular on the foundational crisis as a symptom of this change and of the need to revise and redefine the identity of mathematics as a discipline. He presents Hilbert as the main advocate of the modern mathematics, and as the main champion for the autonomy of mathematics and mathematical discourse. In the beginning of the 1930s Wittgenstein (unlike many mathematicians and logicians) was obviously sensitive to this cultural aspect of mathematics and aware of this scientific change as being to some extent part of a broader cultural change.

  6. 6.

    Thomae writes: “The formal conception of numbers sets itself more modest limitations than does the logical conception. It does not ask, what are and what shall the numbers be, but it asks, what does one need about numbers in arithmetic. For the formal conception, arithmetic is a game with signs which one may call empty; by this one wants to say that (in the game of calculation) they have no other content than that which has been attributed to them concerning their behaviour with respect to certain rules of combination (rules of the game). Similarly, a chess player uses his pieces, he attributes to them certain properties which condition their behaviour in the game, and the pieces themselves are only external signs for this behaviour. To be sure, there is an important difference between the game of chess and arithmetic. The rules of chess are arbitrary, the system of rules for arithmetic is such that by means of simple axioms the numbers can be related to intuitive manifolds, so that they are of essential service in the knowledge of nature. – The formal standpoint relieves us of all metaphysical difficulties, this is the benefit it offers us.” Quoted from Epple (2003), p. 301.

  7. 7.

    PR, p. 51.

  8. 8.

    DL, p. 8.

  9. 9.

    DL, p. 119.

  10. 10.

    PR, p. 186.

  11. 11.

    DL, p. 8.

  12. 12.

    PG, p. 319.

  13. 13.

    Wittgenstein knew of course that the picture and the talk of geometry as being about ‘ideal objects’ is very common in mathematical work, where it may be harmless and even a stimulus for mathematical inventions. But he is concerned with the way in which this pictorial talk tends to deceives us in the philosophy of mathematics. This kind of deception often takes place when philosophers are inclined to talk about “possibilities in principle”.

  14. 14.

    Hilbert (1902).

  15. 15.

    PG, pp. 311–312. The question of finding the six- or seven-place relation is connected with the problem stated in TLP 5.554–5.5542.

  16. 16.

    PG, pp. 312–313.

  17. 17.

    See Mülhölzer (2005, 2008), for other interesting similarities (and differences) between Hilbert’s and Wittgenstein’s thinking about issues in the foundations of mathematics. On the whole one might say that Wittgenstein was much more stimulated by Hilbert’s ideas than what has been generally recognized among Wittgenstein scholars. This is not to say that Wittgenstein endorsed Hilbert’s foundational program but I think one could say that he found it interesting and useful, not least for the philosophical mistakes it contained.

  18. 18.

    AL, p. 4.

  19. 19.

    PG, p. 52.

  20. 20.

    Hilbert (1902, pp. 5–6).

  21. 21.

    In The Blue Book Wittgenstein writes: “We shall also try to construct new notations, in order to break the spell of those which we are accustomed to.” (BB, p. 23).

  22. 22.

    Hilbert (1918). The quotation is from Ewald (1996, p. 1110).

  23. 23.

    Hilbert (1918), in Ewald (1996, p. 1110).

  24. 24.

    Hilbert (1918), in Ewald (1996, p. 1109).

  25. 25.

    LFM, p. 150.

  26. 26.

    Frege (1980, p. 40).

  27. 27.

    About this abstract algebraic trend, inspired by Hilbert’s axiomatics, Corry  (2000, p. 52), writes: “[..] in the years immediately following the publication of the Grundlagen, several mathematicians, especially in the USA, undertook an analysis of the systems of abstract postulates for algebraic concepts such as groups, fields, Boolean algebras, etc., based on the application of techniques and conceptions similar to those developed by Hilbert in his study of the foundations of geometry. There is no evidence that Hilbert showed any interest in this kind of work, and in fact there are reasons to believe that they implied a direction of research that Hilbert did not contemplate when putting forward his axiomatic program. It seems safe to assert that Hilbert even thought of this direction of research as mathematically ill-conceived.” I am inclined to agree with Corry here, and it seems to me that the view of Hilbert as a formalist, has been based very much on the view that this abstract algebraic trend was in harmony with aims of Hilbert’s axiomatic program. This trend did not have the epistemological and clarificatory aims of Hilbert’s axiomatics. Alfred Tarski’s conception of metamathematics as ‘methodology of the deductive sciences’ is also an example of a work in the spirit of this abstract algebraic trend, but which is incompatible with the epistemological aims of Hilbert’s program. Van der Waerden’s book Moderne Algebra is another work in the abstract algebraic trend. It appears to have been an important source of inspiration for the Bourbaki programme.

  28. 28.

    If Hilbert was a formalist, I think that the most appropriate sense of the word ‘formalism’ is the one explained by Detlefsen (1993a, b).

  29. 29.

    WVC, p. 162.

  30. 30.

    Einstein (1973, p. 233).

  31. 31.

    Einstein (1973, p. 235).

  32. 32.

    In his talk “Geometry and Experience” given at the Berlin Academy of Sciences in 1920. The ‘certainty’ that Einstein speaks of here is presumably the certainty that comes from the necessity of a proved mathematical proposition.

  33. 33.

    Einstein (1973, p. 273).

  34. 34.

    See Penco (2010).

  35. 35.

    PG, p. 459.

  36. 36.

    MS 108, p. 271. Quoted from Hilmy (1987, p. 146). The sentence on relativity theory is repeated in The Big Typescript (TS 213, pp.355–356).

  37. 37.

    MS 109, p. 199.

  38. 38.

    RFM VI, 28.

  39. 39.

    TLP 5.634.

  40. 40.

    But Hilbert did not reject Kant’s apriorism altogether. I think he was very serious when he continued the same sentence by saying: “afterwards only the apriori attitude is left over which also underlies pure mathematical knowledge: essentially that is the finite attitude which I have characterized in several works (Hilbert (1930), the quotation is from Ewald 1996, p. 1163). Commentators of Hilbert’s foundational program tend to ignore this remark and similar ones. I don’t think that he insisted on this point so often only in order to “pay a due tribute to the towering figure of his fellow Königberger”, Corry (2006a, p. 159).

  41. 41.

    BB, pp. 57–66. See also PR 58.

  42. 42.

    Hilbert  (1926, p. 195).

  43. 43.

    Jahnke (1993, p. 279) reports that even the romantic poet Novalis alludes to the method of ideal elements in an attempt to characterise the mathematical genius. Another somewhat surprising allusion to modern mathematics is the following, written by Wittgenstein in his diary in 1947: “Weierstrass introduces a string of new concepts to bring about order in the thinking about the differential calculus. And in that way on the whole, it seems to me, I must bring about order in psychological thinking through new concepts. (That it concerns a calculus in the first case, but not in the second, is not important.) (MS 135, p. 115–116, my translation).

  44. 44.

    As the preface to the Philosophical Remarks indicates, Wittgenstein did not share the strong faith in modern science that Hilbert often expressed.

  45. 45.

    Corry (2006b).

  46. 46.

    Baker (1988). See also Barker (1980), Wilson (1989), Visser (1999) and Kjaergaard (2002).

    In November 1946 Wittgenstein spoke to the Cambridge Moral Science Club. His talk had the title Philosophy, and was occasioned by a talk three weeks earlier by Karl Popper in which Popper criticized Wittgenstein as the leading figure of the “Cambridge School of linguistic philosophy”. In a letter to G.E. Moore Wittgenstein described the content of his talk as follows: “I’m giving a talk, roughly, on what I believe philosophy is, or what the method of philosophy is” (PPO, p. 338). According to the Minutes of the meeting, Wittgenstein was not happy about the description of his philosophy as ‘linguistic philosophy’. He quoted Hertz with great approval, and presented Hertz as his main source of inspiration for his view of philosophical problems and his method for dealing with them. He also mentioned Mach. But no other philosopher, not even Frege, appears to have been mentioned in his talk. (PPO, p. 342)

  47. 47.

    Hertz (1956, pp. 7–8).

  48. 48.

    Barker  (1988, p. 245).

  49. 49.

    Hertz (1956, p. 8).

  50. 50.

    Hertz (1956, p. 9).

  51. 51.

    MS 213, p. 421.

  52. 52.

    Hertz  (1956, p. 4), my emphasis.

  53. 53.

    I agree with Marie McGinn when she writes: “One of the central themes of the Investigations is to try to show that, insofar as a sentence is used to express a grammatical proposition, it does not represent (cannot be compared with reality for truth or falsity): there is nothing that grounds or justifies grammar. [] the concern to reveal the autonomy of grammar echoes Wittgenstein’s earlier concern to show that logic does not represent – that ‘logic takes care of itself’ – and it represents a deep continuity of philosophical purpose”. McGinn (2006, p. 295).

  54. 54.

    See Barker  (1980), for an elaboration of this similarity between the Tractatus and Hertz’Principes.

  55. 55.

    Hertz (1956, p. 7).

  56. 56.

    PI 132.

  57. 57.

    Hertz (1956, pp. 6–7).

References

  • Barker, P. 1980. Hertz and Wittgenstein. Studies in History and Philosophy of Science 11: 243–56.

    Article  Google Scholar 

  • Baker, G. 1988. Wittgenstein, Frege and the Vienna circle. Oxford: Basil Blackwell.

    Google Scholar 

  • Benacerraf, P., and Putnam, H. (eds.). 1983. Philosophy of mathematics, selected readings, 2nd ed. Cambridge: Cambridge U.P.

    Google Scholar 

  • Corry, L. 2000. The empiricist roots of Hilbert’s axiomatic approach. In Proof theory: History and philosophical significance, ed. Vincent F. Henricks et al., 35–54. Dordrecht: Kluwer.

    Google Scholar 

  • Corry, L. 2006a. Axiomatics, empiricism, and Anschauung in Hilbert’s conception of geometry: Between arithmetic and general relativity. In The architecture of modern mathematics: Essays in history and philosophy, ed. J.J. Gray and J. Ferreirós, 155–176. Oxford: Oxford University Press.

    Google Scholar 

  • Corry, L. 2006b. The origin of Hilbert’s axiomatic method. In The genesis of general relativity, vol. 4. Theories of gravitation in the twilight of classical physics: The promise of mathematics and the dream of a unified theory, ed. Jürgen Renn et al., 139–236. New York: Springer.

    Google Scholar 

  • Detlefsen, M. 1993a The Kantian character of Hilbert’s formalism. In Proceedings of the 15th International Wittgenstein-Symposium, ed. J. Czermak, 195–205. Vienna: Verlag Hölder-Pichler-Temsky.

    Google Scholar 

  • Detlefsen, M. 1993b. Hilbert’s formalism. Hilbert, Revue Internationale de Philosophie 47: 285–304.

    Google Scholar 

  • Einstein, A. 1973. Ideas and opinions. London: Souvenir Press.

    Google Scholar 

  • Epple, M. 2003. The end of the science of quantity: Foundations of analysis, 1860–1910. In A history of analysis, ed. H.N. Jahnke, 291–323. Providence/London: American Mathematical Society/London Mathematical Society.

    Google Scholar 

  • Ewald, W. 1996. From Kant to Hilbert. Readings in the foundations of mathematics. Oxford: Oxford University Press.

    Google Scholar 

  • Frege, G. 1980. Philosophical and mathematical correspondence, ed. B. McGuinness. Chicago: University of Chicago Press.

    Google Scholar 

  • Gerrard, S. 1991. Wittgenstein’s philosophies of mathematics. Synthese 87: 125–142.

    Article  Google Scholar 

  • Gray, J.J. 2006. Modern mathematics as a cultural phenomenon. In The architecture of modern mathematics, ed. J. Ferreirós and J.J. Gray, 371–396. New York: Oxford University Press.

    Google Scholar 

  • Hertz, H. 1956. The principles of mechanics presented in a new form. New York: Dover. English translation of Die Prinzipen der Mechanik in neuem Zusammanhange dargestellt, Leipzig, 1894.

    Google Scholar 

  • Hilbert, D. 1902. Die Grundlagen der Geometrie. Trans. as the foundations of geometry, by E.J. Townsend. Chicago: The Open Court Publishing Company.

    Google Scholar 

  • Hilbert, D. 1918. Axiomatisches Denken. Mathematische Annalen 78: 405–415. English translation as “Axiomatic thought” in Ewald (1996).

    Google Scholar 

  • Hilbert, D. 1926. Über das Unendliche. Mathematische Annalen 95: 161–190. English translation as “On the infinite” in Benacerraf, P. and Putnam, H., (1983).

    Google Scholar 

  • Hilbert, D. 1930. Naturerkennen und Logik In Hilbert: Gesammelte Adhandlungen, ed. Dritter Band. New York: Chelsea Publishing Company, 1965. English translation as “Logic and the knowledge of nature” in Ewald (1996, 1157–1165).

    Google Scholar 

  • Hilmy, S.S. 1987. The later Wittgenstein, the emergence of a new philosophical method. Oxford: Basil Blackwell.

    Google Scholar 

  • Jahnke, H.N. 1993. Algebraic analysis in Germany, 1780–1840: Some mathematical and philosophical issues. Historia Mathematica 20: 265–284.

    Article  Google Scholar 

  • Jahnke, H.N. (ed.). 2003. A history of analysis. Providence: American Mathematical Society.

    Google Scholar 

  • Kjaergaard, P.C. 2002. Hertz’ and Wittgenstein’s philosophy of science. Journal for General Philosophy of Science 33: 121–149.

    Article  Google Scholar 

  • McGinn, M. 2006. Elucidating the tractatus, Wittgenstein’s early philosophy of logic & language. Oxford: Oxford University Press.

    Google Scholar 

  • Mehrtens, H. 1990. Moderne – Sprache – Mathematik: Eine Geschichte des Streits um die Grundlagen der Disziplin und des Subjekts formaler Systeme. Frankfurt: Suhrkamp.

    Google Scholar 

  • Mülhölzer, F. 2005. “A mathematical proof must be surveyable” – What Wittgenstein meant by this and what it implies. Grazer Philosophische Studien 71: 57–86

    Google Scholar 

  • Mülhölzer, F. 2008. Wittgenstein und der Formalismus. In “Ein Netz von Normen”: Wittgenstein und die Mathematik, ed. M. Kroß, 107–148. Berlin: Parerga Verlag.

    Google Scholar 

  • Penco, C. 2010. The influence of Einstein on Wittgenstein’s philosophy. Philosophical Investigations 33: 360–379.

    Article  Google Scholar 

  • Visser, H. 1999. Boltzmann and Wittgenstein on how pictures became linguistic. Synthese 119: 135–156.

    Article  Google Scholar 

  • Wilson, A.D. 1989. Hertz, Boltzmann and Wittgenstein Reconsidered. Studies in History and Philosophy of Science 20: 245–263.

    Article  Google Scholar 

  • Wittgenstein, L. 1958a. [BB]: The Blue and Brown books: Preliminary studies for the ‘philosophical investigations’, ed. R. Rhees. Oxford: Blackwell.

    Google Scholar 

  • Wittgenstein, L. 1958b. [PI]: Philosophical investigations, ed.G.E.M. Anscombe and R. Rhees, 2nd ed. Trans. G.E.M. Anscombe. Oxford: Blackwell.

    Google Scholar 

  • Wittgenstein, L. 1969. [TLP]: Tractatus Logico-philosophicus. Trans. D.F. Pears and B.F. McGuinnes. London: Routledge & Kegan Paul.

    Google Scholar 

  • Wittgenstein, L. 1974. [PG]: Philosophical grammar, ed. R. Rhees. Trans. A.J.P. Kenny. Oxford: Blackwell.

    Google Scholar 

  • Wittgenstein, L. 1975. [PR]: Philosophical remarks, ed.R. Rhees, 2nd ed. Trans. R. Hargreaves and R. White. Oxford: Blackwell.

    Google Scholar 

  • Wittgenstein, L. 1976. [LFM]: Wittgenstein’s lectures on the foundations of mathematics Cambridge, 1939, ed. Cora Diamond. Hassocks, Sussex: The Harvester Press, Ltd.

    Google Scholar 

  • Wittgenstein, L. 1978. [RFM]: Remarks on the foundations of mathematics, ed. G.H. von Wright, R. Rhees and G.E.M. Anscombe, 3rd ed. Trans. G.E.M. Anscombe. Oxford: Blackwell.

    Google Scholar 

  • Wittgenstein, L. 1979a. [AL]: Wittgenstein’s lectures, Cambridge, 1932–1935: From the notes of Alice Ambrose and Margaret Macdonald, ed. Alice Ambrose. Chicago: University of Chicago Press.

    Google Scholar 

  • Wittgenstein, L. 1979b. [WVC]: Ludvig Wittgenstein and the Wienna circle: Conversations recorded by Friedrich Waismann, ed. B.F. McGuiness. Trans. J. Schulte and B. McGuiness. Oxford: Blackwell.

    Google Scholar 

  • Wittgenstein, L. 1980a. [DL]: Wittgenstein’s lectures, Cambridge 1930–1932, from the notes of J. King and D. Lee, ed. D. Lee. Oxford: Blackwell.

    Google Scholar 

  • Wittgenstein, L. 1980b. [RPP I]: Remarks on the philosophy of psychology, vol. I, ed. G.E.M. Anscombe and G.H. von Wright. Trans. G.E.M. Anscombe. Oxford: Blackwell.

    Google Scholar 

  • Wittgenstein, L. 1998. [CV]: Culture and value, ed. G.H. von Wright. Trans. Peter Winch. Oxford: Blackwell,.

    Google Scholar 

  • Wittgenstein, L. 2003. [PPO]: Ludwig Wittgenstein, public and private occasions, ed. J.C. Klagge and A. Nordmann. Oxford: Rowman & Littlefield Publishers.

    Google Scholar 

Download references

Acknowledgements

This article is a revised and abridged version of my original article Le “Wittgenstein-intermédiaire” et les mathématiques modernes to be published in the Canadian journal Philosophiques. The article appears here by permission of the editors of Philosophiques. I am indebted to Kim-Erik Berts, Juliet Floyd and Kim Solin for helpful comments on an earlier version of this article.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sören Stenlund .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer Science+Business Media Dordrecht.

About this chapter

Cite this chapter

Stenlund, S. (2012). The “Middle Wittgenstein” and Modern Mathematics. In: Dybjer, P., Lindström, S., Palmgren, E., Sundholm, G. (eds) Epistemology versus Ontology. Logic, Epistemology, and the Unity of Science, vol 27. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-4435-6_7

Download citation

Publish with us

Policies and ethics