Brouwer's Intuition of Twoity and Constructions in Separable Mathematics

History and Philosophy of Logic 45 (3):341-361 (2023)
  Copy   BIBTEX

Abstract

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology.

Author's Profile

Bruno Bentzen
Zhejiang University

Analytics

Added to PP
2023-06-07

Downloads
66 (#96,574)

6 months
66 (#80,874)

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?