Online research in philosophy

Functions of type n are characteristic functions on n-ary relations. In Beyond the Frege Boundary [6], Keenan established their importance for natural language semantics, by showing that natural language has many examples of irreducible type n functions, where he called a function of type n reducible if it can be represented as a composition of functions of type 1 . We will give a normal form theorem for functions of type n , and use this to show that natural language has many examples of irreducible type n functions in a much stronger sense, where we take a function to be reducible if it can be represented as a composition of functions of lower types.

Preface by Daniel C. Dennett Beginning with a general theory of function applied to body organs, behaviors, customs, and both inner and outer representations, ...

Functions of type n are characteristic functions on n-ary relations. In Beyond the Frege Boundary [6], Keenan established their importance for natural language semantics, by showing that natural language has many examples of irreducible type n functions, where he called a function of type n reducible if it can be represented as a composition of functions of type 1 . We will give a normal form theorem for functions of type n , and use this to show that natural language has many examples of irreducible type n functions in a much stronger sense, where we take a function to be reducible if it can be represented as a composition of functions of lower types.

The first part deals with the problem of the external form of ostensive definition. It is concluded that the definition statement is not complete. The proper form of this statement is not a sentence, but a sentential function, namely a sentential function of the type: ``Π x [N(x)=x is in the respect R and in the degree D such as A, B... and not such as K, L...]" where "N" stands for the term being defined. Thus the ostensive definition informs about the criteria of applicability of the defined term in a partial way only, and the rest must be supplied by the addressee for whom the given definition was destined. In the second part the conditions are analysed on which depends the possibility of solving that problem, and consequently the conditions on which depend the informational value and the efficacy of ostensive definition. The concluding remarks deal with the properties of the terms introduced by the ostensive method.

The survival enhancing propensity (SEP) account has a crucial role to play in the analysis of proper function. However, a central feature of the account, its specification of the proper environment to which functions are relativized, is seriously underdeveloped. In this paper, I argue that existent accounts of proper environment fail because they either allow too many or too few characters to count as proper functions. While SEP accounts retain their promise, they are unworkable because of their inability to specify this important feature. However, I suggest that this problem can be overcome by the application of a new strategy for specifying proper environment that is grounded in the operation of natural selection and I conclude by offering a first approximation of such an account.

According to historical theories of biological function, a trait's function is determined by natural selection in the past. I argue that, in addition to historical functions, ahistorical functions ought to be recognized. I propose a theory of biological function which accommodates both. The function of a trait is the way it contributes to fitness and fitness can only be determined relative to a selective regime. Therefore, the function of a trait can only be specified relative to a selective regime. Apart from its desirable pluralism, only this view of relational function can support the function/accident and function/malfunction distinctions commonly thought to be part of the concept of function. Furthermore, only relational function correctly characterizes the explanatory consequences of function attributions in evolutionary biology.

Due to several socio-political factors, to many psychiatrists only a strictly objective definition of mental disorder, free of value components, seems really acceptable. In this paper, I will explore a variant of such an objectivist approach to defining metal disorder, natural function objectivism. Proponents of this approach make recourse to the notion of natural function in order to reach a value-free definition of mental disorder. The exploration of Christopher Boorse's 'biostatistical' account of natural function (1) will be followed an investigation of the 'hybrid naturalism' approach to natural functions by Jerome Wakefield (2). In the third part, I will explore two proposals that call into question the whole attempt to define mental disorder (3). I will conclude that while 'natural function objectivism' accounts fail to provide the backdrop for a reliable definition of mental disorder, there is no compelling reason to conclude that a definition cannot be achieved.

In the biological realm, a complete explanation of a trait seems to include an explanation in terms of function. It is natural to ask of some trait, "What is its function?" or "What purpose in the organism does the particular trait serve?" or "What is the goal of its activity?" There are several views concerning the appropriate definition of function for biological matters. Two popular views of function with respect to living things are Cummins' organizational account and the Griffiths/Godfrey-Smith modern history account. Whereas Cummins argues that a trait functions so as to contribute to the general organization of some organism's present structure, Griffiths, and Godfrey-Smith argue that a trait functions because of its fitness with respect to the organism's recent evolutionary history. In this paper, I show how these accounts can be made compatible and compliment one another. Given that structure, organization, operational flexibility, function, and evolutionary history are all factors to be considered in an organism's makeup, we should expect that the traits of an organism function the way they do because such traits presently contribute to the overall organization of the organism (Cummins) as well as were selected for in the organism's species' recent ancestry (Griffiths/Godfrey-Smith).

Ruth Millikan and others adopt a normative definition of biological functions that is heavily used in areas such as Millikan’s teleosemantics, and also for emerging efforts to naturalize other areas of philosophy. I propose an experiment called the Lapse Test to determine exactly what form of normativity, if any, truly applies to biological functions. Millikan has not gone far enough in playing down as “impersonal” or “quasi” the precise mode of normativity that she attributes to biological functions. Further, her mode fails to qualify as genuine normativity at all, lacking an essential feature: some lapse of responsibility on the part of any entity or system that is charged with failing to do as it is “supposed.” Nor, as we will see, is there anything in English idioms used to describe biological functions that can provide a persuasive argument to rehabilitate Millikan’s normative definition.

In this paper I defend an etiological theory of biological functions (according to which the proper function of a trait is the effect for which it was selected by natural selection) against three objections which have been influential. I argue, contrary to Millikan, that it is wrong to base our defense of the theory on a rejection of conceptual analysis, for conceptual analysis does have an important role in philosophy of science. I also argue that biology requires a normative notion of a "proper function", and that a normative notion is not ahistorical.