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. This has been noticed 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 fuctions. 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 under- standing of function can be applied to biochemical functions, illustrating the account with the example of vitamin B12. The result is that none of the theories on their own provides 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 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)

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 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)

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)

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)

It is generally argued that if the wave-function in the de Broglie–Bohm theory is a physical field, it must be a field in configuration space. Nevertheless, it is possible to interpret the wave-function as a multi-field in three-dimensional space. This approach hasn’t received the attention yet it really deserves. The aim of this paper is threefold: first, we show that the wave-function is naturally and straightforwardly construed as a multi-field; second, we show why this interpretation is superior to other interpretations (...) discussed in the literature; third, we clarify common misconceptions. (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)

This paper discusses whether rationality, morality or prudence impose process-requirements upon us. It has been argued that process-requirements fulfil two essential functions within a system of rational, moral or prudential requirements. These functions are considered to prove the existence of process-requirements. First, process-requirements are deemed necessary to ensure that rationality, morality or prudence can guide our deliberations and actions. Second, their existence is regarded as essential for the correctness of our ordinary explanations of why a person possesses a (...) certain degree of morality, rationality or prudence. However, I argue that these two functions are unable to show the existence of process-requirements. Instead, I propose a different essential function for process-requirements: they are necessary for attributing the correct degree of rationality, morality or prudence to a subject who is not entirely rational, moral or prudent. This function, I argue, necessitates the existence of process-requirements. (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)

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)

It is argued that medical science requires a classificatory system that (a) puts functions in the taxonomic center and (b) does justice ontologically to the difference between the processes which are the realizations of functions and the objects which are their bearers. We propose formulae for constructing such a system and describe some of its benefits. The arguments are general enough to be of interest to all the life sciences.

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)

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)

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)

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)

To understand what ontologies do through their definitions, we propose a theoretical explanation of the functions of definitions in ontologies backed by empirical neuropsychological studies. Our goal is to show how these functions should motivate (i) the systematic inclusion of definitions in ontologies and (ii) the adaptation of definition content and form to the specific context of use of ontologies.

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.

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)

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)

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)

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.

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)

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)

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)

Humans possess two nonverbal systems capable of representing numbers, both limited in their representational power: the first one represents numbers in an approximate fashion, and the second one conveys information about small numbers only. Conception of exact large numbers has therefore been thought to arise from the manipulation of exact numerical symbols. Here, we focus on two fundamental properties of the exact numbers as prerequisites to the concept of EXACT NUMBERS : the fact that all numbers can be generated by (...) a successor function and the fact that equality between numbers can be defined in an exact fashion. We discuss some recent findings assessing how speakers of Munduruc (an Amazonian language), and young Western children (3-4 years old) understand these fundamental properties of numbers. (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 function to explain mental content.

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)

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)

“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)

Modern health care relies extensively on the use of technologies for assessing and treating patients, so it is important to be certain that health care technologies perform their professed functions in an effective and safe manner. Philosophers of technology have developed methods to assign and evaluate the functions of technological products, the major elements of which are described in the ICE theory. This paper questions whether the standard of evidence advocated by the ICE theory is adequate for ascribing (...) and assessing technologies employed in health care. The paper proposes that the general problem with the standard of evidence embodied in the ICE theory is too permissive for assessing medical technologies, in that it does not take into account the relative benefit and harm of medical technologies in ensuring safe functional performance in patients. The paper illustrates how evidence-based medicine has demonstrated the value of clinical research methods, including observational studies, randomized and non-randomized clinical trials, and formal techniques, such as meta-analysis, to measure therapeutic effectiveness. I argue, therefore, that evidence from clinical research studies should take precedence over the testimonial evidence and other types of non-clinical evidence, in providing justification for health technologies. (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 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)

There’s a general assumption that teleology and function do not exist in inanimate nature. Throughout biology, it is generally taken as granted that teleology (or teleonomy) and functions are not only unique to life, but perhaps even a defining quality of life. For many, it’s obvious that rocks, water, and the like, are not teleological, nor could they possibly have stand-alone functions. This idea - that teleology and function are unique to life - is the target of this (...) paper. I begin with an overview of McShea’s field theoretic account of teleology. I start with the field theoretic account because it presents a promising analysis of teleological systems. It is promising because, in not making any assumptions about life’s special status in teleological systems, it avoids counterexamples that have problematized other accounts. I then consider some of the prominent efforts that have been made to attempt to avoid ascribing functions or teleology to some form of inanimate nature. In my assessment, none of the efforts are successful. I conclude by offering mineral evolution as a case study to show how inanimate nature can be both teleological and functional. The evolution of mineral species reveals that teleology and function extend to inanimate nature, and that teleology and function come in degrees. (shrink)

Counting functions are shown to be complete by using a simpler argument than that used by Pelletier and Martin.

In cognitive science, the concept of dissociation has been central to the functional individuation and decomposition of cognitive systems. Setting aside debates about the legitimacy of inferring the existence of dissociable systems from ‘behavioural’ dissociation data, the main idea behind the dissociation approach is that two cognitive systems are dissociable, and thus viewed as distinct, if each can be damaged, or impaired, without affecting the other system’s functions. In this article, I propose a notion of functional independence that does (...) not require dissociability, and describe an approach to the functional decomposition and modelling of cognitive systems that complements the dissociation approach. I show that highly integrated cognitive and neurocognitive systems can be decomposed into non-dissociable but functionally independent components, and argue that this approach can provide a general account of cognitive specialization in terms of a stable structure–function relationship. 1 Introduction2 Functional Independence without Dissociability3 FI Systems and Cognitive Architecture4 FI Systems and Cognitive Specialization. (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)

Functional reduction follows two familiar steps: a definition of a higher-level or special science property in terms of a functional role, then a statement describing a physical property that plays or occupies that role. But Kim (2005) adds a third step, namely, an explanation regarding how the physical property occupies the functional role. I think Kim is correct. But how is the third step satisfied? An examination of the pertinent scientific explanations reveals that the third step is best satisfied by (...) a multiple-subject, part-whole explanation, which is to say, a decomposition of the occupier’s causal capacities or relations. This is true even in cases wherein role and occupant properties are identical, for an occupier’s causal capacities are always underwritten by a part-whole explanation. As a consequence, functional reduction is transformed into a larger picture that at bottom always contains multiple layers of distinct, nonidentical properties that divide between parts and their whole systems. I call it “Part-Based Functional Reduction.” My aim is to develop this larger picture of reduction. (shrink)

Ranking functions have been introduced under the name of ordinal conditional functions in Spohn (1988; 1990). They are representations of epistemic states and their dynamics. The most comprehensive and up to date presentation is Spohn (manuscript).

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)

G. A. Cohen defends and Jon Elster criticizes Marxist use of functional explanation. But Elster's mechanical conception of explanation is, contrary to Elster's claims, a better basis for vindication of functional explanation than Cohen's nomological conception, which cannot provide an adequate account of functional explanation. Elster also objects that functional explanation commits us to metaphysically bizarre collective subjects, but his argument requires an implausible reading of methodological individualism which involves an unattractive eliminativism about social phenomena.

We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on (...) well-developed methods of functional decomposition, but reduces relations only to ternary relations. An additional construction then decomposes ternary into binary relations, also effectively, by converting certain disjunctions into existential quantifications. The result gives a uniform proof of Peirce’s reduction thesis on finite domains, and shows that the graph of any Sheffer function composes all relations there. (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 argue that the wave function ontology for quantum mechanics is an undesirable ontology. This ontology holds that the fundamental space in which entities evolve is not three-dimensional, but instead 3N-dimensional, where N is the number of particles standardly thought to exist in three-dimensional space. I show that the state of three-dimensional objects does not supervene on the state of objects in 3N-dimensional space. I also show that the only way to guarantee the existence of the appropriate mental states in (...) the wave function ontology has undesirable metaphysical baggage: either mind/body dualism is true, or circumstances which we take to be logically possible turn out to be logically impossible.“While our theory can be extended formally in a logically consistent way by introducing the concept of a wave in a 3N-dimensional space, it is evident that this procedure is not really acceptable in a physical theory... ” (Bohm 1957, 117). (shrink)

Much recent discussion has focused on the nature of artifacts, particularly on whether artifacts have essences. While the general consensus is that artifacts are at least intention-dependent, an equally common view is function essentialism about artifacts, the view that artifacts are essentially functional objects and that membership in an artifact kind is determined by a particular, shared function. This paper argues that function essentialism about artifacts is false. First, the two component conditions of function essentialism are given a clear and (...) precise formulation, after which counterexamples are offered to each. Second, ways to handle the counterexamples suggested by Randall Dipert and Simon Evnine are considered and rejected. Third, I then consider the prospects for restricting function essentialism to so-called technical artifacts, as Lynne Baker does, and argue that this, too, fails. This paper thereby consolidates the scattered literature on function essentialism and shows that, despite the seeming plausibility of the thesis, it should be rejected as an account of artifact essences. (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)

Alvin Plantinga’s Warrant and Proper Function gives two major definitions of warrant. One states that reliable cognitive faculties aimed at true belief and functioning properly in the right environment are necessary and sufficient for warrant; the other definition only states that they are necessary. The latter definition is the more important one. There are different kinds of knowledge, and justification is necessary for some beliefs to be warranted. Even a belief warranted by proper function can receive a higher degree of (...) warrant by justification. This implies that natural theology has a useful role within the contours of a Plantingian epistemology. (Please note that the pagination here does not match the pagination in the published edition.). (shrink)

This is an introduction to wave function realism for a compendium on the philosophy of quantum mechanics that will be edited and translated into Portuguese by Raoni Arroyo, entitled Compêndio de Filosofia da Física Quântica. This essay presents the history of wave function realism, its various interpretations, the main arguments that are given for the position, and the main objections that have been raised to it.