I explicate the crucial role played by efficient cause in Robert Rosen’s characterization of life, by elaborating on the topic of Aristotelian causality, and exploring the many alternate descriptions of causal and inferential entailments. In particular, I discuss the concepts of functional entailment and immanent causation, and examine how they fit into Robert Rosen’s relational-biology universe of living, anticipatory, and complex systems.

I explicate how various relational interactions between (M,R)-systems may have realizations in pathophysiology, and how the possible reversals of the effects of these interactions then become therapeutic models. Functional entailment receives a rigorous category-theoretic treatment, and plays a crucial role in this continuing saga of relational biology.

We define a concept of truthmaker function, and prove the functional completeness, w.r.t. truthmaker functions in this sense, of a set of four-valued functions corresponding to standard connectives of the system of relevance logic known as First-Degree Entailment or Belnap–Dunn logic.

Some patients who have been diagnosed as “dead by neurologic criteria” continue to exhibit certain brain functions, most commonly, neuroendocrine functions. This preservation of neurologic function after the diagnosis of “brain death” or “brainstem death” is an ongoing source of controversy and concern in the medical, bioethics, and legal literatures. Most obviously, if some brain function persists, then it is not the case that all functions of the entire brain have ceased and hence, declaring such a patient to be “dead” (...) would be a false positive, in any nation with so-called “whole brain death” laws. Furthermore, and perhaps more concerning, the preservation of any brain function necessarily entails the preservation of some amount of brain perfusion, thereby raising the concern as to whether additional areas of neural tissue may remain viable, including areas in the brainstem. These and other considerations cast significant doubt on the reliability of diagnosing either “brain death” or “brainstem death.”. (shrink)

We thank the authors of commentaries for their thoughtful discussion of our target article. Here we briefly summarize the points made in the target article (Nair-Collins and Joffe 2023). Then we em...

A barrier to entailment exists if you can't get conclusions of a certain kind from premises of another. One of the most famous barriers in philosophy is Hume's Law, which says that you can't get normative conclusions from descriptive premises, or in slogan form: you can't get an ought from an is. This barrier is highly controversial, and many famous counterexamples were proposed in the last century. But there are other barriers which function almost as philosophical platitudes: no Universal (...) conclusions from Particular premises, no Future conclusions from premises about the Past, and no claims that attribute Necessity from premises that merely tell us how things happen to be in the Actual world. Barriers to Entailment proposes a unified logical account of five barriers that have played important roles in philosophy, in the process showing how to diagnose proposed counterexamples and arguing that the case for Hume's Law is as strong as that for the platitudinous barriers. -/- The first two parts of the book employ techniques from formal logic, but present them in an accessible way, suitable for any reader with some background in first-order model theory (of the kind that might be taught in a first class in logic). Gillian Russell introduces tense, modal, indexical, and deontic formal logics, but always avoids unneeded complexity. Each barrier is connected to broader philosophical topics: universality, time, necessity, context-sensitivity, and normativity. Russell brings out under-recognised connections between the domains and lays the groundwork for further work at the intersections. -/- The last part of the book transposes the formal work to informal barrier theses in the philosophy of language, in the process doing new work on the concept of logical consequence, and providing new responses to proposed informal counterexamples to Hume's Law which employ hard-to-formalise tools from natural language, such as speech acts and thick normative expressions. (shrink)

Contemporary philosophy of health and disease has been quite focused on the problem of determining the nature of the concepts of health and disease from a scientific point of view. Some theorists claim and argue that these concepts are value-free and descriptive in the same sense as the concepts of atoms, metal, and rain are value-free and descriptive. According to this descriptive or naturalist line of thought, the notions of health and disease are furthermore related to the idea of a (...) normal or natural function. A bodily organ is healthy insofar as it functions normally, and it is diseased when it does not fulfill its functions. Other philosophers claim that the concept of health, together with other medical concepts, is essentially value-laden. To establish that a person is healthy does not just entail some objective inspection and measurement. It presupposes also an evaluation of the general state of the person. My purpose in this article is to scrutinize the relation between the notion of a natural function, on the one hand, and the concepts of health and disease on the other. In characterizing the notion of a normal function I will follow the classic analysis put forward by American philosopher Christopher Boorse. I will criticize Boorse’s proposal mainly by using arguments from the analysis of ordinary lay and medical language. I ask questions such as: what do we normally mean when we ascribe health or disease to a person? In the end I will recommend an analysis of these and related medical notions, which is unrelated to the notion of a natural function as normally interpreted. (shrink)

A central dispute in understanding Frege’s philosophy concerns how the sense of a complex expression relates to the senses of its component expressions. According to one reading, the sense of a complex expression is a whole built from the senses of the component expressions. On this interpretation, Frege is an early proponent of structured propositions. A rival reading says that senses compose by functional application: the sense of a complex expression is the value of the function denoted by its (...) functional component for the arguments denoted by its remaining components. I argue that two non-negotiable Fregean theses entail that senses compose by functional application. One thesis is that referents compose by functional application. The other thesis is that an expression in an indirect context refers to its customary sense. (shrink)

In discussing the famous case of Otto, a patient with Alzheimer’s disease who carries around a notebook to keep important information, Clark and Chalmers argue that some of Otto’s beliefs are physically realized in the notebook. In other words, some of Otto’s beliefs are extended into the environment. Their main argument is a functionalist one. Some of Otto’s beliefs are physically realized in the notebook because, first, some of the beliefs of Inga, a healthy person who remembers important information in (...) her head, are physically realized in her internal memory storage, and, second, there is no relevant functional difference between the role of the notebook for Otto and the role of the internal memory storage for Inga. The paper presents a new objection to this argument. I call it “the systems reply” to the functionalist argument since it is structurally analogous to the “the systems reply” to Searle’s Chinese room argument. According to the systems reply to the functionalist argument, what actually follows from their argument is not that beliefs of Otto are physically realized in the notebook but rather that the beliefs of the hybrid system consisting of Otto and his notebook are physically realized in the notebook. This paper also discusses Sprevak’s claim that the functionalist argument entails radical versions of extended mental states and shows that his argument is also vulnerable to the systems reply. (shrink)

The validity of an entailment has nothing to do with whether or not the components are true, false, necessary, or impossible; it has to do solely with whether or not there is a necessary connection between antecedent and consequent. Hence it is a mistake (we feel) to try to build a sieve which will “strain out” entailments from the set of material or strict “implications” present in some system of truth-functions, or of truth-functions with modality. Anderson and Belnap (1962, (...) p. 47). (shrink)

In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus. While in Tarski’s theory T+ the primitive notion is the classical consequence function (entailment) Cn+, in the dual theory T− it is replaced by the notion of Słupecki’s rejection consequence Cn− and in the dual theory T′ it is replaced by the notion of the family Incons of inconsistent sets. The author has (...) proved that the theories T+, T−, and T′ are equivalent. (shrink)

Standard semantic information processing models—information in; information processed; information out —lend themselves to standard models of the functioning of the brain in terms, e.g., of threshold-switch neurons connected via classical synapses. That is, in terms of sophisticated descendants of McCulloch and Pitts models. I argue that both the cognition and the brain sides of this framework are incorrect: cognition and thought are not constituted as forms of semantic information processing, and the brain does not function in terms of passive input (...) processing units organized as neural nets. An alternative framework is developed that models cognition and thought not in terms of semantic information processing, and, correspondingly, models brain functional processes also not in terms of semantic information processing. As alternative to such models: I outline a pragmatist oriented, interaction based, model of representation; derive from this model a fundamental framework of constraints on how the brain must function; show that such a framework is in fact found in the brain, and develop the outlines of a broader model of how mental processes can be realized within this alternative framework. Part I of this discussion focuses on some criticisms of standard modeling frameworks for representation and cognition, and outlines an alternative interactivist, pragmatist oriented, model. In part II, the focus is on the fact that the brain does not, in fact, function in accordance with standard passive input processing models—e.g., information processing models. Instead, there are multiple endogenously active processes at multiple spatial and temporal scales across multiple kinds of cells. A micro-functional model that accounts for, and even predicts, these multi-scale phenomena in generating emergent representation and cognition is outlined. That is, I argue that the interactivist model of representation outlined offers constraints on how the brain should function that are in fact empirically found, and, in reverse, that the multifarious details of brain functioning entail the pragmatist representational model—a very strong interrelationship. In the sequel paper, starting with part III, this model is extended to address macro-functioning in the CNS. In part IV, I offer a discussion of an approach to brain functioning that has some similarities with, as well as differences from, the model presented here: sometimes called the predictive brain approach. (shrink)

This paper discusses the relation between the minimal positive relevant logic B and intersection and union type theories. There is a marvelous coincidence between these very differently motivated research areas. First, we show a perfect fit between the Intersection Type Discipline ITD and the tweaking BT of B, which saves implication and conjunction but drops disjunction . The filter models of the -calculus (and its intimate partner Combinatory Logic CL) of the first author and her coauthors then become theory models (...) of these calculi. (The logician's "theory" is the algebraist's "filter".) The coincidence extends to a dual interpretation of key particles—the subtype translates to provable , type intersection to conjunction , function space to implication, and whole domain to the (trivially added but trivial) truth T. This satisfying ointment contains a fly. For it is right, proper, and to be expected that type union should correspond to the logical disjunction of B. But the simulation of functional application by a fusion (or modus ponens product) operation on theories leaves the key Bubbling lemma of work on ITD unprovable for the -prime theories now appropriate for the modeling. The focus of the present paper lies in an appeal to Harrop theories which are (a) prime and (b) closed under fusion. A version of the Bubbling lemma is then proved for Harrop theories, which accordingly furnish a model of and CL. (shrink)

Vascular development entails multiple cell‐fate decisions to specify a diverse array of vascular structures. Notch proteins are signaling receptors that regulate cell‐fate determination in a variety of cell types. The finding that Notch genes are robustly expressed in the vasculature suggests roles for Notch in guiding endothelial and associated mural cells through the myriad of cell‐fate decisions needed to form the vasculature. In fact, mice with defects in genes encoding Notch, Notch ligands, and components of the Notch signaling cascade invariably (...) display vascular defects. Human Notch genes are linked to Alagille's Syndrome, a developmental disorder with vascular defects, and CADASIL, a cerebral arteriopathy. Studies in zebrafish, mice and humans indicate that Notch works in conjunction with other angiogenic pathways to pattern and stabilize the vasculature. Here, we will focus on established functions for Notch in vascular remodeling and arterial/venous specification and more speculative roles in vascular homeostasis and organ‐specific angiogenesis. BioEssays 26:225–234, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

To summarize, in order for rational agents to be able to engage in the sophisticated kinds of reasoning exemplified by human beings, they must be able to introspect much of their cognition. The problem of other minds and the problem of knowing the mental states of others will arise automatically for any rational agent that is able to introspect its own cognition. The most that a rational agent can reasonably believe about other rational agents is that they have rational architectures (...) similar to its own, and that they have thoughts related to their rational architectures in certain ways. This leads to Rational Functionalism as an account of what it is to be a cognizer having mental states. That in turn entails that a computer can be a person in precisely the same sense as my next door neighbor if it can appropriately mimic my rational architecture. There is nothing I could know about my neighbor that I could not believe with equal justification about the computer. Rational Functionalism also makes it reasonable to define the narrow content of a thought to be its overall place in the agent's rational architecture, that is, its conceptual role. This is, however, avery narrow notion of content. For practical purposes, we are not interested in knowing the narrow contents of other people's thoughts. We are only interested in rather general properties of those narrow contents. This is what is expressed by the use ofthat-clauses in public language. (shrink)

The functionalist conception of mental properties, together with their multiple realizability, is often taken to entail their irreducibility. It might seem that the only way to revise that judgement is to weaken the requirements traditionally imposed on reduction. However, Jaegwon Kim has recently argued that we should, on the contrary, strengthen those requirements, and construe reduction as what I propose to call “logical reduction”, a model of reduction inspired by emergentism. Moreover, Kim claims that what he calls “functional reduction” (...) allows one to reduce (at least some) mental properties by these new standards. I argue against both theses. First, I present a counterexample to the emergentist model of reduction: The model judges irreducible certain properties which are clearly reducible. Second, I contestthat functional reduction as construed by Kim satisfies the emergentist constraints. Functional reduction implies, over and above a functional definition of the reduced property, the indication of its realizers. But the latter information corresponding to the discovery of a (local) bridge law, is empirical and not purely logical. (shrink)

Over the last two decades there has been a growing interest in the transcendental dialectic of Critique of Pure Reason in Germany. Authors, however, often do not pay enough attention to the fact that Kant’s theory of reason (in the narrow sense) and the concept of ideas derived from it is not limited to this text. The purpose of this article is to compare and analyze the functionality of mind as a subjective ability developed by Kant and Fichte with the (...) Hegelian expansion of the mind to the idea of universal rationality. The relevance of such a comparison is connected with the need to demonstrate how the Hegelian paradigm of absolute rationality causes either the subsequent rejection of reason as a philosophical principle in the 19th and´20th centuries counter-discourse, or reduction of reason to the concept of pragmatic rationality. In the first part of this paper, the author intends to differentiate between at least 7 different types of ideas and their functions in Kant’s works. In the second part, he demonstrates how Fichte tries to systematize them beginning with reason, which at first creates an idea of itself. Special attention is paid to the way that Fichte categorizes them with the help of 5 spheres of action or 5 worldviews. The third and final part of the article discusses how Hegel goes beyond the frame of the transcendental philosophy of consciousness using different demands linked to the concepts of “reason” and “ideas”. Although these requirements are not found in Kant and Fichte, they entail a set of difficulties, which the author considers in conclusion. The author’s interpretation of the theory of ideas and their functions in Kant, Fichte and Hegel demonstrates the dynamic character of the theories of reason in classical German philosophy, as well as the relevance of the 7 types of ideas that retain their significance for philosophy of the 21st century. Keywords: Kant and German idealism, types of ideas, functions of reason, worldviews, the problem of different demands. В Германии на протяжении последних двух десятилетий возрос интерес к трансцендентальной диалектике «Критики чистого разума». Однако авторы часто не обращают внимания на то, что кантовская теория разума (в узком смысле), в которой разворачивается работа с идеями, не ограничивается этим текстом. Целью данной статьи является сравнительный анализ разработанной Кантом и Фихте функциональности разума как субъективной способности с гегелевским расширением разума до идеи всеобщей разумности. Актуальность такого сравнения связана с необходимостью продемонстрировать то, каким образом гегелевская парадигма абсолютной разумности вызывает либо последующий отказ от разума как философского принципа в контрдискурсе XIX–XX вв., либо редукцию разума к понятию прагматической рациональности. В первой части данной статьи вводится различение по меньшей мере семи различных видов идей и связанных с ними функций в философии Канта. Во второй части демонстрируется попытка Фихте их систематизировать исходя из утверждения том, что разум должен сначала создать идею о самом себе. Проанализировано также предложенное Фихте распределение идей на пять сфер действенности или типов мировоззрения. В третьей, итоговой части статьи рассмотрен выход гегелевской мысли за рамки трансцендентальной философии сознания. Автор статьи связывает этот процесс с выдвижением не осуществимых в контексте философии Канта и Фихте требований к понятиям «разум» и «идея» и анализирует ряд сложностей, вызванных этими требованиями. Таким образом, интерпретация учения об идеях и их функциях у Канта, Фихте и Гегеля демонстрирует динамический характер теорий разума в классической немецкой философии и актуальность семи видов идей, которые сохраняют свое значение для философии XXI в. Ключевые слова: Кант и немецкий идеализм, виды идей, функции разума, мировоззрение, проблема различных требований. (shrink)

At the earliest break of ancient hominins from their primate relatives in vocal communication, we propose a selection pressure on vocal fitness signaling by hominin infants. Exploratory vocalizations, not tied to expression of distress or immediate need, could have helped persuade parents of the wellness and viability of the infants who produced them. We hypothesize that hominin parents invested more in infants who produced such signals of fitness plentifully, neglecting or abandoning them less often than infants who produced the sounds (...) less frequently. Selection for such exploratory vocalization provided a critically important inclination and capability relevant to language, we reason, because the system that encouraged spontaneous vocalization also made vocalization functionally flexible to an extent that has not been observed in any other animal. Although this vocal flexibility did not by itself create language, it provided an essential foundation upon which language would evolve through a variety of additional steps. In evaluating this speculation, we consider presumable barriers to evolving language that are thought to be implications of Darwinian Theory. It has been claimed that communication always involves sender self-interest and that self-interest leads to deceit, which is countered through clever detection by receivers. The constant battle of senders and receivers has been thought to pose an insuperable challenge to honest communication, which has been viewed as a requirement of language. To make communication honest, it has been proposed that stable signaling requires costly handicaps for the sender, and since language cannot entail high cost, the reasoning has suggested an insurmountable obstacle to the evolution of language. We think this presumed honesty barrier is an illusion that can be revealed by recognition of the fact that language is not inherently honest and in light of the distinction between illocutionary force and semantics. Our paper also considers barriers to the evolution of language (not having to do with honesty) that we think may have actually played important roles in preventing species other than humans from evolving language. (shrink)

The hypothesis of the Extended Cognition (ExCog), formulated by Clark and Chalmers (1998), aims to be a bold and new hypothesis about realisers of cognitive processes. It claims that sometimes cognitive processes extend above the limits of the skin and skull and include chunks of the environment as their partial realisers. One of the most pursuasive arguments in support of this assertion is the famous “parity argument” which calls upon functional similarities between extended cognitive processes and relevant internal processes. (...) This very kind of reasoning gave rise to several arguments against ExCog by way of comparing it to functionalism about the mental, which conclude that ExCog must be trivial, radical or unjustified. In this paper ExCog and the underlying parity principle will be defended against four different kinds of “functionalist” arguments. It will be argued that ExCog can be justified as a special form of functionalism, that it is not trivial nor entailed by the known versions of functionalism, and that the accusation of it being too radical is unwarranted. (shrink)

It seems intuitively obvious that metameric matching of color samples entails a loss of information, for spectrophotometrically diverse materials appear the same. This intuition implicitly relies on a conception of the function of color vision and on a related conception of how color samples should be individuated. It assumes that the function of color vision is to distinguish among spectral energy distributions, and that color samples should be individuated by their physical properties. I challenge these assumptions by articulating a different (...) conception of the function of color vision, according to which color vision serves to partition object surfaces into discrimination classes. (shrink)

Individuals with autistic spectrum disorder (ASD) display diverse deficits in social, cognitive and behavioral functioning. To date, there has been mixed findings on the profile of executive function deficits for high-functioning adults (IQ >70) with ASD. A conceptual distinction is commonly made between “cold” and “hot” executive functions. Cold executive functions refer to mechanistic higher-order cognitive operations (e.g., working memory), whereas hot executive functions entail cognitive abilities supported by emotional awareness and social perception (e.g., social cognition). This study aimed to (...) determine the independence of deficits in hot and cold executive functions for high-functioning adults with ASD. Forty-two adults with ASD (64% male, aged 18-66 years) and 40 age and gender matched controls were administered The Awareness of Social Inference Test (TASIT; emotion recognition and social inference), Letter Number Sequencing (working memory) and Hayling Sentence Completion Test (response initiation and suppression). Between-group analyses identified that the ASD group performed significantly worse than matched controls on all measures of cold and hot executive functions (d =.54-1.5). Hierarchical multiple regression analyses revealed that the ASD sample performed more poorly on emotion recognition and social inference tasks than matched controls after controlling for cold executive functions and employment status. The findings also indicated that the ability to recognise emotions and make social inferences was supported by working memory and response initiation and suppression processes. Overall, this study supports the distinction between hot and cold executive function impairments for adults with ASD. Moreover, it advances understanding of higher-order impairments underlying social interaction difficulties for this population which, in turn, may assist with diagnosis and inform intervention programs. (shrink)

Despite decades of controversy, functionalism continues to be a lively research tradition in the social sciences. Furthermore, social scientists who reject Parsonian functionalism and its variants frequently make liberal use of functional explanations. Yet, neither social scientists nor philosophers have reached any consensus on when and where functional accounts are legitimate. Critics doubt that functionalism is really explanatory or testable; advocates are unfortunately vague on their claims and the evidence for them. In what follows I try to clarify (...) what functionalism entails, discuss some ways in which functional hypotheses can be confirmed, and evaluate criticisms. While I think much functionalism is bad science, I hope to show that the problem is not one of principle but of practice.Social scientists use the term “functionalism” in diverse ways. At times the term refers to a specific theoretical movement in sociology and anthropology—the movement identified with Malinowski and Parsons. (shrink)

The logic E4 is related to Brady’s BN4 in a similar way to which Anderson and Belnap’s logic of entailment E is related to their logic of the relevant implication R. In ‘A companion to Brady’s 4-valued relevant logic: the 4-valued logic of entailment E4’, quoted in this paper, three alternatives to BN4 and another three to E4 are summarily introduced in a couple of pages as the only alternatives containing Routley and Meyer’s basic logic B, provided some (...) conditions are fulfilled. The aim of this note is to prove BN4 and its three alternatives are the same logic up to some point, since they are functionally equivalent to each other, as it is the case with E4 and its three alternatives, which are also functionally equivalent to each other; to some extent, E4 is superior to BN4, since the latter is functionally included in the former, but not conversely. (shrink)

If we assume that a conceptual connection does hold between reasons and action, the arguments for both theses are strikingly simple. In defense of the first thesis, all that need be added is Hume's Principle: between cause and effect only a (logically) contingent relation holds. For given Hume's Principle, and the conceptual connection (which after all is not a contingent one), it follows that no causal connection holds. In defense of the second thesis, all that need be added is one (...) assumption and one observation. The assumption is that the covering-law model of explanation is adequate to the natural sciences; the observation is that if a conceptual connection does hold, then covering-laws are not required to explain a person's action given the presence of the relevant beliefs and desires (because the presence of the latter entail the performance of the former). Together the assumption and the observation undermine the view that one model of explanation will fit both natural science and human psychology. (shrink)

According to the objective Bayesian approach to inductive logic, premisses inductively entail a conclusion just when every probability function with maximal entropy, from all those that satisfy the premisses, satisfies the conclusion. When premisses and conclusion are constraints on probabilities of sentences of a first-order predicate language, however, it is by no means obvious how to determine these maximal entropy functions. This paper makes progress on the problem in the following ways. Firstly, we introduce the concept of a limit in (...) entropy and show that, if the set of probability functions satisfying the premisses contains a limit in entropy, then this limit point is unique and is the maximal entropy probability function. Next, we turn to the special case in which the premisses are categorical sentences of the logical language. We show that if the uniform probability function gives the premisses positive probability, then the maximal entropy function can be found by simply conditionalising this uniform prior on the premisses. We generalise our results to demonstrate agreement between the maximal entropy approach and Jeffrey conditionalisation in the case in which there is a single premiss that specifies the probability of a sentence of the language. We show that, after learning such a premiss, certain inferences are preserved, namely inferences to inductive tautologies. Finally, we consider potential pathologies of the approach: we explore the extent to which the maximal entropy approach is invariant under permutations of the constants of the language, and we discuss some cases in which there is no maximal entropy probability function. (shrink)

Normative standards are often applied to emotions. Are there normative standards that apply to emotions in virtue solely of facts about their nature? I will argue that the answer is no. The psychological, behavioural, and neurological evidence suggests that emotions are representational brain states with various kinds of biological functions. Facts about biological functions are not (and do not by themselves entail) normative facts. Hence, there are no nor- mative standards that apply to emotions just in virtue of their having (...) various kinds of biolog- ical functions. Moreover, the peculiar features of emotions make the view that representational content is essentially normative very implausible. Hence, the representational properties of emotions cannot be seen as entailing normative standards. The conclusion is that there are no normative standards that apply to emotions solely in virtue of their nature. Ó 2005 Elsevier Ltd. All rights reserved. (shrink)

Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem provides both a syntactic solution to the entailment problem in terms of primitive positive formulae and a new derivation of the corresponding result in clone theory, viz. the syntactic description of $\operatorname{Inv(Pol}(R))$ for a given set R of finitary relations on a finite set. The semantic solution to the entailment problem follows from the syntactic one, or can be given (...) in the form of an algorithm. It shows, in the special case of a purely relational type, that duality-theoretic entailment is describable in terms of five constructs, namely trivial relations, intersection, repetition removal, product, and retractive projection. All except the last are concrete, in the sense that they are described by a quantifier-free formula. It is proved that if the finite algebra $\underline{M}$ generates a congruence-distributive variety and all subalgebras of $\underline{M}$ are subdirectly irreducible, then concrete constructs suffice to describe entailment. The concept of entailment appropriate to strong dualities is also introduced, and described in terms of coordinate projections, restriction of domains, and composition of partial functions. (shrink)

Following Bratman, I distinguish between the Cummins or component-function of the planning capacity (its role as a component of larger forms of practical organizations) and its Wright or existence-function – the planning capacity's effect that explains its existence. I agree with Bratman that these functions are distinct. The planning capacity's role within larger practical organizations need not explain its origin. But I argue that the distinction is less stark for future-oriented existence-functions, which concern the future persistence and stability of the (...) capacity. In mature practical organizations, component-functions usually give rise to matching future-oriented existence-functions, given that pressures for the persistence of practical organizations transfer to their components (such as the planning capacity) because of their component-functions. But in the special case of individual temporally extended agency, there is an even stronger alignment of functions. The planning capacity and individual temporally extended agency are part of an inextricable package. The capacity is not just a distinct component. This entails that, within individual agency, the two functions merge and the planning capacity is the primary rather than the derivative target of pressures of persistence, care, and value. Or so I speculatively conjecture. (shrink)

International human rights law has struggled to define a standard for determining the extraterritorial applicability of its norms that would reconcile the ethos of universal entitlement, on the one hand, with the centrality of borders in delineating state powers and responsibilities under international law, on the other hand. The case law of the UN Human Rights Committee and the European Court of Human Rights favors barring states from engaging in conduct outside their borders that would be impermissible if undertaken inside (...) their borders. Still, attempts to demarcate the precise scope of extraterritorial application through allusion to degrees of control over individuals or areas, or by the nature of the obligation itself – have led to unsatisfactory, if not arbitrary results. This article opines a move to functionalism as the basis for extraterritorial applicability – requiring states to protect IHRL in situations they can do so. Under this approach, which takes universality seriously, borders lose much their normative significance. I suggest limiting the functional approach to extraterritorial applicability in accordance with two key notions: the intensity of power relations – factual relations of power entailing direct, significant and foreseeable potential impact – should result in the application of IHRL obligations; or, alternatively, special legal relations – relations of power that put the state in a unique legal position to afford IHRL protection would also justify the imposition of extraterritorial obligations. (shrink)

Four distinct models of the functional contribution of mirror neurons to social cognition can be distinguished: direct matching, inverse modeling, response modeling, and predictive coding. Each entails a different way in which an agent's own capacities for action and affective experience contribute to understanding and/or predicting others' actions and affective experience. In this paper, the four models and their theoretical frameworks are elucidated, empirical data and theoretical arguments bearing upon each are reviewed, and falsifiable predictions that could help to (...) distinguish empirically among the models are proposed. (shrink)

In this paper, we present a contest success function, which is homogeneous of degree zero and in which the probability of winning the prize depends on the relative difference of efforts. In a simultaneous game with two players, we present a necessary and sufficient condition for the existence of a pure strategy Nash equilibrium. This equilibrium is unique and interior. This condition does not depend on the size of the valuations as in an absolute difference CSF. We prove that several (...) properties of Nash equilibrium with the Tullock CSF still hold in our framework. Finally, we consider the case of n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n$$\end{document} players, generalize the previous condition and show that this condition is sufficient for the existence of a unique interior Nash equilibrium in pure strategies. For some parameter values of our CSF and when all players are identical, equilibrium entails full rent dissipation for any number of players. (shrink)

In his recent book "Explaining Behavior," Fred Dretske has outlined a naturalized theory of intentionality. Several philosophers, including Dretske himself, view his theory as lending credence to the claim that mental state content should be construed widely. In this paper I argue that careful analysis of his theory reveals that this view is mistaken. In Dretske's theory, the notion of the function of a state plays a central role in the determination of content. It will be my contention that this (...) notion of function cannot be used in Dretske's theory to distinguish between the wide construal of the content of an intentional state and the narrow or individualistic construal. This inability of his notion of function to discriminate between wide content and individualistic content undermines any claim that Dretske's theory endorses wide content. Instead, we are lead to the conclusion that Dretske's theory entails pervasive content indeterminacy. (shrink)

Parental substance use is a major risk factor for child development, heightening the risk of drug problems in adolescence and young adulthood, and exposing offspring to several types of traumatic event. First, prenatal drug exposure can be considered a form of trauma itself, with subtle but long-lasting sequalae at the neuro-behavioural level. Second, parents’ addiction often entails a childrearing environment characterised by poor parenting skills, disadvantaged contexts and adverse childhood experiences, leading to dysfunctional outcomes. Young adults born from/raised by parents (...) with drug problems and who develop a Substance Used Disorder (SUD) themselves might display a particularly severe condition in terms of cognitive deficits and impaired personality function. This preliminary study aims to investigate the role of early exposure to drugs as a traumatic event, capable of affecting the psychological status of young drug addicts. In particular, it intends to examine the neuropsychological functioning and personality profile of young adults with severe SUDs who were exposed to drugs early in their family context. The research involved 3 groups each consisting of 15 young adults (aged 18-24): a group of inpatients diagnosed with SUDs and exposed to drugs early, a comparison group of non-exposed inpatients and a group of non-exposed youth without SUDs. A neuropsychological battery (Esame Neuropsicologico Breve-2), an assessment procedure for personality disorders (Shedler-Westen Assessment Procedure-200) and the Symptom CheckList-90-Revised were administered. According to present preliminary results, young drug addicts exposed to drugs during their developmental age were characterised by elevated rates of neuropsychological impairments, especially at the expense of attentive and executive functions; personality disorders were also common but did not differentiate them from non-exposed young people with SUDs. Alternative multi-focused prevention and intervention programs are needed for children of drug-misusing parents, addressing executive functions and adopting a trauma-focused approach. (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)

(i) It is propositions, not sentences, that are true or false. It is true ‘Dogs bark’ does not make sense. It is true that dogs bark does. (ii) and (iii) Davidson wrong about ‘that’. (iv) The difference between ‘implies’ and ‘if ... then ...’. (v), (vi), (vii) and (viii) Russell, not Quine, right about the subject matter of logic. (ix) The objectual and substitutional interpretations of quantifiers compatible. (x), (xi), (xii), (xiii), (xiv), (xv) and (xvi) Implications for well-known theories of (...) truth; truth correspondence. (xvii), (xviii) and (xix) and (xx) Implications for the principle of bivalence, the law of excluded middle, and the principle of non-contradiction. (xxi) Recapitulation. (xxii) ‘That’ and entailment. (xxiii) Propositions not entities, subsistent or otherwise. Footnotes1 This article was stimulated by some remarks by J. J. C. Smart in criticism of a piece of work (God, Freedom and Immortality, Ashgate, 1999) that he was kind enough to read for me. I am greatly indebted to my friend David Rees for correcting the manuscript, and making some valuable suggestions concerning its content. (shrink)

Determinism is frequently understood as implying the possibility of perfect prediction. This possibility then functions as an assumption in the Manipulation Argument for the incompatibility of free will and determinism. Yet this assumption is mistaken. As a result, arguments that rely on it fail to show that determinism would rule out human free will. We explain why determinism does not imply the possibility of perfect prediction in any world with laws of nature like ours, since it would be impossible for (...) an agent to predict with certainty any future event that is causally influenced by events outside her own backward light cone yet inside the backward light cone of the future event. This is the _light-cone limit_ and it undermines the Manipulation Argument or limits what this argument can tell us about the relevance of determinism to free will. We also respond to objections that the light-cone limit is irrelevant to the Manipulation Argument. (shrink)

Spin is a fundamental and distinctive property of the electron, having far-reaching implications. Yet its purely formal treatment often blurs the physical content and meaning of the spin operator and associated observables. In this work we propose to advance in disclosing the meaning behind the formalism, by first recalling some basic facts about the one-particle spin operator. Consistently informed by and in line with the quantum formalism, we then proceed to analyse in detail the spin projection operator correlation function \=\left\langle (...) \left \left \right\rangle \) for the bipartite singlet state, and show it to be amenable to an unequivocal probabilistic reading. In particular, the calculation of \\) entails a partitioning of the probability space, which is dependent on the directions \.\) The derivation of the CHSH- or other Bell-type inequalities, on the other hand, does not consider such partitioning. This observation puts into question the applicability of Bell-type inequalities to the bipartite singlet spin state. (shrink)

In the wake of the cognitivist revolution in psychology, a number of philosophers (e.g., Putnam and Fodor) have argued that the functional ontology underlying cognitivism allows for the autonomy of psychology from neuroscience. It is contended that these arguments do not support the kind of autonomy proposed and that, in any case, such autonomy would be misguided. The last claim is supported by considering the consequences such autonomy would have for a number of research programmes in cognitive psychology. It (...) is argued that these programmes might benefit from neuroscience. The manner in which this benefit can be acquired without requiring that psychology be reduced to neuroscience is sketched. (shrink)

In the wake of the cognitivist revolution in psychology, a number of philosophers have argued that the functional ontology underlying cognitivism allows for the autonomy of psychology from neuroscience. It is contended that these arguments do not support the kind of autonomy proposed and that, in any case, such autonomy would be misguided. The last claim is supported by considering the consequences such autonomy would have for a number of research programmes in cognitive psychology. It is argued that these (...) programmes might benefit from neuroscience. The manner in which this benefit can be acquired without requiring that psychology be reduced to neuroscience is sketched. (shrink)

The notion of realization is defined so that we can better understand what it means to say that mentality is physically realized. It is generally thought that physical properties realize mental properties (thesis PR). The definitions provided here support this belief, but they also reveal that mental properties can be viewed as realizing physical properties. This consequence questions the value of PR in helping us capture the idea that mental phenomena are dependent upon (i.e., obtain by virtue of) physical phenomena. (...) In particular, Kim's functional model of reduction and Melnyk's functional definition of physicalism are refuted. (shrink)

Our recent publication in Neuroethics re-constructed the perspectives of family caregivers of patients with disorders of consciousness on functional neurodiagnostics. Two papers criticized some of our methodological decisions and commented on some conclusions. In this commentary, we would like to further explain our methodological decisions. Despite the limitations of our findings, which we readily acknowledged, we continue to think they entail valid hypotheses that need further investigation. We conclude that some caregivers with high hopes for the recovery of their (...) loved ones with DOC will most likely not consider results of functional neuroimaging as guiding information for treatment decisions, despite efforts taken to deliver information to them. Caregivers of that type might argue that such test-results are not a reliable source of information for the judgement of whether their loved one is likely going to recover or not. We introduce the concept of epistemic beliefs to formulate this hypothesis and suggest that future qualitative studies in this area should be aware of such beliefs when investigating the effects of functional neurodiagnostics on knowledge communication and shared decision making for patients with DOC. (shrink)

Despite the results of David Lewis, Peter Gärdenfors, and others, showing that imaging and classical conditionalization coincide only in the most trivial probabilistic models of belief revision, it turns out that imaging on a proposition A can always be described via Popper function conditionalization on a proposition that entails A. This result generalizes to any method of belief revision meeting certain minimal requirements. The proof is illustrated by an application of imaging in the context of the Monty Hall Problem.

Using a fictional but representative general practice consultation, involving the diagnosis of irritable bowel syndrome in a patient who is anxious for some relief from the discomfort his condition entails, this paper argues that when both a drug fails to out-perform placebo and the condition in question is a functional illness with no demonstrable underlying pathology, then the action of the drug is not only no better than placebo, and it is also no different from it either. The paper (...) also argues that, in the circumstances of the consultation described, it is striking that current governance deems it ethical for a practitioner to prescribe either a drug or a placebo, both of which appear to rely for their effectiveness on a measure of concealment on the part of the doctor, yet deems it unethical for a practitioner openly to prescribe a harmless and enjoyable substance which is likely to be no less effective than either drug or placebo and is also likely to be better-tolerated and cheaper than the drug. (shrink)

This paper aims to explain how the Tractatus attempts to unify logic by deriving the truth-functionality of logical necessity from the thesis that a proposition shows its sense. I first interpret the Tractarian notion of showing as the displaying of what is intrinsic to an expression (or a symbol). Then I argue that, according to the Tractatus, the thesis that a proposition shows its sense implies the determinacy of sense, the possibility of the complete elimination of non-primitive symbols, the analyticity (...) thesis and the strong analyticity thesis. The picture theory emerges as what provides the only acceptable account of an elementary proposition, subject to the constraint that a proposition must show its sense. The picture theory and the analyticity thesis then entail the contingency thesis (that an elementary proposition is contingent) and the independence thesis (that elementary propositions are mutually logically independent) which, together with the strong analyticity thesis, imply that all logical propositions are tautologies. (shrink)

This chapter explores the ways in which Jacques Lacan and Cornelius Castoriadis understand the role(s) that violence plays in the formation of the individual. While the majority of the literature tends to focus on their accounts of the symbolic and imaginary to highlight the differences between them, this chapter claims that a different and more harmonious relationship appears once we focus on their respective claims regarding the roles that violence plays in relation to the formation of the individual. For Lacan, (...) violence appears via the process through which the child enters the symbolic realm by learning to talk and use language. Far from being a negative occurrence, however, such violent imposition serves to create a fully functioning (adult) individual. Castoriadis comes to a similar conclusion, albeit from a different ontological background. Whereas Lacan affirms the primary importance of symbolic differential relations, Castoriadis claims that the psyche is structured from and around a monadic core. Lacan and Castoriadis agree therefore that violence is fundamental to the formation of the individual, but they seem to disagree on whether it entails a symbolic or social form of violence. By way of conclusion, however, I undermine this apparent binary opposition by showing that, for Lacan, the symbolic is inherently social and, for Castoriadis, the social is linked to symbolic relations. As a consequence, both agree that violence is key to the formation of the individual and is socio-symbolic in nature. (shrink)

The Routley star, an involutive function between possible worlds or set-ups against which negation is evaluated, is a hallmark feature of Richard Sylvan and Val Plumwood's set-up semantics for the logic of first-degree entailment. Less frequently acknowledged is the weaker mate function described by Sylvan and his collaborators, which results from stripping the requirement of involutivity from the Routley star. Between the mate function and the Routley star, however, lies an broad field of intermediate semantical conditions characterizing an infinite (...) number of consequence relations closely related to first-degree entailment. In this paper, we consider the semantics and proof theory for deductive systems corresponding to set-up models in which the mate function is cyclical. We describe modifications to Anderson and Belnap's consecution calculus LE_fde2 that correspond to these constraints, for which we prove soundness and completeness with respect to the set-up semantics. Finally, we show that a number of familiar metalogical properties are coordinated with the parity of a mate function's period, including refined versions of the variable-sharing property and the property of gentle explosiveness. (shrink)

Top-down causation is often taken to be a metaphysically suspicious type of causation that is found in a few complex systems, such as in human mind-body relations. However, as Ellis and others have shown, top-down causation is ubiquitous in physics as well as in biology. Top-down causation occurs whenever specific dynamic behaviors are realized or selected among a broader set of possible lower-level states. Thus understood, the occurrence of dynamic and structural patterns in physical and biological systems presents a problem (...) for reductionist positions. We illustrate with examples of universality and functional equivalence classes how higher-level behaviors can be multiple realized by distinct lower-level systems or states. Multiple realizability in both contexts entails what Ellis calls “causal slack” between levels, or what others understand as relative explanatory autonomy. To clarify these notions further, we examine procedures for upscaling in multi-scale modeling. We argue that simple averaging strategies for upscaling only work for simplistic homogenous systems, because of the scale-dependency of characteristic behaviors in multi-scale systems. We suggest that this interpretation has implications for what Ellis calls mechanical top-down causation, as it presents a stronger challenge to reductionism than typically assumed. (shrink)