But numbers and sets themselves make a great deal more sense from the point of view of theism than from that of naturalism. Now there are two quite different but widely shared intuitions about the nature of numbers and sets. First, we think of numbers and sets as abstract objects, the same sort of thing as propositions, properties, states of affairs and the like… On the other hand, there is another equally widely shared intuition about these things: most people who have thought about the question, think it incredible that these abstract objects should just exist, just be there, whether or not they are ever thought by anyone. Platonism with respect to these objects is the position that they do exist in that way, that is, in such a way as to be independent of mind… But there have been very few real Platonists, perhaps none besides Plato and Frege, if indeed Plato and Frege were real Platonists (and even Frege, that alleged arch-Platonist, referred to propositions as gedanken, thoughts). It is therefore extremely tempting to think of abstract objects as ontologically dependent upon mental or intellectual activity in such a way that either they just are thoughts, or else at any rate couldn’t exist if not thought of. (287-288)
I am inclined to think that there are numbers and that they are abstract objects, but I don’t have the second intuition that they must be thought. Is there something I’m missing? I do have the intuition that contingently existing objects must have a cause for their existence, but I don’t have the intuition that abstract objects must be thought, which, if they exist, necessarily exist.
Maybe somebody could help motivate this intuition for me? Or is this intuition not very widely shared (contra Plantinga’s remark)?