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

Göran Sundholm (1) , Mark van Atten (2)

1 Universiteit Leiden = Leiden University
2 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

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.

Mots clés: philosophy of mathematics

Domaines: Histoire, Philosophie et Sociologie des sciences

Göran Sundholm, Mark van Atten. The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem. van Atten, Mark Heinzmann, Gerhard Boldini, Pascal Bourdeau, Michel. One Hundred Years of Intuitionism (1907-2007). The Cerisy Conference, Birkhäuser, pp.60-77, 2008, 978-3-7643-8652-8. ⟨halshs-00791550⟩