Affiliations: Department of Philosophy, University of Padua, Padova, Italy. E-mail: [email protected] | Department of Philosophy, John Paul II Catholic University of Lublin, Lublin, Poland. E-mail: [email protected] | Philosophy Department, Delft University of Technology, Delft, The Netherlands. E-mail: [email protected]
Note: [] Corresponding author: Massimiliano Carrara, Department of Philosophy, University of Padua, Piazza Capitaniato 3, 35139 Padova, Italy. E-mail: [email protected].
Abstract: 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.
Keywords: Functions in engineering, family resemblance concepts, formalization strategies, minimality for ontologies, adequacy for ontologies
