The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem

&
In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann, One Hundred Years of Intuitionism : The Cerisy Conference. Birkhäuser Basel. pp. 60-77 (2008)
  Copy   BIBTEX

Abstract

Brouwer's demonstration of his Bar Theorem gives rise to provocative questions regarding the proper explanation of the logical connectives within intuitionistic and constructivist frameworks, respectively, and, more generally, regarding the role of logic within intuitionism. It is the purpose of the present note to discuss a number of these issues, both from an historical, as well as a systematic point of view

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,748

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem.Mark van Atten & Göran Sundholm - 2008 - In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann, One Hundred Years of Intuitionism : The Cerisy Conference. Birkhäuser Basel. pp. 60-77.
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Book Review: Mark van Atten. On Brouwer. [REVIEW]O. Bradley Bassler - 2006 - Notre Dame Journal of Formal Logic 47 (4):581-599.
Another look at Brouwer’s dissertation.Dirk van Dalen - 2008 - In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann, One Hundred Years of Intuitionism : The Cerisy Conference. Birkhäuser Basel. pp. 3–20.
Creative Subject and Bar Theorem.Enrico Martino - 2018 - In Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics. Cham, Switzerland: Springer Verlag.
Connection Between the Principle of Inductive Evidence and the Bar Theorem.Enrico Martino - 2018 - In Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics. Cham, Switzerland: Springer Verlag.
Mathematical Intuitionism.Carl J. Posy - 2020 - Cambridge University Press.
Intuitionism in Mathematics.D. C. McCarty - 2005 - In Stewart Shapiro, Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press.
Hermann Weyl's intuitionistic mathematics.Dirk van Dalen - 1995 - Bulletin of Symbolic Logic 1 (2):145-169.
Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics.Enrico Martino - 2018 - Cham, Switzerland: Springer Verlag.

Analytics

Added to PP
2013-07-19

Downloads
76 (#291,873)

6 months
15 (#194,750)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

B. Göran Sundholm
Leiden University
Mark van Atten
Centre National de la Recherche Scientifique

Citations of this work

Proof-Theoretic Semantics.Peter Schroeder-Heister - 2024 - Stanford Encyclopedia of Philosophy.
Propositions as Intentions.Bruno Bentzen - 2023 - Husserl Studies 39 (2):143-160.

View all 8 citations / Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Assertion.Peter Geach - 1965 - Philosophical Review 74 (4):449-465.
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.

View all 26 references / Add more references