In this paper we argue that the challenge of the formalization of functions not merely consists of analyzing and formalizing yet another concept; the challenge may also consist of formalizing a concept that is to be taken as a family resemblance concept in the Wittgensteinian sense. We focus on engineering for giving this argument and indicate briefly how the argument can also be given for biological functions. We demonstrate that in engineering there are a number of different meanings attached to the term “function”, and observe that engineers moreover seem to hold that having all these meanings is useful in their field. This observation make plausible that function indeed is to be taken as a family resemblance concept. Then we describe three strategies for the formalization of functions --the revisionary, the overarching and the descriptive strategies --and relate them to a number of the current proposals for this formalization. Assessing the strategies with the meta-ontological goals for formalizations of adequacy and minimality, we argue that if function indeed is to be taken as a family resemblance concept, then the descriptive strategy is to be preferred.
Read full abstract