Abstract
We apply a framework developed by C. S. Peirce to analyze the concept of clarity, so as to examine a pair of rival mathematical approaches to a typical result in analysis. Namely, we compare an intuitionist and an infinitesimal approaches to the extreme value theorem. We argue that a given pre-mathematical phenomenon may have several aspects that are not necessarily captured by a single formalisation, pointing to a complementarity rather than a rivalry of the approaches.
Original language | English |
---|---|
Pages (from-to) | 193-214 |
Number of pages | 22 |
Journal | Logica Universalis |
Volume | 8 |
Issue number | 2 |
DOIs | |
State | Published - May 2014 |
Keywords
- Benacerraf
- Bishop
- Cauchy
- Kaestner
- Kronecker
- Peirce
- constructive analysis
- continuity
- extreme value theorem
- grades of clarity
- hyperreal
- infinitesimal
- law of excluded middle
- ontology
- principle of unique choice
- procedure
- trichotomy
- uniqueness paradigm