It has become somewhat ontologically fashionable for theists to embrace anti-realist views of abstract objects.1 On pain of consistency, however, I will argue that any theist who accepts the S5 ontological argument for the existence of God should also accept a parallel S5 ontological argument for the existence of abstract objects. This is because the same ontological and modal inferences thought to demonstrate the existence of God can also be used to demonstrate the existence of numbers. I further argue that being ontologically consistent here might come at the price of being theologically unacceptable, as the argument for numbers would seem to vindicate a platonistic view of abstracta—but platonism is incompatible with the traditional concept of God. I conclude by suggesting what I see as the only way out of this dilemma, which is to embrace a view akin Augustine’s where abstracta exist “nowhere but in the very mind of the Creator.” Something like the Augustinian view of abstracta, therefore, can be seen as an indirect theological consequence of the S5 ontological argument for the existence of God.
McIntosh, Chad A.
"S5, God and Numbers,"
International Journal of Undergraduate Research and Creative Activities: Vol. 2:
2, Article 8.
Available at: https://digitalcommons.cwu.edu/ijurca/vol2/iss2/8