Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider only countable members. This paper explores such a notion for classes of computable structures by working out a sequence of examples. We follow recent work by Goncharov and Knight in using the degree of the isomorphism problem for a class to distinguish classifiable classes from non-classifiable. In (...) this paper, we calculate the degree of the isomorphism problem for Abelian p-groups of bounded Ulm length. The result is a sequence of classes whose isomorphism problems are cofinal in the hyperarithmetical hierarchy. In the process, new back-and-forth relations on such groups are calculated. (shrink)

Makkai [10] produced an arithmetical structure of Scott rank $\omega _{1}^{\mathit{CK}}$. In [9]. Makkai's example is made computable. Here we show that there are computable trees of Scott rank $\omega _{1}^{\mathit{CK}}$. We introduce a notion of "rank homogeneity". In rank homogeneous trees, orbits of tuples can be understood relatively easily. By using these trees, we avoid the need to pass to the more complicated "group trees" of [10] and [9]. Using the same kind of trees, we obtain one of rank (...) $\omega _{1}^{\mathit{CK}}$ that is "strongly computably approximable". We also develop some technology that may yield further results of this kind. (shrink)

At the end of the opening chapter of his Second Treatise of Government , Locke describes political power in the following terms: ‘Political Power then I take to be a Right of making Laws with Penalties of Death, and consequently all less Penalties, for the Regulating and Preserving of Property, and of employing the force of the Community, in the Execution of such Laws, and in the defence of the Common-wealth from Foreign Injury, and all this only for the Publick (...) Good.’. (shrink)

This paper calculates, in a precise way, the complexity of the index sets for three classes of computable structures: the class $K_{\omega _{1}^{\mathit{CK}}}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}$ , the class $K_{\omega _{1}^{\mathit{CK}}+1}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}+1$ , and the class K of all structures of non-computable Scott rank. We show that I(K) is m-complete $\Sigma _{1}^{1},\,I(K_{\omega _{1}^{\mathit{CK}}})$ is m-complete $\Pi _{2}^{0}$ relative to Kleen's O, and $I(K_{\omega _{1}^{\mathit{CK}}+1})$ is m-complete $\Sigma _{2}^{0}$ relative to O.

A high profile context in which physics and biology meet today is in the new field of systems biology. Systems biology is a fascinating subject for sociological investigation because the demands of interdisciplinary collaboration have brought epistemological issues and debates front and centre in discussions amongst systems biologists in conference settings, in publications, and in laboratory coffee rooms. One could argue that systems biologists are conducting their own philosophy of science. This paper explores the epistemic aspirations of the field by (...) drawing on interviews with scientists working in systems biology, attendance at systems biology conferences and workshops, and visits to systems biology laboratories. It examines the discourses of systems biologists, looking at how they position their work in relation to previous types of biological inquiry, particularly molecular biology. For example, they raise the issue of reductionism to distinguish systems biology from molecular biology. This comparison with molecular biology leads to discussions about the goals and aspirations of systems biology, including epistemic commitments to quantification, rigor and predictability. Some systems biologists aspire to make biology more similar to physics and engineering by making living systems calculable, modelable and ultimately predictable—a research programme that is perhaps taken to its most extreme form in systems biology’s sister discipline: synthetic biology. Other systems biologists, however, do not think that the standards of the physical sciences are the standards by which we should measure the achievements of systems biology, and doubt whether such standards will ever be applicable to ‘dirty, unruly living systems’. This paper explores these epistemic tensions and reflects on their sociological dimensions and their consequences for future work in the life sciences. (shrink)

“Basic research” is often used in science policy. It is commonly thought to refer to research that is directed solely toward acquiring new knowledge rather than any more practical objective. Recently, there has been considerable concern about the future of basic research because of purported changes in the nature of knowledge production and increasing pressures on scientists to demonstrate the social and economic benefits of their work. But is there really something special about basic research? The author argues here that (...) “basic research” is a flexible and ambiguous concept that is drawn on by scientists to acquire prestige and resources. She shows that it is used for boundary work and gives examples of the work it does in different situations by drawing on interviews with scientists and policy makers on the category of basic research and the changes they have seen in it over time. (shrink)

The paper explores the relation between a set of poetic formulas in early Greek and Anatolian languages of the second and early first millennia having to do with the cosmography of the rising sun in macrocosm, and going up into bed in microcosm, with an eye to defending the reading and restoration έρωι δέπασ εισομβάμεν in the editio princeps of the new Sappho. The Luvian word for “sky, heaven,” represented as a bowl in Hieroglyphic, is the likeliest source of the (...) Greek word depas, Mycenean dipas, in the second millennium, together with the associative semantics of depas and “heaven” evidenced in Hittite and Luvian texts in the second millennium, and in early Greek poetry in the first. (shrink)

A longstanding problem in the teacher workforce, internationally and in the UK, is the continuing and substantial numbers of qualified teachers who leave the profession within five years. This paper uses data collected from a survey to the last five years of teacher education graduates of UCL Institute of Education (IOE) in London, to explore what originally motivated them to teach, and the reasons why they have left or may consider leaving in the future. We discovered that despite claiming to (...) be aware of the challenges of workload before entering teaching, workload was the most frequently cited reason for having left, or for leaving in the future. The data spoke to the reality of teaching being worse than expected, and the nature (rather than the quantity) of the workload, linked to notions of performativity and accountability, being a crucial factor. This paper draws on a substantial new source of data and explores reasons for leaving in the context of reported initial motivation of individuals who have left teaching, individuals who are planning to leave and individuals who are planning to stay in teaching. (shrink)

We investigate effective categoricity of computable equivalence structures . We show that is computably categorical if and only if has only finitely many finite equivalence classes, or has only finitely many infinite classes, bounded character, and at most one finite k such that there are infinitely many classes of size k. We also prove that all computably categorical structures are relatively computably categorical, that is, have computably enumerable Scott families of existential formulas. Since all computable equivalence structures are relatively categorical, (...) we further investigate when they are categorical. We also obtain results on the index sets of computable equivalence structures. (shrink)

Karen Barad develops a view she calls ‘posthumanism,’ or ‘agential realism,’ where the human is reconfigured away from the central place of explanation, interpretation, intelligibility, and objectivity to make room for the epistemic importance of other material agents. Barad is not alone in this kind of endeavor, but her posthumanism offers a unique epistemological position. Her aim is to take a performative rather than a representationalist approach to analyzing ‘socialnatural’ practices and challenge methodological assumptions that may go unnoticed in some (...) disciplinary fields. Yet for all the good of the challenge, Barad must support it with sound epistemological theorizing, theorizing that would apply to any methodology, whether that be sociological, historical, anthropological, or philosophical. Thus, where one might critique Barad on her assessments of sociological, historical, or anthropological incorporations of humans and the nonhuman, I critique Barad’s epistemology on its sense of objectivity and dismissal of the centrality of the human. I argue that Barad’s epistemology must retain a particular form of humanism, a humanism that stakes human subjectivity as the locus of rationality and objectivity, without which it creates intractable problems. To recuperate Barad’s challenge to contest assumptive distinctions while avoiding her epistemological problems, I offer some parting reflections. (shrink)

The basic principle of educational equality is that each child should receive an equally good education. This sounds appealing, but is rather vague and needs substantial working out. Also, educational equality faces all the objections to equality per se, plus others specific to its subject matter. Together these have eroded confidence in the viability of equality as an educational ideal. This article argues that equality of educational opportunity is not the best way of understanding educational equality. It focuses on Brighouse (...) and Swift's well worked out meritocratic conception and finds it irretrievably flawed; they should, instead, have pursued a radical conception they only mention. This conception is used as a starting point for developing a luck egalitarian conception, pluralistic and complex in nature. It is argued that such a conception accounts for the appeal of equality of opportunity, fits with other values in education and meets many of the objections. Thus, equality is reasserted as what morally matters most in education. (shrink)

Systems biology is the rapidly growing and heavily funded successor science to genomics. Its mission is to integrate extensive bodies of molecular data into a detailed mathematical understanding of all life processes, with an ultimate view to their prediction and control. Despite its high profile and widespread practice, there has so far been almost no bioethical attention paid to systems biology and its potential social consequences. We outline some of systems biology's most important socioethical issues by contrasting the concept of (...) systems as dynamic processes against the common static interpretation of genomes. New issues arise around systems biology's capacities for in silico testing, changing cultural understandings of life, synthetic biology, and commercialization. We advocate an interdisciplinary and interactive approach that integrates social and philosophical analysis and engages closely with the science. Overall, we argue that systems biology socioethics could stimulate new ways of thinking about socioethical studies of life sciences. (shrink)

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider only countable members. This paper explores such a notion for classes of computable structures by working out several examples. One motivation is to see whether some classes whose set of countable members is very complex become classifiable when we consider only computable members. We follow recent work (...) by Goncharov and Knight in using the degree of the isomorphism problem for a class to distinguish classifiable classes from non-classifiable. For real closed fields we show that the isomorphism problem is Δ1 1 complete (the maximum possible), and for others we show that it is of relatively low complexity. We show that the isomorphism problem for algebraically closed fields, Archimedean real closed fields, or vector spaces is Π0 3 complete. (shrink)

Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence, in terms of relatively simple invariants. Where this is impossible, it is useful to have concrete results saying so. In model theory and descriptive set theory, there is a large body of work showing that certain classes of mathematical structures admit classification while others do not. In the present paper, we (...) describe some recent work on classification in computable structure theory.Section 1 gives some background from model theory and descriptive set theory. From model theory, we give sample structure and non-structure theorems for classes that include structures of arbitrary cardinality. We also describe the notion of Scott rank, which is useful in the more restricted setting of countable structures. From descriptive set theory, we describe the basic Polish space of structures for a fixed countable language with fixed countable universe. We give sample structure and non-structure theorems based on the complexity of the isomorphism relation, and on Borel embeddings.Section 2 gives some background on computable structures. We describe three approaches to classification for these structures. The approaches are all equivalent. However, one approach, which involves calculating the complexity of the isomorphism relation, has turned out to be more productive than the others. Section 3 describes results on the isomorphism relation for a number of mathematically interesting classes—various kinds of groups and fields. In Section 4, we consider a setting similar to that in descriptive set theory. We describe an effective analogue of Borel embedding which allows us to make distinctions even among classes of finite structures. Section 5 gives results on computable structures of high Scott rank. Some of these results make use of computable embeddings. Finally, in Section 6, we mention some open problems and possible directions for future work. (shrink)

In this paper, we reflect on our experience as science and technology studies researchers who were members of the working group that produced A Synthetic Biology Roadmap for the UK in 2012. We explore how this initiative sought to govern an uncertain future and describe how it was successfully used to mobilize public funds for synthetic biology from the UK government. We discuss our attempts to incorporate the insights and sensibilities of STS into the policy process and why we chose (...) to use the concept of responsible research and innovation to do so. We analyze how the roadmapping process, and the final report, narrowed and transformed our contributions to the roadmap. We show how difficult it is for STS researchers to influence policy when our ideas challenge deeply entrenched pervasive assumptions, framings, and narratives about how technological innovation necessarily leads to economic progress, about public reticence as a roadblock to that progress, and about the supposed separation between science and society. We end by reflecting on the constraints under which we were operating from the outset and on the challenges for STS in policy. (shrink)

There is a tendency, a bad tendency, to make epistemic agency the central focus of epistemology. In brief, epistemologists have traditionally elevated epistemic agency as the crucial issue to be addressed, and ask all other epistemological questions in light of that issue. This is not surprising given the Cartesian influence on epistemology, but I argue that epistemic agency should not always be the central focus of epistemology. There are times when giving central place to epistemic agency gets in the way (...) of good epistemology. In this paper, I show how one approach to a communitarian epistemology falters precisely because of the primacy given to epistemic agency. Specifically, I take a close look at Lynn Hankinson Nelson?s notion of epistemological communities in terms of epistemic agency and analyze both its merits and its shortcomings. This is an important analysis for general consideration given the trend in non-traditional epistemologies to look towards social complexes as the real seats of knowledge. But this is also important because my analysis pushes one to consider an alternative framing concept for epistemology?that of epistemic practises instead of epistemic agency. (shrink)

A central figure in Western history and American political thought, Thomas Paine continues to provoke debate among politicians, activists, and scholars. People of all ideological stripes are inspired by his trenchant defense of the rights and good sense of ordinary individuals, and his penetrating critiques of arbitrary power. This volume contains Paine’s explosive _Common Sense_ in its entirety, including the oft-ignored Appendix, as well as selections from his other major writings: _The American Crisis_, _Rights of Man,_ and _The Age of (...) Reason. _It also contains several of Paine’s shorter essays. All the documents have been transcribed directly from the originals, making this edition the most reliable one available. Essays by Ian Shapiro, Jonathan Clark, Jane Calvert, and Eileen Hunt Botting bring Paine into sharp focus, illuminating his place in the tumultuous decades surrounding the American and French Revolutions and his larger historical legacy. (shrink)

Kaebnick, Gusmano, and Murray tackle some important issues raised by the emerging field of synthetic biology. Many of these issues arise pre­cisely because synthetic biology is still emerging, making it hard, if not impossible, to predict how the technology will pan out. In the context of this uncertainty, Kaebnick, Gusmano, and Murray imply, we may have to change our familiar patterns of thinking and governing. It is this point that I elaborate on here. I argue that if we embrace the (...) distinctive characteris­tics of emerging biotechnologies, we can shift away from attempts to analyze the risks and benefits of technologi­cal developments and toward discussions of the moti­vations and purposes that drive them in the first place. This perspective gives us a solid rationale for public and stakeholder engagement (or “democratic deliberation,” as Kaebnick et al. call it) and helps us address some of the concerns Kaebnick and colleagues raise about how this engagement should be organized. (shrink)

There is currently no international consensus around post-trial obligations toward research participants, community members, and host countries. This literature review investigates arguments and attitudes toward post-trial access. The literature review found that academic discussions focused on the rights of research participants, but offered few practical recommendations for addressing or improving current practices. Similarly, there are few regulations or legislation pertaining to post-trial access. If regulatory changes are necessary, we need to understand the current arguments, legislation, and attitudes towards post-trial access (...) and participants and community members. Given that clinical trials conducted in low-income countries will likely continue, there is an urgent need for consideration of post-trial benefits for participants, communities, and citizens of host countries. While this issue may not be as pressing in countries where participants have access to healthcare and medicines through public schemes, it is particularly important in regions where this may not be available. (shrink)

We investigate effective categoricity of computable Abelian p-groups . We prove that all computably categorical Abelian p-groups are relatively computably categorical, that is, have computably enumerable Scott families of existential formulas. We investigate which computable Abelian p-groups are categorical and relatively categorical.

Harry Brighouse discusses two conceptions of educational equality. The first is a type of equality of opportunity, heavily influenced by the work of John Rawls, which he calls the meritocratic conception. According to this conception, an individual’s educational prospects should not be influenced by factors such as their social class background. The other, radical conception, suggests a person’s natural talents should not influence their educational prospects either. Brighouse favors the meritocratic conception, but this article argues that it is flawed and (...) that the radical conception ought to be preferred. Although a superior conception of educational equality, the radical conception is still not quite right, so this article develops a luck egalitarian conception of educational equality. It is argued that this conception reflects much current thinking about equality and avoids some of the difficulties with Brighouse’s two conceptions. Finally, two objections to a luck egalitarian conception are considered. (shrink)

For a number of years, in the not too distant past, there was a lively debate between Plato's defenders and critics over the question of whether his Republic contained slaves. However, since the appearance of an article by Gregory Vlastos1 some twenty years ago, it seems to have been generally felt that the issue has been resolved, and the controversy has died down. Vlastos argued that the evidence admits of no doubt - Plato included slaves in his ideal state. In (...) this paper, I wish to have the case reopened, and to revive interest in what I believe should continue to be a matter of debate. In opposition to what has become the standard view, I am inclined to think, on balance, that his Republic could not contain slaves. Vlastos begins by reminding us that, on those occasions when Plato wants to propose a radical change from existing institutions, he argues for such a change. If he had intended to abolish slavery from his ideal society, this would have been a radical change, and we should have expected him to indicate clearly such an intention, and to justify it. Since no justification is forthcoming, we may presume that no change is envisaged. This line of argument I shall call the presumptive argument. One version of it is mentioned by R. B. Levinson,2 namely that the rough and dirty work, carried on behind the scene by slaves, will take place as usual, and the continuance of slavery is assumed without question. (shrink)

For a number of years, in the not too distant past, there was a lively debate between Plato's defenders and critics over the question of whether his Republic contained slaves. However, since the appearance of an article by Gregory Vlastos1 some twenty years ago, it seems to have been generally felt that the issue has been resolved, and the controversy has died down. Vlastos argued that the evidence admits of no doubt - Plato included slaves in his ideal state. In (...) this paper, I wish to have the case reopened, and to revive interest in what I believe should continue to be a matter of debate. In opposition to what has become the standard view, I am inclined to think, on balance, that his Republic could not contain slaves. Vlastos begins by reminding us that, on those occasions when Plato wants to propose a radical change from existing institutions, he argues for such a change. If he had intended to abolish slavery from his ideal society, this would have been a radical change, and we should have expected him to indicate clearly such an intention, and to justify it. Since no justification is forthcoming, we may presume that no change is envisaged. This line of argument I shall call the presumptive argument. One version of it is mentioned by R. B. Levinson,2 namely that the rough and dirty work, carried on behind the scene by slaves, will take place as usual, and the continuance of slavery is assumed without question. (shrink)

Barry Barnes and David Bloor of the Strong Programme of the sociology of knowledge advance a naturalized epistemology that reduces all accounts of normativity to social causes. I endorse their program of naturalizing one kind of normativity, but I argue that there is another kind they cannot naturalize. Within the context of sociological explanations of rationality, there are norms of rationality instantiated by scientists that Barnes and Bloor study, and Barnes and Bloor's own normative ascriptions of scientists as rational beings. (...) I argue that Barnes and Bloor successfully justify their naturalization of the norms of rationality of the scientists they describe by a methodological caution and arguments from under-determination and finitism. But they inevitably fail to naturalize their own normative ascriptions of those scientists as rational. (shrink)

The urban traffic environment is characterized by the presence of a highly differentiated pool of users, including vulnerable ones. This makes vehicle automation particularly difficult to implement, as a safe coordination among those users is hard to achieve in such an open scenario. Different strategies have been proposed to address these coordination issues, but all of them have been found to be costly for they negatively affect a range of human values (e.g. safety, democracy, accountability…). In this paper, we claim (...) that the negative value impacts entailed by each of these strategies can be interpreted as lack of what we call Meaningful Human Control over different parts of a sociotechnical system. We argue that Meaningful Human Control theory provides the conceptual tools to reduce those unwanted consequences, and show how “designing for meaningful human control” constitutes a valid strategy to address coordination issues. Furthermore, we showcase a possible application of this framework in a highly dynamic urban scenario, aiming to safeguard important values such as safety, democracy, individual autonomy, and accountability. Our meaningful human control framework offers a perspective on coordination issues that allows to keep human actors in control while minimizing the active, operational role of the drivers. This approach makes ultimately possible to promote a safe and responsible transition to full automation. (shrink)

We improve on and generalize a 1960 result of Maltsev. For a field F, we denote by $H(F)$ the Heisenberg group with entries in F. Maltsev showed that there is a copy of F defined in $H(F)$, using existential formulas with an arbitrary non-commuting pair of elements as parameters. We show that F is interpreted in $H(F)$ using computable $\Sigma _1$ formulas with no parameters. We give two proofs. The first is an existence proof, relying on a result of Harrison-Trainor, (...) Melnikov, R. Miller, and Montalbán. This proof allows the possibility that the elements of F are represented by tuples in $H(F)$ of no fixed arity. The second proof is direct, giving explicit finitary existential formulas that define the interpretation, with elements of F represented by triples in $H(F)$. Looking at what was used to arrive at this parameter-free interpretation of F in $H(F)$, we give general conditions sufficient to eliminate parameters from interpretations. (shrink)

In the mid-1990s, the company Human Genome Sciences submitted three potentially revolutionary patent applications to the US Patent and Trademark Office, each of which claimed the entire genome sequence of a microorganism. The patent examiners, however, objected to these applications, and after negotiation they were eventually re-written to resemble more traditional gene patents. In this paper, which is based on a study of the patent examination files, we examine the reasons why these patent applications were unsuccessful in their original form. (...) We show that with respect to utility and novelty, the patent attorney’s case built on an understanding of the genome as a computer-related invention. The patent examiners did not object to the patenting of complete genome sequences as computer-related inventions on moral grounds or in terms of the distinction between a discovery and an invention. Instead, their objections were based on classification, rules and procedure. Rather than patent examiners having a notion of a genome that should not be patented, the notion of a ‘genome’, and the ways in which it may be different from a ‘gene’, played no role in these debates. We discuss the consequences of our findings for patenting in the biosciences. (shrink)

Atension exists in Foucault’s writings concerning his alleged antihumanism. While his early archaeological period is taken to sediment his post-structuralist, anti-humanist methodology, Foucault still lets humanism creep into his writing, particularly in his later work. In the spirit of charity, I consider two ways of reading Foucault to overcome this tension: either emphasize his post-structuralism over his humanist leanings or take his humanism seriously and minimize his post-structuralism. After analysis, neither reading is adequate. I conclude that Foucault’s oeuvre is best (...) understood simply as incongruent, contrary to his own remarks to unify his writings and methodologies. (shrink)

This article examines the three works of Jeremy Bentham on capital punishment dating Irom 1775, 1809, and 1831. Besides Hugo Bedau’s analysis of Bentham’s 1775 and 1831 works and James Crimmins’s assessment of Bentham’s 1809 work, little attention has been paid to his abolitionist arguments on this contentious issue. I review some of the developments in Bentham’s position, noting where the later work corrects some deficiencies in the earlier work, and I assess the cogency of the position as it evolves. (...) I concentrate on deterrence and irremissibility, though I also comment on his discussion of popularity in his 1831 address and his 1775 essay.Cet article se penche sur les trois textes qu’a écrits Jeremy Bentham sur la peine capitale (ils datent de 1775, 1809 et 1831). Hormis l’analyse qu’a faite Hugo Bedau des textes de 1775 et 1831 et la prise en compte, par Benjamin Crimmins, de celui de 1809, la position abolitionniste de Bentham sur cette question controversée ne s’est méritée que très peu d’attention de la part des spécialistes. Je passe en revue le développement de quelques-unes des argumentations de Bentham, en soulignant sur quels points les ouvrages publiés plus tard corrigent certains délauts de ceux publiés auparavant, et j’évalue la cohérence de son argumentation dans le cadre de cette évolution. Je concentre mon attention sur les notions de dissuasion et d’irrémissibilité, tout en commentant le traitement qu’il fait de la question de lapopularité dans son discours de 1831 et dans son texte de 1775. (shrink)