A Two-Part Defense of Institutional Mathematics

Stance 14:26-40 (2021)
  Copy   BIBTEX

Abstract

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.

Analytics

Added to PP
2021-08-24

Downloads
352 (#63,233)

6 months
101 (#54,752)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?