Returning to the ongoing thread:
So to summarise the discussion so far. The doctrine of Reference and Identity is that empty names can refer. That is because the verb phrase ‘refers to’ is intentional. That is, “S refers to N” is consistent with “there is no such thing as N”. Contrast with “S touches N” which implies there is such a thing as N.
[. . .]
Do you see any problem with that position?
When you say, "empty names can refer," do you mean that some empty names refer and some empty names do not refer? Or do you mean that all empty names refer? (Compare: If I said that integers can be either odd or even, that would be equivalent to saying that some integers are odd and some are even.)
I will assume that you mean that all empty names refer. You say that this is because 'refers to' is intentional. It is intentional in the very same way that thinking-of is intentional. To think is to think of something. But 'A thinks of N' is logically consistent with 'there is no such thing as N.' If I am thinking of Asmodeus, it does not follow that I am thinking of something that exists. So far, so good. Now I take it that you hold that the following are all logically equivalent where the substituends for 'N' are proper names such as 'Moses' and 'Asmodeus.'
- There is no such thing as N
- There exists no such thing as N
- It is not the case that there exists an x such that x = N
- It is not the case that some existing thing is identical to N
- It is not the case that something is identical to N
- No existing thing is identical to N
- Nothing is identical to N
- N is not a member of the class K of existing things.
- N is not a member of class K of things.
You are making the following additional assumptions. Everything exists. (Quine contra 'Wyman.') 'Is' and 'exists' have the same sense. 'Existential quantifier' and 'particular quantifier' are two different names for one and the same quantifier. 'N does not exist' says just this: it is not the case that something is identical to N.
Your view implies a contradiction:
1) Empty names such as 'Asmodeus' refer. (R & I, 9-10)
2) To refer is to refer to something. (R & I, 9-10)
Therefore
3) 'Asmodeus' refers to something. (As you explicitly state, ibid.)
4) In the case of 'Asmodeus,' an empty name, 'Asmodeus' refers to something that does not exist.
5) Everything exists. (There are no nonexistent things. 'Something does not exist' is contradictory.)
Therefore
6) 'Asmodeus' refers to nothing. (3, 4, 5)
Therefore
7) (3) and (6) are contradictories.
Therefore
8) One of your assumptions is false.
Leave a Reply