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.
Complete list of metadatas

https://halshs.archives-ouvertes.fr/halshs-00791550
Contributor : Mark van Atten <>
Submitted on : Tuesday, January 24, 2017 - 6:12:12 PM
Last modification on : Thursday, July 5, 2018 - 1:16:25 AM
Long-term archiving on : Tuesday, April 25, 2017 - 6:12:22 PM

File

SundholmVanAtten2008-separatum...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Identifiers

  • HAL Id : halshs-00791550, version 1

Citation

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⟩

Share

Metrics

Record views

522

Files downloads

861