Skip to main content
SpringerLink
Log in

Against Against Intuitionism

  • Published:
Synthese Aims and scope Submit manuscript

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 via an institution to check access.

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

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

    Google Scholar 

  • 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).

  • 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.

  • 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.

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

  • 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.

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

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

    Google Scholar 

  • 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.

  • 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.

  • 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.

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

    Google Scholar 

  • 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.

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

    Google Scholar 

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

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

    Google Scholar 

  • 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.

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Carnegie Mellon University, Baker Hall 135, Pittsburgh, PA, 15213-3890, U.S.A

    Dirk Schlimm

Authors
  1. Dirk Schlimm
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

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

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-004-6299-y

Keywords

Search

Navigation