Skip to main content
SpringerLink
Log in

Enrico Martino, Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics, Springer, 2018

Logic, Epistemology, and the Unity of Science, vol. 42, pp. 170 + XIII. ISBN 978-3-319-74356-1 (hardcover) EUR 93,59, 978-3-030-08971-9 (softcover) EUR 93,59,ISBN 978-3-319-74357-8 EUR 74,96 (eBook)

  • Book Reviews
  • Published:
Studia Logica Aims and scope Submit manuscript

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

References

  1. Brouwer, L.E.J.: On the domains of definition of functions, 1927. In: van Heijenoort, J. (ed.) From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, pp. 446–463. Harvard University Press, Cambridge, Massachusetts (1967)

    Google Scholar 

  2. Brouwer, L.E.J., Virtuelle Ordnung und unerweiterbare Ordnung, Journal für die reine und angewandte Mathematik 157: 255–257, 1927. Reprinted in A. Heyting, (ed.), L.E.J. Brouwer: Collected Works, vol. I, Amsterdam: North-Holland, 1975, pp. 406–408

  3. Brouwer, L.E.J., Brouwer's Cambridge Lectures on Intuitionism (ed. D. van Dalen). Cambridge: Cambridge University Press, 1981

  4. Dummett, M.: Elements of Intuitionism. Oxford University Press, Oxford (1977)

    Google Scholar 

  5. Heyting, A.: Intuitionism: An Introduction. North-Holland, Amsterdam (1956)

    Google Scholar 

  6. Kolmogorov, A.N.: Zur Deutung der intuitionistischen Logik. Mathematische Zeitschrift 35, 58–65 (1932)

    Article  Google Scholar 

  7. Kreisel, G.: Foundations of intuitionistic logic. In: Nagel, E., Suppes, P., Tarski, A. (eds.) Logic, pp. 198–210. Stanford University Press, Methodology and Philosophy of Science, Stanford (1962)

    Google Scholar 

  8. Martin-Löf, P.: On the meaning and justification of logical laws. In: Bernardi, E., Pagli, R. (eds.) Atti degli Incontri di Logica Matematica, vol. II, pp. 291–340. Universitá di Siena, Siena (1985)

    Google Scholar 

  9. Martin-Löf, P.: Truth of a proposition, evidence of a judgement, validity of a proof. Synthese 73, 407–420 (1987)

    Article  Google Scholar 

  10. Martin-Löf, P.: A path from logic to metaphysics. In: Sambin, G., Corsi, G. (eds.) Atti del Congresso Nuovi Problemi della Logica e della Filosofia della Scienza, vol. II, pp. 141–149. CLUEB, Bologna (1991)

    Google Scholar 

  11. Prawitz, D.: Dummett on a theory of meaning and its impact on logic. In: Taylor, B.M. (ed.) Michael Dummett: Contributions to Philosophy, pp. 117–165. Springer, Dordrecht (1987)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing and Mathematics, Keele University, Keele, Staffordshire, ST5 2BG, UK

    Peter Fletcher

Authors
  1. Peter Fletcher
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Peter Fletcher.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Fletcher, P. Enrico Martino, Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics, Springer, 2018. Stud Logica 107, 845–851 (2019). https://doi.org/10.1007/s11225-019-09866-1

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-019-09866-1

Search

Navigation