Journal of Applied Logics: The IfCoLog Journal of Logics and their Applications. 2020, 7 (7), 1199-1219
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.
This item's license is: Attribution-NonCommercial-NoDerivatives 4.0 International