Alexander James Bird

Natural kind terms appear to behave like singular terms. If they were genuine singular terms, appearing in true sentences, that would be some reason to believe that there are entities to which the terms refer, the natural kinds. Paul Needham has attacked my arguments that natural kind terms are singular, referring expressions. While conceding the correctness of some of his criticisms, I defend and expand on the underlying view in this paper. I also briefly sketch an account of what natural kinds in fact are—natural complexes of sparse (natural) universals.

I show that Armstrong’s view of laws as second-order contingent relations of ‘necessitation’ among categorical properties faces a dilemma. The necessitation relation confers a relation of extensional inclusion (‘constant conjunction’) on its relata. It does so either necessarily or contingently. If necessarily, it is not a categorical relation (in the relevant sense). If contingently, then an explanation is required of how it confers extensional inclusion. That explanation will need to appeal to a third-order relation between necessitation and extensional inclusion. The same dilemma reappears at this level. Either Armstrong must concede that some properties are not categorical but have essential powers – or he is faced with a regress.

Peter Lipton argues that inference to the best explanation involves the selection of a hypothesis on the basis of its loveliness. I argue that in optimal cases of IBE we may be able to eliminate all but one of the hypotheses. In such cases we have a form of eliminative induction takes place, which I call ‘Holmesian inference’. I argue that Lipton’s example in which Ignaz Semmelweis identified a cause of puerperal fever better illustrates Holmesian inference than Liptonian IBE. I consider in detail the conditions under which Holmesian inference is possible and conclude by considering the epistemological relations between Holmesian inference and Liptonian IBE.Keywords: Inference to the best explanation; Peter Lipton; Abduction; Holmesian inference; Eliminative induction.

In this paper I aim to show that a certain law of nature, namely that common salt (sodium chloride) dissolves in water, is metaphysically necessary. The importance of this result is that it conflicts with a widely shared intuition that the laws of nature (most if not all) are contingent. There have been debates over whether some laws, such as Newton’s second law, might be definitional of their key terms and hence necessary. But the law that salt dissolves in water is not that kind of law. The law statement ‘salt dissolves in water’ is clearly synthetic. It appears a classic case of a contingent law. We like to believe that there are possible worlds in which the laws of nature are different and in which salt does not dissolve in water.

In this paper I draw a connection between Kuhn and the empiricist legacy, specifically between his thesis of incommensurability, in particular in its later taxonomic form, and van Fraassen's constructive empiricism. I show that if it is the case the empirically equivalent but genuinely distinct theories do exist, then we can expect such theories to be taxonomically incommensurable. I link this to Hacking's claim that Kuhn was a nominalist. I also argue that Kuhn and van Fraassen do not differ as much as might be thought as regards the claim that observation is theory laden.