A Two-Part Defense of Intuitionistic Mathematics
The classical interpretation of mathematical statements can be seen as comprising two separate but related aspects: a domain and a truth-schema. L. E. J. Brouwer’s intuitionistic project lays the groundwork for an alternative conception of the objects in this domain, as well as an accompanying intuitionistic truth-schema. Drawing on the work of Arend Heyting and Michael Dummett, I present two objections to classical mathematical semantics, with the aim of creating an opening for an alternative interpretation. With this accomplished, I then make the case for intuitionism as a suitable candidate to fill this void.
Copyright (c) 2021 Samuel Elliott
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Stance requires right of first publication. All other rights reside with the author. Authors are free to reuse their own articles in other publications they write or edit, and no further permission is required. The journal only requires acknowledgement of the original publication in Stance.
All articles are licensed with a Creative Commons Attribution Noncommercial No-Derivatives 4.0 International license.