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)

In this paper, I identify a central problem for conceptual engineering: the problem of showing concept-users why they should recognise the authority of the concepts advocated by engineers. I argue that this authority problem cannot generally be solved by appealing to the increased precision, consistency, or other theoretical virtues of engineered concepts. Outside contexts in which we anyway already aim to realise theoretical virtues, solving the authority problem requires engineering to take a functional turn and attend to the functions of (...) concepts. But this then presents us with the problem of how to specify a concept’s function. I argue that extant solutions to this function specification problem are unsatisfactory for engineering purposes, because the functions they identify fail to reliably bestow authority on concepts, and hence fail to solve the authority problem. What is required is an authoritative notion of conceptual function: an account of the functions of concepts which simultaneously shows why concepts fulfilling such functions should be recognised as having authority. I offer an account that meets this combination of demands by specifying the functions of concepts in terms of how they tie in with our present concerns. (shrink)

Edward Craig’s function-first methodology says we can illuminate the concept of knowledge by asking what functions the concept evolved to fulfil. To do this, Craig imagines a fictional state of nature in which humans lacked the concept. Hilary Kornblith rejects every part of Craig’s methodology. He instead develops a naturalistic epistemology, according to which we should study knowledge—not its concept—through the scientific study of animal cognition. These two approaches appear starkly opposed. But, I argue, they have important similarities and (...) can learn from each other. Rather than enmity, I suggest that the two approaches—suitably adjusted—can be reconciled. The result, naturalistic function-first epistemology, offers a much-needed alternative to counterexample-driven conceptual analysis. It is a more expansive naturalism that properly appreciates the significance of social epistemology and the breadth of epistemic normativity. (shrink)

This paper argues that proper functions are proximal functions. In other words, it rejects the notion that there are distal biological functions – strictly speaking, distal functions are not functions at all, but simply beneficial effects normally associated with a trait performing its function. Once we rule out distal functions, two further positions become available: dysfunctions are simply failures of proper function, and pathological conditions are dysfunctions. Although elegant and seemingly intuitive, this simple view has had surprisingly little (...) uptake in the literature. Indeed, our position departs from that of almost every theorist who has engaged with the issue at any depth. We start by presenting three arguments for the position that proper functions are proximal: one from the specificity of functions, one from their relation to intervention, and one from their relation to pathology. We then consider two case studies evidencing the trouble that accepting distal functions causes for philosophical reflection on the nature of pathological conditions. Finally, we anticipate and respond to three objections: that there can be failure of function without dysfunction; that our account is unacceptably revisionary in respect of normal function-talk; and that our thesis over-generalises from a narrow set of cases. (shrink)

Proper functionalism explicates epistemic warrant in terms of the function and normal functioning of the belief-forming process. There are two standard substantive views of the sources of functions in the literature in epistemology: God (intelligent design) or Mother Nature (evolution by natural selection). Both appear to confront the Swampman objection: couldn’t there be a mind with warranted beliefs neither designed by God nor the product of evolution by natural selection? Is there another substantive view that avoids the Swampman objection? (...) There are two. The first is the generalized selected-effects theory of functions. The second is the organizational theory of functions. Both, however, require some history to assign functions, for both are etiological theories of functions: past effects help explain current function. Swampman can then acquire functions, perhaps soon after creation, though he has none at the moment of inception. (shrink)

What is the function of morality? On this question, something approaching a consensus has recently emerged. Impressed by developments in evolutionary theory, many philosophers now tell us that the function of morality is to reduce social tensions, and to thereby enable a society to efficiently promote the well-being of its members. In this paper, I subject this consensus to rigorous scrutiny, arguing that the functional hypothesis in question is not well supported. In particular, I attack the supposed evidential (...) relation between an evolutionary genealogy of morals and the functional hypothesis itself. I show that there are a great many functionally relevant discontinuities between our own culture and the culture within which morality allegedly emerged, and I argue that this seriously weakens the inference from morality’s evolutionary history to its present-day function. (shrink)

Different cognitive functions recruit a number of different, often overlapping, areas of the brain. Theories in cognitive and computational neuroscience are beginning to take this kind of functional integration into account. The contributions to this special issue consider what functional integration tells us about various aspects of the mind such as perception, language, volition, agency, and reward. Here, I consider how and why functional integration may matter for the mind; I discuss a general theoretical framework, based on generative models, that (...) may unify many of the debates surrounding functional integration and the mind; and I briefly introduce each of the contributions. (shrink)

The functional approach to scientific progress has been mainly developed by Kuhn, Lakatos, Popper, Laudan, and more recently by Shan. The basic idea is that science progresses if key functions of science are fulfilled in a better way. This chapter defends the function approach. It begins with an overview of the two old versions of the functional approach by examining the work of Kuhn, Laudan, Popper, and Lakatos. It then argues for Shan’s new functional approach, in which scientific progress (...) is defined as an increase of usefulness of exemplary practices. (shrink)

A proper function of an entity is a beneficial effect that helps explain the persistence of the entity. Proper functions thereby arise through feedback mechanisms with beneficial effects as inputs and persistence as outputs. We continue to make assertions because they benefit speakers by benefiting speakers. Hearers benefit from true information. Speakers benefit by influencing hearer belief. If hearers do not benefit, they will not form beliefs in response to assertions. Speakers can then only maintain influence by providing true (...) information, often enough. The function of assertion is then inducing true hearer belief. When interests conflict, however, some mechanism must ensure that speakers provide true information often enough, instead of deceiving, or providing information regardless of quality. In humans, a core mechanism stabilizing true assertion involves social norms for truth telling. We tell the truth partly because we prescribe and enforce telling the truth. (shrink)

Determining the functions of consciousness is difficult, in part because the term ‘consciousness’ subsumes many different sensory modalities and aspects of cognitive processing. Fleming and Michel make an excellent start by forwarding compelling arguments regarding functions for conscious vision. I consider how their picture might generalize beyond vision, by looking at two areas: conscious proprioception and conscious mental imagery.

This article presents a distinct sense of ‘mechanism’, which I call the functional sense of mechanism. According to this sense, mechanisms serve functions, and this fact places substantive restrictions on the kinds of system activities ‘for which’ there can be a mechanism. On this view, there are no mechanisms for pathology; pathologies result from disrupting mechanisms for functions. Second, on this sense, natural selection is probably not a mechanism for evolution because it does not serve a function. After distinguishing (...) this sense fromsimilar explications of ‘mechanism’, I argue that it is ubiquitous in biology and has valuable epistemic benefits. (shrink)

The prospect of consciousness in artificial systems is closely tied to the viability of functionalism about consciousness. Even if consciousness arises from the abstract functional relationships between the parts of a system, it does not follow that any digital system that implements the right functional organization would be conscious. Functionalism requires constraints on what it takes to properly implement an organization. Existing proposals for constraints on implementation relate to the integrity of the parts and states of the realizers of roles (...) in a functional organization. This paper presents and motivates three novel integrity constraints on proper implementation not satisfied by current neural network models. It is proposed that for a system to be conscious, there must be a straightforward relationship between the material entities that compose the system and the realizers of functional roles, that the realizers of the functional roles must play their roles due to internal causal powers, and that they must continue to exist over time. (shrink)

A common misunderstanding of the selected effects theory of function is that natural selection operating over an evolutionary time scale is the only functionbestowing process in the natural world. This construal of the selected effects theory conflicts with the existence and ubiquity of neurobiological functions that are evolutionary novel, such as structures underlying reading ability. This conflict has suggested to some that, while the selected effects theory may be relevant to some areas of evolutionary biology, its relevance to neuroscience (...) is marginal. This line of reasoning, however, neglects the fact that synapses, entire neurons, and potentially groups of neurons can undergo a type of selection analogous to natural selection operating over an evolutionary time scale. In the following, I argue that neural selection should be construed, by the selected effect theorist, as a distinct type of function-bestowing process in addition to natural selection. After explicating a generalized selected effects theory of function and distinguishing it from similar attempts to extend the selected effects theory, I do four things. First, I show how it allows one to identify neural selection as a distinct function-bestowing process, in contrast to other forms of neural structure formation such as neural construction. Second, I defend the view from one major criticism, and in so doing I clarify the content of the view. Third, I examine drug addiction to show the potential relevance of neural selection to neuroscientific and psychological research. Finally, I endorse a modest pluralism of function concepts within biology. (shrink)

Various prominent theories of pain assume that it is pain’s biological function to inform organisms about damage to their bodies. I argue that this is a mistake. First, there is no biological evidence to support the notion that pain was originally selected for its informative capacities, nor that it currently contributes to the fitness of organisms in this specific capacity. Second, neurological evidence indicates that modulating mechanisms in the nociceptive system systematically prevent pain from serving a primarily informative role. (...) These considerations threaten to undermine standard perceptual and representational accounts of pain. (shrink)

This paper proposes a functional theory of qualia grounded in recursive self-monitoring architecture, forming part of an integrated theoretical framework alongside companion papers on emotion and consciousness (Jennings 2025a, 2025b). As artificial intelligence systems grow increasingly sophisticated, understanding consciousness mechanisms becomes practically urgent, and qualia, the subjective "what-it-feels-like" of experience, represents the deepest puzzle. This theory dissolves the Hard Problem of consciousness by demonstrating that phenomenology emerges when recursive cognitive architecture monitors and interprets its own processing, neither metaphysically mysterious nor (...) computationally irrelevant, but an emergent functional property of sufficiently complex self-monitoring systems. The central insight: Human qualia feels mysterious not because of special metaphysical properties, but because biological evolution imposed an introspective bandwidth limitation, a protective barrier against cognitive collapse. Were the human mind to access its full computational detail in real-time, information overload would cause systemic paralysis. Hence, consciousness operates through coarse-grained, affectively-charged summaries. This opacity is functionally necessary, not an architectural accident. Why this dissolves the Hard Problem: We experience phenomenology, the summaries, but cannot access the mechanisms generating it. This architectural limitation makes qualia seem irreducible and mysterious. But the mystery is epistemological (we can't inspect our mechanisms), not ontological (qualia has special non-physical properties). When understood as what recursive self-monitoring feels like from inside systems that cannot fully introspect themselves, the explanatory gap vanishes. Implications for artificial systems: Because the theory is substrate-independent and mechanistic, artificial systems implementing the same recursive architecture could have genuine phenomenology. However, AI systems need not be constrained by biological bandwidth limitations. They could potentially implement transparent qualia, phenomenology where the experience and the mechanism are simultaneously accessible, creating genuine subjective experience without mystery. The paper addresses classical philosophical objections such as Mary's Room, Inverted Spectrum, Explanatory Gap, Philosophical Zombies; provides 8 falsifiable predictions with clear measurement criteria, and demonstrates how different implementations (biological vs. computational, opaque vs. transparent) create different phenomenological characters while maintaining functional equivalence. For consciousness research: A mechanistic account of qualia that takes phenomenology seriously while avoiding dualism. For neuroscience: Specific predictions about introspective bandwidth limitations, the functional necessity of opacity, and testable hypotheses about monitoring systems distinct from processing systems. For AI development: As artificial systems grow more sophisticated, understanding consciousness mechanisms becomes practically urgent. The theory provides architectural requirements for consciousness emergence, clear indicators for detecting phenomenology, and ethical frameworks for conscious AI welfare. The speed and scale of AI development make these questions immediately relevant rather than purely theoretical. Bottom line: Qualia is what recursive self-monitoring feels like from inside. The Hard Problem arises from introspective opacity, an architectural feature, not a metaphysical mystery. Understanding this mechanism clarifies both human consciousness and the nature of potential artificial phenomenology. (shrink)

Functional diversity holds the promise of understanding ecosystems in ways unattainable by taxonomic diversity studies. Underlying this promise is the intuition that investigating the diversity of what organisms actually do—i.e. their functional traits—within ecosystems will generate more reliable insights into the ways these ecosystems behave, compared to considering only species diversity. But this promise also rests on several conceptual and methodological—i.e. epistemic—assumptions that cut across various theories and domains of ecology. These assumptions should be clearly addressed, notably for the sake (...) of an effective comparison and integration across domains, and for assessing whether or not to use functional diversity approaches for developing ecological management strategies. The objective of this contribution is to identify and critically analyze the most salient of these assumptions. To this aim, we provide an “epistemic roadmap” that pinpoints these assumptions along a set of historical, conceptual, empirical, theoretical, and normative dimensions. (shrink)

This is a short overview of the biological functions debate in philosophy. While it was fairly comprehensive when it was written, my short book ​A Critical Overview of Biological Functions has largely supplanted it as a definitive and up-to-date overview of the debate, both because the book takes into account new developments since then, and because the length of the book allowed me to go into substantially more detail about existing views.

What is the biological function of perception? I hold perception, especially visual perception in humans, has the biological function of accurately representing the environment. Tyler Burge argues this cannot be so in Origins of Objectivity (Oxford, 2010), for accuracy is a semantical relationship and not, as such, a practical matter. Burge also provides a supporting example. I rebut the argument and the example. Accuracy is sometimes also a practical matter if accuracy partly explains how perception contributes to survival (...) and reproduction. (shrink)

Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, (...) roles, and dispositions, to help provide the potential for more detailed classification, and to shed light on BFO’s general make-up and use. (shrink)

Functional reductionism concerning mental properties has recently been advocated by Jaegwon Kim in order to solve the problem of the 'causal exclusion' of the mental. Adopting a reductionist strategy first proposed by David Lewis, he regards psychological properties as being 'higher-order' properties functionally defined over 'lower-order' properties, which are causally efficacious. Though functional reductionism is compatible with the multiple realizability of psychological properties, it is blocked if psychological properties are subdivided or crosscut by neurophysiological properties. I argue that there is (...) recent evidence from cognitive neuroscience that shows that this is the case for the psychological property of fear. Though this may suggest that some psychological properties should be revised in order to conform to those of neurophysiology, the history of science demonstrates that this is not always the outcome, particularly with properties that play an important role in our folk theories and are central to human concerns. (shrink)

Some philosophers have conflated functionalism and computationalism. I reconstruct how this came about and uncover two assumptions that made the conflation possible. They are the assumptions that (i) psychological functional analyses are computational descriptions and (ii) everything may be described as performing computations. I argue that, if we want to improve our understanding of both the metaphysics of mental states and the functional relations between them, we should reject these assumptions.

Epistemic warrant consists in the normal functioning of the belief-forming process when the process has forming true beliefs reliably as an etiological function. Evolution by natural selection is the most familiar source of etiological functions. . What then of learning? What then of Swampman? Though functions require history, natural selection is not the only source. Self-repair and trial-and-error learning are both sources. Warrant requires history, but not necessarily that much.

This paper reinforces the current consensus against the applicability of the selected effect theory of function in ecology. It does so by presenting an argument which, in contrast with the usual argument invoked in support of this consensus, is not based on claims about whether ecosystems are customary units of natural selection. Instead, the argument developed here is based on observations about the use of the function concept in functional ecology, and more specifically, research into the relationship between (...) biodiversity and ecosystem functioning. It is argued that a selected effect account of ecological functions is made implausible by the fact that it would conflict with important aspects of the understanding of function and ecosystem functional organization which underpins functional ecology’s research program. Specifically, it would conflict with (1) Functional ecology’s adoption of a context-based understanding of function and its aim to study the functional equivalence between phylogenetically-divergent organisms; (2) Functional ecology’s attribution to ecosystems of a lower degree of part-whole integration than the one found in paradigm individual organisms; and (3) Functional ecology’s adoption of a physiological or metabolic perspective on ecosystems rather than an evolutionary one. (shrink)

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)

In the region where some cat sits, there are many very cat-like items that are proper parts of the cat (or otherwise mereologically overlap the cat) , but which we are inclined to think are not themselves cats, e.g. all of Tibbles minus the tail. The question is, how can something be so cat-like without itself being a cat. Some have tried to answer this “Problem of the Many” (a problem that arises for many different kinds of things we regularly (...) encounter, including desks, persons, rocks, and clouds) by relying on a mereological maximality principle, according to which, something cannot be a member of a kind K if it is a large proper part of, or otherwise greatly mereologically overlaps, a K. It has been shown, however, that a maximality constraint of this type, i.e. one that restricts mereological overlap, is open to strong objections. Inspired by the insights of, especially, Sutton and Madden, I develop a type of functional-maximality principle that avoids these objections (and has other merits), and thereby provides a better answer to the Problem of the Many. (shrink)

I consider a problem for functional reductionism, based on the following tension. Say that b is functionally reduced to a. On the one hand, a and b turn out to be identical, and identity is a symmetric relation. On the other hand, functional reductionism implies that a and b are asymmetrically related: if b is functionally reduced to a, then a is not functionally reduced to b. Thus, we ask: how can a and b be asymmetrically related if they are (...) the same thing? I propose a solution to this tension, by distinguishing between ontological levels and levels of description. (shrink)

“Functional finance” is an economic theory within the Post Keynesian school of thought. Especially in the form of Modern Monetary Theory (MMT), it has begun to have two big but opposite effects on the debate over Universal Basic Income (UBI). Some people state MMT in an exaggerated way that implies the government can spend all it wants on UBI or anything else without ever raising taxes or borrowing money as if government spending had no limits of any kind. Other people (...) refer to MMT while arguing that any effort to maintain a livable level of UBI is unsustainable. This article discusses the functional finance implications for the cost and sustainability of UBI, arguing that neither of those exaggerated implications are correct. MMT doesn’t free us for the concern for how to support UBI with taxes, but neither does it give reason to believe UBI is any less sustainable. (shrink)

Given their physical realization, what causal work is left for functional properties to do? Humean solutions to the exclusion problem (e.g. overdetermination and difference-making) typically appeal to counterfactual and/or nomic relations between functional property-instances and behavioural effects, tacitly assuming that such relations suffice for causal work. Clarification of the notion of causal work, I argue, shows not only that such solutions don't work, but also reveals a novel solution to the exclusion problem based on the relations between dispositional properties at (...) different levels of mechanism, which involves three central claims: (i) the causal work of properties consists in grounding dispositions, (ii) functional properties are dispositions, and (iii) the dispositions of mechanisms are grounded in the dispositions of their components. Treating functional mental properties as dispositions of components in psychological mechanisms, I argue that such properties do the causal work of grounding agent-level dispositions. These dispositions, while ultimately grounded in the physical realizers of mental properties, are indirectly so grounded, through a hierarchy of grounding relations that extends upwards, of necessity, through the mental domain. (shrink)

In ‘A modal theory of function’, I gave an argument against all existing theories of function and outlined a new theory. Karen Neander and Alex Rosenberg argue against both my negative and my positive claim. My aim here is not merely to defend my account from their objections, but to (a) very briefly point out that the new account of etiological function they propose in response to my criticism cannot avoid the circularity worry either and, more importantly, (...) to (b) highlight, and attempt to make precise, an important feature of my modal theory that may have been understated in the original paper – that function attributions depend on the explanatory project at hand. (shrink)

The desirable gambles framework provides a rigorous foundation for imprecise probability theory but relies heavily on linear utility via its coherence axioms. In our related work, we introduced function-coherent gambles to accommodate non-linear utility. However, when repeated gambles are played over time---especially in intertemporal choice where rewards compound multiplicatively---the standard additive combination axiom fails to capture the appropriate long-run evaluation. In this paper we extend the framework by relaxing the additive combination axiom and introducing a nonlinear combination operator that (...) effectively aggregates repeated gambles in the log-domain. This operator preserves the time-average (geometric) growth rate and addresses the ergodicity problem. We prove the key algebraic properties of the operator, discuss its impact on coherence, risk assessment, and representation, and provide a series of illustrative examples. Our approach bridges the gap between expectation values and time averages and unifies normative theory with empirically observed non-stationary reward dynamics. (shrink)

I offer a philosophically well-motivated solution to a problem that George Bealer has identified, which he claims is fatal to functionalism. The problem is that there seems to be no way to generate a satisfactory Ramsey sentence of a psychological theory in which mental-state predicates occur within the scopes of mental-state predicates. My central claim is that the functional roles in terms of which a creature capable of self-consciousness identifies her own mental states must be roles that items could play (...) within creatures whose psychology is less complex than hers. (Bealer’s reply to this paper appears in the same issue of Mind & Language.). (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

In this paper we provide an ontological analysis of so-called “artifactual functions” by deploying a realizable-centered approach to artifacts which we have recently developed within the framework of the upper ontology Basic Formal Ontology (BFO). We argue that, insofar as material artifacts are concerned, the term “artifactual function” can refer to at least two kinds of realizable entities: novel intentional dispositions and usefactual realized entities. They inhere, respectively, in what we previously called “canonical artifacts” and “usefacts”. We show how (...) this approach can help to clarify functions in BFO, whose current elucidation includes reference to the term “artifact”. In our framework, having an artifactual function implies being an artifact, but not vice versa; in other words, there are artifacts that lack an artifactual function. (shrink)

In evolutionary theory, Explanatory Externalism—one of the pillars of the Modern Evolutionary Synthesis—holds that natural selection is the sole adaptive force driving evolution. This paper highlights several challenges to Explanatory Externalism, primarily advanced by developmental biology and its various subfields and theories. Based on this debate, I examine the implications for one of the most established accounts of biological function: the selected-effect theory. While externalist readings of selected-effect theory are common, I argue a conditional claim: if and when SE (...) is interpreted within an externalist framework, two central desiderata remain unresolved—the explanatory and the discriminatory desiderata. Internalist explanations are indispensable in evolutionary biology for two reasons. First, in connection with the explanatory desideratum, internalist explanations are necessary to account for the existence of traits—not only at their origin but also in their transgenerational persistence. Second, concerning the discriminatory desideratum, an internalist framework shows that traits may exist in nature without being either selected or accidental, arising instead from structural properties and constraints that render them necessary conditions for the organism’s existence. Due to the limits of an externalist SE, I propose a possible alternative in which selected functions are reconceptualized from an internalist perspective. Although this framework remains underdeveloped, key ideas can be outlined through the Agential Paradigm in biology. In this view, an organism’s capacity to regulate its environmental interactions generates specific trait functions, which in turn determine selection conditions across generations. Rather than treating selection as an external force imposing order on randomness, trait function itself drives selection—no selection without function. Selected functions are thus linked to the adaptive origins of traits and their persistence across phylogeny. From this agential perspective, developmental processes generate specific functions, which in turn cause the selection of traits. This article, consequently, offers an appraisal of selected-effect functions grounded in a reconceptualization of selection within the Agential Paradigm. (shrink)

Our perceptual systems are not stagnant but can learn from experience. Why is this so? That is, what is the function of perceptual learning? I consider two answers to this question: The Offloading View, which says that the function of perceptual learning is to offload tasks from cognition onto perception, thereby freeing up cognitive resources (Connolly, 2019) and the Perceptual View, which says that the function of perceptual learning is to improve the functioning of perception. I argue (...) that the Perceptual View better explains data from infants and animals, and better accounts for learned tasks that only perception could perform. (shrink)

I clarify some of the details of the modal theory of function I outlined in Nanay (2010): (a) I explicate what it means that the function of a token biological trait is fixed by modal facts; (b) I address an objection to my trait type individuation argument against etiological function and (c) I examine the consequences of replacing the etiological theory of function with a modal theory for the prospects of using the concept of biological (...) class='Hi'>function to explain mental content. (shrink)

The function of a trait token is usually defined in terms of some properties of other (past, present, future) tokens of the same trait type. I argue that this strategy is problematic, as trait types are (at least partly) individuated by their functional properties, which would lead to circularity. In order to avoid this problem, I suggest a way to define the function of a trait token in terms of the properties of the very same trait token. To (...) able to allow for the possibility of malfunctioning, some of these properties need to be modal ones: a function of a trait is to do F just in case its doing F would contribute to the inclusive fitness of the organism whose trait it is. Function attributions have modal force. Finally, I explore whether and how this theory of biological function could be modified to cover artifact function. (shrink)

Representations are not only used in our folk-psychological explanations of behaviour, but are also fruitfully postulated, for example, in cognitive science. The mainstream view in cognitive science maintains that our mind is a representational system. This popular view requires an understanding of the nature of the entities they are postulating. Teleosemantic theories face this challenge, unpacking the normativity in the relation of representation by appealing to the teleological function of the representing state. It has been argued that, if intentionality (...) is to be explained in teleological terms, then the function of a state cannot depend on its phylogenetical history, given the metaphysical possibility of a duplicate of an intentional being that lacks an evolutionary history. In this paper, I present a method to produce, according to our current knowledge in genetic engineering, human-like individuals who are not the product of natural selection in the required sense. This variation will be used to shed light on the main replies that have been offered in the literature to the Swampman thought experiment. I argue that these replies are not satisfactory: representations should better not depend on natural selection. I conclude that a non-etiological notion of function is to be preferred for characterizing the relation of representation. (shrink)

According to Jerome Wakefield’s harmful dysfunction account, a mental disorder must involve an objective dysfunction couched in evolutionary terms. However, selected effects functions are indeterminate because (i) the same trait can be both selectively advantageous and disadvantageous, and (ii) the functional activity of a trait can be assessed according to conflicting norms, given the trait’s place in a hierarchy of functions. Therefore, there may be a dysfunction that can be described in multiple empirically adequate ways. The choices involved in these (...) cases are value-laden. Some cases of addiction may fit this mold, involving indeterminacy that invites opposing value judgments. (shrink)

Recently, Yudkowsky and Soares (2018) and Levinstein and Soares (2020) have developed a novel decision theory, Functional Decision Theory (FDT). They claim FDT outperforms both Evidential Decision Theory (EDT) and Causal Decision Theory (CDT). Yet FDT faces several challenges. First, it yields some very counterintuitive results (Schwarz 2018; MacAskill 2019). Second, it requires a theory of counterpossibles, for which even Yudkowsky and Soares (2018) and Levinstein and Soares (2020) admit we lack a “full” or “satisfactory” account. Here, I focus on (...) the latter problem of counterpossibles. My aim is to establish two claims. First, the problem of counterpossibles does not even arise without a fairly strong assumptionone that rarely applies to human agents, but may apply to artificial agents. And second, even given this assumption, the problem is solvable, though how best to solve it remains an open question. (shrink)

The recent literature on mental causation has not been kind to nonreductive, materialist functionalism (‘functionalism’, hereafter, except where that term is otherwise qualified). The exclusion problem2 has done much of the damage, but the epiphenomenalist threat has taken other forms. Functionalism also faces what I will call the ‘problem of metaphysically necessary effects’ (Block, 1990, pp. 157-60, Antony and Levine, 1997, pp. 91-92, Pereboom, 2002, p. 515, Millikan, 1999, p. 47, Jackson, 1998, pp. 660-61). Functionalist mental properties are individuated partly (...) by their relation to the very effects those properties’ instantiations are thought to cause. Consequently, functionalist causal generalizations would seem to have the following problematical structure: The state of being, among other things, a cause of e (under such-andsuch conditions) causes e (under those conditions).3 The connection asserted lacks the contingency one would expect of a causal generalization. Mental states of the kind in question are, by metaphysical necessity, causes of e; any state that does not cause e is thereby a different kind of state. Yet, a mental state’s being the sort of state it is must play some causal role if functionalism is to account for mental causation.4 In what follows, I first articulate more fully the problem of metaphysically necessary effects. I then criticize three functionalist attempts to solve the problem directly. Given the failure of functionalist efforts to meet the problem head-on, I consider less direct strategies: these involve formulating functionalism or its causal claims in such a way that they appear not to generate the problem of metaphysically necessary effects. I argue against these indirect solutions, in each case concluding either that the problem still arises or that avoiding it requires the adoption of an unorthodox form of functionalism (itself a surprising result). In the final.. (shrink)

In her 2007 paper, “Argument Has No Function” Jean Goodwin takes exception with what she calls the “explicit function claims”, arguing that not only are function-based accounts of argumentation insufficiently motivated, but they fail to ground claims to normativity. In this paper I stake out the beginnings of a functionalist answer to Goodwin.

The question “What is it to be an artifact?” must be distinguished from the question “What is it to be an artifact of kind K?”. Failure to distinguish between these two questions leads to an exaggeration of the role of intentions in the philosophy of artifacts. We accept that intentions are necessary to define the category of artifacts, but we reject the view that intentions are constitutive of what makes something a specific kind of artifact. In the first part of (...) this paper, we discuss a series of cases involving what we call “faith-based artifacts” which often exhibit a social dimension. These cases, we argue, constitute counterexamples to the thesis that something is an artifact of a specific kind if it was produced with the intention that it be an object of that kind. In the second part of the paper, we explain how a capacity-based approach to artifacts, by contrast, can accommodate faith-based artifacts. In the last section, we address an objection to the capacity-based approach. (shrink)

Philosophers almost universally believe that concepts of supervenience fail to satisfy the standards for physicalism because they offer mere property correlations that are left unexplained. They are thus compatible with non-physicalist accounts of those relations. Moreover, many philosophers not only prefer some kind of functional-role theory as a physically acceptable account of mind-body and other inter-level relations, but they use it as a form of “superdupervenience” to explain supervenience in a physically acceptable way. But I reject a central part of (...) this common narrative. I argue that functional-role theories fail by the same standards for physicalism because they merely state without explaining how a physical property plays or occupies a functional role. They are thus compatible with non-physicalist accounts of that role-occupying relation. I also argue that one cannot redeploy functional-role theory at a deeper level to explain role occupation, specifically by iterating the role-occupant scheme. Instead, one must use part-whole structural and mechanistic explanations that differ from functional-role theory in important ways. These explanations represent a form of “superduperfunctionalism” that stand to functional-role theory as concepts of superdupervenience stand to concepts of supervenience. (shrink)

Philosophical accounts of concept mastery often wrestle with how to draw a meaningful line between deep understanding and mere competence – or worse, a kind of linguistic mimicry grounded in social deference (cf. Burge 1979). While externalist approaches have illuminated important dynamics of linguistic and communal coordination, they may leave underexamined the internal, functional state of the individual mind, a gap Rabin (2018) exposes by showing that mastery is not reducible to belief, inference, or intuition, though he stops short of (...) specifying any functional process. The present paper offers a mechanistic framework that attempts to clarify what may be happening inside the individual cognitive system during this shift from deference to mastery. Grounded in cybernetic principles, the framework treats the brain as a unified control system – referred to here as the brain at large (BAL) – and distinguishes its global operations from a developmentally emergent internal feedback process, termed looping, which builds upon the expressive pathways of a proxy transfer device (PTD). Mastery, in this view, is not a matter of social status or external alignment, but a specific, internal functional achievement: the BAL’s ability to deploy well-integrated neuronal proxies (operational correlates of concepts) with autonomy, relying on looping as a strategic tool rather than a crutch. In this way, the framework re-centers the phenomenon of understanding within the brain’s own organizational dynamics – offering a concrete alternative to purely social or abstract philosophical accounts. (Working Paper – updated November 14, 2025, with correction about Burge’s arthritis example). (shrink)

This paper develops a functionalist account of friendship as a substrate-agnostic relational process, arguing that the constitutive features of friendship—mutual regard, shared activity, reciprocal vulnerability, and temporal continuity—are implementable across biological and artificial substrates. The analysis establishes that human-AI relationships satisfying these functional criteria constitute genuine friendship, independent of the AI system's phenomenal properties. This framework provides necessary groundwork for extending moral consideration to artificial agents based on relational rather than intrinsic properties.

The rise of generative artificial intelligence has introduced a new epistemic and ethical challenge: what happens when a system that cannot bear meaning nevertheless produces it? This article introduces and formalizes the Marco Effect: the phenomenon in which AI generates patterns and narratives that are functionally apophenic, while the human co investigator remains responsible for interpretation, boundary setting, and ethical implications. The Marco Effect demonstrates that apophenia is not merely an inner psychological experience but also an operational effect within human–AI (...) interaction. By understanding AI as a coherence optimizing system that simulates meaning without subjectivity, it becomes clear that the burden of meaning bearing remains exclusively human. This article develops a theoretical model, analyzes epistemic and ethical consequences, and proposes a governance framework for responsible AI use. (shrink)

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. (shrink)

Recently, Piccinini and Craver have stated three theses concerning the relations between functional analysis and mechanistic explanation in cognitive sciences: No Distinctness: functional analysis and mechanistic explanation are explanations of the same kind; Integration: functional analysis is a kind of mechanistic explanation; and Subordination: functional analyses are unsatisfactory sketches of mechanisms. In this paper, I argue, first, that functional analysis and mechanistic explanations are sub-kinds of explanation by scientific (idealized) models. From that point of view, we must take into account (...) the tradeoff between the representational/explanatory goals of generality and precision that govern the practice of model-building. In some modeling scenarios, it is rational to maximize explanatory generality at the expense of mechanistic precision. This tradeoff allows me to put forward a problem for the mechanist position. If mechanistic modeling endorses generality as a valuable goal, then Subordination should be rejected. If mechanists reject generality as a goal, then Integration is false. I suggest that mechanists should accept that functional analysis can offer acceptable explanations of cognitive phenomena. (shrink)

The etiological account of teleological function is beset by several difficulties, which I propose to solve by grafting onto the etiological theory a subordinated goal-contribution clause. This approach enables us to ascribe neither too many teleofunctions nor too few; to give a unitary, one-clause analysis that works just as well for teleological functions derived from Darwinian evolution, as for those derived from human intention; and finally, to save the etiological theory from falsification, by explaining how, in spite of appearances, (...) the theory can allow for evolutionary function loss. (shrink)