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

&

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

2008

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Phenomenology and Transcendental Argument in Mathematics: The Case of Brouwer's Bar Theorem.Mark van Atten - unknown
Fuzzy intuitionistic quantum logics.Gianpiero Cattaneo, Maria L. Dalla Chiara & Roberto Giuntini - 1993 - Studia Logica 52 (3):419 - 442.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Brouwer, as never read by Husserl.Mark van Atten - 2003 - Synthese 137 (1-2):3-19.
The proper interpretation of intuitionistic logic.Mark van Atten & Göran Sundholm - unknown
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Brouwer's equivalence between virtual and inextensible order.Enrico Martino - 1988 - History and Philosophy of Logic 9 (1):57-66.
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective.Wim Veldman - 2008 - Journal of Symbolic Logic 73 (1):1-64.
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
Dummett, Brouwer and the Metaphysics of Mathematics.Eric P. Tsui-James - 1998 - Grazer Philosophische Studien 55 (1):143-168.
Brouwer's Cambridge lectures on intuitionism.Luitzen Egbertus Jan Brouwer - 1981 - New York: Cambridge University Press. Edited by D. van Dalen.
Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic.Wies?aw Dziobiak - 1983 - Studia Logica 42 (2-3):173 - 177.

Analytics

Added to PP
2013-07-19

Downloads
57 (#283,468)

6 months
15 (#174,673)

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 - forthcoming - Stanford Encyclopedia of Philosophy.
Propositions as Intentions.Bruno Bentzen - 2023 - Husserl Studies 39 (2):143-160.

View all 7 citations / Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
The Stanford Encyclopedia of Philosophy.Edward N. Zalta (ed.) - 2014 - Stanford, CA: The Metaphysics Research Lab.
Assertion.Peter Geach - 1965 - Philosophical Review 74 (4):449-465.
Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.

View all 29 references / Add more references