Modal logic has been used to analyze potential infinity and potentialism more generally. However, the standard analysis breaks down in cases of divergent possibilities, where there are two or more possibilities that can be individually realized but which are jointly incompatible. This paper has three aims. First, using the intuitionistic theory of choice sequences, we motivate the need for a modal analysis of divergent potentialism and explain the challenges this involves. Then, using Beth–Kripke semantics for intuitionistic logic, we overcome those (...) challenges. Finally, we apply our modal analysis of divergent potentialism to make choice sequences comprehensible in classical terms. (shrink)

Human beings tend to forget, especially when they suffer; they hope to overcome the pain of trauma to live a peaceful and happy life. The futurist attitude that can be articulated as ‘Move towards...