The advent of contemporary evolutionary theory ushered in the eventual decline of Aristotelian Essentialism (Æ) – for it is widely assumed that essence does not, and cannot have any proper place in the age of evolution. This paper argues that this assumption is a mistake: if Æ can be suitably evolved, it need not face extinction. In it, I claim that if that theory’s fundamental ontology consists of dispositional properties, and if its characteristic metaphysical machinery is interpreted within the framework (...) of contemporary evolutionary developmental biology, an evolved essentialism is available. The reformulated theory of Æ offered in this paper not only fails to fall prey to the typical collection of criticisms, but is also independently both theoretically and empirically plausible. The paper contends that, properly understood, essence belongs in the age of evolution. (shrink)

There is a perennial philosophical dream of a certain natural order for the natural kinds. The name of this dream is ‘the hierarchy requirement’. According to this postulate, proper natural kinds form a taxonomy which is both unique and traditional. Here I demonstrate that complex scientific objects exist: objects which generate different systems of scientific classification, produce myriad legitimate alternatives amongst the nonetheless still natural kinds, and make the hierarchical dream impossible to realize, except at absurdly great cost. Philosophical hopes (...) for a certain order in nature cannot be fulfilled. Natural kinds crosscut one another, ubiquitously so, and this crosscutting spells the end of the hierarchical dream. (shrink)

Natural-kind essentialism faces an important but neglected difficulty: the problem of complex essences (PCE). This is the question of how to account for the unity of an instantiated kind-essence when that essence consists of multiple distinct properties, some of which lack an inherent necessary connection between them. My central goal here is to propose an essentialism-friendly solution to this problem. Along the way I also employ some points from that solution to argue for the necessary truth of essentialism (necessary, that (...) is, in all possible worlds in which there are material objects), and to support the essentialist ontology of laws over and against a major rival. (shrink)

This paper clarifies the historical nature of species by showing that species are path-dependent entities. A species’ identity is not determined by its intrinsic properties or its origin, but by its unique evolutionary path. Seeing that species are path-dependent entities has three implications: it shows that origin essentialism is mistaken, it rebuts two challenges to the species-are-historical-entities thesis, and it demonstrates that the identity of a species during speciation depends on future events.

Natural kinds, real kinds, or, following J.S Mill simply, Kinds, are thought to be an important asset for scientific realists in the non-fundamental (or “special”) sciences. Essential natures are less in vogue. I show that the realist would do well to couple her Kinds with essential natures in order to strengthen their epistemic and ontological credentials. I argue that these essential natures need not however be intrinsic to the Kind’s members; they may be historical. I concentrate on assessing the merits (...) of historical essential natures in a paradigm case of Kinds in the non-fundamental sciences: species. I specify two basic jobs for essential natures: 1) offering individuation criteria, and 2) providing a causal explanation of the Kind’s multiple projectable properties. I argue that at least in the case of species historical essences are fit for both tasks. The principled resistance to Kinds with historical essences should also be cleared. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

I examine the ways in which the theological and philosophical debate surrounding transhumanism might profit by a detailed engagement with contemporary biology, in particular with the mainline accounts of species and speciation. After a short introduction, I provide a very brief primer on species concepts and speciation in contemporary biological taxonomy. Then in a third section I draw out some implications for the prospects of our being able intentionally to intervene in human evolution for the production of new species out (...) of Homo sapiens. In a fourth section Account of Human Nature? And Where Does This Leave Transhumanism?”) I bring in the debate over the proper relationship between biological and theological conceptions of human nature, laying out the major options available and considering their possible implications for our understanding of transhumanism. In a fifth section several concrete examples are drawn out pertaining to particular subdisciplines within theology. I conclude by briefly laying out some suggestions for future work, focusing on tasks that theologians specifically ought to pursue. (shrink)

In what follows, I will give examples of the sorts of step that can be taken towards spelling out the intuition that, after all, good models might be true. Along the way, I provide an outline of my account of models as ontologically and pragmatically constrained representations. And I emphasize the importance of examining models as functionally composed systems in which different components play different roles and only some components serve as relevant truth bearers. This disputes the standard approach that (...) proceeds by simply counting true and false elements in models in their entirety and concludes that models are false since they contain so many false elements. I call my alternative the functional decomposition approach. (shrink)

Funding policies for science are usually directed at supporting technological innovations. The im-pact and success of such policies depend crucially on how science and technology are connected to each other. I propose an “interactive view” of the relationship between basic science and technol-ogy development which comprises the following four claims: First, technological change derives from science but only in part. The local models used in accounting for technologically relevant phenomena contain theoretical and non-theoretical elements alike. Second, existing technologies and rules (...) of experience constitute another major repository of technological inventions. Third, technology dynamics is only weakly coupled to progress in basic science but it is closely related to science. There is a dependence of technological change on a more fundamental understanding, to be sure, but it is of an indirect and long-term character. Fourth, progress in basic research is some-times the effect of technological change. Technological change sometimes brings about increased theoretical understanding. (shrink)

'Structural realism' is a buzzword in the scientific realism debate. Various positions with diverse motivations fall under this label. A much advertised distinction is between epistemic and ontological forms of structuralism. This paper scrutinizes the alleged dichotomy between these two 'alternatives', and criticises the considerations that have been taken to motivate the ontic variety over the epistemic. I will argue that ontological structural realism is not called for within the traditional realism debate.

Interpretation in science has gained little attention in the past because philosophers of science believed that interpretation belongs to the context of discovery or must be associated with meaning. But scientists often speak about interpretation when they report their findings. Elsewhere I have argue in favour of a pragmatic-rhetorical theory of explanation, and it is in light of this theory that I suggest we can understand interpretation in the natural sciences.

In this paper it is argued that the multiple realizability argument and Kripke's argument are based on schemas of identifications rather than identification. In fact, "heat = molecular motion" includes a term "molecular motion" that does not capture a natural kind, nor has a unique referent. If properly framed, this schema suits also for the type identity theory of mind. Some consequences of this point are evaluated.

Statistical inference is often justified by long-run properties of the sampling distributions, such as the repeated sampling rationale. These are frequentist justifications of statistical inference. I argue, in line with existing philosophical literature, but against a widespread image in empirical science, that these justifications are flawed. Then I propose a novel interpretation of probability in statistics, the artefactual interpretation. I believe that this interpretation is able to bridge the gap between statistical probability calculations and rational decisions on the basis of (...) observed data. The artefactual interpretation is able to justify statistical inference without making any assumptions about probability in the material world. (shrink)

One question asked repeatedly in the history of Christology is the following: given that the incarnation was God’ s chosen method of redeeming us, why did God become human by the cooperation of the Blessed Virgin Mary? Why not just create a human body and soul ex nihilo and simultaneously with that creation have God the Son assume this new instance of human nature? In answer, Augustine for instance argues that the latter option would have been a legitimate means of (...) incarnation, but that it was not as fitting as the method actually employed. Aquinas agrees. By contrast, John of Damascus seems to think that the ex nihilo option would not have constituted a genuine assumption of human nature, such that redemption required the cooperation of the Theotokos. I argue that insights provided by contemporary biology support St. John’s perspective, insofar as modern biological taxonomy suggests that lineal descent is a necessary condition for belonging to a species. As such, to take on a genuinely human nature God had to enter into the existing human lineage; creating a new ‘human’ body and soul ex nihilo would not have sufficed. (shrink)

situation in the sciences of man and show it to be fallacious. On the view to be 6 rejected, the sciences of man are undergoing the first serious attempt in history to 7 thoroughly naturalize their subject matter and thus to put an end to their separate sta- 8 tus. Progress has (on this view) been quite considerable in the disciplines in charge 9 of the individual, while in the social sciences the outcome of the process is moot: 10 the (...) naturalistic social sciences are still in their infancy, and whether they will even- 11 tually engulf or at least profoundly transform the field of social science is unclear. 12 The dichotomous conception pits two camps against one another. On the one hand, 13.. (shrink)

Graphical models are a powerful tool for causal model specification. Besides allowing for a hierarchical representation of variable interactions, they do not require any a priori specification of the functional dependence between variables. The construction of such graphs hence often relies on the mere testing of whether or not model variables are marginally or conditionally independent. The identification of causal relationships then solely requires some general assumptions on the relation between stochastic and causal independence, such as the Causal Markov Condition (...) and the Faithfulness Condition (Spirtes et al. 2000; Pearl 2000). However, a procedure would require further assumptions to hold. Namely those the independence tests themselves are based on. In continuous settings, Spirtes et al. (2000) suggest causal inference based on a very restrictive formulation of independence, that is, vanishing partial correlations. Such a measure does, however, limit the applicability of causal inference to linear systems. This constitutes a serious drawback especially for the social sciences where an a priori specification of the functional form proves difficult or at odds with linearity. In short: graphical models theoretically reduce specification uncertainty regarding functional dependence, but their implementation in practice deprives them of this virtue. In this paper we investigate how causal structures in continuous settings can be identified when both functional forms and probability distributions of the variables remain unspecified. We focus on tests exploiting the fact that if X and Y are conditionally independent given a set of variables Z, the two conditional densities f (X|Y, Z) and f (X|Z) must coincide. We start by estimating the conditional densities f(X|Y, Z) and f(X|Z) via nonparametric techniques (kernel methods). We proceed by testing if some metric expressing the distance between these very conditional densities is sufficiently close to zero. Out of several metrics available in the literature to express such distance we choose two, the Euclidean, and the Hellinger distance. We investigate in a Monte Carlo study how different tests involving either measure are able to detect statistical independence, conditioned on a small set of variables. One limitation may result from nonparametric density estimation being subject to the curse of dimensionality. As the number of variables increases, the estimated empirical density converges at a slower rate to its population value. To compensate this drawback we use a local bootstrap procedure which consists of resampling the data for each test. While local bootstrap strongly increases the computational time of the test, it succeeds in counterbalancing the curse of dimensionality. (shrink)

In this article I examine whether an influential theory of mechanisms proposed by Peter Machamer, Lindley Darden and Carl Craver can accommodate polygenic effects. This theory is both interesting and problematic, I will argue, because it ascribes a central role to activities. In it, activities are needed not only to constitute mechanisms but also to perform their causal role. These putative functions of activities become problematic in certain situations where several causes or elements of a mechanism contribute simultaneously, i.e. with (...) certain forms of polygenic causation. The problematic form of polygeny, polygeny 2, occurs when the polygenic contribution concerns one and the same property or aspect of the affected object. When the result of such causation is that nothing happens, the theory suggested by Machamer and his colleagues cannot be applied. More generally, it seems that, whenever polygeny 2 is involved, the Machamer approach leads to an impoverished conception of mechanism. (shrink)

According to the theory of meaning as justification, semantics is closely entangled with epistemology: knowing the meaning of an utterance amounts to knowing the justification one may offer for it. In this perspective, the theory of meaning is connected with the epistemic theory of justification, namely the theory that undergoes the more explicit attempts of naturalization. Is it possible to extend those attempts to the notion of meaning? There are many ways of naturalizing the notion of meaning, independently of its (...) links with the notion of justification. Our goal in this paper is to explore the possibility of naturalizing meaning using those very links. To this aim, we will evaluate in brief three main directions: a) the interaction between justification and discovery; b) Quine's naturalized epistemology; c) the naturalization of logic. (shrink)

This article, which is intended both as a position paper in the philosophical debate on natural kinds and as the guest editorial to this thematic issue, takes up the challenge posed by Ian Hacking in his paper, “Natural Kinds: Rosy Dawn, Scholastic Twilight.” Whereas a straightforward interpretation of that paper suggests that according to Hacking the concept of natural kinds should be abandoned, both in the philosophy of science and in philosophy more generally, we suggest that an alternative and less (...) fatalistic reading is also possible. We argue that abandoning the concept of natural kinds would be premature, as it still can do important work. Our concern is with the situation in the (philosophy of the) life sciences. Against the background of this concern we attempt to set something of an agenda for future research on the topic of natural kinds in the (philosophy of the) life sciences. (shrink)

The aim of this article is to detail some reservations against the beliefs, claims, or presuppositions that current essentialist natural kind concepts (including homeostatic property cluster kinds) model grouping practices in the life sciences accurately and generally. Such concepts fit reasoning into particular preconceived epistemic and semantic patterns. The ability of these patterns to fit scientific practice is often argued in support of homeostatic property cluster accounts, yet there are reasons to think that in the life sciences kind concepts exhibit (...) a diversity of grouping practices that are flattened out by conceptualizing them as natural kinds. Instead this article argues that the process of understanding grouping practices needs to start from a more neutral position independent of any ontological account. Following Love (Acta Biotheor 57:51–75, 2009) this paper suggests that typical natural kind concepts should be broached in the first place as grouping strategies that use a variety of semantic and epistemic tactics to apply group-bound information to tasks of explanation and understanding. (shrink)