Infatuation is a form of idolatry that cannot last long in a marriage. Marriage cures it. That's an argument for marriage. There was no cure for Don Quixote's romantic fantasies because their object, the fair Dulcinea del Toboso, existed only in his imagination.*
But while infatuation lasts, it is blissful. One is made silly, often harmlessly so. One walks on air and can think of nothing but the beloved. The moon hits your eye like a bigga pizza pie. The world starts to shine like you've had too much wine. So smitten was I in the early days of my relationship to the woman I married that I sat in my carrel at the university one day and just thought about her for eight hours straight when I was supposed to be finishing an article on Frege. Life is both love and logic. But sometimes hot love trumps cold logic.
The best marriages begin with the romantic transports of infatuation, but a marriage lasts only if the Rousseauian transports are undergirded by good solid reasons of the big head without interference from the heart or the little head. The love then matures. Real love replaces illusory idealization. The big head ought to be the ruling element in a man.
It takes an Italian to capture the aforementioned romantic transports, and Dean Martin (Dino Crocetti) does the job well in the schmaltzy That's Amore.
Il Mio Mondo is a good expression of the idolatry of infatuation. Cilla Black's 1964 rendition of the Italian song is You're My World.
But whence the idealization, the infatuation, the idolatry? And why the perennial popularity of silly love songs? What we really want in the deepest depths of the heart no man or woman can provide. That is known to all who know their own hearts and have seen through the idols. What we want is an infinite and eternal love. This infinite desire may have no object in reality. Arguments from desire are not rationally compelling.
But given the fact of the desire, a fact that does not entail the reality of its object, we have what we need to explain the idealization, the infatuation, and the idolatry of the sexual other. We substitute an immanent object for Transcendence inaccessible.
_____________________________
*The great novel of Miguel Cervantes is a work of fiction. And so both Don Quixote/Quijote and Dulcinea are fictional characters. But the first is posited as real within the fiction while the other is posited as imaginary, as Don Quixote's fiction, even if based upon the posited-in-the-fiction real Aldonza Lorenzo. Herewith a bit of grist for the mill of the philosophy of fiction. The real-imaginary distinction operates within an imaginary construct.
The Opponent sends the following puzzle to vex us:
Story: there was someone called 'a', and there was someone called 'b'.
This is all we have of the story. Let the predicate F be 'The story is consistent with a not being identical with ___'. Then clearly Fa is false, and Fb is true.
This is the case even if a, in fact, is identical with b.
Is there a puzzle here? It may be only a malformed attempt at a puzzle. We are presented with a very short story consisting of exactly two claims. We are given no information as to whether the person called 'a' is the same as or different from the person called 'b.' So the story allows for the possibility that the person called 'a' is not the same as the person called 'b.' This is the case even if, in fact, outside the story, it is not the case that a = b.
It is not clear that there is a puzzle here since the following propositions are logically consistent:
A. Within the story, it is possible that the person called 'a' is not the same as the person called 'b.' B. It is the case that a = b. C. For any x, y, if x = y, then necessarily, x = y. (Kripke's Necessity of Identity thesis)
It is the presence of the story operator in (A) that saves the triad from inconsistency.
Suppose 'Axwell' and 'Buswell' are the two names in the story and that both refer to an existing man, the same man. That a = b is no part of the story. Given only what we know from the story it is possible that a not be identical to b. But this possibility is something like an epistemic possibility which, as such, cannot be used to show the real (non-epistemic) possibility that a not be identical to b in reality.
So on this New Year's Day I tax the Noble Opponent with a metabasis eis allo genos (μετάβασις εἰς ἄλλο γένος), which is something like a Rylean category mistake: he shifts illicitly from a story-immanent perspective to a story-transcendent perspective. Within the story there is a story-immanent contingency as to both the identity and the difference of the referents of the names. But this is a sort of epistemic contingency consequent upon the fact that literary fiction leaves much indeterminate: the literary characters have all and only the properties assigned to them in the story.
So it looks as if the Opponent may be conflating a sort of epistemic contingency with real contingency. He does not have the makings of a sound argument for the claim that real-world identities are contingent, contra Kripke.
By contrast, the following triad is plainly inconsistent. This is the case whether we take names to be Kripkean rigid designators or Russellian definite descriptions in disguise.
A*. Possibly, it is not the case that a = b. B. It is the case that a = b. C. For any x, y, if x = y, then necessarily, x = y.
When Thomas Aquinas and Baruch Spinoza write about the God of the Old Testament, they write about numerically the same Biblical character using the same Latin word, Deus. They write about this character, refer to it, and indeed succeed in referring to it. But Aquinas and Spinoza do not believe in the same divine reality. Of course they both believe in a divine reality; but their conceptions of a divine reality are so different that it cannot be maintained -- or so I argue here contra F. Beckwith -- that it is one and the same reality that they believe in. Nor do they succeed in referring to the same reality. Since it cannot be the case that both divine realities exist, one of the two philosophers fails to refer to anything at all. It follows that they cannot be said to worship the same God: one of them worships an idol.
God, Adam, Moses, "and all them prophets good and gone" (Bob Dylan, Gospel Plow) actually exist qua characters in the Biblical narrative. But of course it does not follow that they exist 'outside' the narrative in reality.
A few months ago in the wake of the Wheaton contretemps we were much exercised over the question whether the God of the Christians is the same as the God of the Muslims. I wonder if the distinction between God as Biblical character and God as divine reality can help in that dispute. Perhaps some variants of the dispute arise from a failure to draw this distinction. Perhaps the following irenic proposal will be acceptable:
Christians and Muslims write about, talk about, and refer to one and the same Biblical character when they use 'God' and 'Allah.' In this sense, the God of the Christians and that of the Muslims is the same God. It is one and the same Biblical character, God. But Christians and Muslims do not refer to one and the same divine reality by their uses of 'God' and 'Allah.' This is because extralinguistic reference is conceptually mediated, not direct, and no one item can instantiate both the Christian and the Muslim conceptions of God. Nothing can be both triune and non-triune, to mention just one important different in the two conceptions.
So either the Christian is failing to refer to anything such that his worship is of an idol, or the Muslim is failing to refer to anything such that his worship is of an idol. The situation is strictly parallel to the Aquinas-Spinoza case. The two philosophers are clearly referring to the same Biblical character when they write Deus. But their conceptions of God are so different that they cannot be said to be referring to the same being in external reality.
My suggestion, then, is that some may have got their knickers in a knot for no good reason by failing to make the above-captioned distinction.
According to Ed Buckner over at Dale Tuggy's place,
. . . there is at least one sort of case where it is clear they [Aquinas and Spinoza] are using the name ‘God’ in exactly the same way, namely when they discuss the interpretation of the scriptures. Aquinas does this many times in Summa Theologiae, using the words of the Bible and the Church Fathers to support complex theological and philosophical arguments. Spinoza’s Theologico-Political Treatise is an extensive commentary on the text of the Bible and its meaning, also supported throughout by biblical quotation. So when Thomas writes
According to Chrysostom (Hom. iii in Genes.), Moses prefaces his record by speaking of the works of God (Deus) collectively. (Summa TheologiaeIª q. 68 a. 1 ad 1)
and Spinoza writes
As for the fact that God [Deus] was angry with him [Balak] while he was on his journey, that happened also to Moses when he was setting out for Egypt at the command of God [Dei]. (Tractatus ch. 3, alluding to Exodus 4:24-26)
it is clear that they are talking about the same persons, i.e. they are both talking about God, and they are both talking about Moses. It is somewhat more complicated than that, because Spinoza has a special theory about what the word ‘God’ means in the scriptures, but more of that later. In the present case, it seems clear that whenever we indirectly quote the scriptures, e.g. ‘Exodus 3:1 says that Moses was setting out for Egypt at the command of God’, we are specifying what the Bible says by using the names ‘Moses’ and ‘God’ exactly as the Bible uses them. Bill might disagree here, but we shall see.
I agree that they are both talking about the same persons qua characters in the Old Testament. The fact that Ed puts 'God' and 'Moses' in italics suggests, however, that he thinks that there is more here than reference to Biblical characters: there is also reference to really existent persons, and that our two philosophers are referring to the same really existent persons. But here I suspect that Ed is attempting a reduction of bona fide extralinguistic reference to what I will call text- and discourse-immanent reference, whether intertextual (as in the present case) or intratextual (as in the case of back references within one and the same narrative). If Ed is proposing a reduction -- or God forbid an elimination -- of real extralinguistic reference in favor of some form of discourse-immanent reference, then I have a bone to pick with him.
The issues here are much trickier than one might suspect. They involve questions Ed and I have been wrangling over for years, questions about fiction and intentionality and existence and quantification and logical form and what all else.
More than one. Here is one. And as old Chisholm used to say, you are not philosophizing unless you have a puzzle. So try on this aporetic triad for size:
1. Purely fictional objects do not exist.
2. There are true sentences about purely fictional objects, e.g., 'Sherlock Holmes is a detective' and 'Sherlock Holmes is purely fictional.'
3. If a sentence of the form Fa is true, then there exists an x such that 'a' refers to x.
The triad is logically inconsistent: any two limbs entail the negation of the remaining one. So the limbs cannot all be true despite the considerable plausibility of each. So one of the propositions must be rejected. But the first is nonnegotiable since it is true by definition. The leaves two options: reject (2) or reject (3).
I want to avoid truck with Meinong if at all possible. So I should like to adhere to (3). There are no true singular sentences about what does not exist.
Suppose we reject (2). One way to do this is by supplying a paraphrase in which the apparent reference to the nonexistent is replaced by real reference to the existent. For example, the apparent reference to Sherlock, who does not exist, is replaced by real reference to a story in which he figures, a story that, of course, exists. The elliptical approach is one way of implementing this paraphrastic strategy. Accordingly,
4. Sherlock Holmes is a detective
and
5. Sherlock Holmes is fictional
are elliptical for, respectively,
6. In the Conan Doyle stories, Sherlock Holmes is a detective
and
7. In the Conan Doyle stories, Sherlock Holmes is fictional.
But note that while (5) is plainly true, (7) is plainly false. The stroies represent the detective as a real individual, not a fictional individual! So (7) cannot be taken as elliptical for (5) This is a serious problem for the 'story operator' approach. Or consider the true
8. Sherlock Holmes does not exist.
(8) is surely not short for the false
9. In the Conan Doyle stories, Sherlock Holmes does not exist.
The point can be made with other 'extranuclear' predicates such as 'merely possible' and 'mythological.' If I say that Pegasus is mythological, I don't mean that, according to legend, Pegasus is mythological.
I'll end with a different challenge to the story operator approach. Consider
10. Pinocchio was less of a liar than Barack Obama.
Whether you consider (1) true or false, it is certainly not elliptical for
11. In Carlo Collodi's The Adventures of Pinocchio (1883), Pinocchio was less of a liar than Barack Obama.
To put it vaguely, one problem with the story operator approach is that it traps fictional characters within particular stories, songs, legends, tales, etc. so that (i) it becomes difficult to understand how they can show up in different different stories, songs, etc. as they obviously do in the cases of Faust and Pinocchio, and (ii) it becomes difficult to understand how they can show up in comparisons with nonfictional individuals.
Is there a tenable solution to my triad or is it a genuine aporia?
The following review article is scheduled to appear later this year in Studia Neoscholastica. The editor grants me permission to reproduce it here should anyone have comments that might lead to its improvement.
REVIEW ARTICLE
William F. Vallicella
Peter van Inwagen, Existence: Essays in Ontology, Cambridge University Press, 2014, viii + 261 pp.
This volume collects twelve of Peter van Inwagen's recent essays in ontology and meta-ontology, all of them previously published except one, “Alston on Ontological Commitment.” It also includes an introduction, “Inside and Outside the Ontology Room.” It goes without saying that anyone who works in ontology should study this collection of rigorous, brilliant, and creative articles. One route into the heart of van Inwagen's philosophical position is via the theory of fictional entities he develops in chapter 4, “Existence, ontological commitment, and fictional entities.”
Fictional Entities
One might reasonably take it to be a datum that a purely fictional item such as Sherlock Holmes does not exist. After all, most of us know that Holmes is a purely fictional character, and it seems analytic that what is purely fictional does not exist. Van Inwagen, however, demurs:
The lesson I mean to convey by these examples is that the nonexistence of [Sherlock] Holmes is not an ontological datum; the ontological datum is that we can use the sentence 'Sherlock Holmes does not exist' to say something true. (105)
So, while many of us are inclined to say that the nonexistence of Holmes is an ontological datum in virtue of his being a purely fictional entity, one wholly made up by Sir Arthur Conan Doyle, van Inwagen maintains that Holmes exists and that his existence is consistent with his being purely fictional. One man's datum is another man's (false) theory! To sort this out, we need to understand van Inwagen's approach to ficta.
May I offer the following resolution of the paradox? I say that 'purely fictional' does not function as a concept term. Instead, it is ambiguous between two interpretations. On the one hand, it behaves like the pseudo-concept 'inexistent'. To say that Bone is a purely fictional alcoholic is to deny that Bone exists. [BV: Biconditionality seems too strong. If N is a purely fictional F, then N doesn't exist; but if N doesn't exist, it does not follow that N is purely fictional.] The same goes whatever name and concept term we substitute for 'Bone' and 'alcoholic'. This leads us to assert
1. There are no purely fictional items.
On the other hand, I say that 'fictional and 'purely fictional' appear to be concept terms because sentences like
Bone is a purely fictional alcoholic
arise via a surface transformation of
Purely fictionally, Bone is an alcoholic
and inherit their meaning and truth value. We can understand the latter as asserting that
Some work of fiction says that Bone is an alcoholic.
We take this as true, as evidenced by the work of Hamilton, and running the transformation in reverse gets us to
Bone is a purely fictional alcoholic.
Taking 'purely fictional alcoholic' as a predicate, which it superficially resembles, by Existential Generalisation we arrive at
There is some purely fictional alcoholic,
and hence to
2. There are some purely fictional items.
and apparent contradiction with (1).
The idea of a surface transformation may well appear controversial and ad hoc. But the phenomenon occurs with other pseudo-concept terms, notably 'possible'. We have
Bone is a possible alcoholic <---> Possibly, Bone is an alcoholic Bone is a fictional alcoholic <---> Fictionally, Bone is an alcoholic.
On the left we have 'possible' and 'fictional' which look like concept terms but cannot be consistently interpreted as such. On the right we have sentential operators which introduce an element of semantic ascent which is not apparent on the left. It's precisely because 'possible' and 'fictional' involve hidden semantic ascent that they do not work as concept terms.
Response
I am afraid I don't quite understand what David is saying here despite having read it many times. This could be stupidity on my part. But I think we do need to explore his suggestion that there is an equivocation on 'purely fictional items.' Let me begin by listing what we know, or at least reasonably believe, about purely fictional characters.
First of all, we know that George Bone never existed: that follows from his being purely fictional.
Second, we know or at least reasonably believe that Bone is a character created by its author Patrick Hamilton, a character who figures in Hamilton's 1941 novel, Hangover Square. Just as the novel was created by Hamilton, so were the characters in it. Admittedly, this is not self-evident. One might maintain that there are all the fictional characters (and novels, stories, plays, legends, myths, etc.) there might have been and that the novelist or story teller or playwright just picks some of them out of Plato's topos ouranos or Meinong's realm of Aussersein. I find this 'telescope' conception rather less reasonable than the artifact conception according to which Bone and Co. are cultural artifacts of the creative activities of Hamilton and Co. Purely fictional characters are made up, not found or discovered. It is interesting to note that fingere in Latin means to mold, shape, form, while in Italian it means to feign, pretend, dissemble. That comports well with what fiction appears to be. Of course I am not arguing from the etymology of 'fiction.' But if you have etymology on your side, then so much the better.
Now there is a certain tension between the two points I have just made. On the one hand, Bone does not exist. On the other hand, Bone is not nothing. He is an artifact of Hamilton's creativity just as much as the novel itself is in which he figures. How can he not exist but also not be nothing? If he is not nothing, then he exists.
If Bone were to exist, he would be a human person, a concrete item. But there is no such concretum. On the other hand, Bone is not nothing: he is an artifact created by Hamilton over a period of time in the late '30s to early '40s. Since Bone cannot be a concrete artifact -- else Hamilton would be God -- Bone is an abstract artifact. Thus we avoid contradiction. Bone the concretum does not exist while Bone the abstract artifact does. This is one theory one might propose. (Cf. Kripke, van Inwagen, Thomasson, Reicher, et al.)
Note that this solution does not require the postulation of different modes of existence/being. But it does require that one 'countenance' (as Quine would say) abstract objects (in Quine's sense of 'abstract') in addition to concrete objects. It also requires the admission that some abstract objects are contingent and have a beginning in time. The theory avoids Meinongianism but is quasi-Platonic. London Ed needs a stiff drink long about now.
Now let's bring in a third datum. We know that there is a sense in which it is true that Bone is an alcoholic and false that he is a teetotaler. How do we reconcile the truth of 'Bone is an alcoholic' with the truth of 'Bone does not exist'? There is a problem here if we assume the plausible anti-Meinongian principle that, for any x, if x is F, then x exists. (Existence is a necessary condition of property-possession.) To solve the problem we might reach for a story operator. The following dyad is consistent:
3. According to the novel, Bone is an alcoholic
4. Bone does not exist.
From (3) one cannot validily move via the anti-Meinongian principle to 'Bone exists.' But if 'Bone is an alcoholic' is elliptical for (3), then 'Bone is a purely fictional character' is elliptical for
5. According to the novel, Bone is a purely fictional character.
But (5) is false. For according to the novel, Bone is a real man.
The point I am making is that 'Bone is a purely fictional character' is an external sentence, a sentence true in reality outside of any fictional context. By contrast, 'Bone is an alcoholic' is an internal sentence: it is true in the novel but not true in reality outside the novel. If it were true outside the novel, then given the anti-Meinongian principle that nothing can have properties without existing, Bone would exist -- which is false.
I think Brightly and I can agree that a purely fictional man is not a man, and that a purely fictional alcoholic is not an alcoholic. And yet Bone is at least as real as the novel of which he is the main character. After all, there is the character Bone but no character, Son of Bone. In keeping with Brightly's notion that there is an equivocation on 'purely fictional item,' we could say the following. 'Bone' in the internal sentence 'Bone is an alcoholic' doesn't refer to anything, while 'Bone' in the external sentence 'Bone is a purely fictional character' refers to an abstract object.
We can then reconcile (1) and (2) by replacing the original dyad with
1* There are no purely fictional concreta
2* There are some purely fictional abstracta.
The abstract artifact theory allows us to accommodate our three datanic or near-datanic points. The first was that Bone does not exist. We accommodate it by saying that there is no concretum, Bone. The second was that Bone is a creature of a novelist's creativity. We accommodate that by saying that what Hamilton created was the abstract artifact, Bone*, which exists. Bone does not exist, but the abstract surrogate Bone* does. The third point was that there are truths about Bone that nevertheless do not entail his existence. We can accommodate this by saying that while Bone does not exemplify such properties as being human and being an alcoholic, he encodes them. (To employ terminology from Ed Zalta.) This requires a distinction between two different ways for an item to have a property.
I do not endorse the above solution. But I would like to hear why Brightly rejects it, if he does.
The following is excerpted from my "Does Existence Itself Exist? Transcendental Nihilism Meets the Paradigm Theory" in The Philosophy of Panayot Butchvarov: A Collegial Evaluation, ed. Larry Lee Blackman, The Edwin Mellen Press, 2005, pp. 57-73, excerpt pp. 67-68.
If anything can count as an established result in philosophy, it is the soundness of Descartes' famous cogito ergo sum 'argument.' Thus to the query, 'How do I know that I exist?', the Cartesian answer is that the very act of doubting that one exists proves that one indubitably exists. Now this may not amount to a proof that a substantial self, a res cogitans, exists; and this for the reason that one may doubt whether acts of thinking emanate from a metaphysical ego. But the cogito certainly does prove that something exists, even if this is only an act of thinking or a momentary bundle of acts of thinking. Thus I know with certainty that my present doubting is not a nonexistent object. But if Meinong were right, my present doubting could easily be a nonexistent object, indeed, a nonexistent object that actually has the property of being indubitably apparent to itself.
For on Meinongian principles, I could, for all I could claim to know, be a fictional character, one who cannot doubt his own existence. In that case, the inability to doubt one's own existence would not prove that one actually exists. This intolerable result certainly looks like a reductio ad absurdum of the Meinongian theory. If anything is clear, it is that I know, in the strictest sense of the word, that I am not a fictional character. My present doubting that I exist is an object that has the property of being indubitable, but cannot have this property without existing. It follows that there are objects whose actual possession of properties entails their existence. This implies the falsity of Meinong's principle of the independence of Sosein from Sein, and with it the view that existence is extrinsic to every object. Forced to choose between Descartes and Meinong, we ought to side with Descartes.
As I see it, the central problem in the philosophy of fiction is to find a solution to the following aporetic dyad:
1. There are no purely fictional items.
2. There are some purely fictional items.
The problem is that while the limbs of the dyad cannot both be true, there is reason to think that each is true.
(1) looks to be an analytic truth: by definition, what is purely fictional is not, i.e., does not exist. George Harvey Bone, the main character in Patrick Hamilton's 1941 booze novel Hangover Square, does not now and never did exist. He is not a real alcoholic like his creator, Patrick Hamilton, who was a real alcoholic. What is true is that
3. Bone is a purely fictional alcoholic.
That (3) is true is clear from the fact that if a student wrote on a test that Bone was a teetotaler, his answer would be marked wrong. But if (3) is true, then, given that nothing can satisfy a predicate unless it exists, it follows that
4. Bone exists
and, given the validity of Existential Generalization, it follows that
5. There is a purely fictional alcoholic.
But if (5) is true, then so is (2).
It should now be spectacularly obvious what the problem is. There are two propositions, each the logical contradictory of the other, which implies that they cannot both be true, and yet we have excellent reason to think that both are true.
Now what are all the possible ways of solving this problem? I need a list. London Ed et al. can help me construct it. Right now all I want is a list, a complete list if possible, not arguments for or against any item on the list. Not all of the following are serious contenders, but I am aiming at completeness.
A. Dialetheism. Accept dialetheism, which amounts to the claim that there are true contradictions and that the Law of Non-Contradiction (LNC) is false.
B. Paraphrasticism. Reject (2) by attempting to show that sentences such as (3) can be paraphrased in such a way that the apparent reference to ficta is eliminated. For example, one might offer the following paraphrase of (3): 'Hamilton wrote a story implying that here is an alcoholic named Bone.' The paraphrastic approach works only if every reference to a fictional item, whether it be a person or place or event or fiction, can be paraphrased away. (As Kripke and others have noted, there are fictional fictions, fictional plays for example, such as a fictional play referenced within a play.)
C. Logic Reform. Reject Existential Generalization (off load existence from the particular quantifier) and reject the anti-Meinongian principle that nothing can satisfy a predicate (or exemplify a property) unless it exists. One could then block the inference from (3) to (2).
D. Ontology Reform. Reject (1) by arguing that fictional items, without prejudice to their being purely fictional, do exist. Saul Kripke, for example, maintains that a fictional character is an abstract entity that "exists in virtue of more concrete activities of telling stories, writing plays, writing novels, and so on . . . the same way that a nation is an abstract entity which exists in virtue of concrete relations between people." (Reference and Existence: The John Locke Lectures, Oxford UP, 2013, p. 73.) Or one might hold that fictional items are abstract items that exist necessarily like numbers.
E. Dissolutionism. Somehow argue that the problem as posed above is a pseudoproblem that doesn't need solving but dissolving. One might perhaps argue that one or the other of the dyad's limbs has not even a prima facie claim on our acceptance.
F. Neitherism. Reject both limbs. Strategy (A) rejects LNC. This strategy rejects the Law of Excluded Middle. (Not promising, but I'm aiming for completeness.)
G. Mysterianism. Accept both limbs but deny that they are mutually contradictory. Maintain that our cognitive limitations make it either presently or permanently impossible for us to understand how the limbs can be both true and non-contradictory. "They are both true; reality is non-contradictory; but it is a mystery how!"
H. Buddhism. Reject the tetralemma: neither (1) nor (2), nor both, nor neither.
I. Hegelianism. Propose a grand synthesis in which thesis (1) and antithesis (2) are aufgehoben, simultaneously cancelled and preserved. (I have no idea what this would look like -- again, I want a complete list of options.)
First question: Have I covered all the bases? Or are there solution strategies that cannot be brought under one of the above heads? If you think there are, tell me what you think they are. But don't mention something that is subsumable under one of (A)-(I).
Second question (for London Ed): under which head would you book your solution? Do you favor the paraphrastic approach sketched in (B) or not?Or maybe Ed thinks that the problem as I have formulated it is a pseudoproblem (option (E)).
Be a good sport, Ed, play along and answer my questions.
London Ed recommended to me Patrick Hamilton's 1941 booze novel, Hangover Square. It gets off to a slow start, but quickly picks up speed and now has me in its grip. I'm on p. 60. The main character is one George Harvey Bone.
Ed gives this argument in an earlier thread:
(*) Bone, who is depicted by Hamilton as a sad alcoholic, is living in a flat in Earl’s Court.
The argument is that either the predicates ‘is depicted by Hamilton as a sad alcoholic’ and ‘is living in a flat in Earl’s Court’ have no subject, or they have the same subject. Either way, van Inwagen’s theory is wrong.
If they have no subject, then ‘is depicted by Hamilton as a sad alcoholic’ has no subject, but PvI argues that the subject is an abstract object. If they have the same subject, then if the subject of ‘is depicted by Hamilton as a sad alcoholic’ is an abstract object, then so is the subject of ‘is living in a flat in Earl’s Court’, which he also denies.
Either way, his theory cannot explain sentences like the one above.
The first thing I would point out (and this comports somewhat with a comment by David Brightly in the earlier thread) is that (*) can be reasonably parsed as a conjunction, the conjuncts of which belong to different categories of fiction (not fictional) discourse:
(*) Bone is depicted by Hamilton as a sad alcoholic & Bone lives in Earl's Court.
The two different categories are, first, the category of sentences we use when we engage in lit-crit discourse about fictional characters 'from the outside' while yet attending carefully to the 'internal' details of the fictional work. An example of such a sentence would be the following. "George Bone, like Don Birnham of Charles Jackson's 1944 Lost Weekend, have girlfriends, but Netta, the inamorata of the former, is a devil whereas Helen, the beloved of Birnham, is an angel."
Now that sentence I just wrote might be a second-rate bit of lit-crit, but it is a sentence that occurs in neither booze novel, nor is it entirely external to either novel. It is not entirely external because it reports details internal to the novels and it either gets them right or gets them wrong. 'George Bone is a purely fictional character,' by contrast, is an entirely external sentence. That sentence does not occur in the novel, and indeed it cannot occur within the novel (as opposed to within a bit of text preceding the novel proper, or as an authorial aside in a footnote) unless it were put into the mouth of a character. It cannot occur therein, because, within the world of Hangover Square, George Harvey Bone is precisely real, not fictional. As the same goes for Earl's Court, although it is also a real place in London. (One could, I suppose, argue that the Earl's Court of the novel is a fictional Earl's Court and thus distinct from the real-world Earl's Court. Holy moly, this is tricky stuff.)
The second category I mentioned comprises sentences that are either wholly internal to pieces of fiction or sentences that occur in synopses and summaries but could occur internally to pieces of fictions. For example, the second conjunct of (*):
C2. Bone lives in Earl's Court.
(C2) is probably too flat-footed a sentence to occur in a novel as good as Hangover Square, but it could have occurred therein and it could easily figure in a summary of the novel. (C1), however, namely,
C1. Bone is depicted by Hamilton as a sad alcoholic
could not have occurred in Hangover Square.
Now as I understand things, the grammatical subject of a sentence is a linguistic item, a word or a phrase. Thus (C1) and (C2) have the same grammatical subject, namely, the proper name 'Bone.' The grammatical subject is to be distinguished from its extralinguistic referent, if there is one. Call that the real subject. ('Logical subject' doesn't cut it since we do not typically refer to items on the logical plane such as propositions.)
So I take London Ed in his above-quoted animadversion to be referring to the real subjects of (C1) and (C2) when he uses 'subject.' He poses a dilemma for van Inwagen's view. Either the conjuncts have no subject or they have the same subject.
They cannot have no subject on van Inwagen's view because the subject of (C1) is an abstract object. And they cannot have the same subject, because then both conjuncts would have as real subject an abstract object. That cannot be, since on van Inwagen's view, and quite plausibly to boot, the subject of (C2) cannot be an abstract object. No abstract object lives or resides at any particular place. Abstract objects don't hang out or get hung over.
So, Ed concludes, van Inwagen's theory cannot explain (*).
Now my metaphilosophy teaches that no theory is any good on this topic or on any other. The problems of philosophy are most of them genuine, some of them humanly important, but none of them soluble. They are genuine intellectual knots that we cannot untie. That's about as good as it gets when it comes to "nailing my colours to the mast" as Ed demands that I do.
In other words, I am not advocating a particular theory as superior to Ed's, whatever exactly it is. (I am not being 'snarky' to use a Gen-X expression; I really don't know exactly what his theory is.) I don't think that van Inwagen's theory is unproblematic and I am not advocating it.
But I do think that Ed has failed to refute van Inwagen. The reason is because he conflates the two categories of fiction sentences lately distinguished, the category of lit-crit sentences like (C1), and the category of sentences that either do or could occur within pieces of fiction, an example being (C2).
Defending van Inwagen, I reject Ed's disjunction, namely: Either the conjuncts have no subject or they have the same subject. They have neither the same subject nor no subject. One has a subject and the other doesn't. (C1) has as its subject an abstract object and (C2) has as its subject nothing at all.
That's what van Inwagen could say to Ed so as to neutralize Ed's objection.
we can invoke story operators and substitute for (1)
1*. In the Tolkien story, Frodo is a hobbit.
From (1*) one cannot validly infer (2). So far, so good. But what about the true
3. Frodo is a purely fictional character
given that the following is plainly false:
3*. In the Tolkien story, Frodo is a purely fictional character. (?)
How do we block the inference from (3) to
4. There are purely fictional characters. (?)
At this juncture, London Ed makes a paraphrastic move:
Note that 'fiction' just means what is contrived, or made up, or invented. To say that Frodo 'is' a fictional character is simply to say that he is made up, which itself no more than saying that someone (Tolkien) made him up.
Indeed, that is what 'fiction' means, 'pure fiction' leastways. 'Fiction' is from the Latin fingere. So Ed would paraphrase (3) as
3P. Someone (Tolkien) made up (created, invented, contrived) Frodo.
Now if the paraphrase is adequate, then (3) does not commit us ontologically to anything beyond Tolkien. It does not commit us to the existence of fictional characters. Ed wants to avoid views like that of van Inwagen according to which purely fictional items exist. It is worth noting that Ed agrees with van Inwagen about the univocity of 'is' and 'exists.' There are no modes of existence/being for either of them. And for both the one sense of 'is'/'exists' is supplied adequately and completely by the existential quantifier of modern predicate logic. Both are thin theorists when it comes to existence.
But is (3P) an adequate paraphrase of (3)?
I don't think so. If Tolkien made up Frodo, but Frodo does not exist, then what did Tolkien create? A mere modification of his own consciousness? No. He created a character that outlasted him and that cannot be identified with any part of Tolkien's body or mind. Tolkien ceased to exist in 1973. But no one will say that the character Frodo simply vanished in 1973. When Tolkien ceased to exist, his mental contents ceased to exist. But when the writer ceased to exist, Frodo did not stop being a quite definite fictional character. So Frodo cannot be identified with any mental content of Tolkien. Nor could Frodo be said to be an adverbial modification of one of Tolkien's acts of thinking.
I grant that Frodo is an artifact. He came into being by the creative acts of Tolkien and is dependent on Tolkien for his coming into being, and perhaps even tied to Tolkien for his very identity: essentiality of origin for ficta. Frodo is also dependent on the continuing existence of physical copies of LOTR. Frodo is an artifact that came into being and can pass out of being. This makes Frodo a contingent artifact. What's more, Frodo is not merely a content in Tolkien's mind: he can be thought about and understood and referred to by many different minds. So Frodo has a curious status: he is in one way dependent and in another independent.
Now I claim that if one admits that there are different modes of being/existence, one can make sense of this. Fictional characters have a dependent mode of being, but they are, nonetheless, items in their own right. They obviously don't exist in the way a fiction writer exists. But it would be false to say that they don't exist at all. After all, Frodo cannot be identified with a mental content of Tolkien.
So while it is true that someone made up Frodo, as Ed rightly insists, that does not suffice to show that Frodo does not exist.
Ed's paraphrase is inadequate. And so he is stuck with the problem of blocking the inference from (3) to (4).
........................
UPDATE (7/31). I said above, "Frodo is also dependent on the continuing existence of physical copies of LOTR." That's not quite right. If all the copies of LOTR were destroyed tomorrow, Frodo would continue on as a cultural artifact in the oral tradition for as long as that tradition was maintained. But once that tradition petered out, it would be all over for Frodo if there were no physical copies of LOTR (electronic or otherwise) or writings about LOTR on hand. The dependence of abstract cultural artifacts on human beings, their practices and memories, is not easy to understand. We are in the realm of Hegel's objektiver Geist.
2. There are some purely fictional characters, e.g., Sherlock Holmes.
(1) looks to be an analytic truth: by definition, what is purely fictional is not, i.e., does not exist. But (2) also seems to be true. And yet they cannot both be true if 'are' has the same sense in both sentences.
London Ed is against "messing about with the copula" as he puts it. Thus he is opposed to making a distinction between two senses of 'are' in alleviation of our dyad's apparent inconsistency. Is there another way to solve the problem?
One way is to look for ontologically noncommittal paraphrases of those sentences that appear to commit us to fictional items. Roderick Chisholm has some suggestions for us. Consider the sentence
3. There is no detective who is as famous as Holmes.
Chisholm's paraphrase:
To say that there is no detective who is as famous as Holmes is to compare two numbers. (1) The first is the number of people who interpret Holmes as the name of a detective; and (2) the second is the number of people who interpret some name other than Holmes as the name of a detective. The comparative statement tells us that the first number is larger than the second. (A Realistic Theory of Categories, CUP 1996, pp. 122-123.)
Boiled down, we have
3P. The number of people of who take 'Holmes' to be the name of a detective is greater than the number of people who take some name other than 'Holmes' to be the name of a detective.
Very clever. Off the top of my head, (3P) looks to be an adequate paraphrase that does not commit us to the existence of a fictional entity. But if the paraphrastic method is to work, it must work against every example. Just one recalcitrant example counts as a "spanner in the works." What about this example of mine:
4. Obama is a worse liar than Pinocchio.
Perhaps we can paraphrase away the reference to Pinocchio with
4P. The traits we know Obama to possess are more indicative of mendacity than the traits we attribute to the character named 'Pinocchio.'
Questions for London Ed (and anyone else who is following this):
a. Do you endorse this paraphrastic approach? If not, why not?
b. Van Inwagen says things that imply that he thinks that the paraphrastic approach does not work. Why does he say this? Does he have examples of sentences that cannot be treated by this approach?
Inwagen gives persuasive arguments that there is only one sort of existential quantifier, that we cannot quantify over ‘things’ that are in some sense ‘beyond being’, and that ‘exists’ means the same as ‘is’ or ‘has being’. No review of his work would be complete without a careful discussion of these arguments, but as I agree with them, I will not discuss them here.
The problem I want to discuss is with his main thesis. He aims to explain what he calls ‘fictional discourse’, namely discourse like “There are characters in some 19th-century novels who are presented with a greater wealth of physical detail than is any character in any 18th-century novel." Such sentences are true, according to him, but when we translate them into quantifier-variable idiom, we have to use the existential quantifier which, on his view, is equivalent to ‘exists’. This seems to imply that fictional characters like Tom Sawyer and Mr Pickwick exist. Inwagen bites the bullet, and argues that they do exist. They are abstract objects, which exist in exactly the way that numbers exist. So when we say, in a work of literary criticism, that “Mrs Gamp is a character in a novel”, the proper name ‘Mrs Gamp’ refers to an abstract or ‘theoretical’ entity.
BV: I don't think Ed is representing van Inwagen correctly here. Numbers cannot come into being, but it is plausible to hold that fictional characters do. So while fictional characters, for van Inwagen, are abstract entities, he remains noncommittal on the question whether they are abstract artifacts in the way that chess could be thought of as a abstract artifact, or instead abstract non-artifacts like numbers and cognate platonica. See the last paragraph of "Existence, Ontological Commitment, and Fictional Entities."
This leads to the following problem. Inwagen argues that when a sentence like “Tom Sawyer was a boy who grew up along the banks of the Mississippi River in the 1840s” appears in a work of fiction, it is not true. Indeed, it is not even false, since it does not make an assertion at all (Existence, Ontological Commitment, and Fictional Entities, p.148, footnote 15). But when it appears in a work of literary criticism, as ‘literary discourse’, it is true. But if it is true, it seems to imply that there was some individual who is [in] the extension of the property expressed by ‘boy who grew up along the banks of the Mississippi River in the 1840s’, and yet there was no such individual.
Inwagen resolves the problem as follows. Tom Sawyer the fictional character exists, but he does not have the property ‘boy who grew up along the banks of the Mississippi River in the 1840s’. Nor does Mrs. Gamp have properties such as being old, being fat and so on. He concedes that this sounds odd (Creatures of Fiction, p. 304-5), but he argues there is something rather like it in a familiar philosophical doctrine, namely Descartes’ thesis that a person such as Jones is an immaterial substance, and so cannot have properties like ‘being tangible’, ‘weighing 220 lbs’ and so on, but only properties appropriate to immaterial objects, such as ‘thinking about Vienna’, ‘being free from pain’ and so on. Descartes says that Jones bears a relation to the properties on the former list that is not the relation of ‘having’ or ‘exemplifying’ but, rather, the relation of “animating a body” that has or exemplifies the property. We say that Jones is about six feet tall, but we should really say ‘animates a body that is six feet tall’: “what looks like predication in ordinary speech is not always predication”.
Thus when we say that Tom Sawyer is the main character in a well-known book of the same name, we are saying something that is true because the copula ‘is’ signifies the relation of having or exemplifying. But if we say, in literary discourse, that Tom is a boy, or that he is a resident of Mississippi, it is true because the copula signifies a quite different relation, which Inwagen calls ‘holding’.
BV: This is an accurate summary of van Inwagen's position as I understand it.
Problems
Bill has already identified some problems with Inwagen’s thesis. For example, he says that when I think of Mrs Gamp, I think of a woman. But according to Inwagen, I am thinking of an abstract or theoretical entity, and no theoretical entity has gender.
I shall not discuss these (although I broadly agree with them), but will mention some further ones.
1. Plot summaries. I discussed plot summaries in a comment to Bill’s post. We have a clear notion of what counts as a ‘correct’ summary. E.g. “Tom Sawyer lives with his Aunt Polly and his half-brother Sid” is correct, “Tom Sawyer lives with his Aunt Polly and his sisters Lizzie, Jane, Kitty, Lydia and Mary” is clearly not. But this notion of ‘correctness’ is close enough to the notion of truth that Inwagen’s theory needs to deal with it. If we assimilate it to Inwagen’s notion of truth in ‘literary discourse’, i.e. if we regard a statement in a plot summary as of the same kind as “Mrs Gamp is a character in a novel”, then we have the problem that plot summaries are written ‘in universe’, and that the names of the characters refer to the characters as characters, and not as abstract theoretical entities. But if we assimilate plot summaries to condensed versions of the original literary work, we have the problem of how they can be ‘correct’ at all. It is fundamental to Inwagen’s account that sentences in a work of fiction do not make assertions at all, and so cannot admit of truth or falsity – or correctness or incorrectness.
BV: Ed's point here seems to be that van Inwagen cannot account for the correctness of plot summaries. It is clear that some summaries are correct or accurate and that some are not. Now a summary of a piece of fiction is either itself a piece of (severely condensed) fiction, in which case it contains sentences that are, on van Inwagen's theory, neither true nor false, or it is not a piece of fiction but a piece of writing containing true sentences about the content of the fictional work being summarized. This disjunction appears to be a dilemma. For on the first disjunct, it is hard to see how a plot summary could be correct or true. But the second disjunct is also unacceptable. For suppose the summary contains the sentence 'Mrs Gamp is a fat old lady.' Then 'Mrs Gamp' in this sentence takes an abstract existent as its referent, an existent that does not HAVE but HOLDs the properties of being fat, being old, and being a lady, when the novel is not about abstract objects at all, but is about concrete objects one of which HAS, but does not HOLD, the properties of being fat, old and a lady.
A very astute criticism that may in the end hit the mark. I don't know.
Suppose I write a three-sentence novella:
It was a dark and rainy night. Shaky Jake, life-long insomniac, awakened from his dogmatic slumbers by the rythm of the rain, and deciding he needed a nightcap, grabbed his flashlight and his raincoat and headed for the Glass Crutch bar and grill, a local watering hole a half a mile from his house. Bellying up to the bar, he said to the 'tender: "One scotch, one bourbon, one beer."
A correct plot summary: An insomniac awakened by the rain goes to a bar for a drink.
An incorrect summary: A philosopher in La Mirada, California, dreaming about the ontological argument, is awakened when an earthquake causes a copy of David Hume's A Treatise of Human Nature to fall on his head.
Ed's question is how the first summary can be correct and the second incorrect if fictional sentences 'in universe' as Ed writes, lack truth-values. I am not convinced that there is a problem here. For a summary to be correct it doesn't have to be true of anything; it merely has to reproduce in condensed form the sense of the the piece of fiction summarized. I can take in the sense of a sentence without knowing whether it is true or false. A summary merely boils down the sense of the original.
2. ‘Sincere’ fiction. Not all fiction is ‘insincere’, i.e. knowingly made up. What if a sincere but deluded person writes a long account about characters (angels, spirits etc) and events which were ‘revealed’ to him in a vision? Contra Inwagen, his claims are assertions, and are capable of truth or falsity.
BV: But is this a case of literary fiction? The delusive account is fictional in that it is false, but that might be different use of 'fictional.' Why can't van Inwagen insist that literary fiction is by definition 'insincere' in Ed's sense?
3. Story-relative reference. Any serious account of fiction needs to deal with the way that names in fiction (and empty names generally) are able to identify or individuate within the story by telling the reader which character is being talked about. Inwagen needs to explain how such story-relative reference works, for his theory does not address it. He also has the problem that ‘literary discourse’ also seems to use story-relative reference. Consider the story (A) “A man called Gerald and a boy called Steve were standing by fountain. Steve had a drink”, and the statement (B) “In the second sentence the proper name ‘Steve’ identifies Steve." Statement (B) is true, and so is ‘literary discourse’, according to Inwagen, and so ‘Steve’ in (B) identifies an abstract object. But it clearly ‘refers back’ to the ‘Steve’ in (A). How can a term referring to an abstract object also refer back to a character in a story, when the character is not an abstract object?
BV: Van Inwagen might respond by saying that in (B) ''Steve' identifies Steve only in the sense that 'Steve' in the second sentence has 'Steve' in the first sentence as antecedent. So there is no (extralinguistic) reference at all, and 'Steve' in (B) does not pick out an abstract object.
Note the ambiguity of 'Ed signed his book.' It could mean that Ed signed Ed's book. Or it could mean that Ed signed a book belonging to someone distinct from Ed. (Suppose, while pointing at Tom, I say to Peter, "Ed signed his book.") In the first case, 'his' exercises no (extralinguistic) reference. In the second case it does.
4. The problem is worse in the case of names whose emptiness is in doubt. Suppose I make a reference statement: “Luke 1 v5 refers to Zachary, a high priest at the temple”. Like many characters in the New Testament, we are not certain whether Zachary existed or not. If he did exist, the name in my reference statement refers to him. If not, according to Inwagen, it refers to an abstract object. How can the semantics of the sentence be so utterly different without my knowing? For I don’t know whether Zachary existed or not, and so I don’t know what the semantics of the reference statement is. But surely I do.
BV: I don't think van Inwagen will have any trouble with this objection. Suppose we don't know whether Zachary existed or not. Our not knowing this is not the same as our not knowing whether he is nonfictional or fictional. For we know that the NT is not a work of fiction -- assuming that, necessarily, every work of fiction involves pretence on the part of its author or authors. If we agree that the NT is not a work of fiction and it turns out that Zachary never existed, then van Inwagen can say that no one had all the properties ascribed to Zachary. His theory does not require him to say that 'Zachary' refers to an abstract object.
5. What about statements where we say what the author says? For example “Dickens says that Mrs Gamp is fat”. Inwagen would classify this as literary discourse, but if so, the token of ‘Mrs Gamp’ refers to an abstract object. But Dickens is surely not saying that an abstract object is fat?
The general problem, and here I think I am agreeing with Bill, is that the semantics of proper names as used in fiction (or ‘sincere’ fiction) doesn’t seem to be enormously different from the semantics of the same names as used in ‘literary discourse’. Yet, according to Inwagen, the difference is as enormous as it gets.
A character in a novel is an example of a purely fictional item provided that the character is wholly 'made up' by the novelist. Paul Morphy, for example, is a character in Francis Parkinson Keyes' historical novel, The Chess Players but he is also a real-life 19th century New Orleans chess prodigy. So Paul Morphy, while figuring in a piece of fiction, is not a purely fictional item like Captain Ahab or Sancho Panza or Frodo.
Earlier I said that it is a datum that Frodo, a purely fictional item, does not exist. Saying that it is a datum, I implied that it is not something that can be reasonably questioned, that it is a 'Moorean fact.' After all, most of us know that Frodo is a purely fictional character, and it is obvious -- isn't it? -- that what is purely fictional does not exist. Whatever is purely fictional does not exist looks to be an analytic proposition, one that merely unpacks the sense of 'purely fictional.'
The lesson I mean to convey by these examples is that the nonexistence of [Sherlock] Holmes is not an ontological datum; the ontological datum is that we can use the sentence 'Sherlock Holmes does not exist' to say something true.
I think this sentence would make more sense if van Inwagen had 'linguistic datum' for the second occurrence of 'ontological datum.' If the nonexistence of Holmes is a datum, then it is an ontological datum; but the fact that we can use the sentence in question to say something true is a linguistic datum.
In any case, PvI is saying the opposite of what I was saying earlier. I was saying something that implies that the nonexistence of Holmes is an ontological datum in virtue of his being a purely fictional entity whereas PvI is saying in effect that Holmes exists and that his existence is consistent with his being purely fictional. One man's datum is another man's (false) theory!
To sort this out, we need to understand PvI's approach to ficta.
Van Inwagen's Theory of Fictional Entities
We first note that van Inwagen holds to the univocity of 'exists' and 'is.' The ontological counterpart of this semantic thesis is that there are no modes of being/existence. He also has no truck with Meinongian Aussersein. Bear in mind that Aussersein is not a mode of being. And bear in mind that the doctrine of Aussersein is not the same as, and goes far beyond, the thesis that there is a weak mode of being had by the fictional Mrs. Gamp and her ilk. The thesis of Aussersein is that
M. Some items are such that they have no being whatsoever.
For van Inwagen, (M) is self-contradictory. He thinks that it entails that something is not identical with itself, which, if the entailment went through, would amount to a reductio ad absurdum of (M). (95) Now I have argued that van Inwagen is wrong to find (M) self-contradictory. But let's assume that he is right. Then it would follow, in conjunction with the univocity thesis, that everything exists and indeed in the same sense of 'exists.' And what sense is that? The sense supplied by the existential quantifier of standard modern predicate logic. Van Inwagen is thoroughly Quinean about existence. There is nothing more to existence than what existential quantification expresses. I call this a dogma of analysis. Fo an attempt at refutation, see my "Existence: Two Dogmas of Analysis" in Neo-Aristotelian Perspectives in Metaphysics, eds. Novotny and Novak, Routledge, 2014, pp. 45-75.
Now consider the sentence
1. Tom Sawyer is a character in a novel by Mark Twain.
By van Inwagen's lights, when (1) is translated into the quantifier-variable idiom it can be seen to imply that Tom Sawyer exists. I won't repeat van Inwagen's tedious rigmarole, but the idea is simple enough: (1) is plainly true; (1) cannot be supplied with an ontologically noncommittal paraphrase; and (1) ontologically commits us to the existence of the fictional character, Tom Sawyer. This is plausible and let's assume for present purposes that it is right: we accept (1) as true, and this acceptance commits us to the existence of a referent for 'Tom Sawyer.' Tom Sawyer exists! The same goes for all pure ficta. They all exist! They exist in the same sense that you and I do. Indeed, they actually exist: they are not mere possibilia. (What I just said is, strictly, pleonastic; but pleonasm is but a peccadillo when precision is at a premium.)
But now we have a problem, or at least van Inwagen does. While we are ontologically committed to the existence of purely fictional characters by our use and acceptance of true sentences such as (1), we must also somehow accommodate everyone's firm conviction that purely fictional characters do not exist. How?
When we say that Sherlock Holmes does not exist, we can be taken to express the proposition that "No one has all the properties the fictional character Sherlock Holmes holds . . . ." (105, emphasis added) There are properties that fictional characters HAVE and those that they HOLD. Among the properties that fictional characters HAVE are such logical properties as existence and self-identity, and such literary properties as being a character in a novel, being introduced in chapter 6, being modelled on Sancho Panza, etc. Among the properties fictional characters HOLD are properties like being human, being fat, having high blood pressure, being a resident of Hannibal, Missouri, and being a pipe-smoking detective.
What van Inwagen is doing is making a distinction between two modes of property-possession. A fictional item can possess a property by having it, i.e., exemplifying it, in which case the corresponding sentence expresses an actual predication. For example, a use of 'Tom Sawyer was created by Mark Twain' is an actual predication. A fictional item can also possess a property by holding it. For example, 'Tom Sawyer was a boy who grew up along the banks of Mississippi River in the 1840s' is not an actual predication but a sentence that expresses the relation of HOLDING that obtains between the fictional entity and the property expressed by 'was a boy who grew up, etc.'
With this distinction, van Inwagen can defang the apparent contradiction: Tom Sawyer exists & Tom Sawyer does not exist. The second limb can be taken to express the proposition that no one exemplifies or HAS the properties HELD by the existing item, Tom Sawyer.
To put it in my own way, what van Inwagen is maintaining is that there really is an entity named by 'Tom Sawyer' and that it possesses (my word) properties. It exemplifies some of these properties, the "high-category properties," but contains (my word) the others but is not qualified (my word) by them. Thus Mrs Gamp contains the property of being fat, but she does not exemplify this property. Analogy (mine): The set {fatness} is not fat: it holds the property but does not have (exemplify) it.
For van Inwagen, creatures of fiction exist and obey the laws of logic, including the Law of Excluded Middle. So they are not incomplete objects. On a Meinongian approach, Tom Sawyer is an incomplete nonexistent object. For van Inwagen, he is a complete existent object. Now although I am not aware of a passage where van Inwagen explicitly states that purely fictional entities are abstract objects, this seems clearly to be entailed by what he does say. For Tom Sawyer exists, and indeed actually exists -- he is not a merely possible being -- but he does not interact causally with anything else in the actual world. He does not exist here below in the land of concreta, but up yonder in Plato land. So if abstract entities are those that are causally inert, Tom Sawyer is an abstract object. That is consistent with what van Inwagen does explicity say, namely, that "creatures of fiction" are "theoretical entities of [literary] criticism." (Ontology, Identity, and Modality, p. 53.)
Some Questions about/Objections to van Inwagen's Theory
1. The theory implies that Sherlock Holmes exists, and exists as robustly as I do. That he exists follows from there being truths about him. That he exists as robustly as I do follows from the rejection of Meinongian nonentities and the rejection of modes of being/existence (and also of degrees of being/existence). But when I think about Sherlock I seem to myself to be thinking about something that does not exist. For I know that Sherlock is a purely fictional item, and I know that such items do not exist. If I am asked to describe the object of my thinking, I must describe it as nonexistent, for that is how it appears. So what should we say? Should we say that when I think of Sherlock, unbeknownst to myself, I am thinking of an existing abstract object? Or should we say that there are two objects, the one I am thinking of, which is nonexistent, and the existent abstract object?
Either way there is trouble. Surely I am the final authority as to what I am thinking of. It is part of the phenomenology of the situation that when I think about a detective that I know to be purely fictional I am thinking about an item that is given as nonexistent. But then the existing abstract object is not the same as the object I am thinking of. Van Inwagen's abstract surrogate exists; the object I am think of does not exist; ergo, they are not the same object.
On the other hand, if there are two objects, and it is van Inwagen's surrogate object that I am really thinking of when I think of Sherlock, then I am always in error when I think of pure ficta. I appear to myself to be thinking about nonexistent concreta when in reality I am thinking about existent abstracta.
2. When I think of Sherlock, I think of a man, and when I think of Mrs Gamp, I think of a woman. But no abstract object has sex organs. So either I am not thinking of what I appear to be thinking of, and a systematic error infects my thinking of pure ficta, or I am thinking of what I appear to be thinking of, namely, a man or a woman, in which case I am not thinking of an abstract existent.
3. When I think of Mrs Gamp as fat, I think of her as exemplifying the property of being fat, not as holding the property or containing it or encoding (Zalta) it. But then I cannot be thinking about an existent abstract object, for no such object is (predicatively) fat.
According to the Meinongian, when one think about Mrs Gamp, one thinks about a fat woman who does not exist. According to van Inwagen, when one thinks about Mrs Gamp, one thinks about an existing abstract object that is (predicatively) neither a woman not fat. Pick your poison!
I say neither theory is acceptable.
A Possible Objection to My Critique
"In the articles you cite, van Inwagen doesn't address our thinking about fictional items. He is not doing descriptive psychology or phenomenology; his approach is linguistic. He argues that fictional discourse -- discourse about fictional items -- commits us ontologically to fictional entities. He then tries to square this commitment with our acceptance of such sentences as 'Sherlock Holmes does not exist.' Your objections, however, are phenomenologically based. So it is not clear that your objections hit their target.
In response I would say that no adequate theory of fictional discourse or fictional objects can abstract away from the first-person point of view of one who thinks about fictional objects. Such linguistic reference as we find in a sentence such as (1) above is parasitic upon intentional or thinking reference. But this is a very large and a very hairy theme of its own. See The Primacy of the Intentional Over the Linguistic.
Let me attack yesterday's puzzle from a different angle. The puzzle in one sentence: we think about things that do not exist; but how is this possible given that they do not exist?
Here is the problem set forth as an aporetic hexad:
1. When I think about Frodo, as I am doing right now, I am thinking about, precisely, Frodo: not about some semantic or epistemic intermediary or surrogate or representative. I am thinking about a concrete, albeit nonexistent, item. I am not thinking about an idea in my mind, or a mental image, or any mental content; nor am I thinking about an abstract entity of any kind such as a property; nor am I thinking of a word or a phrase or anything linguistic.
2. Thinking about (thinking of) is a relation the relata of which are a subject who thinks and an object thought of. Thinking is triadic: ego-cogito-cogitatum.
3. Every relation is such that if it obtains, then all its relata exist/are.
4. There are no different modes of existence/being. This is the ontological counterpart of the semantic thesis of the univocity of 'exists' and 'is' and cognates.
5. To exist is to exist extramentally and extralinguistically, where the minds in question are finite.
6. Frodo, a purely fictional item, does not exist.
The limbs of the hexad are individually plausible but jointly inconsistent. To solve the problem we must reject one of the limbs. But which one? (6) is a datum, and (5) is an unproblematic definition. So the the candidates for rejection are (1)-(4). I'll take these in reverse order.
Deny (4): There are two modes of being, esse reale and esse intentionale. When we say, with truth, that Frodo does not exist, we mean that he lacks esse reale. But we can still think about him in a manner to satisfy (1)-(3) since he has merely intentional being.
Deny (3): Twardowski-Meinong-Grossmann Solution. There are items that have no being at all, and there are genuine relations that connect existents such as minds to beingless items in the realm of Aussersein.
Deny (2): Thinking-of is not relational, whether or not the obtaining of a relation requires that all its relata exist. This can be developed in different ways. Adverbial theories, Brentano's theory, Butchvarov's theory.
Deny (1): One way to deny (1) is via abstract artifactualism. A number of philosophers, including van Inwagen, have been putting forth some version of this view. The idea is that purely fictional items such as Frodo are created by the authors of works of fiction in which they figure. They are a peculiar species of abstract object since they come into being, unlike 'standard' abstract objects. They exist, but they are abstract. Meinong, by contrast, held that they are concrete but do not exist or have any being at all. Here is a paper that defends artifactualism against some objections by Sainsbury.
Now, gentlemen, pick your poison! Which limb will you deny? I claim, though this is but a promissory note, that no theory works and that the problem, though genuine, is insoluble.
While apparently conceding that empty proper names have an 'inferential role', rightly underscores the need for me to demonstrate that its meaning is just this role, i.e. to demonstrate that the 'inferential semantics' is a sufficient as well as a necessary explanation of (empty) proper names.
Here are some arguments to elucidate this inferential role, and to show that it is sufficient to explain everything we need to know about empty proper names (indeed, all proper names, but leave that aside for now).
Argument 1. Proper names are neither descriptive nor object-dependent.
Consider the meaning of the following two sentences:
There is a hobbit called 'Frodo'. Frodo has large feet.
I have argued that at least part of the semantics of the proper name 'Frodo' is to join the predicate 'hobbit' in the first sentence to the predicate 'has large feet' in the second. It allows us to infer 'some hobbit has large feet'. And by repeated use of this inference in successive propositions in a narrative, it allows us to connect an increasingly complex description to each character in the narrative. It tells us which character we are talking 'about' by telling us which description to increase. Does it have any further function than this? Is it descriptive? Does it mean something like "hobbit called 'Frodo'"? No, for consider
There is a hobbit called 'Frodo'. There is another hobbit called 'Frodo'.
Clearly if there can be two characters in a narrative with the same name (as sometimes there are), the indefinite description 'called N' is not sufficient to individuate the character. Or consider
There is a hobbit called 'Frodo'. Frodo might not have been called 'Frodo'
This implies 'some hobbit called Frodo might not have been called Frodo', which is not inconsistent, so long as 'some hobbit' is read with wide scope. I won't argue this at length here, but it is easy to show that all the arguments which Kripke levels at the description theory of names can be reused or reinterpreted in the case of empty names. But if an empty proper name is non-descriptive and if there is no object that it corresponds to (either real or intentional), the simplest explanation is that its meaning is its inferential properties.
BV Comment 1. I take it that your view is that no indefinite or definite description supplies the meaning (sense) of any empty name. You rely on Kripke-type arguments. But distinguish:
a. Reference is not routed through sense, but direct
and
b. Names lack sense entirely.
It might be that while the reference of a name is not routed through an associated sense, the name nevertheless has a sense. Your view, however, rules that out. And doesn't Kripke speak of a sense that "fixes the reference" of a name without being part of the mechanism by which reference is achieved? But let's not get sidetracked into Kripke exegesis!
If I understand you, you want to maintain that names and other singular referring devices such as indexicals and demonstratives are purely syntactical devices. I honestly don't see how that could be true. I gave the example earlier of the first-person singular pronoun. Assume that when Frodo says 'I am hungry' he refers directly to Frodo and not via a special reference-mediating I-sense. Still, any use of 'I' has as part of its meaning that a producer of such a linguistic token is a person or a (potentially) self-conscious being, a being that can speak or think.
In this connection, David Kaplan speaks of character as opposed to content. "The character of an expression is set by linguistic conventions and, in turn, determines the content of the expression in every context." (Themes from Kaplan, p. 505) The character of the pure indexical 'I' is given by the rule:
'I' refers to the speaker or writer. (505)
My criticism, then, is that if the semantics of singular referring devices reduces to the inferential roles these words play, then there is no accounting for Kaplanian content since that does not vary with context or inferential role.
Leaving aside idexicals and demonstratives, all or most names seem to have associated with them a semantic content which cannot be reduced to the purely syntactical. Consider the song Carmelita about an apparently purely fictional character named 'Carmelita.' That name carries the sense 'female.' And the same goes for the wicked Felina in Marty Robbins' El Paso. There are male names, female names, and unisex names. If Carl is married to Carla, then you know the marriage is not same-sex.
Argument 2. Referential insulation
Consider the first sentence above: "There is a hobbit called 'Frodo'". This is indefinite, i.e. it does not tell us which hobbit is called 'Frodo'. Specifically, even if hobbits are mentioned in some earlier part of the narrative, this sentence on its own does not generate any further inferences about hobbits. It is a 'referential insulator', it does not 'refer backwards' to any previous sentence.The second sentence "Frodo has large feet", by contrast, does refer back. But only to the first sentence. Any third sentence can refer back to this one, and a fourth sentence to the third, and we can construct a whole referential chain, each of which refers back to the previous link. But the chain stops at the first sentence, the insulating sentence. This suggests that the second definite sentence, or back-referring sentence, has meaning only insofar as it refers back. But its back-reference is exhausted by its inferential properties. Ergo etc.
BV Comment 2. Suppose I grant the the meaning of 'Frodo' in the second sentence is exhausted by its back reference to 'Frodo' in the first sentence. This back reference is entirely intralinguistic: it is a word-word relation, not a word-world relation. So far, so good. Consider this quantified sentence:
(Ex) (x is a hobbit called 'Frodo' & x has large feet).
'Frodo' in the second sentence -- 'Frodo has large feet' -- plays the role of the second bound variable in the above quantified sentence, and that role is purely syntactical. The second sentence is synonomous with 'He has large feet' in the context in question.
So perhaps what you are up to is this: You want to construe names as pronouns used anaphorically as opposed to demonstratively. You are of course aware of the ambiguity of a sentence like 'Feser inscribed his book.' That could mean that Feser inscribed Feser's book, in which case 'his' is being used anaphorically, or it could mean that Feser inscribed some other person's book, in which case 'his' is being used demonstratively. Suppose I say 'Feser inscribed his book' while pointing to Peter. Then 'his' refers to an extralingusitc item, Peter. On the first disambiguation, however, 'his' is syntactically bound to 'Feser' and the reference is an intralinguistic back reference.
Here is the problem. 'Frodo' in the first sentence cannot be construed as a pronoun used anaphorically. You cannot introduce 'Frodo' without packing some meaning into it. And that is exactly what you do when you say that Frodo is a hobbit. Surely you don't think that 'hobbit' is a purely syntactical device. We agree of course that 'hobbit' has a null extension, but it must have some intension, and that intension cannot be reduced to syntax. Hence 'Frodo' when first introduced has to have some meaning that is irreducible to syntax or inferential role.
Even if back reference is exhausted by inferential properties, and the meaning of a back-referring term reduces to its syntactic role, surely the meaning of a name -- even if it is empty -- cannot on its first introduction be reduced to its syntactic role.
In short, your "ergo, etc." is a non sequitur.
Argument 3. Definition not object-dependent.
The definition of the name 'Frodo' occurs in the first sentence ("There is a hobbit called 'Frodo'"). This tells us that any subsequent usage of 'Frodo' refers back to this sentence. But it is a general existential proposition. On the assumption that general existential propositions aren't object-dependent, it follows that we can define a proper name without requiring an object. Given that we can define its meaning without having an object, it follows that its meaning is not object-dependent.
BV Comment 3: This argument seems OK in relation to empty names. Do you mean it to apply to non-empty names as well?
Argument 4. Pronouns are not object-dependent.
Consider
There is a hobbit called 'Frodo'. He has large feet.
Clearly the pronoun 'he' refers back to the first sentence, not to any object. But the two sentences together do not signify any more than the two 'Frodo' sentences above. But if the two 'Frodo' sentences have the same meaning as two object-independent sentences, it follows that the two 'Frodo' sentences are object-independent also.
BV Comment 4. To be true, your thesis has to be modified: Pronouns used anaphorically are not object-dependent.
Suppose you don't know that prosciutto is called 'prosciutto.' But you want some anyway and you know what it looks like. You belly up to the deli counter, point to the delectable item, and say 'I want some of this!' Surely the meaning of the demonstrative pronoun 'this' in this context is object-dependent.
But the same goes for the pure indexical 'I.' The indexical reference is achieved without a demonstration -- there is no need to point to oneself when saying 'I' -- but 'I' is secure against reference failure. One cannot token 'I' without referring to something. So 'I' used indexically -- not as a Roman numeral say -- is object-dependent for its meaning.
What follows are some ideas from London Ed about a book he is writing. He solicits comments. Mine are in blue.
The logical form thing was entertaining but rather off-topic re the fictional names thing. On which, Peter requested some more.
Let’s step right back. I want to kick off the book with an observation about how illusion impedes the progress of science. It looks as though the sun is going round the earth, so early theories of the universe had the earth standing still. It seems as though objects are continuously solid, and so science rejected the atomists’ theory and adopted Aristotle’s theory for more than a millenium.
A final example from the psychology of perception: in 1638, Descartes takes a eye of a bull and shows how images are projected onto the retina. He finally disproves the ‘emissive theory of sight’. The emissive theory is the naturally occurring idea that eyesight is emitted from your eye and travels to and hits the distant object you are looking at. If you ask a young child why you can’t see when your eyes are shut, he replies (‘because the eyesight can’t get out’).
Scientific progress is [often] about rejecting theories based on what our cognitive and perceptual framework suggests to us, and adopting theories based on diligent observation and logic.
We reject ‘eyebeams’. We reject the natural idea that the mental or sensitive faculty can act at a distance. When we look at the moon, science rejects the idea that a little ethereal piece of us is travelling a quarter of a million miles into space. Yet – turning to the main subject of the book – some philosophers think that objects themselves somehow enter our thoughts. Russell writes to Frege, saying “I believe that in spite of all its snowfields Mont Blanc itself is a component part of what is actually asserted in the proposition ‘Mont Blanc is more than 4,000 metres high”. Kaplan mentions, with apparent approval, the idea that the proposition ‘John is tall’ has two components: the property expressed by the predicate ‘is tall’, and the individual John. “That’s right, John himself, right there, trapped in a proposition”. The dominant theory in modern philosophical logic is ‘direct reference’, or object-dependent theories of semantics: a proper name has no meaning except its bearer, and so the meaning of ‘John is tall’ has precisely the components that Kaplan describes.
BV: I too find the notion that there are Russellian (as opposed to Fregean) propositions very hard to swallow. If belief is a propositional attitude, and I believe that Peter is now doing his grades, it is surely not Peter himself, intestinal contents and all, who is a constituent of the proposition that is the accusative of my act of belief. The subject constituent of the proposition cannot be that infinitely propertied gnarly chunk of external reality, but must be a thinner sort of object, one manageable by a finite mind, something along the lines of a Fregean sense.
The purpose of the proposed book is to advance science by showing how such object-dependent theories are deeply mistaken, and also to explain why they are so compelling, because of their basis on a cognitive illusion as powerful as the illusions that underlie the geocentric theory, or the emissive theory of sight.
What is the illusion? The argument for object dependence is roughly as follows
(1) We can have so-called ‘singular thoughts’, such as when we think that John is tall, i.e. when we have thoughts expressable [expressible] by propositions [sentences, not propositions] whose subject term is a proper name or some other non-descriptive singular term.
(2) A singular term tells us which individual the proposition is about, without telling us anything about it. I.e. singular terms, proper names, demonstratives, etc. are non-descriptive. They are ‘bare individuators’.
BV: This is not quite right. Consider the the first-person singular pronoun, 'I.' This is an indexical expression. If BV says, 'I am hungry,' he refers to BV; if PL says 'I am hungry,' he refers to PL. Either way, something is conveyed about the nature of the referent, namely, that it is a person or a self. So what Ed said is false as it stands. A use of 'I' does tell us something about the individual the sentence containing 'I' is about.
Examples are easily multiplied. Apart from the innovations of the Pee Cee, 'she' tells us that the individual referred to is female. 'Here' tells us that the item denoted is a place, typically. 'Now' picks out times. And there are other examples.
There are no bare items. Hence there cannot be reference to bare items. All reference conveys some property of the thing referred to. But variables may be a counterexample. Consider 'For any x, x = x.' One could perhaps uses variables in such a way that there is no restriction on what they range over. But it might be best to stay away from this labyrinth.
One criticism, then, is that there are no bare individuators. A second is that it is not a singular term, but a use of a singular term that individuates. Thus 'I' individuates nothing. It is PL's use of 'I' that picks out PL.
(3) If a singular term is non-descriptive, its meaning is the individual it individuates. A singular term cannot tell us which individual the proposition is about, unless there exists such an individual.
The course of the book is then to show why we don’t have to be forced into assumption (3). There doesn’t have to be (or to exist) an individual that is individuated. The theory of non-descriptive singular terms is then developed in the way I suggested in my earlier posts. Consider the inference
Frodo is a hobbit Frodo has large feet ------- Some hobbit has large feet
I want to argue that the semantics of ‘Frodo’ is purely inferential. I.e. to understand the meaning of ‘Frodo’ in that argument, it is enough to understand the inference that it generates. That is all.
BV: 'Frodo' doesn't generate anything. What you want to say is that the meaning of 'Frodo' is exhausted by the inferential role this term plays in the (valid) argument depicted. Sorry to be such a linguistic prick.
What you are saying is that 'Frodo,' though empty, has a meaning, but this meaning is wholly reducible to the purely syntactical role it plays in the above argument. (So you are not an eliminativist about the meanings of empty names.) But if the role is purely syntactical, then the role of 'Frodo' is the same as the role of the arbitrary individual constant 'f' in the following valid schema:
Hf Lf ------- (Ex)(Hx & Lx).
But then what distinguishes the meaning of 'Frodo' from that of 'Gandalf'?
Meinongian nonentities are out. Fregean senses are out. There are no referents in the cases of empty names. And yet they have meaning. So the meaning is purely syntactical. Well, I don't see how you can squeeze meaning out of bare syntax. Again, what distinguishes the meaning of the empty names just cited? The obviously differ in meaning, despite lacking both Sinn and Bedeutung.
We don’t need an object-dependent semantics to explain such inferences, and hence we don’t need object-dependence to explain the semantics of proper names. If an inferential semantics is sufficient, then the Razor tells us it is necesssary: Frustra fit per plura, quod potest fieri per pauciora.
BV: You should state explicitly that you intend your inferential semantics to hold both for empty and nonempty names.
And now we see the illusion. The proposition
John is thinking of Obama (or Frodo, or whomever)
has a relational form: “—is thinking of –”. But it does not express a relation. The illusion consists in the way that the relation of the language so strongly suggests a relation in reality. It is the illusion that causes us “to multiply the things principally signified by terms in accordance with the multiplication of the terms”.
That’s the main idea. Obviously a lot of middle terms have been left out. Have at it.
BV: So I suppose what you are saying is that belief in the intentionality of thought is as illusory as the belief in the emissive theory of sight. Just as the the eye does not emit an ethereal something that travels to the moon, e.g., the mind or the 'I' of the mind -- all puns intended! -- does not shoot out a ray of intentionality that gloms onto some Meinongian object, or some Thomistic merely intentional object, or some really existent object.
You face two main hurdles. The first I already mentioned. You have to explain how to squeeze semantics from mere syntax. The second is that there are theoretical alternatives to the view that intentionality is a relation other than yours. To mention just one: there are adverbial theories of intentionality that avoid an act-object analysis of mental reference.
1. Another claim which is nearly Moorean. I claim that the following argument is valid:
Frodo is a hobbit Frodo has large feet Some hobbit has large feet
I am not saying that the premisses are true. Clearly if there are no such things as hobbits, the first sentence has to be false. But it [the argument] is valid. The premisses can't be true and the conclusion false. If there were such a thing as Frodo, and if he was a hobbit, and if he had large feet, it has to be the cases that some hobbit (him) has large feet. So the argument is valid.
[. . .]
2. Assuming the argument above is valid, what fact makes it valid? I claim that it is a purely semantic property of the proper name 'Frodo'. I.e. it is in virtue of the meaning of 'Frodo' that the premisses cannot be true with the conclusion false. By 'purely semantic', I mean a feature of the term that it continues to possess even though it has no extension, i.e. there is nothing it refers to or denotes.
Stylistic comment: I would strike “continues to possess” and substitute “possesses.” After all it can't be your view that purely fictional names go from having extensions to not having them.
Substantive comment: What you say in #1 above seems correct. But now you take a turn that is reasonably resisted. You want to know what makes the Frodo argument valid. I say it is valid because it has a valid form:
a is F a is G ergo Some F is G.
It is this form that makes it impossible for an argument having this form to have true premises and a false conclusion. It has nothing to do with any semantic property of a substituend of the arbitrary individual constant, 'a.' Whether the subject matter of an argument is fiction or fact makes no difference to its validity or to the explanation of its validity. Logic abstracts from content; hence it treats 'Frodo,' 'Noah,' 'Churchhill' and 'Obama' the same, as substituends of an arbitrary individual constant.
It is not clear what you are claiming. Are you saying that there is a semantic property that only (purely) fictional names have? And what is this semantic property? Does 'Noah' have it as well?
Here is one guess at what you might mean. Purely fictional names, as such, do not and cannot have existing referents. Otherwise they wouldn't be purely fictional. Given, as you believe, that (a) the only referents are existing referents, and that (b) there are no modes of existence/being, you seem to be saying that purely fictional names, qua purely fictional names, do not and cannot have referents, full stop. Now if every sentence in which such a name figures is false (as you seem to believe), then there is no argument featuring purely fictional names that has true premises and a false conclusion. Therefore every such argument is by default valid (given the technical definition of validity that we both accept).
Is that what you mean?
If yes, then perhaps the semantic property you are talking about is the propery of necessarily not having a referent. Call this property 'P.' Now is P an intrinsic property of a name like 'Frodo' or is it a relational property? But surely there is no intrinsic property of a name that makes it a purely fictional name, and thus a name necessarily extensionless. What makes a name purely fictional is primarily the intention of the author, and secondarily the intentions of the readers (listeners, etc) who are complicit with the author in the fictional enterprise.
This is not Moorean. Someone could claim that the argument is valid because 'Frodo', if meaningful, refers to a non-existing thing, and because it refers to the same non-existing thing in both premisses. Some arguments against:
Comment: Why do you ignore the simplest and most obvious explanation of validity, the one I gave above?
(i) The Razor: why posit non-existing things in order to explain a matter of logic, when a semantic explanation would suffice? E.g. we don't need weird entities to explain the validity of 'every bachelor is unmarried, some people are bachelors, some people are unmarried'.
Comment: One problem is that I don't understand what you mean by a semantic explanation of validity. I grant you that the Frodo argument is valid: anyone who argues in accordance with the pattern embodied in that argument argues correctly. But I don't see that this has anything to do with whether the terms in the argument have non-null extensions. A Meinongian will say that 'Frodo is a hobbit' is true. But I am prepared to grant you that the sentence is false. But it doesn't matter since we know from Logic 101 that a valid argument can have false premises and a false conclusion.
(ii) "Frodo is a hobbit, he has large feet, some hobbit has large feet" is also valid. Do we need strange entities to explain the validity of arguments containing pronouns?
(iii) "Frodo is a hobbit who has large feet, some hobbit has large feet" is also valid. Do we need strange entities to explain the validity of arguments containing the word 'who'?
(iv) "Frodo is a hobbit with large feet, some hobbit has large feet" is also valid. Do we need strange entities to explain this? (My hunch is that the Meinongian will give up on this point. The onus is then on him to explain the difference between this one and any of the previous ones).
Comment: The validity of each of the variant arguments can be explained in the manner I indicated.
3. Now for the radical claim: the inferential property above is both necessary and sufficient to explain fictional individuation. Necessary is obvious. If we don't accept the validity, we could suppose that each token of the term 'Frodo' referred to a different character, and thus no two sentences in LOTR was ever about the same character. Clearly no one could understand the story if that were so. Sufficient is not so obvious, I will not defend that here.
Comment: Now you have really lost me. First of all, what is the inferential property? Presumably you mean that empty names have a property that explains the validity of (all? Some?) of the arguments in which they figure. What property is that? The property of being necessarily extensionless? Then why don't you say that?
And what is fictional individuation? You don't think that Frodo is a genuine individual. If he were, he would be a nonexistent individual and you reject such individuals. So there is no individual, Frodo. But if there is no individual, then there is no question of individuation in either the epistemological or the ontological sense of this term. Presumably, you mean by 'individuate' pick out, single out, identify in a way that supports cross-referencing? You need to explain this.
If this is what you mean, then on your view there is no Frodo to pick out or single out in thought. On your nominalism, all there is is the name. And you can't eke by with that alone. When I think about Frodo, I am not thinking about 'Frodo.' In fact, I can think about Frodo even if I have temporarily forgotten what his name is. Suppose I am thinking about the corpulent side-kick of Don Quixote, but have forgotten his name. I am thinking about Sancho Panza despite my not remembering that his name is 'Sancho Panza.'
Any adequate theory has to distinguish among: empty names, tokenings thereof, and tokenings thereof with understanding. If a voice synthesizer makes the sound associated with 'Frodo,' then the name is tokened, but nothing semantic is going on.
4. The really really radical claim: the semantic feature that explains individuation in fiction also explains individuation 'in reality'. So radical I won't try to defend it here. The defence would be roughly on the lines of: the same phenomenon cannot have two different causes. Same effect = same cause, which is a well accepted principle of scientific explanation. Obviously this would require defending that the effect is the same: I won't go into that here. The main pillars of the theory are (1) and (2) above. Inferences involving fictional names are valid, even though the premisses are never true. And the explanation of their validity does not involve Meinongian objects.
Comment: Once again, you haven't told us what individuation is. That word is a piece of philosophical jargon, not of ordinary language. No sentence containing it could count as Moorean. So you have to explain the term. And you have to meet my objection that there cannot be individuation in either the epistemological/semantic or ontological sense if there is no individual. How do you avoid embracing this inconsistent triad:
There are no fictional individuals. Questions about individuation makes sense only if there are individuals. Fictional names individuate.
I should think that your “really really radical claim” is hopeless. There is a huge difference between a genuine individual such as Obama and Frodo. You won't be able to paper over this difference especially since you reject Meinongian individuals and Plantingian haecceity properties.
I would like to bounce some of the central ideas [of a book] off you. The idea at the very centre is that fictional names, i.e. empty names, individuate. A fictional name like 'Frodo', in the sense it is used in The Lord of the Rings, tells us which character Tolkien is talking about. For example, in chapter II of Book II ("The Council of Elrond"), it says that Frodo is the one chosen to carry the Ring to Mordor, out of the nine characters in the Fellowship of the Ring. I.e. the name 'Frodo', as Tolkien uses it, tells us which character is chosen to carry the Ring.
Is that true? Can a fictional name, an empty name, a name that has no bearer, a name that refers to nothing, tell us which individual the writer is talking about? Can the writer even be said to be talking about anyone? In my view, he can. When Tolkien writes (p. 264 of my edition) "'I will take the Ring', he said, 'though I do not know the way'", he is talking about Frodo. That is, the sentence 'Tolkien is talking about Frodo' is true, and 'Tolkien is talking about Gandalf' is false.
So that's the central idea of the book, that fictional names individuate. Does it even make sense?
1. You seem to think that all and only fictional names are empty names. 'Vulcan,' however, used to refer to a hypothetical planet in an orbit between Mercury and the Sun, is an empty name, but not a fictional name. (In the "Star Trek" series, however, 'Vulcan' is a fictional name since it n ames, not a hypothetical planet, but a fictional one.) So not every empty name is a fictional name. And I should think that not every fictional name is empty. Names of real people as they (the names) figure in historical novels, legends, songs, movies, and whatnot are non-empty but arguably fictional. Think of the Faust legends, or the many stories and books and movies about Doc Holliday.
2. But although it is not perfectly obvious, I grant that every purely fictional name is empty, at least in the sense that no purely fictional name has an existing bearer or referent.
3. You maintain that purely fictional names like 'Frodo' do not refer to anything. They don't refer to anything that exists, obviously, but they also do not refer to Meinongian nonexistent objects or to merely intentional objects.
4. So I take it you do not make the following distinction that I make between two senses of 'empty':
Empty1: A name is empty1 iff it has no existing referent.
Empty2: A name is empty2 iff it has no referent whatsoever, whether existing, subsisting, Meinongian, or merely intentional.
5. Here is a question for you. If 'Frodo' and 'Gandalf' do not refer to anything at all, and therefore are without referents of any sort, then they have the same extension, the null extension or null set. Does it follow that the names have the same meaning? Is meaning exhausted by reference? If yes, then the two names have the same meaning, which is wrong. Or do the names differ in sense? If yes, then what are senses? What is the sense of an empty proper name?
6. To talk about Frodo is not the same as to talk about Gandalf. But you don't admit that there is anything at all that these names refer to. So how can one talk about either character? Can a term be about something if there is nothing the term refers to? What is aboutness? How can it be the case that both (i) 'Frodo' does not refer to anything and (ii) one can use 'Frodo' to talk about Frodo? Is talk about Frodo talk about the sense of 'Frodo'? Surely talk about is talk about something.
7. You maintain that fictional names individuate. What would it be for them not to individuate? Which theory or theories are you opposing? And what exactly do you mean by 'individuate'? There are no fictional individuals on your view, so how could any name individuate one?
More than one. Here is one. And as old Chisholm used to say, you are not philosophizing unless you have a puzzle. So try on this aporetic triad for size:
1. Purely fictional objects do not exist.
2. There are true sentences about purely fictional objects, e.g., 'Sherlock Holmes is a detective' and 'Sherlock Holmes is purely fictional.'
3. If a sentence of the form Fa is true, then there exists an x such that 'a' refers to x.
The triad is logically inconsistent: any two limbs entail the negation of the remaining one. So the limbs cannot all be true despite the considerable plausibility of each. So one of the propositions must be rejected. But the first is nonnegotiable since it is true by definition. The leaves two options: reject (2) or reject (3).
Suppose we reject (2). One way to do this is by supplying a paraphrase in which the apparent reference to the nonexistent is replaced by real reference to the existent. For example, the apparent reference to Sherlock, who does not exist, is replaced by real reference to a story in which he figures, a story that, of course, exists. The elliptical approach is one way of implementing this paraphrastic strategy. Accordingly,
4. Sherlock Holmes is a detective
and
5. Sherlock Holmes is fictional
are elliptical for, respectively,
6. In the Conan Doyle stories, Sherlock Holmes is a detective
and
7. In the Conan Doyle stories, Sherlock Holmes is fictional.
But note that while (5) is plainly true, (7) is plainly false. So (7) cannot be taken as elliptical for (5) This is a serious problem for the 'story operator' approach. Or consider the true
8. Sherlock Holmes does not exist.
(8) is surely not short for the false
9. In the Conan Doyle stories, Sherlock Holmes does not exist.
The point can be made with other 'extranuclear' predicates such as 'merely possible' and 'mythological.' If I say that Pegasus is mythological, I don't mean that, according to legend, Pegasus is mythological. But the story operator approach also has trouble with 'nuclear' predicates such as 'detective.' But I'll save that for a subsequent post.
I'll end with a different challenge to the story operator approach. Consider
10. Pinocchio was less of a liar than Barack Obama.
Whether you consider (1) true or false, it is certainly not elliptical for
11. In Carlo Collodi's The Adventures of Pinocchio (1883), Pinocchio was less of a liar than Barack Obama.
To put it vaguely, the the trouble with the story operator appoach is that it traps fictional characters within particular stories, songs, legends, tales, etc. so that (i) it becomes difficult to understand how they can show up in different different stories, songs, etc. as they obviously do in the cases of Faust and Pinocchio, and (ii) it becomes difficult to understand how they can show up in comparisons with nonfictional individuals.
As you use them, the terms 'fictional', 'intentional', 'possible', 'incomplete', and others like 'past' have a distinctive effect on the concept terms they qualify. Ordinary adjectives have the effect of narrowing the extension of the concept term they qualify: the red balls are a subset of the balls, the female prime ministers are a subset of the prime ministers, and so on. The terms in question have the opposite effect. They appear to widen, or indeed offset altogether, the extension of the qualified concept. They are thus potent alienating terms. So the question arises, What is the relation (if any) between the concepts 'fictional person' and 'person', between 'intentional object' and 'object', and 'possible X' and 'X'? Ordinary qualification can be uniformly understood in terms of set intersection. Is there a uniform explanation underlying these alienating qualifications?
1. First of all, contrary to what David says, there are plenty of ordinary adjectives that do not narrow the extension of the terms they qualify. There are redundant adjectives, alienans adjectives, and there is the construction known as the contradictio in adiecto. For example, 'decoy' in 'decoy duck' is an ordinary adjective despite its being an alienans adjective; it is just as ordinary as 'female' in 'female duck,' which I call a specifying adjective and which does narrow the extension of the noun 'duck.' I see no reason to say that specifying adjectives are the only ordinary ones.
2. We can agree on this: red balls are a proper subset of balls, and female prime ministers are a proper subset of prime ministers. We will also agree that round balls are a subset of balls, though not a proper subset, and that female girls are an improper subset of girls. We could say that the last two examples illustrate the null case of specification. We could make a distinction between properly specifying and improperly specifying adjectives corresponding to the distinction between proper and improper subsets.
3. We can also agree that specificatory qualification (but not all qualification) can be uniformly understood in terms of set intersection if the intersection is non-null. The set of cats and the set of dogs has an intersection, but it is the null set. Intersection is defined over all sets, disjoint or not, hence one cannot say that the set of dogs and the set of cats do not intersect. They intersect all right; it is just that their intersection is empty. 'Canine cat' is an example of a contradictio in adiecto which reflects the fact that the corresponding sets are disjoint. 'Canine' does not specify 'cat.' It does not divide the genus into two species, the canine cats and the non-canine cats.
4. I can't, pace David, think of an example in which an adjective widens the extension of the term it qualifies. Can you? For example, 'former' in 'former wife' does not widen the extension of 'wife.' It is not as if there are two kinds or species of wives, former and present. Tom's former wife is not his wife. 'Former' does not narrow the extension either. It is an alienans adjective. It is the same with 'artificial leather.' Alligator leather and cowshide are two kinds of leather, but artificial and real are not two kinds of leather.
5. We will agree that all or most the following constructions from ordinary, i.e., non-philosophical English feature alienans adjectives, adjectives that shift or 'alienate' or 'other' the sense of the term they qualify:
former wife
decoy duck
negative growth
faux marble
ex-priest
putative father
artificial leather
legally dead
male chauvinist (on one disambiguation of its syntactic ambiguity; see article below)
generational chauvinist (I am a generational chauvinist when it comes to popular music: that of my generation is superior to that of the immediately preceding and succeding American generations.)
6. Note that the adjective in 'alienans adjective' is not alienans! Note also that 'putative' and 'artificial' function a little differently. Exercise for the reader: explain the difference and formulate a general test for alienans adjectives.
7. Observe that 'artificial' in 'artificial insemination' is not an alienans adjective in that artificial insemination is indeed insemination, albeit by artificial means. Whatever the means, you are just as pregnant. So whether an adjective is alienans or not depends on the context. A false friend is not a friend, but false teeth are teeth.
8. We now come to more or less controversial examples:
same-sex marriage (Conservative position: same-sex marriage is not marriage)
merely possible animal ('The chimera is a merely possible animal.')
future individual
incomplete individual
Is a (purely) fictional man a man? You might be tempted to say yes: Hamlet is fictional and Hamlet is a man, so Hamlet is a fictional man. But the drift of what I have been arguing over the last few days is that a fictional man is not a man, and that therefore 'fictional' functions as an alienans adjective. But I am comfortable with the idea that a merely possible man is a man. What is the difference?
There might have been a man distinct from every man that exists. (Think of the actual world with all the human beings in it, n human beings. There could have been n + 1.) God is contemplating this extra man, and indeed the possible world or maximal consistent state of affairs in which he figures, but hasn't and will not ever actualize him or it. What God has before his mind is a completely determinate merely possible individual man. There is only one 'thing' this man lacks: actual existence. Property-wise, he is fully determinate in respect of essential properties, accidental properties, and relational properties. Property-wise the merely possible extra man and the actual extra man are exactly the same. Their quidditative content is identical. There is no difference in Sosein; the only difference is Sein, and Sosein is indifferent to Sein as Aquinas, Kant, and Meinong would all agree despite their differences. As Kant famously maintained, Sein is not a quidditative determination, or in his jargon 'reales Praedikat.'
For this reason a merely possible (complete) man is a man. They are identical in terms of essence or nature or quiddity or Sosein, these terms taken broadly. If God actualizes the extra man, his so doing does not alter the extra man in any quidditative respect. Otherwise, he ould not be the same man God had been contemplating.
9. Brightly hits upon a happy phrase, "alienating qualifications." In my first bullet list we have examples of alienating qualifications from ordinary English. I expect Brightly will agree with all or most of these examples. His questioin to me is:
Ordinary qualification can be uniformly understood in terms of set intersection. Is there a uniform explanation underlying these alienating qualifications?
If Brightly is looking for a test or criterion I suggest the following:
Let 'FG' be a phrase in which 'F' is an adjective and 'G' a noun. 'F' is alienans if and only if either an FG is not a G, or it does not follow from x's being an FG that x is a G. For example, your former wife is not your wife, a decoy duck is not a duck, artificial leather is not leather, and a relative truth is not a truth. Is an apparent heart attack a heart attack? It may or may not be. One cannot validly move from 'Jones had an apparent heart attack' to 'Jones had a heart attack.' So 'apparent' in 'apparent heart attack' is alienans.
Now it is obvious that a decoy duck is not a duck, and that a roasted turkey is not a turkey, but the cooked carcass of a turkey; but it is not so obvious that a fictional man is not a man, while a merely possible man is a man. To establish these controversial theses -- if 'establish' is not too strong a word -- requires philosophical inquiry which is of course very difficult and typically inconclusive. But once we have decided that a certain philosophical phrase is an alienating qualification, then my test above can be applied.
Peter and I discussed the following over Sunday breakfast.
Suppose I want a table, but there is no existing table that I want: I want a table with special features that no existing table possesses. So I decide to build a table with these features. My planning involves imagining a table having certain properties. It is rectangular, but not square, etc. How does this differ from imagining a table that I describe in a work of fiction? Suppose the two tables have all the same properties. We also assume that the properties form a logically consistent set. What is the difference between imagining a table I intend to build and imagining a table that I do not intend to build but intend merely to describe as part of the fictional furniture in a short story?
In the first case I imagine the table as real; in the second as fictional. Note that to imagine a table as real is not the same as imagining a real table, though that too occurs. Suppose I remember seeing Peter's nondescript writing table. To remember a table is not to imagine one; nonetheless I can imagine refurbishing Peter's table by stripping it, sanding it, and refinishing it. The imagined result of those operations is not a purely imagined object, any more than a piece of fiction I write in which Peter's table makes an appearance features a purely fictional table.
The two tables I am concerned with, however are both nonexistent. In both cases there is a merely intentional object before my mind. And in both cases the constitutive properties are the same. Moreover, the two are categorially the same: both are physical objects, and more specifically artifacts. Obviously, when I imagine a table, I am not imagining a nonphysical object or a natural physical object like a tree. So there is a clear sense in which what I am imagining is in both cases a physical object, albeit a nonexistent/not-yet-existent physical object.
So what distinguishes the two objects? Roman Ingarden maintains that they differ in "ontic character." In the first case, the ontic character is intended as real. In the second, intended as fictional. (The Literary Work of Art, p. 119).
Now I have already argued that purely fictional objects are impossible objects: they cannot be actualized, even if the constitutive properties form a logically consistent set. We can now say that the broadly logical impossibility of purely fictional objects is grounded in their ontic character of being intended as fictional. The table imagined as real, however, is possible due to its ontic character of being intended as real despite being otherwise indistinguishable from the table imagined as fictional.
Now here is the puzzle of actualization formulated as an aporetic triad
a. Every incomplete object is impossible.
b. The table imagined as real is an incomplete object.
c. The table imagined as real is possible, i.e. actualizable.
The limbs are collectively inconsistent, but each is very plausible. At any impasse again.
As an ornery aporetician, I want ultimately to say that an equally strong case can be made both for and against the thesis that ficta are impossibilia. But here I only make (part of) the case for thinking that ficta are impossibilia.
Preliminaries
Every human being is either right-handed or not right-handed. (But if one is not right-handed, it doesn't follow that one is left-handed. One could be ambidexterous or ambisinistrous.) What about the fictional character Hamlet? Is he right-handed or not right-handed? I say he is neither: he is indeterminate with respect to the property of righthandedness. That makes him an incomplete object, one that violates the law of Excluded Middle (LEM), or rather one to which LEM does not apply.
Hamlet (the character, not the play) is incomplete because he has all and only the properties ascribed to him by the author of the play, and the author left Hamlet's handedness unspecified. It is worth noting that Hamlet the play is complete and this holds for each written token of the play, the type of which they are tokens, and each enactment of the play. This is because the play and its enactments are actualia.
But don't we say that Hamlet the play is fictional? We do, but what we mean is not that the play is an object of fiction, but that the people and events depicted therein are fictional. The play is not fictional but entirely real. Of course, there could be a play that is a mere object of fiction: a play within a play. The same holds for novels. My copies of Moby Dick are each of them complete and actual, hence full-fledged citizens of the real, with all the rights and privileges pertaining thereunto; but Ishmael, Queequeg, and Ahab are not. They are objects of fiction; those books are not. And presumably the type of which they are tokens, though an abstract object, is also actual and complete. A person's reading or 'enactment' of the novel is typically a long, interrupted process; but it too is complete and actual and resident in the real order.
Back to the character Hamlet: he is an incomplete object, having all and only the properties ascribed to him in the play (together with, perhaps, entailments of these properties). London Ed balks at this:
I don't follow this at all. I don't agree with the second sentence "He has all and only ….". Of course Shakespeare said that there was a person called ‘Hamlet’ who had certain properties (e.g. he said that Hamlet was a prince of Denmark. It doesn’t follow that there is someone who has or had such a property. For example, legend says that there was a horse called ‘Pegasus’ that flew. It doesn’t follow that there are or were flying horses.
This objection shows misunderstanding. I did not say or imply that there exists in actuality, outside the mind, a man named 'Hamlet.' The point is rather that when I read the play there appears before my mind a merely intentional object, one that I know is fictional, and therefore, one that I know is merely intentional. If Ed denies this, then he denies what is phenomenologically evident. And, as a matter of method, we must begin with the phenomenology of the situation.
Suppose I write a two-sentence novel:
It was a dark and rainy night. Shakey Jake, life-long insomniac, deciding he needed a nightcap, grabbed his flashlight and his raincoat and headed for the Glass Crutch bar and grill, a local watering hole a half a mile from his house.
Now I couldn't have written that, and you can't understand it, without thinking about various intentional objects that do not exist. Am I saying that there exist objects that do not exist? No, that would be a contradiction. Nor am I committed to saying that there are objects that have mind-independent being but not existence. Furthermore, I am not committed to Meinong's doctrine of Aussersein.
All I am doing is holding fast to a phenomenological datum: when I create a fictional character as I just did when I created Shakey Jake the insomniac, I bring before my mind an intentional object. (The act-object schema strikes me as having pretty good phenomenological credentials, unlike the adverbial schema.) What can we say about this merely intentional object? First, it is no part of the acts through which I think it. My acts of thinking exist in reality, but Shakey Jake does not exist in reality. (This point goes back to Twardowski.) When I think about Hamlet or Don Quixote or Shakey Jake, I am not thinking about my own mind or any state of my mind. I am not thinking about anything real. But it doesn' t follow that I am not thinking of anything.
If Ed denies that there are merely intentional objects, then he is denying what is phenomenologically evident. I take my stand on the terra firma of phenomenological givenness. So for now, and to get on with it, I simply dismiss Ed's objection. To pursue it further would involve us a in a metaphilosophical discussion of the role of phenomenological appeals in philosophical inquiry.
Ficta are Impossibilia
Let us confine ourselves to purely fictional objects and leave out of consideration real individuals who are partially fictionalized in fables, legends, apocryphal stories, so-called historical novels that blend fact and fiction, and the like. One of my theses is that purely fictional objects cannot exist and thus are broadly logically impossible. They are necessarily nonexistent, where the modality in question is broadly logical. It does not follow, however, that pure ficta have no ontological status whatsoever. They have a mode of being that could be called existential heteronomy. On this point I agree with Roman Ingarden, a philosopher who deserves more attention in the Anglosphere than he receives here.
Earlier I gave an argument from incompleteness: the incomplete cannot exist and so are impossible. But now I take a different tack.
Purely fictional objects are most plausibly viewed as made up, or constructed, by novelists, playwrights, et al. It may be that they are constructed from elements that are not themselves constructed, elements such as properties or Castaneda's ontological guises. Or perhaps fictional objects are constructed ex nihilo. Either way, they have no being at all prior to their creation or construction. There was no Captain Ahab before Melville 'cooked him up.' But if Ahab were a merely possible individual, then one could not temporally index his coming to be; he would not come to be, but be before, during, and after Melvlle's writing down his description.
The issue could be framed as follows. Are novels, plays, etc. which feature logically consistent pure ficta, something like telescopes that allow us to peer from the realm of the actual into the realm of the merely possible, both realms being realms of the real? Or are novels, etc. more like mixing bowls or ovens in which ficta are 'cooked up'? I say the latter. If you want, you can say that Melville is describing something when he writes about Ahab, but what he is describing is something he has made up: a merely intentional object that cannot exist apart from the acts of mind trained upon it. He is not describing something that has ontological status apart from his mind and the minds of his readers. He is also not descrbing some real feature or part of himself as subject. So we could say that in describing Ahab he is describing an item that is objectively but not subjectvely mind-dependent.
Here is an Argument from Origin:
1. Pure ficta are made up or constructed via the mental acts and actions of novelists, playwrights, et al.
2. Ahab is a pure fictum.
Therefore
3. Ahab came into being via the mental activity of a novelist or playwright. (from 1,2)
4. No human being comes into being via the mental activity of novelists, et al., but via the uniting of human sperm and human egg.
5. Ahab is not a human being. (from 3, 4)
6. A merely possible human being is a human being, indeed a flesh-and-blood human being, though not an actual flesh-and-blood human being.
Therefore
7. Ahab is not a merely possible human being, but a fictional human being where 'fictional' unlike 'merely possible' functions as an alienans adjective.
This argument does not settle the matter, however, since it is not compelling. A Meinongian or quasi-Meinongian could, with no breach of logical propriety, run the argument in reverse, denying (7) and denying (1). One man's modus ponens, etc.
"To be or not to be, that is the question." Or at least that is one question. Another is whether Hamlet, that very individual, might have been actual.
It is a mistake to conflate the fictional and the merely possible. Hamlet, for example, is a fictional individual, the central character and eponym of the Shakespearean play. Being fictional, he does not actually exist. But one might be tempted to suppose that while there is no man Hamlet in actuality, there could have been, that Hamlet is a possible individual. But far from being possible, Hamlet is impossible. Or so I shall argue.
First we need to agree on some definitions.
D1. x is impossible =df x cannot exist, i.e., x is necessarily nonexistent.
D2. x is incomplete =df there is a property P such that x is indeterminate with respect to P, i.e., it is not the case that x instantiates P and it is not the case that x does not instantiate P.
The Main Argument
1. Hamlet is an incomplete object. He has all and only the properties ascribed to him in the play that bears his name. It is neither the case that he eats his eggs with hot sauce nor that he doesn't.
2. Necessarily, for any x, if x is an incomplete object, then x does not exist.
Therefore
3. Necessarily, Hamlet does not exist. (from 1, 2)
Therefore
4. Hamlet is an impossible object. (from 3, D1)
The reasoning is correct and premise (1) is surely true. If you are inclined to reject (2), claiming that it does not hold for quantum phenomena, I will simply sidestep that whole can of worms by inserting 'macroscopic' or 'mesoscopic' or some other suitable qualifier between 'an' and 'incomplete.'
Note that Hamlet is impossible even if the properties he is ascribed in the play are members of a logically consistent set. One could say, with a whiff of paradox, that Hamlet is impossible despite the fact that his properties are compossible. His impossibility follows from his incompleteness. What this shows is that not every impossible object harbors internal contradiction. So there there are at least two types of impossibilia, those whose impossibility derives from inconsistency and those whose impossibility derives from incompleteness. To be admitted to the elite corps of the actual, one must satisfy both LNC and LEM. That the impossible needn't be internally contradictory is an insight I owe to Daniel Novotny who kindly sent me a free copy of his excellent book on the scholasticism of the Baroque era entitled, Ens Rationis from Suarez to Caramuel (Fordham 2013). I am indebted in particular to his discussion on p. 108.
Objection: "Hamlet is possible; it is just that his actualization would have to consist in his completion. Surely God could actualize Shakespeare's Hamlet (the prince, not the play) by appropriately supplementing his property set."
Reply: Suppose God were to try to actualize Hamlet, the very same individual encountered in the play. To do so, God would have to supplement Hamlet's property set, bringing it to completeness. For only that which is wholly determinate can exist in (macroscopic) actuality. But there is more than one way to effect this supplementation. For example, if the fictional Hamlet is indeterminate with respect to whether or not he takes his eggs with hot sauce, an actual Hamlet cannot be. He either eats egggs or he doesn't, and he either takes them with hot sauce or he doesn't.
Let AH1 be hot-sauce Hamlet and AH2 non-hot-sauce Hamlet. Both are complete. Let FH be the incomplete fictional individual in the play.
We may now argue as follows.
If God brings about the actuality of both AH1 and AH2, then, since they are numerically distinct, neither of them can be identical to FH. But God must actualize one or the other if FH is to become actual. If God actualizes one but not the other, then it is possible that he actualize the other but not the the one. But then the actualization of either is contingent. Thus if God actualizes FH as AH1, then, since he could just as well have actualized AH2 as FH, the identity of FH with AH1 is contingent. But identity cannot be contingent: if x = y, then necessarily x = y. Therefore, God can actualize neither and fictional Hamlet is impossibly actual, i.e., impossible.
Here is a third consideration. It seems to be part of the very sense of the phrase 'fictional individual' that such individuals be, well, fictional, that is, irreal or unreal. Now the real includes not only the actual and the necessary, but that which is really possible albeit unactual. Thus real possibilities cannot be made up by minds and so cannot be fictional. Therefore Hamlet, as a fictional being, is not a possible being.
According to Novotny, "Suarez and other Baroque scholastic authors seem to assume without question that consistent fictions, such as Hamlet, might become real beings. This implies that Hamlet is a possible being and that therefore he is a real being. [. . .] For several reasons I do not think that a consistent fiction as such is a real possible being." (108)
I agree, and the arguments above are my way of fleshing out Novotny's misgivings.
Addendum (21 November)
The original main argument above is invalid as a commenter points out. Here is
The Main Argument Repaired
0. Necessarily, for every x, if x is a fictum of a finite mind, then x is incomplete.
0*. Necessarily, Hamlet is a fictum of a finite mind, Shakespeare's. (That very fictional individual could not have been the fictum of any other mind.)
Therefore
1. Necessarily, Hamlet is an incomplete object. He has all and only the properties ascribed to him in the play that bears his name. It is neither the case that he eats his eggs with hot sauce nor that he doesn't. (from 0, 0*)
2. Necessarily, for any x, if x is an incomplete object, then x does not exist.
Therefore
3. Necessarily, Hamlet does not exist. (from 1, 2)
A fictional character can be believed by some to be real, known by others to be fictional, and an object of uncertainty to still others. Some young children believe Santa Claus to be real; adults know him to be purely fictional; and some children are unsure whether he is real or fictional. It seems to follow that such sentences as 'Santa Claus is jolly' need not be understood as prefixed by a story operator to be understood. A child who asserts 'Santa Claus is jolly' needn't be asserting 'In the Santa Claus legend, Santa Claus is jolly.' For the child might be unsure whether S. C. is real or fictional.
Does this reflection give aid and comfort to Meinongians?
. . . at their best, both fiction and philosophy do the same thing, only fiction does it better — though slower. Philosophy by essence is abstract, a sequence of general argument controlled in its profluence by either logic (in old-fashioned systematic philosophy) or emotional coherence (in the intuitive philosophies of say, Nietzsche and Kierkegaard). We read the argument and it seems to flow along okay, make sense, but what we ask is, "Is this true of my mailman?" . . .
Fiction comes at questions from the other end. It traces or explores some general argument by examining a particular case in which the universal case seems implied; and in place of logic or emotional coherence — the philosopher's stepping stones — fictional argument is controlled by mimesis: we are persuaded that the characters would indeed do exactly what we are told they do and say . . . . If the mimesis convinces us, then the question we ask is opposite to that we ask of philosophical argument; that is, we ask, "Is this true in general?"
. . . at their best, both fiction and philosophy do the same thing, only fiction does it better — though slower. Philosophy by essence is abstract, a sequence of general argument controlled in its profluence by either logic (in old-fashioned systematic philosophy) or emotional coherence (in the intuitive philosophies of say, Nietzsche and Kierkegaard). We read the argument and it seems to flow along okay, make sense, but what we ask is, "Is this true of my mailman?" . . .
Fiction comes at questions from the other end. It traces or explores some general argument by examining a particular case in which the universal case seems implied; and in place of logic or emotional coherence — the philosopher's stepping stones — fictional argument is controlled by mimesis: we are persuaded that the characters would indeed do exactly what we are told they do and say . . . . If the mimesis convinces us, then the question we ask is opposite to that we ask of philosophical argument; that is, we ask, "Is this true in general?"
Recent Comments