Needless Worries (feat. Modal Epistemology)
1. There is nowadays considerable evidence for the existence of pulsars. Still, it isn't incoherent to worry that the evidence might be misleading and pulsars don't exist after all. But it is incoherent to worry that pulsars might be the apple trees in my parents' garden. These apple trees aren't neutron stars, and they don't emit regular pulses of electromagnetic radiation, and things that don't do that don't deserve the name "pulsar".
2. Suppose we are convinced by van Inwagen's arguments that fictional characters are abstract entities created by authors and denoted by our fictional names. This suggests the following picture: Over and above our material universe there is a special realm of abstract fictional characters. Everytime an author writes a novel, new entities pop up in this fictional realm. There is no causal connection from the fictional realm to our world. But then how do we know about the fictional characters? How can we be sure for example that the creation of fictional characters is reliable? Couldn't it happen from time to time that a fictional character fails to be created? If so, perhaps Madame Bovary exists, but Sherlock Holmes doesn't. In which case it would be false (on the Kripke-van Inwagen account) that Sherlock Holmes was invented by Conan Doyle or that he is a widely known fictional character. Isn't our confidence in such assertions rather mysterious and irresponsible given that really we have no access at all to the fictional realm? At the very least, the exceptionless correspondence between what our authors do here on Earth and what happens in the fictional realm cries for explanation!
I think these worries are just as incoherent as the worry about pulsars being apple trees. There is a coherent worry nearby: that van Inwagen is wrong and there is no abstract realm of fictional characters. But if there is one, it must contain all fictional characters: that's how the fictional realm is defined.
I've never heard these worries about the fictional realm, but I've often heard them about mathematical entities and possible world:
3. Platonists say that the natural numbers are abstract entities in some special mathematical realm. But since there is no causal connection between this realm and our material world, how do we know about the numbers? How can we be sure for example that there are four prime numbers smaller than ten and not, say, only two? Isn't our confidence in mathematical assertions rather mysterious and irresponsible given that we have no access at all to the mathematical realm? At least, the alleged correspondence between our mathematical beliefs and what exists in the mathematical realm cries for explanation!
Again, there is a coherent worry: that there are no numbers at all, or that they are not entities in a special, abstract realm. If there are no natural numbers, then a fortiori there are no prime numbers smaller than 10. But again, I think it makes no sense to worry that there might be only two prime numbers smaller than 10, or only seventeen numbers overall. There may or may not be abstract entities of which there are only seventeen. But as long as they don't satisfy the Peano Axioms, they can't be what we mean by "natural numbers". Conversely, we can be absolutely certain that if natural numbers exist at all, they satisfy the Peano Axioms.
4. Lewis says there are lots of possible worlds doing all these wonderful things in philosophy and elsewhere. But by definition, we are causally isolated from these worlds. So how can we know anything about them? How can we be sure for example that there is a world where donkeys talk? Doesn't the alleged correspondence between our 'modal intuitions' and what exists in modal space cry for explanation?
Well, again, no. The coherent worry is that there are no possible worlds, no entities that do all the wonderfull work Lewis assigns to worlds. But it doesn't make sense, I think, to worry that the worlds exist but are unable to do their work because, say, there are only seventeen of them, none of which contains a talking donkey. There may or may not be maximal spatiotemporal entities, somehow representing ways the world might be, of which there are only seventeen. But if there are only seventeen of them, they don't deserve the name "possible worlds". In general, if a given class of entities can't do the job of possible worlds, they don't qualify as possible worlds. So any reason to believe in possible worlds is ipso facto a reason to believe that these entities do the work of possible worlds. There is no further question of modal epistemology.
"Everytime an author writes a novel, new entities pop up in this fictional realm"
Why not say that the author merely names a fictional character? So its kind of contingent apriori that the character that Doyle names 'holmes' is holmes, as its contingent that Doyle named the character he did, but apriori that whichever character he names 'holmes' is holmes. The character still exists though, and what the author does is perform the naming ceremony.
Even if you dont believe in fictional characters, but do believe in stories, the same issue regenerates. What about the counterfactual "if doyle hadnt had written the holmes stories, those stories wouldnt have existed". In inclined to think that stories are better off than characters, which i'd like to reduce to roles or something like that. But again, the stories would have still existed, its just that Doyle wouldnt have performed the naming ceremony, so we wouldnt have had the name we actually have to refer to them.