I argue for the epiphenomenality of functional properties by means of thought experiments and general principles. General principles suggest that an object’s causal powers nomologically supervene on its intrinsic properties and that its functional role does not. This implies that it is possible for an object to lose its functional role without undergoing any change to its intrinsic properties or causal powers. Nor is it difficult to conceive of such scenarios. Various thought experiments are introduced for just (...) this purpose. But properties that can vary independently of an object’s causal powers in this way are epiphenomenal, for their instantiation by an object at a time makes no difference to the causal processes the object is involved in at that time. The same processes would have occurred even if such properties hadn’t been instantiated. The intrinsicness thesis is controversial, but it is not controversial that it is true of productive causation, and many believe that productive causation is the only form of mental causation worth having. Nevertheless, in the paper’s final section I consider dependence-based accounts of causation, which do not presuppose the intrinsicness of causal powers, and show that they too have difficulties accounting for the efficacy of functional properties. (shrink)

Evolutionary convergence is often appealed to in support of claims about multiple realization. The idea is that convergence shows that the same function can be realized by different kinds of structures. I argue here that the nature of convergence is more complicated than it might appear at first look. Broad claims about convergence are made by biologists during general discussions of the mechanisms of evolution. In their specialized work, though, biologists are often more limited in the claims they make. I (...) will examine a standard example to show how claims about convergence can be oversimplified. (shrink)

Our days are a vast, intricate, evolving dance of mutual understandings. We stop at a traffic light, offer a plastic card as payment for a meal, leave our weapons at home, or enter a voting booth. We live and work in close proximity, at high speed, with few collisions: on our roads and in our neighborhoods, places of worship, and places of business. Somehow, having all those people around is more liberating than stifling. The secret is that we know roughly (...) what to expect from each other. Knowing what to expect enables us to adapt to each other. Not being obliged to conform to expectations—being free to test the previously untested— is likewise a great benefit. The two benefits seem mutually exclusive, yet property rights, combined with freedom of contract, enable us to reap both at once. We can rely on being able to go to market and find someone selling cauliflower at an affordable price. We can also rely on being able to go to market and find someone rendering obsolete what a few years ago had been cutting-edge technology. We make progress by testing what has not previously been tested. We experiment. One problem with experiments is: many of them don’t work.1 Or, the ideas being tested turn out to be bad ideas. Thus a successful society encourages people not only to experiment, but also to shut down experiments whose inspiration proves unsound. What kind of framework encourages experimentation without at the same time perpetuating bad ideas? Here is one hypothesis: in societies that sustain progress over long periods, people are free to experiment at their own expense and free from having to pay for other people’s bad ideas. This is the true test of a system of property. It is natural to assume instead that the true test of a system of property is a question of whether the system is just. That is, philosophers should theorize about justice first, and only then begin to theorize about what can legitimately become a person’s property. I have become skeptical about this. (shrink)

In a recent paper, Bird (in: Groff (ed.) Revitalizing causality: Realism about causality in philosophy and social science, 2007 ) has argued that some higher-order properties—which he calls “evolved emergent properties”—can be considered causally efficacious in spite of exclusion arguments. I have previously argued in favour of a similar position. The basic argument is that selection processes do not take physical categorical properties into account. Rather, selection mechanisms are only tuned to what such properties can do, i.e., to their causal (...) powers. This picture seems ultimately untenable in the light of further exclusion problems; but at the same time, it meets our explanatory demands. My purpose is therefore to show that there is a real antinomy with regard to evolved emergent properties. I develop a physicalist exclusion argument and then I go on to consider an argument that seems to establish that evolved emergent properties are causally efficacious, and propose a compatibilist solution. Finally, I very briefly consider what the proposed model may imply for the issue of mental causation. (shrink)

Kim has defended a solution to the exclusion problem which deploys the «causal inheritance principle» and the identification of instantiations of mental properties with instantiations of their realizing physical properties. I wish to argue that Kim's putative solution to the exclusion problem rests on an equivocation between instantiations of properties as bearers of properties and instantiations as property instances. On the former understanding, the causal inheritance principle is too weak to confer causal efficacy upon mental properties. And on the (...) latter understanding, the identification of mental and physical instantiations is simply untenable. (shrink)

This chapter argues that functional properties are not the only properties that can be realized by other properties, and are not a distinct ontological category of properties. The ‘mixed view’ that functional properties have their causal profiles essentially while other properties have their causal profiles contingently has the unacceptable consequence that we can have no good reason for assigning any property to either of these categories. And on the view that all properties have their causal profiles, essentially (...) there is no basis for marking off functional properties as a separate class. The existence of emergent properties is argued to be compatible with physicalism. The chapter ends with a discussion of how genuine properties can be distinguished from arbitrary disjunctions of properties. (shrink)

Context: Constructivist approaches to cognition have mostly been descriptive, and now face the challenge of specifying the mechanisms that may support the acquisition of knowledge. Departing from cognitivism, however, requires the development of a new functional framework that will support causal, powerful and goal-directed behavior in the context of the interaction between the organism and the environment. Problem: The properties affecting the computational power of this interaction are, however, unclear, and may include partial information from the environment, exploration, distributed (...) processing and aggregation of information, emergence of knowledge and directedness towards relevant information. Method: We posit that one path towards such a framework may be grounded in these properties, supported by dynamical systems. To assess this hypothesis, we describe computational models inspired from swarm intelligence, which we use as a metaphor to explore the practical implications of the properties highlighted. Results: Our results demonstrate that these properties may serve as the basis for complex operations, yielding the elaboration of knowledge and goal-directed behavior. Implications: This work highlights aspects of interaction that we believe ought to be taken into account when characterizing the possible mechanisms underlying cognition. The scope of the models we describe cannot go beyond that of a metaphor, however, and future work, theoretical and experimental, is required for further insight into the functional role of interaction with the environment for the elaboration of complex behavior. Constructivist content: Inspiration for this work stems from the constructivist impetus to account for knowledge acquisition based on interaction. (shrink)

ArgumentEighteenth-century Montpellerian vitalism and contemporaneous French “vitalist” materialism, exemplified by the medical and biological materialism of La Mettrie and Diderot, differ in some essential aspects from some later forms of vitalism that tended to postulate immaterial vital principles or forces. This article examines the arguments defending the existence of vital properties in living organisms presented in the context of eighteenth-century French materialism. These arguments had recourse to technological metaphors and analogies, mainly clockworks, in order to claim that just as machines (...) can have functional properties which its parts do not possess, so living organisms can, as material entities, also have organic or vital properties which its material parts do not possess. Such arguments, with the help of a healthy dose of epistemological scepticism, tend to strike a balance between two positions concerning the ontology of life which we now tend to label “vitalism” and “emergentism.” Although there is nothing inconsistent in viewing vital properties as emergent, some ambiguity results if one does not draw a clear distinction between properties and functions. The philosophical problems related to these ambiguities are revealed in Diderot's apparent hesitation concerning sentience as “a general property of matter or the product of organization.”. (shrink)

The Y‐box proteins are the most evolutionarily conserved nucleic acid binding proteins yet defined in bacteria, plants and animals. The central nucleic acid binding domain of the vertebrate proteins is 43% identical to a 70‐amino‐acid‐long protein (CS7.4) from E. coli. The structure of this domain consists of an antiparallel fivestranded β‐barrel that recognizes both DNA and RNA. The diverse biological roles of these Y‐box proteins range from the control of the E. coli cold‐shock stress response to the translational masking of (...) messenger RNA in vertebrate gametes. This review discusses the organization of the prokaryotic and eukaryotic Y‐box proteins, how they interact with nucleic acids, and their biological roles, both proven and potential. (shrink)

It is shown that functional interpretation can be used to show the existence property of intuitionistic number theory. On the basis of truth variants a comparison is then made between realisability and functional interpretation showing a structural difference between the two. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim).

It is shown that functional interpretation can be used to show the existence property of intuitionistic number theory. On the basis of truth variants a comparison is then made between realisability and functional interpretation showing a structural difference between the two.

Among philosophers of mind, it is common to assume that at least some mental properties are functional in nature, and that functional properties are second-order properties. In the functionalist literature, the notion of being a second-order property is cashed out in three different ways: (i) in terms of semantic features of characterizations or definitions of properties, (ii) in terms of syntactic features of second-order quantification, and (iii) in terms of a metaphysical criterion, according to which properties are (...) second order if they are properties of first-order properties. It is shown that in the context of functionalism reference to these interpretations is misguided, and it is suggested that the notion of an ordering of properties in this context is best understood as being tied to dependence-relations. (shrink)

Let M=\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}=}$$\end{document} be a weakly o-minimal expansion of a dense linear order without endpoints. Some tame properties of sets and functions definable in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} which hold in o-minimal structures, are examined. One of them is the intermediate value property, say IVP. It is shown that strongly continuous definable functions in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} satisfy an (...) extended version of IVP. After introducing a weak version of definable connectedness in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document}, we prove that strong cells in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} are weakly definably connected, so every set definable in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} is a finite union of its weakly definably connected components, provided that M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} has the strong cell decomposition property. Then, we consider a local continuity property for definable functions in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} and conclude some results on cell decomposition regarding that property. Finally, we extend the notion of having no dense graph which was examined for definable functions in and related to uniform finiteness, definable completeness, and others. We show that every weakly o-minimal structure M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} having cell decomposition, satisfies NDG, i.e. every definable function in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} has no dense graph. (shrink)

This paper investigates whether there is an acceptable version of Functionalism that avoids commitment to second-order properties. I argue that the answer is "no". I consider two reductionist versions of Functionalism, and argue that both are compatible with multiple realization as such. There is a more specific type of multiple realization that poses difficulties for these views, however. The only apparent Functionalist solution is to accept second-order properties.

According to phenomenal functionalism, whether some object or event has a given property is determined by the kinds of sensory experiences such objects or events typically cause in normal perceivers in normal viewing conditions. This paper challenges this position and, more specifically, David Chalmers’s use of it in arguing for what he calls virtual realism.

Teleological theories are often dismissed in the study of animal behaviour, because of both the anthropomorphic element, and the paradox of retro-causation. Instead, emergent properties of animal systems, such as those which drive behaviour and decision making, are generally deemed to be non-purposeful. Nonetheless, organisms’ interactions with the environment, including sensory processing, have long been subject to biological study, and the resulting models include Jakob von Uexküll’s functional circle (part of his ‘Umwelt Theory’). The functional circle is modelled (...) on an assumption of three- dimensional space containing matter and energy, and one-dimensional, linear time. Moreover, the function of such models relies upon feedback within biological systems, and generally assume that the functional feedback loops close. I argue that this is impossible, because a feedback loop cannot go back intime to close itself, and so whilst it may approximate closure in space, it does not close in the dimension of time. To address this problem, I propose a conceptual model where time is treated as having a three- dimensional structure, and is measured in terms of past, future, and subjective present, termed the ‘period,’ ‘present’ and ‘phase,’ respectively. Space and matter, meanwhile, occur as a two- dimensional intersect, in which three-dimensional emergent properties which occur ion time are embedded. The model relies on functional helices rather than circles, and the loops of each helix (unlike circular loops) never achieve closure. I explain how this therefore results in a biological system, based on both feedback and anticipatory probabilities, which is both autopoietic and teleological. I also provide examples of how the concept can be applied, using foraging behaviour as an example. I further propose the theoretical origin of such a system is ‘timing’ and ‘rhythm,’ both of which I argue have their origins in single cellular organisms’ chemotaxis and the associated gradient descent search. (shrink)

Bichat’s legacy to the posterity consists of two main theses: a vitalistic conception of life and a theory of vital properties which is problematically related to the elementary level of anatomical hierarchy: that of tissue. Bichat is indeed the well-known founder of histology. Two main problems arise from this legacy. The first one is the multiplication of vital properties, and the second lies in the correspondence between physiological and anatomical hierarchies: Bichat’s system precludes a rigorous overlap of anatomy, which studies (...) tissues, and physiology, which studies vital properties.I propose in this chapter to show the major role played by the concept of “function” in the criticism addressed to Bichat by Magendie and Comte on these two issues. Beyond their different directions, their criticisms have a common goal: to posit and precise the levels of analysis, i.e. to draw a distinction between the level of vital properties and the level of functions and between the problem of tissues and the problem of organs and apparatuses. Such corrections are not only a critique of vital properties but can be considered as a rationalization of the theoretical concepts which organize biology and primarily the notion of function. (shrink)

Arguments are given against the thesis that properties and propositional functions are identical. The first shows that the familiar extensional treatment of propositional functions -- that, for all x, if f(x) = g(x), then f = g -- must be abandoned. Second, given the usual assumptions of propositional-function semantics, various propositional functions (e.g., constant functions) are shown not to be properties. Third, novel examples are given to show that, if properties were identified with propositional functions, crucial fine-grained intensional distinctions would (...) be lost. (shrink)

The typical rules for truth-trees for first-order logic without functions can fail to generate finite branches for formulas that have finite models–the rule set fails to have the finite tree property. In 1984 Boolos showed that a new rule set proposed by Burgess does have this property. In this paper we address a similar problem with the typical rule set for first-order logic with identity and functions, proposing a new rule set that does have the finite tree (...) class='Hi'>property. (shrink)

Suppose you are on a commercial airplane that is flying at 35,000 feet. Next to you sits a man who appears to be sleeping. In fact, this man has been drugged and put upon the plane without his knowledge or consent. He has never flown on a plane before and, indeed, has no idea what an airplane is. Suddenly the man awakes and looks around him. Terrified by the alien environment in which he finds himself, he searches for a door (...) or window from which to make an escape. As luck would have it, he is seated right next to a window exit and he begins to pull the handle that will open the window. You are aware that opening the window exit at this altitude will cause the cabin to quickly depressurize and that this man, you, and probably several other passengers will be sucked out the window to your deaths. You desperately want to stop him from opening the window. Now assume that for some reason it is impossible to prevent him physically from performing the deadly act. Your only option is to rationally persuade him to leave the window exit alone. You cry out to him and, with both hands on the handles, he turns to face you and waits to hear what you have to say. What sort of argument would you make? (shrink)

The ability to generalize from the known to the unknown is central to learning and inference. Two experiments explore the relationship between how a property is explained and how that property is generalized to novel species and artifacts. The experiments contrast the consequences of explaining a property mechanistically, by appeal to parts and processes, with the consequences of explaining the property functionally, by appeal to functions and goals. The findings suggest that properties that are explained functionally (...) are more likely to be generalized on the basis of shared functions, with a weaker relationship between mechanistic explanations and generalization on the basis of shared parts and processes. The influence of explanation type on generalization holds even though all participants are provided with the same mechanistic and functional information, and whether an explanation type is freely generated (Experiment 1), experimentally provided (Experiment 2), or experimentally induced (Experiment 2). The experiments also demonstrate that explanations and generalizations of a particular type (mechanistic or functional) can be experimentally induced by providing sample explanations of that type, with a comparable effect when the sample explanations come from the same domain or from a different domains. These results suggest that explanations serve as a guide to generalization, and contribute to a growing body of work supporting the value of distinguishing mechanistic and functional explanations. (shrink)

The general aim of this paper is to propose a reductionist strategy to higher-level property types. Starting from a common ground in the philosophy of science, I shall elaborate on possible realizer differences of higher-level property types. Because of the realizer types' causal heterogeneity, an introduction of functional sub-types of higher-level properties will be suggested. Each higher-level functional sub-type corresponds to one realizer type. This means that there is the theoretical possibility to reach some kind of (...) type-identity and this opens up the way for theory reduction in a more complete manner. This kind of type-identity will go beyond the common ground of the identity of tokens and their reductive explanation. In the second part of the paper, this reductionist strategy will be applied to a specific debate in the philosophy of biology — the reductionist approach to classical genetics from a molecular point of view. (shrink)

We say that a regular cardinal κ,, has the tree property if there are no κ‐Aronszajn trees; we say that κ has the weak tree property if there are no special κ‐Aronszajn trees. Starting with infinitely many weakly compact cardinals, we show that the tree property at every even cardinal,, is consistent with an arbitrary continuum function below which satisfies,. Next, starting with infinitely many Mahlo cardinals, we show that the weak tree property at every cardinal,, (...) is consistent with an arbitrary continuum function below which satisfies,. Thus the tree property has no provable effect on the continuum function below except for the trivial requirement that the tree property at implies for every infinite κ. (shrink)

Background: There are few standardized measures available to assess executive function in a naturalistic setting for children. The Children’s Cooking Task is a complex test that has been specifically developed to assess EF in a standardized open-ended environment. The aim of the present study was to evaluate the internal consistency, inter-rater reliability, sensitivity and specificity, and also convergent and divergent validity of the Norwegian version of CCT among children with pediatric Acquired Brain Injury and healthy controls.Methods: The present study has (...) a cross-sectional design, based on baseline data derived from a multicenter RCT. Seventy-five children with pABI from two university hospitals with parent-reported executive dysfunction and minimum of 12 months since injury/completed cancer therapy, as well as 59 HCs aged 10–17 years, were assessed with CCT using total errors as the main outcome measure. The pABI group completed tests assessing EF on the impairment level within the ICF framework, and on the participation level. In addition, they completed tests of intellectual ability, processing speed, attention, learning, and memory. Finally, overall functional outcome was evaluated for the children with pABI.Results: Acceptable internal consistency and good inter-rater reliability were found for the CCT. Children with pABI performed significantly worse on the CCT than the HCs. The CCT identified group membership, but the sensitivity and specificity were overall classified as poor. Convergent validity was demonstrated by associations between the CCT and performance-based tests assessing inhibition, cognitive flexibility, and working memory, as well as teacher-reported executive dysfunction. Divergent validity was supported by the lack of association with performance-based measures of learning and memory, attention, and verbal intellectual ability. However, there was a moderate association between the CCT and performance-based tests of processing speed. Lastly, better performance on the CCT was associated with a better functional outcome.Conclusion: Our study with a relatively large sample of children with pABI and HC’s demonstrated good psychometric properties of the CCT. CCT performance was associated with the overall level of disability and function, suggesting that CCT is related to the level of activity in everyday life and participation in society. Hence, our study suggests that the CCT has the potential to advance the assessment of EF by providing a valid analysis of real-world performance. Nevertheless, further research is needed on larger samples, focusing on predictors of task performance, and evaluating the ability of CCT to detect improvement in EF over time. The patterns of error and problem-solving strategies evaluated by the CCT could be used to inform neuropsychological rehabilitation treatmentand represent a more valid outcome measure of rehabilitation interventions. (shrink)

We show that the class of strongly jump-traceable c.e. sets can be characterised as those which have sufficiently slow enumerations so they obey a class of well-behaved cost functions, called benign. This characterisation implies the containment of the class of strongly jump-traceable c.e. Turing degrees in a number of lowness classes, in particular the classes of the degrees which lie below incomplete random degrees, indeed all LR-hard random degrees, and all ω-c.e. random degrees. The last result implies recent results of (...) Diamondstone's and Ng's regarding cupping with superlow c.e. degrees and thus gives a use of algorithmic randomness in the study of the c.e. Turing degrees. (shrink)

Kim’s model of ‘functional reduction’ of properties is shown to fail in a class of cases from physics involving properties at different spatial levels. The diagnosis of this failure leads to a non-reductive account of the relation of micro and macro properties.

The functionalist approach to kinds has suffered recently due to its association with law-based approaches to induction and explanation. Philosophers of science increasingly view nomological approaches as inappropriate for the special sciences like psychology and biology, which has led to a surge of interest in approaches to natural kinds that are more obviously compatible with mechanistic and model-based methods, especially homeostatic property cluster theory. But can the functionalist approach to kinds be weaned off its dependency on laws? Dan Weiskopf (...) has recently offered a reboot of the functionalist program by replacing its nomological commitments with a model-based approach more closely derived from practice in psychology. Roughly, Weiskopf holds that the natural kinds of psychology will be the functional properties that feature in many empirically successful cognitive models, and that those properties need not be localized to parts of an underlying mechanism. I here skeptically examine the three modeling practices that Weiskopf thinks introduce such non-localizable properties: fictionalization, reification, and functional abstraction. In each case, I argue that recognizing functional properties introduced by these practices as autonomous kinds comes at clear cost to those explanations’ counterfactual explanatory power. At each step, a tempting functionalist response is parochialism: to hold that the false or omitted counterfactuals fall outside the modeler’s explanatory aims, and so should not be counted against functional kinds. I conclude by noting the dangers this attitude poses to scientific disagreement, inviting functionalists to better articulate how the individuation conditions for functional kinds might outstrip the perspective of a single modeler. (shrink)

Function talk is a constant across different life sciences. From macro-evolution to genetics, functions are mentioned everywhere. For example, a limb’s function is to allow movement and RNA polymerases’ function is to transcribe DNA. Biochemistry is not immune from such a characterization; the biochemical world seems to be a chemical world embedded within biological processes. Specifically, biochemists commonly ascribe functions to biomolecules and classify them accordingly, and this has been noted in the recent philosophical literature on biochemical kinds. But while (...) a lot has been written on biological and psychological functions, little has been said explicitly about biochemical functions. Here, I explore functional attribution to biochemical molecules. I argue that if we accept this attribution, then biochemical functions are constituted by chemical dispositional properties that causally contribute to selected biological processes. In section 2, I discuss the controversy concerning the characterization of biochemical functions. In section 3, I consider whether a biological or a chemical understanding of function can be applied to biochemical functions, illustrating the account with the example of vitamin B12. The result is that none of these theories on their own can provide an adequate characterization. In section 4, I present an account of biochemical functions. In section 5, I assess this account, taking into consideration common requirements for a theory of functions and an objection. (shrink)