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

  • Göran Sundholm
  • Mark van Atten
Part of the Publications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives book series (PAHP)


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.


Canonical Form Intuitionistic Logic Natural Deduction Mathematical Construction Transcendental Argument 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Authors and Affiliations

  • Göran Sundholm
    • 1
  • Mark van Atten
    • 2
  1. 1.Department of PhilosophyLeiden UniversityThe Netherlands
  2. 2.Institut d’Histoire et de Philosophie des Sciences et des Techniques (CNRS/Paris 1/ENS)ParisFrance

Personalised recommendations