ABSTRACT
Sparrows fly because they are birds. This mushroom is poisonous because it is an Amanita muscaria. Pointing out the kind to which things belong explains many of their properties. Jonathan Lowe’s four-category ontology and his account of laws of nature provide a framework to account for the explanatory appeal of referring to kind membership. For Lowe, “Electron has Unit-negative charge” is a typical example for a law of nature: a kind universal characterized by a property universal. We present both Lowe’s original account of laws of nature and later developments, and show how Lowe’s account can help to solve notorious problems of other accounts, namely, the regularity view and the Armstrong-Dretske-Tooley view. We argue that there are two challenges that Lowe’s view cannot master. First, Lowe conflates generics and dispositions, which is a considerable problem for Lowe, because his account of dispositional predication and his account of laws of nature are intimately connected. Second, there is the identification problem of fully specifying and identifying the formal ontological relation of characterization between kind universals and property universals. In order to solve these problems, we develop an account of formal causation inspired by Aristotle’s theory of explanation in his Posterior Analytics. Though very close to Lowe’s own account, our neo-Aristotelian account avoids Lowe’s confusion regarding dispositions, avoids overdetermination through several similar laws of nature, and provides an answer to the identification problem: The characterization of a kind universal by a property universal constitutes the relation of formal causation. By virtue of this relation, the kind Amanita muscaria is the formal cause of this mushroom having the attribute of being poisonous.
