Affiliations: [a] Philosophy Department, Grand Valley State University, 1 Campus Drive, Allendale, MI 49401, USA. Tel.: +1 616 331 2847; Fax: +1 616 331 2601; E-mail: firstname.lastname@example.org | [b] Departments of Biomedical Informatics and Psychiatry, University at Buffalo, 77 Goodell street, Buffalo, NY 14203, USA. E-mail: email@example.com | [c] Department of Philosophy, University at Buffalo, 135 Park Hall, Buffalo, NY 14260, USA. E-mail: firstname.lastname@example.org
Abstract: The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories identified and defined by a top-level ontology is integrated with the others in a coherent fashion. Basic Formal Ontology (BFO) has from the beginning included function as one of its categories, exploiting a version of the etiological account of function that is framed at a level of generality sufficient to accommodate both biological and artifactual functions. This account has been subjected to a series of criticisms and refinements. We here articulate BFO’s account of function, provide some reasons for favoring it over competing views, and defend it against objections.