The aim of this paper is to evaluate etiological accounts of functions for the domain of technical artefacts. Etiological theories ascribe functions to items on the basis of the causal histories of those items; they apply relatively straightforwardly to the biological domain, in which neo-Darwinian evolutionary theory provides a well-developed and generally accepted background for describing the causal histories of biological items. Yet there is no well-developed and generally accepted theory for describing the causal history of artefacts, so the application (...) of etiological theories to the technical domain is hardly straightforward. In this paper we consider the transposition of etiological theories in general from the biological to the technical domain. We argue that a number of etiological theories that appear defensible for biology become untenable for technology. We illustrate our argument by showing that the standard etiological accounts of Neander and Millikan, and some recent attempts to improve on them, provide examples of such untenable theories. 1 Introduction 2 Desiderata for theories of functions 3 Etiological theories in general 3.1 Common core and divergent aims 3.2 Reproduction versus non-reproduction etiological theories 3.3 Intentionalist versus non-intentionalist etiological theories 4 Problems for etiological theories in the technical domain 5 The failure of existing reproduction theories 6 The failure of existing non-reproduction theories 7 Improving reproduction by hybridisation 8 Conclusions. (shrink)

It is often noted that institutional objects and artifacts depend on human beliefs and intentions and so fail to meet the realist paradigm of mind-independent objects. In this paper I draw out exactly in what ways the thesis of mind-independence fails, and show that it has some surprising consequences. For the specific forms of mind-dependence involved entail that we have certain forms of epistemic privilege with regard to our own institutional and artifactual kinds, protecting us from certain possibilities of ignorance (...) and error; they also demonstrate that not all cases of reference to these kinds can proceed along a causal model. As a result, realist views in ontology, epistemology, and semantics that were developed with natural scientific kinds in mind cannot fully apply to the everyday world. In closing I consider some wider consequences of these results for social science and philosophy. (shrink)

It is often noted that institutional objects and artifacts depend on human beliefs and intentions and so fail to meet the realist paradigm of mind‐independent objects. In this paper I draw out exactly in what ways the thesis of mind‐independence fails, and show that it has some surprising consequences. For the specific forms of mind‐dependence involved entail that we have certain forms of epistemic privilege with regard to our own institutional and artifactual kinds, protecting us from certain possibilities of ignorance (...) and error; they also demonstrate that not all cases of reference to these kinds can proceed along a purely causal model. As a result, realist views in ontology, epistemology, and semantics that were developed with natural scientific kinds in mind cannot fully apply to the kinds of the social and human sciences. In closing I consider some wider consequences of these results for social science and philosophy. (shrink)

Saul Kripke has proposed an argument to show that there is a serious problem with many computational accounts of physical systems and with functionalist theories in the philosophy of mind. The problem with computational accounts is roughly that they provide no noncircular way to maintain that any particular function with an infinite domain is realized by any physical system, and functionalism has the similar problem because of the character of the functional systems that are supposed to be realized by organisms. (...) This paper shows that the standard account of what it is for a physical system to compute a function can avoid Kripke's criticisms without being reduced to circularity; a very minor and natural elaboration of the standard account suffices to save both functionalist theories and computational accounts generally. (shrink)

λ-calculi are of interest to logicians and computer scientists but have largely escaped philosophical commentary, perhaps because they appear narrowly technical or uncontroversial or both. I argue that even within logic λ-expressions need to be understood correctly, as functors signifying functions in intension within a categorical or typed language. λ-expressions are not names but pure viable binders generating functors, and as such they are of use in giving explicit definitions. But λ is applicable outside logic and computer science, anywhere where (...) the notions of complex whole, substitution, abstraction and structure make sense. To illustrate this, two domains are considered. One is somewhat frivolous: the study of flags; the other is very serious: manufacturing engineering. In each case we can employ λ-abstraction to describe substitutions within a structure, and in the latter case there is even a practical need for such a notation. (shrink)

This study in fundamental ontology calls for rethinking some pedestrian assumptions about what there is and provides the motivation for a new theory of reference. It contains clear, crisp discussions of mereology, identity, reference, and necessity and should be valuable to metaphysicians and philosophers of language.

Function theorists routinely speculate that a viable function theory will be equally applicable to biological traits and artifacts. However, artifact function has received only the most cursory scrutiny in its own right. Closer scrutiny reveals that only a pluralist theory comprising two distinct notions of function--proper function and system function--will serve as an adequate general theory. The first section describes these two notions of function. The second section shows why both notions are necessary, by showing that attempts to do away (...) with one of them fail. This demonstration draws on examples from the artifactual realm to motivate major points of the argument. The third section is an outline of artifact function. It confirms the conclusions of the second section, and also begins the task of describing some of the special features of artifact function needing accommodation within the general theory. (shrink)

In his 2000 book Logical Properties Colin McGinn argues that predicates denote properties rather than sets or individuals. I support the thesis, but show that it is vulnerable to a type-incongruity objection, if properties are (modelled as) functions, unless a device for extensionalizing properties is added. Alternatively, properties may be construed as primitive intensional entities, as in George Bealer. However, I object to Bealer’s construal of predication as a primitive operation inputting two primitive entities and outputting a third primitive entity. (...) Instead I recommend we follow Pavel Tichý in construing both predication and extensionalization as instances of the primitive operation of functional application. (shrink)

Because much of the recent philosophical interest in functions has been motivated by their application in biology and other sciences, most of the ensuing discussions have focused on functional explanations to the neglect of the practical role of functional knowledge. This practical role is essential for understanding how users form plans involving artifacts. We introduce the concept of instrumental function which is intended to capture the features of functional claims that are relevant to practical—in particular, instrumental—reasoning. We discuss the four (...) primary features of an instrumental function ascription, the teleological component of such ascriptions and give a clear definition of malfunction in terms of incapability to perform as well as “normal” tokens of the same type. (shrink)

The aim of this paper is to evaluate etiological accounts of functions for the domain of technical artefacts. Etiological theories ascribe functions to items on the basis of the causal histories of those items; they apply relatively straightforwardly to the biological domain, in which neo‐Darwinian evolutionary theory provides a well‐developed and generally accepted background for describing the causal histories of biological items. Yet there is no well‐developed and generally accepted theory for describing the causal history of artefacts, so the application (...) of etiological theories to the technical domain is hardly straightforward. In this paper we consider the transposition of etiological theories in general from the biological to the technical domain. We argue that a number of etiological theories that appear defensible for biology become untenable for technology. We illustrate our argument by showing that the standard etiological accounts of Neander and Millikan, and some recent attempts to improve on them, provide examples of such untenable theories.1Introduction2Desiderata for theories of functions3Etiological theories in general3.1Common core and divergent aims3.2Reproduction versus non‐reproduction etiological theories3.3Intentionalist versus non‐intentionalist etiological theories4Problems for etiological theories in the technical domain5The failure of existing reproduction theories6The failure of existing non‐reproduction theories7Improving reproduction by hybridisation8Conclusions. (shrink)

Risto Hilpinen; X*—Authors and Artifacts, Proceedings of the Aristotelian Society, Volume 93, Issue 1, 1 June 1993, Pages 155–178, https://doi.org/10.1093/arist.

The etiological approach to ‘proper functions’ in biology can be strengthened by relating it to Robert Cummins' general treatment of function ascription. The proper functions of a biological trait are the functions it is assigned in a Cummins-style functional explanation of the fitness of ancestors. These functions figure in selective explanations of the trait. It is also argued that some recent etiological theories include inaccurate accounts of selective explanation in biology. Finally, a generalization of the notion of selective explanation allows (...) an analysis of the proper functions of human artifacts. (shrink)

Crawford Elder’s Real Natures and Familiar Objects promises to give naturalistically inclined metaphysicians reason to accept an ontology that includes many common sense objects, including persons, organisms, and at least many artifacts, behaviors, customs, and so on. This is a brave book, running against the current of trends towards austerity in ontology, tackling centuries old problems about how modal facts may be empirically discovered, and defending a commonsense ontology from a strictly naturalistic approach rather than via traditional appeals to ordinary (...) language or common sense. (shrink)

In this paper we consider the emerging position in metaphysics that artifact functions characterize real kinds of artifacts. We analyze how it can circumvent an objection by David Wiggins (Sameness and substance renewed, 2001, 87) and then argue that this position, in comparison to expert judgments, amounts to an interesting fine-grained metaphysics: taking artifact functions as (part of the) essences of artifacts leads to distinctions between principles of activity of artifacts that experts in technology have not yet made. We show, (...) moreover, that our argument holds not only in the artifactual realm but also in biology: taking biological functions as (part of the) essences of organs leads to distinctions between principles of activity of organs that biological experts have not yet made. We run our argument on the basis of analyses of artifact and biological functions as developed in philosophy of technology and of biology, thus importing results obtained outside of metaphysics into the debate on ontological realism. In return, our argument shows that a position in metaphysics provides experts reason for trying to detect differences between principles of activities of artifacts and organs that have not been detected so far. (shrink)

In this paper we consider the emerging position in metaphysics that artifact functions characterize real kinds of artifacts. We analyze how it can circumvent an objection by David Wiggins (Sameness and substance renewed, 2001, 87) and then argue that this position, in comparison to expert judgments, amounts to an interesting fine-grained metaphysics: taking artifact functions as (part of the) essences of artifacts leads to distinctions between principles of activity of artifacts that experts in technology have not yet made. We show, (...) moreover, that our argument holds not only in the artifactual realm but also in biology: taking biological functions as (part of the) essences of organs leads to distinctions between principles of activity of organs that biological experts have not yet made. We run our argument on the basis of analyses of artifact and biological functions as developed in philosophy of technology and of biology, thus importing results obtained outside of metaphysics into the debate on ontological realism. In return, our argument shows that a position in metaphysics provides experts reason for trying to detect differences between principles of activities of artifacts and organs that have not been detected so far. (shrink)

Although the two volumes of _Logic, Language, and Meaning_ can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions. Volume 1, _Introduction to Logic_, begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach to inference and validity, (...) and discusses their relationship. Although language and meaning receive special attention, this introduction is also accessible to those with a more general interest in logic. In addition, the volume contains a survey of such topics as definite descriptions, restricted quantification, second-order logic, and many-valued logic. The pragmatic approach to non-truthconditional and conventional implicatures are also discussed. Finally, the relation between logic and formal syntax is treated, and the notions of rewrite rule, automation, grammatical complexity, and language hierarchy are explained. (shrink)

In this book, which thoroughly revises and greatly expands his classic work Sameness and Substance, David Wiggins retrieves and refurbishes in the light of twentieth-century logic and logical theory certain conceptions of identity, of substance and of persistence through change that philosophy inherits from its past. In this new version, he vindicates the absoluteness, necessity, determinateness and all or nothing character of identity against rival conceptions. He defends a form of essentialism that he calls individuative essentialism, and then a form (...) of realism that he calls conceptualist realism. In a final chapter he advocates a human being-based conception of the identity and individuation of persons, arguing that any satisfactory account of personal memory must make reference to the life of the rememberer himself. This important book will appeal to a wide range of readers in metaphysics, philosophical logic, and analytic philosophy. (shrink)

This 2001 book offers an examination of functional explanation as it is used in biology and the social sciences, and focuses on the kinds of philosophical presuppositions that such explanations carry with them. It tackles such questions as: why are some things explained functionally while others are not? What do the functional explanations tell us about how these objects are conceptualized? What do we commit ourselves to when we give and take functional explanations in the life sciences and the social (...) sciences? McLaughlin gives a critical review of the debate on functional explanation in the philosophy of science. He discusses the history of the philosophical question of teleology, and provides a comprehensive review of the post-war literature on functional explanation. What Functions Explain provides a sophisticated and detailed Aristotelian analysis of our concept of natural functions, and offers a positive contribution to the ongoing debate on the topic. (shrink)

In _Real Natures and Familiar Objects_ Crawford Elder defends, with qualifications, the ontology of common sense. He argues that we exist -- that no gloss is necessary for the statement "human beings exist" to show that it is true of the world as it really is -- and that we are surrounded by many of the medium-sized objects in which common sense believes. He argues further that these familiar medium-sized objects not only exist, but have essential properties, which we are (...) often able to determine by observation. The starting point of his argument is that ontology should operate under empirical load -- that is, it should give special weight to the objects and properties that we treat as real in our best predictions and explanations of what happens in the world. Elder calls this presumption "mildly controversial" because it entails that arguments are needed for certain widely assumed positions such as "mereological universalism". Elder begins by defending realism about essentialness. He then defends this view of familiar objects against causal exclusion arguments and worries about vagueness. Finally, he argues that many of the objects in which common sense believes really exist, including artifacts and biological devices shaped by natural selection, and that we too exist, as products of natural selection. (shrink)