John Searle has argued that functions owe their existence to the value that we put into life and survival. In this paper, I will provide a critique of Searle’s argument concerning the ontology of functions. I rely on a standard analysis of functional predicates as relating not only a biological entity, an activity that constitutes the function of this entity and a type of system but also a goal state. A functional attribution without specification of such a goal state has (...) no truth-value. But if completed with a goal state, functional attributions understood as four-place relations attain a truth-value. The truth conditions of all attributions of function involve a dependence claim of the goal state on the function bearer’s activity. The nature of this dependence may differ; I consider five different possibilities: causality, mechanistic constitution, mereology, supervenience and metaphysical grounding. If these dependency relations are objective, Searle’s central ontological thesis fails. What he ought to have said is that our valuing survival or other goal states may be the reason why biology seeks functional knowledge, but this has nothing to do with ontology. I will show further that Searle also raised an interesting challenge concerning the relationship of functional and causal truths, but it does not threaten the objectivity of functions either. At best, it could show that functional vocabulary is eliminable. However, I will show that functional vocabulary is not so eliminable. (shrink)

Defending or attacking either functionalism or computationalism requires clarity on what they amount to and what evidence counts for or against them. My goal here is not to evaluate their plausibility. My goal is to formulate them and their relationship clearly enough that we can determine which type of evidence is relevant to them. I aim to dispel some sources of confusion that surround functionalism and computationalism, recruit recent philosophical work on mechanisms and computation to shed light on them, and (...) clarify how functionalism and computationalism may or may not legitimately come together. (shrink)

We begin by distinguishing computationalism from a number of other theses that are sometimes conflated with it. We also distinguish between several important kinds of computation: computation in a generic sense, digital computation, and analog computation. Then, we defend a weak version of computationalism—neural processes are computations in the generic sense. After that, we reject on empirical grounds the common assimilation of neural computation to either analog or digital computation, concluding that neural computation is sui generis. Analog computation requires continuous (...) signals; digital computation requires strings of digits. But current neuroscientific evidence indicates that typical neural signals, such as spike trains, are graded like continuous signals but are constituted by discrete functional elements (spikes); thus, typical neural signals are neither continuous signals nor strings of digits. It follows that neural computation is sui generis. Finally, we highlight three important consequences of a proper understanding of neural computation for the theory of cognition. First, understanding neural computation requires a specially designed mathematical theory (or theories) rather than the mathematical theories of analog or digital computation. Second, several popular views about neural computation turn out to be incorrect. Third, computational theories of cognition that rely on non-neural notions of computation ought to be replaced or reinterpreted in terms of neural computation. (shrink)

This paper offers an account of what it is for a physical system to be a computing mechanism—a system that performs computations. A computing mechanism is a mechanism whose function is to generate output strings from input strings and (possibly) internal states, in accordance with a general rule that applies to all relevant strings and depends on the input strings and (possibly) internal states for its application. This account is motivated by reasons endogenous to the philosophy of computing, namely, doing (...) justice to the practices of computer scientists and computability theorists. It is also an application of recent literature on mechanisms, because it assimilates computational explanation to mechanistic explanation. The account can be used to individuate computing mechanisms and the functions they compute and to taxonomize computing mechanisms based on their computing power. (shrink)

I offer an explication of the notion of computer, grounded in the practices of computability theorists and computer scientists. I begin by explaining what distinguishes computers from calculators. Then, I offer a systematic taxonomy of kinds of computer, including hard-wired versus programmable, general-purpose versus special-purpose, analog versus digital, and serial versus parallel, giving explicit criteria for each kind. My account is mechanistic: which class a system belongs in, and which functions are computable by which system, depends on the system's mechanistic (...) properties. Finally, I briefly illustrate how my account sheds light on some issues in the history and philosophy of computing as well as the philosophy of mind. (shrink)

“Functional homology” appears regularly in different areas of biological research and yet it is apparently a contradiction in terms—homology concerns identity of structure regardless of form and function. I argue that despite this conceptual tension there is a legitimate conception of ‘homology of function’, which can be recovered by utilizing a distinction from pre-Darwinian physiology (use versus activity) to identify an appropriate meaning of ‘function’. This account is directly applicable to molecular developmental biology and shares a connection to the theme (...) of hierarchy in homology. I situate ‘homology of function’ within existing definitions and criteria for structural assessments of homology, and introduce a criterion of ‘organization’ for judging function homologues, which focuses on hierarchically interconnected interdependencies (similar to relative position and connection for skeletal elements in structural homology). This analysis of biological concepts has at least three broad philosophical consequences: (1) it provides the grounds for the study of behavior and psychological categories as homologues; (2) it demonstrates that philosophers who take selected effect function as primary effectively ignore large portions of comparative, structural, and experimental research, thereby misconstruing biological reasoning and knowledge; and, (3) it underwrites causal generalizations, which illuminates inferences made from model organisms in experimental biology. (shrink)

Selected-effects theories provide the most popular account of biological teleology. According to these theories, the purpose of a trait is to do whatever it was selected for. The vast majority of selected-effects theories consider biological teleology to be introduced by natural selection. We want to argue, however, that natural selection is not the only relevant selective process in biology. In particular, our proposal is that biological regulation is a form of biological selection. So, those who accept selected-effects theories should recognize (...) biological regulation as a distinctive source of biological teleology. The purposes derived from biological regulation are of special interest for explaining and predicting the behavior of organisms, given that regulatory mechanisms directly modulate the behavior of the systems they regulate. This explanatory power, added to the fact that regulation is widespread in the biological world, makes the idea that regulation gives rise to its own form of teleology a substantial contribution to the debate on biological teleology. (shrink)

Is the mathematical function being computed by a given physical system determined by the system’s dynamics? This question is at the heart of the indeterminacy of computation phenomenon (Fresco et al. [unpublished]). A paradigmatic example is a conventional electrical AND-gate that is often said to compute conjunction, but it can just as well be used to compute disjunction. Despite the pervasiveness of this phenomenon in physical computational systems, it has been discussed in the philosophical literature only indirectly, mostly with reference (...) to the debate over realism about physical computation and computationalism. A welcome exception is Dewhurst’s ([2018]) recent analysis of computational individuation under the mechanistic framework. He rejects the idea of appealing to semantic properties for determining the computational identity of a physical system. But Dewhurst seems to be too quick to pay the price of giving up the notion of computational equivalence. We aim to show that the mechanist need not pay this price. The mechanistic framework can, in principle, preserve the idea of computational equivalence even between two different enough kinds of physical systems, say, electrical and hydraulic ones. (shrink)

To ascribe a telos is to ascribe a norm or standard of performance. That fact underwrites the plausibility of, say, teleological theories of mind. Teleosemantics, for example, relies on the normative character of teleology to solve the problem of “intentional inexistence”: a misrepresentation is just a malfunction. If the teleological ascriptions of such theories to natural systems, e.g., the neurological structures of the brain, are to be literally true, then it must be literally true that norms can exist independent of (...) intentional and psychological agency. Davies, for one, has argued that such norms are impossible within a naturalistic worldview. Consequently, teleological theories of mind, for example, cannot be literally true. I will show, however, that the truth conditions on normative statements do not presuppose intentional and psychological agency and, further, that a selectional regime is one naturalistic mechanism that satisfies those truth conditions. Norms, then, exist in the world independent of intentional and psychological agency. (shrink)

It is widely assumed that functional and dispositional properties are not identical to their physical base, but that there is some kind of asymmetrical ontological dependence between them. In this regard, a popular idea is that the former are realized by the latter, which, under the non-identity assumption, is generally understood to be a non-causal, constitutive relation. In this paper we examine two of the most widely accepted approaches to realization, the so-called ‘flat view’ and the ‘dimensioned view’, and we (...) analyze their explanatory relevance in the light of a number of examples from the life sciences, paying special attention to developmental phenomena. Our conclusion is that the emphasis placed by modern-day biology on such properties as variability, evolvability, and a whole collection of phenomena like modularity, robustness, and developmental constraint or developmental bias requires the adoption of a much more dynamic perspective than traditional realization frameworks are able to capture. (shrink)

It’s recently been argued that biological fitness can’t change over the course of an organism’s life as a result of organisms’ behaviors. However, some characterizations of biological function and biological altruism tacitly or explicitly assume that an effect of a trait can change an organism’s fitness. In the first part of the paper, I explain that the core idea of changing fitness can be understood in terms of conditional probabilities defined over sequences of events in an organism’s life. The result (...) is a notion of “conditional fitness” which is static but which captures intuitions about apparent behavioral effects on fitness. The second part of the paper investigates the possibility of providing a systematic foundation for conditional fitness in terms of spaces of sequences of states of an organism and its environment. I argue that the resulting “organism–environment history conception” helps unify diverse biological perspectives, and may provide part of a metaphysics of natural selection. (shrink)

This dissertation focuses on teleology and functions in biology. More precisely, it focuses on the scientific legitimacy of teleofunctional attributions and explanations in biology. It belongs to a multi-faceted debate that can be traced back to at least the 1970s. One aspect of the debate concerns the naturalization of functions. Most authors try to reduce, translate or explain functions and teleology in terms of efficient causes so that they find their place in the framework of the natural sciences. Our approach (...) here is radically different, as we question the premise that teleological explanations are disguised causal explanations. On the contrary, we defend that they are acceptable in natural sciences and in biology in particular. We challenge the idea that teleological explanations are immature causal explanations, as well as the idea that teleology and functions are some sort of intentional explanations. We therefore reject the accusations of anthropomorphism, vitalism and finalism. On the contrary, we defend that teleology, causality and intentionality correspond to different, autonomous and complementary modes of representation of the outside world. -/- ———[FRANÇAIS]——— -/- Ce travail de thèse porte sur la téléologie et les fonctions en biologie. Plus précisément, il porte sur la légitimité scientifique des attributions et des explications téléofonctionnelles en biologie. Il s’inscrit dans le cadre d’un débat à plusieurs facettes que l’on peut faire remonter au moins jusqu’aux années 1970 et qui est encore très actif aujourd’hui. L’un des aspects du débat porte sur la naturalisation des fonctions, c’est-à-dire sur la manière de les réduire, de les traduire ou de les expliciter en termes de causes efficientes de sorte qu’elles trouvent leur place dans le cadre des sciences de la nature. Notre approche ici est radicalement différente, car nous remettons en question la prémisse selon laquelle les explications téléologiques seraient des explications causales déguisées. Nous défendons au contraire qu’elles sont acceptables en tant que telles aussi bien de façon générale que dans le domaine scientifique et en particulier en biologie. De façon générale, nous remettons en question l’idée selon laquelle la pensée téléologique serait une pensée causale immature, ainsi que sa dépendance présumée vis-à-vis de la psychologie, c’est-à-dire de l’intentionnalité. Nous rejetons donc les accusations d’anthropomorphisme, de vitalisme et de finalisme formulées contre elle. Nous défendons au contraire que la téléologie, la causalité et l’intentionnalité correspondent à des modes différents, autonomes et complémentaires de représentation du monde extérieur. (shrink)

In this paper I defend a pluralistic approach in understanding function, both in biological and other contexts. Talks about function are ubiquitous and crucial in biology, and it might be the key to bridge the “manifest image” and the “scientific image” identified by Sellars (1962). However, analysis of function has proven to be extremely difficult. The major puzzle is to make sense of “time-reversed causality”: how can property P be the cause of its realizer R? For example, “pumping blood” is (...) a property of hearts, but a property of hearts cannot be the cause of the presence of hearts, since properties cannot predate their realizers and be causes of them. In section 2 I discuss Wright’s etiological analysis, Cummins’ causal-role analysis, and their critics. In section 3 I defend a version of the “consensus without unity” strategy proposed by Godfrey-Smith from Christopher Boorse’s recent critique (2002). In Section 4 I conclude by reflecting on the relation between functional discourses and physicalism. (shrink)

The concept of technical function is a key concept to describe technical artifacts and artifacts-to-be-designed. Engineers often give such descriptions in terms of functional decomposition models, which represent relationships between functions and sets of other functions. Despite the importance of the concept of function there is no consensus among engineers about its meaning. Models of functional decomposition are likewise conceptually divergent. Although this conceptual diversity hampers information exchange between engineers, they accept and maintain it. Engineers do not, by and large, (...) engage in a focused debate to establish commonly shared functional conceptualizations. This contrasts with science where both debates on the adequacy of key conceptualizations and convergence toward shared conceptualizations are common. This book investigates the side-by-side usage of different functional decomposition models in engineering. It explains this phenomenon by applying and extending the analysis of theory choice in terms of methodological incommensurability to engineering functional decomposition, rather than to science. This analysis shows that engineers’ usage of competing functional decomposition models is rational from a practical point of view. This book furthermore investigates the communication problems that the side-by-side usage of different models engenders and presents a strategy that supports the exchange and re-use of functional information between engineers. (shrink)