Advertisement

Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Against Against Intuitionism

  • 172 Accesses

  • 2 Citations

Abstract

The main ideas behind Brouwer’s philosophy of Intuitionism are presented. Then some critical remarks against Intuitionism made by William Tait in “Against Intuitionism” [Journal of Philosophical Logic, 12, 173–195] are answered.

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

References

  1. P. Benacerraf H. Putnam (Eds) (1964) Philosophy of Mathematics – Selected readings Prentice Hall Englewood Cliffs, NJ

  2. Brouwer L.E.J., (1905), Leven, Kunst en Mystiek, Waltman, Delft. English translation (only excerpts): Life, Arts and Mysticism, in (Brouwer 1975), pp. 1–10. Full translation in (Brouwer 1996).

  3. Brouwer L.E.J., (1907), Over de Grondslagen der Wiskunde. Maas & Van Suchelen, Amsterdam. English translation: On the Foundations of Mathematics, in (Brouwer 1975), pp. 11–101.

  4. Brouwer L.E.J., (1908), ‘Die möglichen Mächtigkeiten’. Atti IV Congr. Int. Mat. Roma III, pp. 569–71. Reprinted in (Brouwer 1975), pp. 102–104.

  5. Brouwer L.E.J., (1909), Het wezen der meetkunde, Amsterdam, 1909. English translation: The Nature of Geometry, in (Brouwer 1975), pp. 112–120.

  6. Brouwer L.E.J., (1912), ‘Intuitionism and Formalism’. Bulletin of the American Mathematical Society 20 (1913), 81–96. Reprinted in (Brouwer 1975), pp. 123–138 and in (Benacerraf and Putnam 1964), pp. 66–77.

  7. Brouwer L.E.J., (1927), Berliner Gastvorlesungen, in (Brouwer 1992).

  8. L.E.J. Brouwer (1929) ArticleTitle‘Mathematik’ Wissenschaft und Sprache’. Monatshefte der Mathematik 36 153–164

  9. Brouwer L.E.J., (1934), Changes in the Relation between Classical Logic and Mathematics. In (van Stigt 1990), pp. 453–458. Handwritten manuscript, German version presumably from 1930–1934.

  10. Brouwer L.E.J., (1947), ‘Richtlijnen der intuitionistische wiskunde’. KNAW Proceeding, Vol. 51, p. 339. English translation: Guidelines of Intuitionistic Mathematics, in (Brouwer 1975), p. 477.

  11. Brouwer L.E.J., (1948), ‘Consciousness, Philosophy and Mathematics’. Proceedings of the 10th International Congress of Philosophy, Amsterdam 1948 III, pp. 1235–1249. Reprinted in pp. 480–496. Excerpts reprinted in (Benacerraf and Putnam 1964), pp. 78–84.

  12. L.E.J. Brouwer (1952) ArticleTitle‘Historical Background, Principles and Methods of Intuitionism’ South African Journal of Science 49 139–146

  13. Brouwer, L.E.J.: 1955, ‘The Effect of Intuitionism on Classical Algebra of Logic’, Proceedings of the Royal Irish Academy Section A 57, 113–116. Reprinted in (Brouwer 1975), pp. 551–554.

  14. L.E.J. Brouwer (1975) Collected Works NumberInSeries1 North–Holland Amsterdam

  15. Brouwer L.E.J., (1981), Cambridge Lectures on Intuitionism Cambridge. Manuscript of lectures held from 1946–1951. Edited by Dirk van Dalen.

  16. L.E.J. Brouwer (1992) Intuitionismus B.I. Wissenschaftsverlag Mannheim

  17. Brouwer L.E.J., (1993), in ‘Willen, Weten, Spreken’. Euclides 9, 177–193. Also in De uitdrukkingwijze der wetenschap, kennistheoretische voordrachten gehouden aan de Universiteit von Amsterdam (1932–1933), pp. 43–63. English translation: Will, Knowledge and Speech, in (van Stigt 1990), pp. 418–431. Excerpts in (Brouwer 1975), pp. 443–446.

  18. L.E.J. Brouwer (1996) ArticleTitle‘Life, Art, and Mysticism’ Notre Dame Journal of Formal Logic 37 IssueID3 389–429

  19. M. Detlefsen (1990) ArticleTitle‘Brouwerian Intuitionism’ Mind 99 IssueID396 501–534

  20. W. Ewald (1996) From Kant to Hilbert: A Source Book in Mathematics Clarendon Press Oxford

  21. V. Grabiner (1974) ArticleTitle‘Is Mathematical Truth Time-Dependent?’ American Mathematical Monthly 81 IssueID4 354–365

  22. B. Heintz (2000) Die Innenwelt der Mathematik. Zur Kultur und Praxis einer beweisenden Disziplin Springer Verlag Berlin, Heidelberg, New-York

  23. Heyting, A.: 1971, Intuitionism, an Introduction, 3rd edn. North-Holland, Amsterdam.

  24. L Kronecker (1887) ArticleTitle‘Über den Zahlbegriff’. (Crelle’s) Journal für reine und angewandte Mathematik 101 337–355

  25. P. Mancosu (1998) in From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s Oxford University Press Oxford

  26. Y. Rav (1999) ArticleTitle‘Why Do We Prove Theorems?’ Philosophia Mathematica (Ser. III) 7 IssueID1 5–41

  27. H. Stein (1988) ‘Logos, Logic, and Logistiké: Some Philosophical Remarks on Nineteenth-Century Transformation of Mathematics’ W. Aspray P. Kitcher (Eds) History and Philosophy of Modern Mathematics Vol. 11 of Minnesota Studies in the Philosophy of Science University of Minnesota Minneapolis 238–259

  28. W.W. Tait (1983) ArticleTitle‘Against Intuitionism: Constructive Mathematics is Part of Classical Mathematics’ Journal of Philosophical Logic 12 173–195 Occurrence Handle10.1007/BF00247188

  29. W.P. Stigt Particlevan (1979) ArticleTitle‘The Rejected Parts of Brouwer’s Dissertation on the Foundations of Mathematics’ Historia Mathematica 6 385–404

  30. W.P. Stigt Particlevan (1990) Brouwer’s Intuitionism North-Holland Amsterdam

  31. W.P. Stigt Particlevan (1996) ArticleTitle‘Introduction to Life, Art, and Mysticism’ Notre Dame Journal of Formal Logic 37 IssueID3 381–387

Download references

Author information

Correspondence to Dirk Schlimm.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Schlimm, D. Against Against Intuitionism. Synthese 147, 171–188 (2005). https://doi.org/10.1007/s11229-004-6299-y

Download citation

Keywords

  • Main Idea
  • Philosophical Logic
  • Critical Remark