Boris Hennig

Starting from the idea that functions are formally similar to actions in that they are described and explained in a similar way, so that both admit of an accordion effect, I turn to Anscombe’s insight that the point of practical reasoning is to render explicit the relation between the different descriptions of an action generated by the accordion effect. The upshot is, roughly, that an item has a function if what it does can be accounted for by functional reasoning. Put differently, a part of a system has a function if what it does is a functional part of what the system does.

I will argue that Aristotle’s fourfold division of four causes naturally arises from a combination of two distinctions (a) between things and changes, and (b) between that which potentially is something and what it potentially is. Within this scheme, what is usually called the “efficient cause” is something that potentially is a certain natural change, and the “final cause” is, at least in a basic sense, what the efficient cause potentially is. I will further argue that the essences of things and changes are not features or attributes of them, but paradigms that set the standards according to which these things and changes may be judged to be natural or typical. The “formal cause” of a natural thing will be shown to be its essence in this sense: it sets the standards of typicality that apply to instances of its kind. The final cause will be shown to set the standard of typicality for natural changes. When we understand Aristotle’s doctrine of the four causes in this way, it becomes clear on what basis he could convincingly argue that final causality is operative in the whole of nature.

According to the aspect theory of instantiation, a particular A instantiates a universal B if and only if an aspect of A is cross-count identical with an aspect of B. This involves the assumption that both particulars and universals have aspects, and that aspects can mediate between different ways of counting things. I will ask what is new about this account of instantiation and, more importantly, whether it is an improvement on its older relatives. It will turn out that the part of it that is new is the notion of cross-count identity among aspects. As I will show, this notion is both dubious and unnecessary. I will end by presenting a simplified aspect theory of instantiation that does not involve cross-count identity

In this essay I defend the claim that the life of a living being is not one of its properties but something different: a mode of being. It follows from this that living beings should not be taken to be things that possess the property of being alive. Second, I argue that living beings are essentially involved in ongoing activities as long as they exist. Life cannot only be a disposition to be active, but must itself be an ongoing activity. Third, I suggest that for something to be a living being is to engage in activities whose success is determined by criteria that emerge exclusively from a proper account of the nature of the living being in question. To identify something as a living being is not to attribute a particular property to it, but to say what criteria apply to what it actually is or does.