Are there empty natural kind terms? (The 2nd in a series)
There are empty names, like 'Santa' and '(Planet) Vulcan'; there is a fairly large literature dealing with them in both the philosophy of language and in logic (called 'free logic'). But there has not been any discussion of empty natural kind terms -- which prompts the question: are there any such terms? I ask because it seems to me that 'phlogiston,' 'caloric,' and other central terms of now-discarded scientific theories may qualify as empty natural kind terms.
This question is complicated by the fact that there is not widespread agreement on what natural kind terms are. The two candidates are (I) predicates and (II) names. (Predicates are the leading contender, so you can skip the final paragraphs if your patience for this kind of thing is limited.)
(I - Predicates) This takes us back to the subject of the previous post: are there any empty natural kind predicates? As noted in the last post on this subject, if 'empty' just means 'has the null set as its extension, and the whole domain of discourse as its anti-extension,' then the answer is obviously yes. But then it's uninteresting -- empty names are interesting because (both for direct reference theorists and Frege) sentences containing them will lack truth-value, unless the direct reference theorist proposes an ad hoc fix (cf. David Braun). If empty predicates behave classically/ nicely, they won't generate truth-value gaps.
So here's an argument that natural kind predicates like 'phlogiston' are empty in the same way that 'Vulcan' is, i.e. they can fail to express semantic content sufficient to determine truth-value. How? On a Kripkean account, natural kind terms express properties that objects have essentially. To determine what property is expressed by a natural kind term, we take samples of the stuff that that term refers to in the actual world, and determine what is essential to them, i.e. what property (or combination of properties) those samples must have in order to be that kind of stuff. So the natural kind term ‘water’ expresses the property of being H2O, because in the actual world, having that inner constitution suffices for something to be water. But what is the essential, inner constitution of all the stuff we call ‘phlogiston’ in the actual world? Nothing —- since there is no such thing as phlogiston, there is no essential property or inner constitution to discover. (Note: James Woodbridge helped me a lot with this argument; if you like it, you should attribute it to him, not me.)
So if phlogiston has no inner constitution, then 'phlogiston' lacks semantic content. And thus (atomic) sentences containing the term will be semantically defective, and thus (presumably) will lack a truth-value. But is this argument any good?
(II. - names) One might think natural kind terms are names, because they appear in subject position:
'Water is wet'
But if they are names, what are they names of? Scott Soames (Beyond Rigidity) gives two 'obvious candidates':
(i) the merelogical sum of all the water everywhere, or
(ii) an "abstract type" that is instantiated by the stuff that comes out of our faucets etc.
If it's (i), then there are clearly empty natural kind terms, and 'phlogiston' and 'caloric' are examples. However, Soames gives two arguments against (i): first, if (i) were correct, then 'Water weighs more than 1 million pounds' should be true and felicitous, but it seems clearly not so. Second, if (i) were right, then 'water' would not be (anywhere close to) a rigid designator, and there is a widespread intuition (or Kripkean dogma?) that it is.
If it's (ii), it's not clear to me that there are empty natural kind terms; I don't know how one shows a type does not exist (or, for that matter, how one shows a type does exist). As James Woodbridge and Seyed (in the comments on the first installment of this series) pointed out to me, it seems reasonable to say that an abstract type that is somehow contradictory does not exist, but we'll have nothing like the set-theoretic or semantic paradoxes when it comes to natural kind terms. But I am not all that worried about (ii), because it's not clear (again following Soames in Beyond Rigidity) that natural kind terms are names at all -- they seem to be predicates first and foremost. As Soames points out, 'Whales are mammals' is naturally understood as 'Anything that is a whale is a mammal.' So natural kind terms are not names.