Repository | Book | Chapter
The proper explanation of intuitionistic logic
on Brouwer's demonstration of the Bar theorem
pp. 60-77
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.
Publication details
Published in:
Boldini Pascal, Bourdeau Michel, Heinzmann Gerhard (2008) One hundred years of intuitionism (1907–2007): the Cerisy conference. Dordrecht, Springer.
Pages: 60-77
DOI: 10.1007/978-3-7643-8653-5_5
Full citation:
Sundholm Göran, Van Atten Mark (2008) „The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar theorem“, In: P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, 60–77.