Abstract
Modal logic provides an elegant way to understand the notion of potential infinity. This raises the question of what the right modal logic is for reasoning about potential infinity. In this article I identify a choice point in determining the right modal logic: Can a potentially infinite collection ever be expanded in two mutually incompatible ways? If not, then the possible expansions are convergent; if so, then the possible expansions are branching. When possible expansions are convergent, the right modal logic is S4.2, and a mirroring theorem due to Linnebo allows for a natural potentialist interpretation of mathematical discourse. When the possible expansions are branching, the right modal logic is S4. However, the usual box and diamond do not suffice to express everything the potentialist wants to express. I argue that the potentialist also needs an operator expressing that something will eventually happen in every possible expansion. I prove that the result of adding this operator to S4 makes the set of validities Pi-1-1 hard. This result makes it unlikely that there is any natural translation of ordinary mathematical discourse into the potentialist framework in the context of branching possibilities.
Similar content being viewed by others
Notes
See also Physics 207a6. The Physics can be found in, e.g., Aristotle (1941).
Hamkins and Linnebo (2019) consider a closely related view which they call Grothendieck potentialism; more on Hamkins and Linnebo below.
The concept of potential infinity is thus similar to Dummett’s notion of indefinite extensibility, cf. Dummett (1978).
The analogous result for intuitionistic logic is proved in Linnebo and Shapiro (2017).
Of course, this will depend to some extent on which pieces of standard mathematics we accept. While the \(^\lozenge \) interpretation allows us to make perfectly good sense of arithmetic without accepting actual infinities, perhaps accepting even the potential existence of infinite sets requires the existence of actual infinities.
As usual, \(\langle x_1,\ldots ,x_n\rangle \) denotes the number which codes the sequence \(x_1,\ldots ,x_n\), and if n and m are codes of two sequences, then \(n^\frown m\) codes the result of concatenating n and m.
I should note that Linnebo and Shapiro (2017, note 12) acknowledge that S4.2 would not be appropriate for a theory of free choice sequences. So I am not objecting to their account, but supplementing it in a way they should be comfortable with.
See Sacks (1990).
More recently, Doder et al. (2010) have proved that the first-order logic of branching time with this operator is complete for a non-standard class of models. (They also invoke an infinitary proof system for this completeness result, though the infinitary rule of their system governs an operator which I will not consider here.) Roughly, their models stand to my standard models as Henkin models of second-order logic stand to standard (or ‘full’) models of second-order logic. Somewhat more precisely, the truth of ‘inevitably \(\phi \)’ in my models depends on what happens in all branches; the models of Doder, Ognjanović, and Marković’s include a set \(\Sigma \) of branches, and the truth of ‘inevitably \(\phi \)’ in their models depends only on what happens in the branches in \(\Sigma \).
In computer science, the logic of branching time is known as Computational Tree Logic (CTL); there is also slightly more expressive extension CTL\(^*\). My operator \(\mathcal {I}\) can be expressed in these systems by the operator combination \(\mathsf {AF}\). See Gabbay et al. (1994, Ch. 4, 2000, Ch. 3) for an overview of first-order temporal logic and logics of branching time as well as for further references.
On the other hand, the results of Hodkinson et al. (2002) are more informative in that they show even the two-variable fragments of their logics to be unaxiomatizable.
Cf. the discussion of substitutional interpretation and adding constants in Button and Walsh (2018, 13–18).
The material referred to here can be found in Sacks (1990, Ch. 1).
Cf. Niebergall (2014, 256–7): “Personally, I simply have no ordinary understanding of [the phrase ‘potentially infinite’], and I do not find much help in the existing literature. \(\ldots \) The reason is that those philosophers who are interested in the theme of the potentially infinite are usually drawn to it because they regard it as desirable to avoid assumptions of infinity (i.e., of the actual infinity), yet do not want to be restricted to a mere finitist position. An assumption of merely the potentially infinite seems to be a way out of this quandary: it seems to allow you to have your cake and eat it too.”
At least, this is so under the iterative conception of set. As an anonymous referee pointed out, this is not so clear under other conceptions of set, such as the logical conception.
At least in the cases that interest us, where there are infinitely many worlds.
This suggests an interesting task for the potentialist: using a potentialist metatheory, can one describe a class of potentially infinite models that provide an adequate semantics for potentialist discourse?
Thus Kripke models play a similar role in the potentialist’s argument as representation theorems do in the nominalist project of Field (1980). Thanks to Chris Pincock for suggesting the analogy.
Thanks to Chris Pincock, Stewart Shapiro, Neil Tennant, Wes Wrigley, and two anonymous referees for helpful comments on drafts of this paper.
References
Abadi, M. (1989). The power of temporal proofs. Theoretical Computer Science, 65, 35–83.
Aristotle (1941). The Basic Works of Aristotle. (R. McKeon, Ed.). New York: Random House.
Brauer, E. (2018). Second-order logic and the power set. Journal of Philosophical Logic, 47(1), 123–142.
Burgess, J. P. (1980). Decidability of branching time. Studia Logica, 32(2–3), 203–218.
Button, T., & Walsh, S. (2018). Philosophy and model theory. Oxford: Oxford University Press.
Doder, D., Ognjanović, Z., & Marković, Z. (2010). An axiomatization of first-order branching time temporal logic. Journal of Universal Computer Science, 16(11), 1439–1451.
du Bois-Reymond, P. (1882). Die Allgemeine Functionentheorie. Tubingen: H. Laupp.
Dummett, M. (1978). The philosophical significance of Gödel’s theorem, Chap. 12. In Truth and other enigmas. London: Duckworth.
Feferman, S. (1964). Systems of predicative analysis. Journal of Symbolic Logic, 29(1), 1–30.
Feferman, S. (2005). Predicativity. In S. Shapiro (Ed.), Oxford handbook of philosophy of mathematics and logic (pp. 590–624). New York: Oxford University Press.
Field, H. (1980). Science without numbers. Princeton: Princeton University Press.
Gabbay, D., Hodkinson, I., & Reynolds, M. (1994). Temporal logic (Vol. 1). Oxford: Oxford University Press.
Gabbay, D., Reynolds, M., & Finger, M. (2000). Temporal logic (Vol. 2). Oxford: Oxford University Press.
Hamkins, J. D. (2018). The modal logic of arithmetic potentialism and the universal algorithm. arXiv:1801.04599v3.
Hamkins, J. D., & Linnebo, Ø. (2019). The modal logic of set-theoretic potentialism and the potentialist maximality principles. In Review of symbolic logic. (forthcoming).
Hamkins, J. D., & Woodin, W. H. (2018). The universal finite set. arXiv:1711.07952v2.
Hilbert, D. (1925). On the infinite. In From Frege to Gödel. (J. van Heijenoort, Ed.,. S. Bauer-Mengelberg, Trans.). Cambridge, MA: Harvard University Press.
Hodkinson, I., Wolter, F., & Zakharyaschev, M. (2002). Decidable and undecidable fragments of first-order branching temporal logics. In Proceedings 17th annual IEEE symposium on logic in computer science (pp. 393–402).
Koellner, P. (2010). Strong logics of the first and second order. Bulletin of Symbolic Logic, 16(1), 1–36.
Linnebo, Ø. (2013). The potential hierarchy of sets. Review of Symbolic Logic, 6(2), 205–228.
Linnebo, Ø., & Shapiro, S. (2017). Actual and potential infinity. Nous, 53(1), 160–191.
McCall, S. (1979). The strong future tense. Notre Dame Journal of Formal Logic, 20(3), 489–504.
McCarty, D. C. (2005). Problems and riddles: Hilbert and the du Bois-Reymonds. Synthese, 147(1), 63–79.
Montagna, F., Michelle Pinna, G., & Tiezzi, E. B. P. (2002). Investigations on fragments of first order branching temporal logic. Mathematical Logic Quarterly, 48(1), 51–62.
Niebergall, K.-G. (2014). Assumptions of infinity. In G. Link (Ed.), Formalism and beyond (pp. 229–274). Berlin: De Gruyter.
Prior, A. N. (1967). Past, present, and future. Oxford: Oxford University Press.
Reynolds, M. (2002). Axioms for branching time. Journal of Logic and Computation, 12(4), 679–697.
Sacks, G. (1990). Higher recursion theory. Berlin: Springer.
Shapiro, S. (2012). Higher-order logic or set theory: A false dilemma. Philosophia Mathematica, 3(20), 305–323.
Väänänen, J. (2001). Second order logic and foundations of mathematics. Bulletin of Symbolic Logic, 7(4), 504–520.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Brauer, E. The Modal Logic of Potential Infinity: Branching Versus Convergent Possibilities. Erkenn 87, 2161–2179 (2022). https://doi.org/10.1007/s10670-020-00296-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10670-020-00296-3