Potentiality and Indeterminacy in Mathematics
Øystein Linnebo, Stewart Shapiro · NORA - Norwegian Open Research Archives · 2020
The purpose of this article is to explore the use of modal logic and/or intuitionistic logic to explicate potentiality and incomplete or indeterminate domains in mathematics. Our primary applications are the traditional notion of potential infinity, predicativity, a version of real analysis based on Brouwerian choice sequences, and a potentialist account of the iterative hierarchy in set theory.