Originalversjon
Journal of Applied Logics: The IfCoLog Journal of Logics and their Applications. 2020, 7 (7), 1199-1219
Sammendrag
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.