Social scientific and humanistic research on synthetic biology has focused quite narrowly on questions of epistemology and ELSI. I suggest that to understand this discipline in its full scope, researchers must turn to the objects of the field—synthetic biological artifacts—and study them as the objects in the making of a science yet to be made. I consider one fundamentally important question: how should we understand the material products of synthetic biology? Practitioners in the field, employing a consistent technological optic in (...) the study and construction of biological systems, routinely employ the mantra ‘biology is technology’. I explore this categorization. By employing an established definition of technological artifects drawn from the philosophy of technology, I explore the appropriateness of attributing to synthetic biological artifacts the four criteria of materiality, intentional design, functionality, and normativity. I then explore a variety of accounts of natural kinds. I demonstrate that synthetic biological artifacts fit each kind imperfectly, and display a concomitant ontological ‘messiness’. I argue that this classificatory ambivalence is a product of the field’s own nascence, and posit that further work on kinds might help synthetic biology evaluate its existing commitments and practices. (shrink)

Species are generally considered to be the basic units of evolution, and hence to constitute spatio-temporally bounded entities. In addition, it has been argued that species also instantiate a natural kind. Evolution is fundamentally about change. The question then is how species can remain the same through evolutionary change. Proponents of the species qua individuals thesis individuate species through their unique evolutionary origin. Individuals, or spatio-temporally located particulars in general, can be bodies, objects, events, or processes, or a combination of (...) these. It is here argued that species are best understood as open or closed, causally integrated processual systems that also instantiate an historically conditioned homeostatic property cluster natural kind. (shrink)

This paper takes a hierarchical approach to the question whether species are individuals or natural kinds. The thesis defended here is that species are spatiotemporally located complex wholes (individuals), that are composed of (i.e., include) causally interdependent parts, which collectively also instantiate a homeostatic property cluster (HPC) natural kind. Species may form open or closed genetic systems that are dynamic in nature, that have fuzzy boundaries due to the processual nature of speciation, that may have leaky boundaries as is manifest (...) in lateral gene transfer and introgression, that may be of multiple origins through hybridization, and that may split and merge and split again over time. The identity conditions of species qua individuals will have to be anchored in their history, rather than in their unique evolutionary origin. Species qua historically conditioned HPC natural kinds requires the kind to be mereologically structured, subject to the part-whole relation rather than the membership relation. This implies that there can be more than one kind of natural kinds. (shrink)

I reconsider the monism/pluralism debate about natural kinds. Monism claims that there is a privileged division of reality into natural kinds, while pluralism states that there are many ways of classifying objects according to different purposes. I compare three different monistic accounts of natural kinds with the pluralism advocated by promiscuous realism. The analysis of some examples of the classification of celestial objects suggest that there are indeed different legitimate ways of classifying things according to different purposes; contrary to monism, (...) the boundaries between kinds are not fixed. These results show that promiscuous realism is a better account of natural kind. (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)

Within the philosophy of science, the realism debate has been revitalised by the development of forms of structural realism. These urge a shift in focus from the object oriented ontologies that come and go through the history of science to the structures that remain through theory change. Such views have typically been elaborated in the context of theories of physics and are motivated by, first of all, the presence within such theories of mathematical equations that allow straightforward representation of the (...) relevant structures; and secondly, the implications of such theories for the individuality and identity of putative objects. My aim in this talk is to explore the possibility of extending such views to biological theories. An obvious concern is that within the context of the latter it is typically insisted that we cannot find the kinds of highly mathematised structures that structural realism can point to in physics. I shall indicate how the model-theoretic approach to theories might help allay such concerns. Furthermore, issues of identity and individuality also arise within biology. Thus Dupre has recently noted that there exists a ‘General Problem of Biological Individuality’ which relates to the issue of how one divides ‘massively integrated and interconnected’ systems into discrete components. In response Dupre advocates a form of ‘Promiscuous Realism’ that holds, for example, that there is no unique way of dividing the phylogenetic tree into kinds. Instead I shall urge serious consideration of those aspects of the work of Dupre and others that lean towards a structuralist interpretation. By doing so I hope to suggest possible ways in which a structuralist stance might be extended to biology. (shrink)

This paper presents a brief response to Robert A. Wilson's critical discussion of Promiscuous Realism [1996]. I argue that, although convergence on a unique conception of species cannot be ruled out, the evidence against such an outcome is stronger than Wilson allows. In addition, given the failure of biological science to come up with a unique and privileged set of biological kinds, the relevance of the various overlapping kinds of ordinary language to the metaphysics of biological kinds is greater than (...) Wilson admits. (shrink)

Our best sciences are frequently held to be one way, perhaps the optimal way, to learn about the world’s higher-level ontology and structure. I first argue that which scientific theory is “best” depends in part on our goals or purposes. As a result, it is theoretically possible to have two scientific theories of the same domain, where each theory is best for some goal, but where the two theories posit incompatible ontologies. That is, it is possible for us to have (...) goal-dependent pluralism in our scientific ontologies. This ontological pluralism arises simply from our inability to directly know the world’s objects, rather than any particular claims about our cognitive limits, values, or social structures. I then present two case studies in which this possibility actually occurs—one based on simulations and theoretical analyses of constructed causal systems, and one from actual scientific investigations into the proper ontology for ocean regions. (shrink)

Hanoch Ben-Yami has argued that the theory of the semantics of natural kind terms proposed by Kripke and Putnam is false and has proposed an allegedly novel account of the semantics of kind terms. In this article, I critically examine Ben-Yami’s arguments. I will argue that Ben-Yami’s objections do not show that Kripke and Putnam’s theory is false, but at most that the specific versions of it held by Kripke and Putnam have some weaknesses. Moreover, I will argue that Ben-Yami’s (...) account is not a novel account but it is only an unsatisfactory version of Kripke and Putnam’s theory. (shrink)

After having reconstructed a minimal biological characterisation of species, we endorse an “empirical approach” based on the idea that it is the peculiar evolutionary history of the species at issue—its peculiar origination process, its peculiar metapopulation structure and the peculiar mixture and strength of homeostatic processes vis à vis heterostatic ones—that determines species’ identity at a time and through time. We then explore the consequences of the acceptance of the empirical approach in settling the individuals versus kinds dispute. In particular, (...) while conceptual arguments have been proposed to show that species can be equally treated as individuals and kinds because mereology’s and set-theory’s languages are inter-translatable, we advance instead a causal argument to sustain the claim that each species is both a kind and an individual. (shrink)

Essentialism is widely regarded as a mistaken view of biological kinds, such as species. After recounting why (sections 2-3), we provide a brief survey of the chief responses to the “death of essentialism” in the philosophy of biology (section 4). We then develop one of these responses, the claim that biological kinds are homeostatic property clusters (sections 5-6) illustrating this view with several novel examples (section 7). Although this view was first expressed 20 years ago, and has received recent discussion (...) and critique, it remains underdeveloped and is often misrepresented by its critics (section 8). (shrink)

Recent challenges to non-traditional theories of natural kinds demand clarifications and revisions to those theories. Highlights: The semantics of natural kind terms is a special case of a general naturalistic conception of signaling in organisms that explains the epistemic reliability of signaling. Natural kinds and reference are two aspects of the same natural phenomenon. Natural kind definitions are phenomena in nature not linguistic or representational entities; their relation to conceptualized definitions is complex. Reference and truth are special cases of a (...) broader phenomenon of accommodation between aspects of signaling and epistemically relevant causal structures. (shrink)

This paper isolates a hard, long-standing species problem: developing a comprehensive and exacting theory about the constitutive conditions of the species category, one that is accurate for most of the living world, and which vindicates the widespread view that the species category is of more theoretical import than categories such as genus, sub-species, paradivision, and stirp. The paper then uncovers flaws in several views that imply we have either already solved that hard species problem or dissolved it altogether – so-called (...) We Are Done views. In doing so the paper offers new criticisms of the general lineage species concept (GLSC), evolutionary species concept (EvSC), biological species concept (BSC), other similar concepts, Ereshefsky’s eliminative pluralism about the species category, and both Mishler’s pessimism and Wilkins’ phenomenalism about that category. Opposed to We Are Done views, the paper argues for a Revving Up view, on which we are nearly ready to begin the hard species problem in earnest. To help work towards these conclusions, the paper begins with an outline of a new kind of view of species (Barker 2019a), which proposes they are feedback systems of a mathematically specifiable and empirically testable sort. (shrink)

The present work is focussed on the completeness of physics, or what is here called the Completeness Thesis: the claim that the domain of the physical is causally closed. Two major questions are tackled: How best is the Completeness Thesis to be formulated? What can be said in defence of the Completeness Thesis? My principal conclusions are that the Completeness Thesis can be coherently formulated, and that the evidence in favour if it significantly outweighs that against it. In opposition to (...) those who argue that formulation is impossible because no account of what is to count as physical can be provided, I argue that as long as the purpose of the argument in which the account is to be used are borne in mind there are no significant difficulties. The account of the physical which I develop holds as physical whatever is needed to fix the likelihood of pre-theoretically given physical effects, and hypothesises in addition that no chemical, biological or psychological factors will be needed in this way. The thus formulated Completeness Thesis is coherent, and has significant empirical content. In opposition to those who defend the doctrine of emergentism by means of philosophical arguments I contend that those arguments are flawed, setting up misleading dichotomies between needlessly attenuated alternatives and assuming the truth of what is to be proved. Against those who defend emergentism by appeal to the evidence, I argue that the history of science since the nineteenth century shows clearly that the empirical credentials of the view that the world is causally closed at the level of a small number of purely physical forces and types of energy is stronger than ever, and the credentials of emergentism correspondingly weaker. In opposition to those who argue that difficulties with reductionism point to the implausibility of the Completeness Thesis I argue that completeness in no way entails the kinds of reductionism which give rise to the difficulties in question. I argue further that the truth of the Completeness Thesis is in fact compatible with a great deal of taxonomic disorder and the impossibility of any general reduction of non-fundamental descriptions to fundamental ones. In opposition to those who argue that the epistemological credentials of fundamental physical laws are poor, and that those laws should in fact be seen as false, I contend that truth preserving accounts of fundamental laws can be developed. Developing such an account, I test it by considering cases of the composition of forces and causes, where what takes place is different to what is predicted by reference to any single law, and argue that viewing laws as tendencies allows their truth to be preserved, and sense to be made of both the experimental discovery of laws, and the fact that composition enables accurate prediction in at least some cases. (shrink)

In this thesis I argue that we should break with the dominant Kripkean tradition concerning natural kind terms and theoretical identity. I claim that there is just no interesting connection between the metaphysics and semantics of natural kind terms, and demonstrate this by constructing a version of descriptivism that is combined with the same metaphysics – that is, a nontrivial version of essentialism – found in Kripke, but which effectively avoids all of the standard criticisms. With my version of descriptivism (...) in place, I present what I take to be the most reasonable version of metaphysical essentialism, positing only what I call 'thin' essences. I claim that thin essences are perfectly adequate to underpin scientific realism, and moreover that they are sufficient to support the version of descriptivism developed here. In effect, what I offer here is an error theory of the Kripkean tradition: Kripke is right to think that there are interesting things to say about meaning and essence, but just wrong about what those things are. Thus whilst Kripke thinks that it is possible to make discoveries about the meanings of natural kind terms, I think, rather, that we make empirical discoveries that lead to revisions in meaning. Furthermore, whilst Kripke thinks there is a dichotomy between de re and de dicto necessity, and that theoretical identities are necessary de re, I think this distinction is both misleading and inaccurate, and that the necessity of theoretical identities is neither entirely de re nor entirely de dicto. By separating and insulating questions concerning meaning from questions concerning essence I show that whilst scientific discoveries are contingent and a posteriori, the definition of scientific terms are both necessary and a priori. (shrink)

According to a doctrine that has been popularized by Kripke and Putnam, a natural kind term like 'bird' rigidly designates the kind with the microstructure of sample birds. This microstructure is the essence of birdhood, so our learning what the relevant microstructure is our discovery of the kind's essence. We have discovered that some statement like 'The bird is the taxon with such and such DNA structure' is true. Further, it is commonly added, the discovered microstructure is essential to each (...) particular bird. ;I argue that this general picture is mistaken. I do accept and defend the view that terms like 'bird' are rigid designators. However, the picture at issue has other difficulties. Individual birds are not essentially birds. And the view that biologists have discovered or will discover that the bird kind is identical to some DNA structure or other type of structure seems wrong. We don't discover just what particular characteristic a kind is to be identified with. Rather, the meaning of natural kind terms changes; as science advances, more sophisticated concepts attending kind terms replace older ones. So the Kripke-Putnam account of our discovering the truth of theoretical identity statements seems wrong. ;Fortunately, the account retains some interest despite its falsity, because of its association with the claim that statements like 'The bird is the taxon with such and such DNA structure' are necessary but a posteriori. The above sentence does not express a truth, much less a necessary truth, but the idea that it could have expressed the sort of necessary a posteriori truth it is supposed to express is epistemologically interesting. The very possibility of such necessary a posteriori knowledge deserves some account. I offer an account, arguing that this sort of knowledge is no more impressive from an epistemological standpoint than is knowledge of analytic necessity: indeed, I argue, it is best understood as knowledge of a species of analytic necessity. Independently of this claim, I argue in a concluding discussion that analyticity ought to be accepted by proponents of the necessary theoretical identity statements in question. (shrink)