This paper looks at the nature of normal-proper functions and the role they play in theories of representational content. More specifically: I lay down two desiderata for a theory which tries to capture what's distinctive of normal-proper functions and discuss two prominent theories which claim to satisfy them. I discuss the advantages of having normal-proper functions ground a theory of representational content. And, I look at both orthodox and heterodox versions of such theories.

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)

In this paper, I develop and motivate a novel formulation of the safety condition in terms of etiological proper function. After testing this condition against the most pressing objections to safety-theoretic accounts of knowledge in the literature, my conclusion will be the following: once safety is suitably understood in terms of etiological proper function, it stands a better chance as the right anti-Gettier condition on knowledge.

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)

"Modern History" versions of the etiological theory claim that in order for a trait X to have the proper function F, individuals with X must have been recently favored by natural selection for doing F (Godfrey-Smith 1994; Griffiths 1992, 1993). For many traits with prototypical proper functions, however, such recent selection may not have occurred: traits may have been maintained due to lack of variation or due to selection for other effects. I examine this flaw in Modern (...) History accounts and offer an alternative etiological theory, the Continuing Usefulness account, which appears to avoid such problems. (shrink)

Among psychiatric conditions, delusions have received significant attention in the philosophical literature. This is partly due to the fact that many delusions are bizarre, and their contents interesting in and of themselves. But the disproportionate attention is also due to the notion that by studying what happens when perception, cognition, and belief go wrong, we can better understand what happens when these go right. In this paper, I attend to delusions for the second reason—by evaluating the epistemology of delusions, we (...) can better understand the epistemology of ordinary belief. More specifically, given recent advancements in our understanding of how delusions are formed, the epistemology of delusions motivates a proper functionalist account of the justification of belief. Proper functionalist accounts of the justification of belief hold that whether a belief is justified is partly determined by whether the system that produces the belief is functioning properly. Whatever pathology is responsible for delusion formation, restoring it to its proper function resolves the epistemic condition, an effect which motivates proper functionalism. (shrink)

(2002). Phantasy and Wish: A Proper Function Account for Human A-Rational Primary Process Mediated Mentation. Australasian Journal of Philosophy: Vol. 80, No. 1, pp. 1-16.

In this paper, I argue that what counts as the proper function of a trait is a matter of the de facto perspective that the biological system, itself, possesses on what counts as proper functioning for that trait. Unlike non-perspectival accounts, internal perspectivalism does not succumb to generality problems. But unlike external perspectivalism, internal perspectivalism can provide a fully naturalistic, mind-independent grounding of proper function and natural norms. The attribution of perspectives to biological systems is (...) intended to be neither metaphorical nor anthropomorphic: I do not mean to imply that such systems thereby must possess agency, cognition, intentions, concepts, or mental or psychological states. Instead, such systems provide the grounding for norms of performance when they internally enforce their own standard of (i.e., their own perspective on) what constitutes proper functioning or malfunctioning. By operating with a fixed, determinate level of generality, such systems provide the basis for an account of proper function that is immune to generality problems. (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)

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

Comments on Karen Neander's A Mark of the Mental.

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)

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 selected effects or ‘etiological’ theory of Proper function is a naturalistic and realist account of biological teleology. It is used to analyse normativity in philosophy of language, philosophy of mind, philosophy of medicine and elsewhere. The theory has been developed with a simple and intuitive view of natural selection. Traits are selected because of their positive effects on the fitness of the organisms that have them. These ‘selected effects’ are the Proper functions of the traits. Proponents (...) argue that this analysis of biological teleology has the unique advantage that the selected effect function of a trait is also a causal explanation of the trait: the trait exists because it performs this function. We show, however, that selected effect functions as currently defined explain the existence of traits only under highly restrictive assumptions about evolutionary dynamics. In many common scenarios in which traits evolve by natural selection, selected effect functions do not explain those traits. This is because definitions of selected effect function extract from any evolutionary scenario only the information that would be explanatorily relevant in the simple evolutionary scenario implicit in those definitions. When applied to more complex scenarios selected effect functions omit the key information that is explanatorily relevant in those scenarios. The assumptions required for selected effect functions to be explanatory are particularly unlikely to hold in the domain that its proponents care most about - the evolution of representation. A more adequate selected effects theory of Proper functions may be possible, but will require much greater attention to the structure of actual evolutionary explanations. (shrink)

According to proper functionalist theories of warrant, a belief is warranted only if it is formed by cognitive faculties that are properly functioning according to a good, truth-aimed design plan, one that is often thought to be specified either by intentional design or by natural selection. A formidable challenge to proper functionalist theories is the Swampman objection, according to which there are scenarios involving creatures who have warranted beliefs but whose cognitive faculties are not properly functioning, or are (...) poorly designed, or are not aimed at truth. In this paper, we draw lessons from cognitive science in order to develop a novel argument for the conclusion that the Swampman objection fails against proper functionalist theories of warrant. Our argument not only shows that the underlying, central intuition motivating Swampman-like scenarios is false but also motivates proper function as a necessary condition for warrant, thereby lending support to the claim that any theory of knowledge that lacks a proper function requirement is false. (shrink)

There is a fairly general consensus that names are Millian (or Russellian) genuine terms, that is, are singular terms whose sole semantic function is to introduce a referent into the propositions expressed by sentences containing the term. This answers the question as to what sort of proposition is expressed by use of sentences containing names. But there is a second serious semantic problem about proper names, that of how the referents of proper names are determined. This is (...) the question that I will discuss in this paper. Various views consistent with Millianism have been proposed as to how the semantic referents of proper names are determined. These views can be classified into (1) description theories and (2) causal theories, but they can also be classified into (3) social practice theories, on which a name’s referent is determined by a social practice involving the referent, and (4) individualistic theories, on which the referent of the use of a name is determined by the speaker’s state of mind. Here I argue against social practice theories of the sorts proposed by Kripke and Evans and in favor of an individualistic approach to name reference. I argue that social practice is irrelevant to determining name reference and that, as a consequence, names have no meanings in natural languages. In the second part of the paper I motivate and propose a new form of individualistic theory which incorporates features of both description theories and Evans’s social practice theory. (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)

Assessing the success or failure of a work of architecture typically requires determining its function. However, architectural criticism often founders on apparently intractable disputes concerning the 'true' function of particular works. In this essay, I propose that the proper function of an architectural work is a matter of empirical fact, and can be determined by examining the history of the relevant architectural type. I develop this claim by appeal to the so-called 'etiological theory of function'.

Minimalism about truth is one of the main contenders for our best theory of truth, but minimalists face the charge of being unable to properly state their theory. Donald Davidson incisively pointed out that minimalists must generalize over occurrences of the same expression placed in two different contexts, which is futile. In order to meet the challenge, Paul Horwich argues that one can nevertheless characterize the axioms of the minimalist theory. Sten Lindström and Tim Button have independently argued that Horwich’s (...) attempt to formulate minimalism remains unsuccessful. We show how to properly state Horwich’s axioms by appealing to propositional functions that are given by definite descriptions. Both Lindström and Button discuss proposals similar to ours and conclude that they are unsuccessful. Our new suggestion avoids these objections. (shrink)

Several theories propose that one of the core functions of inner speech (IS) is to support subjects in the completion of cognitively effortful tasks, especially those involving executive functions (EF). In this paper we focus on two populations who notoriously encounter difficulties in performing EF tasks, namely, people diagnosed with schizophrenia who experience auditory verbal hallucinations (Sz-AVH) and people within the Autism Spectrum Conditions (ASC). We focus on these two populations because they represent two different ways in which IS can (...) fail to help in EF tasks, which can be illustrative for other mental conditions. First, we review the main components of EF (Section 1). Then we explain the functions that IS is taken to perform in the domain of EF (Section 2) and review the evidence concerning problems about EF in the two populations of our study: Sz-AVH (Section 3) and ASC (Section 4). After this we further detail our account about what a properly functioning IS can do for both populations and how different IS profiles may impact EF performance: in the case of Sz-AVH, the uncontrolled and intrusive character of IS negatively affects EF performance, whereas in ASC, EF is not sufficiently supported by IS, given the tendency in this population to present a diminished use of IS (Section 5). We finally briefly discuss Attention Deficit/Hyperactivity Disorder (ADHD) and Developmental Language Disorders (DLD). (shrink)

Kant is well known for his restrictive conception of proper science. In the present paper I will try to explain why Kant adopted this conception. I will identify three core conditions which Kant thinks a proper science must satisfy: systematicity, objective grounding, and apodictic certainty. These conditions conform to conditions codified in the Classical Model of Science. Kant’s infamous claim that any proper natural science must be mathematical should be understood on the basis of these conditions. In (...) order to substantiate this reading, I will show that only in this way it can be explained why Kant thought (1) that mathematics has a particular foundational function with respect to the natural sciences and (2) as such secures their scientific status. (shrink)

In this paper, I defend the possibility that law is a functional kind by replying to objections from Leslie Green and Brian Tamanaha. I also show how Kenneth Ehrenberg’s approach to law’s functions in his latest book concedes too much to these objections. A functional kinds approach to law is possible and, for someone interested in showing the importance of law’s functions, preferable. I first explore Tamanaha’s objection and show that the possibility of functional equivalents does not pose a problem (...) for a functional kinds account of law. I then respond to Green by showing that law is more distinctively identified by its function than by the means by which it achieves this function. I quickly explore a lesser objection dealing with how law can pursue a variety of ends while having the same function the whole while. I then turn to an issue Ehrenberg raises regarding thinking of the law as having a plurality of functions like a Swiss Army knife. Finally, I show that Ehrenberg’s approach to the relationship between law and its functions is unnecessarily weak, as it avoids holding that law's nature or essence is its proper function for similar reasons to Green and Tamanaha. (shrink)

Embodied cognitive science has argued that cognition is embodied principally in virtue of grossmorphological and sensorimotor features. This thesis argues that cognition is also internally embodied in affective and fine-grained physiological features whose transformative roles remain mostly unnoticed in contemporary cognitive science. I call this ‘proper embodiment’. I approach this larger subject by examining various emotion theories in philosophy and psychology. These tend to emphasise one of the many gross components of emotional processes, such as ‘feeling’ or ‘judgement’ to (...) the detriment of the others, often leading to an artificial emotion-cognition distinction even within emotion science itself. Attempts to reconcile this by putting the gross components back together, such as JessePrinz’s “embodied appraisal theory”, are, I argue, destined to failure because the vernacular concept of emotion which is used as the explanandum is not a natural kind and is not amenable to scientific explication.I examine Antonio Damasio’s proposal that emotion is involved in paradigmatic ‘cognitive’ processing such as rational decision making and argue (1) that the research he discusses does not warrant the particular hypothesis he favours, and (2) that Damasio’s account, though in many ways a step in the right direction, nonetheless continues to endorse a framework which sees affect and cognition as separate (though now highly interacting) faculties. I further argue that the conflation of ‘affect’ and 'emotion' may be the source of some confusion in emotion theory and that affect needs to be properly distinguished from ‘emotion’. I examine some dissociations in the pain literature which give us further empirical evidence that, as with the emotions, affect is a distinct component along with more cognitive elements of pain. I then argue that affect is distinctive in being grounded in homeostatic regulative activity in the body proper. With the distinction between affect, emotion, and cognition in hand, and the associated grounding of affect in bodily activity, I then survey evidence that bodily affect is also involved in perception and in paradigmatic cognitive processes such as attention and executive function. I argue that this relation is not ‘merely’ casual. Instead, affect (grounded in fine-grained details of internal bodily activity) is partially constitutive of cognition, participating in cognitive processing and contributing to perceptual and cognitive phenomenology. Finally I review some work in evolutionary robotics which reaches a similar conclusion, suggesting that the particular fine details of embodiment, such as molecular signalling between both neural and somatic cells matters to cognition. I conclude that cognition is properly embodied’ in that it is partially constituted by the many fine-grained bodily processes involved in affect (as demonstrated in the thesis) and plausibly by a wide variety of other fine-grained bodily processes that likewise tend to escape the net of contemporary cognitive science. (shrink)

Explanatory Externalism states that the only adaptive force in evolution is natural selection. Explanatory Externalism is a central thesis of the Modern Evolutionary Synthesis. The etiological theory of natural selected-effect functions also advocates Explanatory Externalism. According to this theory, natural selection is the process responsible for determining the proper natural functions of traits. However, I will point out several challenges to Explanatory Externalism that are proposed primarily by developmental biology and its various subfields. Based on these challenges, this paper (...) will argue why biological functions cannot be fully explained by the selected-effect theory, i.e., that a theory of biological functions must adopt some kind of Explanatory Internalism. At the end of this paper, I will discuss whether or not Explanatory Internalism entails a pluralistic view of biological functions, and how this discussion is related to the different explanations of fit and diversity found in evolutionary biology. (shrink)

This paper argues for the general proper functionalist view that epistemic warrant consists in the normal functioning of the belief-forming process when the process has forming true beliefs reliably as an etiological function. Such a process is reliable in normal conditions when functioning normally. This paper applies this view to so-called testimony-based beliefs. It argues that when a hearer forms a comprehension-based belief that P (a belief based on taking another to have asserted that P) through the exercise (...) of a reliable competence to comprehend and filter assertive speech acts, then the hearer's belief is prima facie warranted. The paper discusses the psychology of comprehension, the function of assertion, and the evolution of filtering mechanisms, especially coherence checking. (shrink)

In this dissertation, I address the question of how to construct scientific theories of emotions that are both conceptually sound and empirically fruitful. To do this, I offer an analysis of the main challenges scientific theories of emotions face, and I propose a meta-theoretical framework to construct scientific concepts of emotions as explications of folk emotion concepts. Part I discusses the main challenges theories of emotions in psychology and neuroscience encounter. The first states that a proper scientific theory of (...) emotions must explain all and only the phenomena under the vernacular term ‘emotion’ with a common set of conceptual resources and under an overarching generic concept of emotion. The second demands that each emotion category corresponds to well-coordinated sets of neural, physiological, and behavioral patterns of responses. I argue that none of the best contemporary theories of emotions in psychology and neuroscience overcomes these challenges. As a result, a new theory of emotions is required. In Part II, I develop the meta-theoretical framework to construct a theory of emotions that overcomes the challenges above. First, I propose a pluralistic account of scientific kinds based on different patterns of projection that various disciplines may take to justify inductive inferences. These are essentialist, historical, and social patterns. Each of these patterns provides a framework to construct different types of scientific concepts. I argue that among the frameworks for scientific kinds available, the one that is best suited to explicate emotion concepts is a functional framework. Consequently, I conclude by recommending scientists pursue functionalist theories of emotions over essentialist, historical, or social theories. (shrink)

The human body is a system made of systems. The body is divided into bodily systems proper, such as the endocrine and circulatory systems, which are subdivided into many sub-systems at a variety of levels, whereby all systems and subsystems engage in massive causal interaction with each other and with their surrounding environments. Here we offer an explicit definition of bodily system and provide a framework for understanding their causal interactions. Medical sciences provide at best informal accounts of basic (...) notions such as system, process, and function, and while such informality is acceptable in documentation created for human beings, it falls short of what is needed for computer representations. In our analysis we will accordingly provide the framework for a formal definition of bodily system and of associated notions. (shrink)

The interpretation of many texts in the everyday world is concerned with their truth value in relation to the reality around us. The recent publication experiments with computer-generated texts have shown that the distinction between true and false, or reality and fiction, is not always clear from the text itself. Essentially, in today’s media space, one may encounter texts, videos or images that deceive the reader by displaying nonsensical content or nonexistent events, while nevertheless appearing as genuine human-produced messages. This (...) article outlines certain problems with artificial intelligence (AI)-generated content, and frames the issue as a problem of recognising its proper referential reality. Examples include generative texts, deepfakes and their functioning in contemporary culture. The article makes use of the concepts of mimicry and nonsense to reveal the elements and counterparts in the communicative processes involving generated media. (shrink)

In quantum mechanics, the wavefunction predicts probabilities of possible measurement outcomes, but not which individual outcome is realised in each run of an experiment. This suggests that it describes an ensemble of states with different values of a hidden variable. Here, we analyse this idea with reference to currently known theorems and experiments. We argue that the ψ-ontic/epistemic distinction fails to properly identify ensemble interpretations and propose a more useful definition. We then show that all local ψ-ensemble interpretations which reproduce (...) quantum mechanics violate Statistical Independence. Theories with this property are commonly referred to as superdeterministic or retrocausal. Finally, we explain how this interpretation helps make sense of some otherwise puzzling phenomena in quantum mechanics, such as the delayed choice experiment, the Elitzur-Vaidman bomb detector, and the Extended Wigner's Friends Scenario. (shrink)

The theory of proper names proposed by J.S. Mill in A system of logic (1843), and discussed in S. Kripke’s Naming and necessity (1980), is shown to be predated by A. Rosmini’s Nuovo saggio sull’origine delle idee (1830) and T. Reid’s Essays on the intellectual powers of man (1785). For philological reasons, Rosmini probably did not obtain his view of proper names from Reid. For philosophical reasons, it is unlikely that he got it from Hobbes, Locke, Smith, or (...) Stewart. Although not explicitly indicated by Rosmini himself, he may have been influenced by St. Thomas, who in Summa theologica discusses suppositum and natura in relation to the equivocal functions of the terms ”God” and ”sun” as common and proper names. As previously observed, forerunners of the idea can be found in Antiquity, in Plato’s Theaetetus and Aristotle’s Metaphysics. From a historical point of view, the fully developed ”Millian” opinion that connotation is not a fundamental aspect of proper names, and that their referents are not fixed by description, could more accurately be termed the Reid-Rosmini-Mill theory. (shrink)

Assembly of minimal genomes revealed many genes encoding unknown functions. Three overlooked functional categories account for some of them. Cells are prone to make errors and age. As a first key function, discrimination between proper and changed entities is indispensable. Discrimination requires management of information, an authentic, yet abstract, cur- rency of reality. For example proteins age, sometimes very fast. The cell must identify, then get rid of old proteins without destroying young ones. Implementing discrimination in cells leads (...) to the second set of functions, usually ignored. Being abstract, information must nevertheless be embodied into material entities, with unavoidable idiosyncratic properties. This brings about novel unmet needs. Hence, the buildup of cells elicits specific but awkward material implementations, ‘kludges’ that become essential under particular settings, while difficult to identify. Finally, a third functional category char- acterizes the need for growth, with metabolic implementations allowing the cell to put together the growth of its cytoplasm, membranes, and genome, spanning different spatial dimensions. Solving this metabolic quandary, critical for engineering novel synthetic biology chassis, uncovered an unexpected role for CTP synthetase as the coordinator of nonhomothetic growth. Because a significant number of SynBio constructs aim at creating cell factories we expect that they will be attacked by viruses (it is not by chance that the function of the CRISPR system was identified in industrial settings). Substantiating the role of CTP, natural selection has dealt with this hurdle via synthesis of the antimetabolite 30-deoxy-30,40-didehydro- CTP, recruited for antiviral immunity in all domains of life. (shrink)

Students do not necessarily use the definitions presented to them when determining examples or non-examples of given mathematical ideas. Instead, they utilize the concept image they carry with them as a result of experiences with such examples and nonexamples. Hence, teachers should try exploring students‟ images of various mathematical concepts in order to improve communication between students and teachers. This suggestion can be addressed through error analysis. This study therefore is a descriptive-qualitative type that looked into the errors committed by (...) senior high school students in dealing with mathematical functions, explored the underlying reasons for such errors, and provided recommendations on how students could learn to manage their errors and how teachers could realize how to manage students‟ errors. Initial findings showed that the students generally demonstrated mathematical, logical and strategic errors. Mathematical error was generally exhibited in their inability to use properties and operations properly. Logical error was exhibited in their false arguments, rearranging concepts, improper classifications, arguing cyclically, and using equivalent transforms. Strategic error was manifested in their not being able to distinguish patterns, lack of integral concept, and not being able to transform a word problem into symbols. Errors prevailed despite the students‟ positive view and confidence in mathematics not only because of poor image concepts but because of lack of exposure to certain important mathematical tasks. Further investigation on the other sources of these errors is therefore necessary. (shrink)

I respond to comments from Mark Bowker, Jessica Keiser, and Eliot Michaelson on my book, Talking About. The response clarifies my stance on the nature of reference, conflicting intentions, and the sense in which language may have proper functions.

Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework directly. We solve this (...) problem by applying recent methods from sorted logics. This paper presents a tableau calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi. (shrink)

This paper explores the hypothesis that proper names serve as anchors identifying the individuals in the possible or real world. This hypothesis is tested on Old Icelandic narratives. A prominent feature of Old Icelandic sagas is that the narrative matter is not quite new. A Saga is reliable iff it refers to the events relevant for its audience and accepted as true by the whole community. I argue that proper names must be regarded as references to the background (...) knowledge of the medieval audience. I follow two contemporary Sagas based on the fresh events and show that proper names in a Saga mind were arranged in form of a database, each type of a personal designation having its charachteristic text-building profile. The form of the name and its frequency in the Saga are linked with the rank of the character. The high number of people mentioned in the Sagas is explained by the fact that the Sagas aimed at describing the real world, where the names of the individuals and the events they were involved cross-identified each other. Every character had its rigid identifiers. The total amount of propria is always higher than the number of active figures. I classify the Saga characters into five ranks and discuss their information-structural profiles. (shrink)

When the environment in which an organism lives deviates in some essential way from that to which it is adapted, this is described as “evolutionary mismatch,” or “evolutionary novelty.” The notion of mismatch plays an important role, explicitly or implicitly, in evolution-informed cognitive psychology, clinical psychology, and medicine. The evolutionary novelty of our contemporary environment is thought to have significant implications for our health and well-being. However, scientists have generally been working without a clear definition of mismatch. This paper defines (...) mismatch as deviations in the environment that render biological traits unable, or impaired in their ability, to produce their selected effects. The machinery developed by Millikan in connection with her account of proper function, and with her related teleosemantic account of representation, is used to identify four major types, and several subtypes, of evolutionary mismatch. While the taxonomy offered here does not in itself resolve any scientific debates, the hope is that it can be used to better formulate empirical hypotheses concerning the effects of mismatch. To illustrate, it is used to show that the controversial hypothesis that general intelligence evolved as an adaptation to handle evolutionary novelty can, contra some critics, be formulated in a conceptually coherent way. (shrink)

There are three main accounts of the proper function of the low mood system (LMS): the social risk theory, the disease theory, and the propitiousness theory. Adjudicating between these accounts has proven difficult, as there is little agreement in the literature about what a theory of the LMS’s proper function is supposed to explain. In this article, drawing upon influential work on the evolution of other affective systems, such as the disgust system and the fear system, (...) I argue that a theory of the proper function of the low mood system should: (i) account for the reliable, distal causes and effects of the system’s activation, and (ii) explain how having a system that performed such a function increased fitness in ancestral environments. On this basis, I show that the proper function of the low mood system is to limit resource expenditure in relatively unpropitious circumstances, exactly as hypothesised by the propitiousness theory. (shrink)

The title of this article is ambiguous in the sense that it may direct the attention to either theism as a system of beliefs of persons who are referring to particular facts that serve as external grounds for the foundation of theist beliefs or to theism as a system of beliefs of persons who are convinced of theism’s truth on grounds that are intrinsic to their belief . Traces of both conceptions of theism can be found in Alvin Plantinga’s thesis (...) of the ‘proper basicality’ of religious belief, for instance in the distinction between evidence of the ‘on the basis of …’- type and evidence of the ‘inclination’- type. However, these two types of evidence do only lead to doxastic experience. In order to be warranted with respect to a particular knowledge claim, beliefs must be produced by noetic capacities that function properly, i.e. according to their design plan and in contexts that are appropriate to these capacities. This externalist epistemology exerts its greatest power in the criticism of the ‘evidentialist objection to belief in God’. However, it raises a number of objections with respect to its positive account of theism. When every community of thinkers creates its own relevant set of examples in order to establish criteria of proper basicality, does this not lead to skepticism? And, can doxastic experience not be honoured as a proper response to being called by divine discourse and, correspondingly, be seen as the relational foundation of theist belief? (shrink)

I argue that there is methodological space for a functional explanation of the nature of law that does not commit the theorist to a view about the value of that function for society, nor whether law is the best means of accomplishing it. A functional explanation will nonetheless provide a conceptual framework for a better understanding of the nature of law. First I examine the proper role for function in a theory of law and then argue for (...) the possibility of a neutral functional theory, addressing issues raised by Leslie Green, Stephen Perry, Michael Moore and John Finnis. (shrink)

In a recent article Steven Cowan defended the claim that female subordination and male authority are merely functional differences. Drawing insights from Natural Law, I argue that complementarianism typically speaks of these as proper functions of male and female designs, thus making men and women metaphysically unequal in being. Furthermore, I maintain that the function "serving as a means to an end" is less valuable than the function "having the authority to direct the end." Hence, Cowan fails (...) to defeat the objection that the claim that women are equal to men in being, but subordinate in role is incoherent. (shrink)

I develop an interdisciplinary framework for understanding the nature of agents and agency that is compatible with recent developments in the metaphysics of science and that also does justice to the mechanistic and normative characteristics of agents and agency as they are understood in moral philosophy, social psychology, neuroscience, robotics, and economics. The framework I develop is internal perspectivalist. That is to say, it counts agents as real in a perspective-dependent way, but not in a way that depends on an (...) external perspective. Whether or not something counts as an agent depends on whether it is able to have a certain kind of perspective. My approach differs from many others by treating possession of a perspective as more basic than the possession of agency, representational content/vehicles, cognition, intentions, goals, concepts, or mental or psychological states; these latter capabilities require the former, not the other way around. I explain what it means for a system to be able to have a perspective at all, beginning with simple cases in biology, and show how self-contained normative perspectives about proper function and control can emerge from mechanisms with relatively simple dynamics. I then describe how increasingly complex control architectures can become organized that allow for more complex perspectives that approach agency. Next, I provide my own account of the kind of perspective that is necessary for agency itself, the goal being to provide a reference against which other accounts can be compared. Finally, I introduce a crucial distinction that is necessary for understanding human agency: that between inclinational and committal agency, and venture a hypothesis about how the normative perspective underlying committal agency might be mechanistically realized. (shrink)

Alvin Plantinga is an American-born philosopher of religion and one of the leading advocates of contemporary Christian philosophy. Plantinga deals with numerous problems of the monotheistic Christian religion, including the problem of religious pluralism. One of the most common questions an atheist asks a believer is, "Why your God and not someone else's?" Therefore, this paper aims to present Plantinga's answer to the question of religious pluralism. We will achieve this goal by developing Plantinga's theory of "proper functioning", a (...) thesis that atheism represents a state of incorrect functioning of cognitive mechanisms. We can respond to the problem of religious pluralism through positive or negative apologetics. Plantinga has chosen negative apologetics, arguing that the believer is under no obligation to justify the truth of his beliefs when confronted with the problem of religious pluralism. Although Plantinga provides numerous convincing arguments supporting his position, we will show that we can provide a positive apologetic by returning to the foundations of Plantinga's understanding of intentionality and mental representations. In so doing, we will demonstrate a broader range of ways a believer can defend his epistemic position and connect Plantinga's epistemology of religion in relevant ways to contemporary theories of cognitive psychology and philosophy of cognition. (shrink)

In Nicomachean Ethics 1. 7, Aristotle gives a definition of the human good, and he does so by means of the “ ergon argument.” I clear the way for a new interpretation of this argument by arguing that Aristotle does not think that the ergon of something is always the proper activity of that thing. Though he has a single concept of an ergon, Aristotle identifies the ergon of an X as an activity in some cases but a product (...) in others, depending on the sort of thing the X is—for while the ergon of the eye is seeing, the ergon of a sculptor is a sculpture. This alternative interpretation of Aristotle’s concept of an ergon allows the key explanatory middle term of the ergon argument to be what, I argue, it ought to be: “the best achievement of a human.”. (shrink)

Boghossian’s (2003) proposal to conditionalize concepts as a way to secure their legitimacy in disputable cases applies well, not just to pejoratives – on whose account Boghossian first proposed it – but also to thick ethical concepts. It actually has important advantages when dealing with some worries raised by the application of thick ethical terms, and the truth and facticity of corresponding statements. In this paper, I will try to show, however, that thick ethical concepts present a specific case, whose (...) analysis requires a somewhat different reconstruction from that which Boghossian offers. A proper account of thick ethical concepts should be able to explain how ‘evaluated’ and ‘evaluation’ are connected. (shrink)

We examine the notion of cognitive artifact and its possible application to the animal technic. Although the issue of animal technic is not very much discussed, the case studies focused on the capacity of using and manufacturing tools suggest that some animals deploy cognitive skills. Could the tools employed by animals be considered genuine cases of cognitive artifacts? In this paper we propose a definition of “cognitive artifact” based on the notion of “proper function,” which allows us to (...) develop a gradual scale where we place different kinds of artifacts according to the prevalence of the cognitive function (in opposition to the prac-tical one). Applying this scale to the non-human sphere, we defend the idea that there exists a range of non-human technical phenomena of use and artifacts and tools manufacturing, and that some of this artifacts have an incipient proper cognitive function. In order to defend these theses, we examine the examples of the cobwebs, the nests and the honeycombs. (shrink)

In recent work, Andrew T. Forcehimes and Robert B. Talisse correctly note that G.A. Cohen’s fact-insensitivity thesis, properly understood, is explanatory. This observation raises an important concern. If fact-insensitive principles are explanatory, then what role can they play in normative deliberations? The purpose of my paper is, in part, to address this question. Following David Miller, I indicate that on a charitable understanding of Cohen’s thesis, an explanatory principle explains a justificatory fact by completing an otherwise logically incomplete inference. As (...) a result, the explanatory role such a principle plays is inseparable from its status as a (not necessarily successful) justificatory reason. With this interpretation in hand, I then proceed to argue that Lea Ypi’s and Robert Jubb’s recent criticisms fail to undermine Cohen’s thesis, and that fact-insensitive principles, once discovered, are especially helpful for purposes of deliberation in circumstances characterized by changing and changeable feasibility constraints. (shrink)

(English:) The article introduces conspiracy beliefs and considers the most relevant literature in the field. The main purpose of the article is phenomenological: it proposes to understand conspiracy beliefs within the broader genre of what I call general conceptual beliefs (or simply, general beliefs), whose central features are big issues, logical-conceptual fallacies, pseudorationality, bad faith, and monological bias. I claim that general beliefs are functional to a motivationally biased and inherently dishonest communication (the same one that conspiracy narratives share with (...) political extremism, religious fundamenta-lism and other eccentric belief systems), which is essentially conceived for practical and self-representational purposes (not for knowledge). The article argues against the mere stigmatization of this phenomenon and rather seeks to understand it by looking at a broader and murkier region of human experience, for which we are all responsible in some way. -/- (Castellano:) El artículo introduce al análisis de las creencias conspirativas y considera la literatura más relevante sobre el tema. El objetivo del escrito es fenomenológico: entender las creencias conspirativas colocándolas en un género más amplio, las creencias conceptuales generales (o, simple-mente, creencias generales), cuyas carac-terísticas esenciales son: grandes temas, falacias lógico-conceptuales, pseudoracionalidad, mala fe y tendencia monológi-ca. Las creencias generales son funcionales a una comunicación sesgada y tendencialmente deshonesta, la misma que las his-torias conspirativas comparten con ex-tremismos políticos, fundamentalismos religiosos y otros sistemas de creencias excéntricos, cuya finalidad es eminentemente práctica y autorepresentativa (no teorética). El artículo se opone a la mera estigmatización del fenómeno y trata más bien de comprenderlo, observando una región más amplia y turbia de la experiencia humana, de la que todos somos responsables de alguna manera. (shrink)

This article looks at some of the metaphysical properties of cognitive artefacts. It first identifies and demarcates the target domain by conceptualizing this class of artefacts as a functional kind. Building on the work of Beth Preston, a pluralist notion of functional kind is developed, one that includes artefacts with proper functions and system functions. Those with proper functions have a history of cultural selection, whereas those with system functions are improvised uses of initially non-cognitive artefacts. Having identified (...) the target domain, it then briefly looks at the multiple usability of physical structures and the multiple realizability of cognitive function. Further developing insights from the “dual nature of artefacts thesis”, the article ends with conceptualizing the structure–function relations of cognitive artefacts. More specifically, it unpacks the relation between physical structure, representational structure, information, and cognitive function. (shrink)

Enterprise resource planning (ERP) has a significant impact on modern businesses by enhancing productivity, automation, and streamlining of business processes, even accounting. Manufacturers can assure proper functioning and timely client demand using ERP software. Coordination, procurement control, inventory control, and dispatch of commodities are all features of supply chain management.

Mechanisms, in the prominent biological sense of the term, are historical entities. That is, whether or not something is a mechanism for something depends on its history. Put differently, while your spontaneously-generated molecule-for-molecule double has a heart, and its heart pumps blood around its body, its heart does not have a mechanism for pumping, since it does not have the right history. My argument for this claim is that mechanisms have proper functions; proper functions are historical entities; so, (...) mechanisms are historical entities, too. This thesis runs against the mainstream new mechanist way of thinking about mechanisms, where mechanisms are generally thought of in an ahistorical way. After arguing for this thesis, I draw out some consequences for philosophy of science and metaphysics. (shrink)