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)

The paper presents a framework to realise “meaningful human control” over Automated Driving Systems. The framework is based on an original synthesis of the results of the multidisciplinary research project “Meaningful Human Control over Automated Driving Systems” lead by a team of engineers, philosophers, and psychologists at Delft University of the Technology from 2017 to 2021. Meaningful human control aims at protecting safety and reducing responsibility gaps. The framework is based on the core assumption that human persons and institutions, not (...) hardware and software and their algorithms, should remain ultimately—though not necessarily directly—in control of, and thus morally responsible for, the potentially dangerous operation of driving in mixed traffic. We propose an Automated Driving System to be under meaningful human control if it behaves according to the relevant reasons of the relevant human actors (tracking), and that any potentially dangerous event can be related to a human actor (tracing). We operationalise the requirements for meaningful human control through multidisciplinary work in philosophy, behavioural psychology and traffic engineering. The tracking condition is operationalised via a proximal scale of reasons and the tracing condition via an evaluation cascade table. We review the implications and requirements for the behaviour and skills of human actors, in particular related to supervisory control and driver education. We show how the evaluation cascade table can be applied in concrete engineering use cases in combination with the definition of core components to expose deficiencies in traceability, thereby avoiding so-called responsibility gaps. Future research directions are proposed to expand the philosophical framework and use cases, supervisory control and driver education, real-world pilots and institutional embedding. (shrink)

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)

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)

The research ethics committee is a key element of university administration and has gained increasing importance as a review mechanism for those institutions that wish to conduct responsible...

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)

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)

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)

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)

This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.

This article argues for the dogmatic rather than just ethical significance of the biotechnological enhancement of human beings. It begins by reflecting on the close theological connections between salvation, sanctification, and affective and bodily transformation in light of the fact that affects and desires are in principle manipulable through biotechnological enhancement. It then examines the implications of this observation for questions of moral responsibility, asking whether biotechnological enhancement can be viewed as a kind of means of grace. The conclusion argues (...) that theological reflection on the relationship between affects, soteriology and bioenhancement reveals limitations of the emphasis on embodiment in recent Christian theology. (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 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)

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)

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)

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)

Low mean fundamental frequency (F 0) in men’s voices has been found to positively influence perceptions of dominance by men and attractiveness by women using standardized speech. Using natural speech obtained during an ecologically valid social interaction, we examined relationships between multiple vocal parameters and dominance and attractiveness judgments. Male voices from an unscripted dating game were judged by men for physical and social dominance and by women in fertile and non-fertile menstrual cycle phases for desirability in short-term and long-term (...) relationships. Five vocal parameters were analyzed: mean F 0 (an acoustic correlate of vocal fold size), F 0 variation, intensity (loudness), utterance duration, and formant dispersion (D f , an acoustic correlate of vocal tract length). Parallel but separate ratings of speech transcripts served as controls for content. Multiple regression analyses were used to examine the independent contributions of each of the predictors. Physical dominance was predicted by low F 0 variation and physically dominant word content. Social dominance was predicted only by socially dominant word content. Ratings of attractiveness by women were predicted by low mean F 0, low D f , high intensity, and attractive word content across cycle phase and mating context. Low D f was perceived as attractive by fertile-phase women only. We hypothesize that competitors and potential mates may attend more strongly to different components of men’s voices because of the different types of information these vocal parameters provide. (shrink)

It was love at first sight when Jonathan Calvert saw the Matterhorn in 1953. Something in the way the mountain held sway over him inspired a lifelong passion for natural beauty and adventure. Over the next fifty years, Calvert climbed, hiked, trekked, sailed, kayaked, and dog-sledded in wild places across the globe, following his urge to know. And he hasn t quit yet. In July 2014, he will spend a month in Central Asia traveling the Silk Road through (...) the Pamirs and Tian Shan mountains. In 2015 Calvert returns to the Antarctic in a sailboat to kayak and camp. This book is a record of his adventures, told through memoir, journals, and photographs. Calvert has devoted his life to exploring the world and himself, and he has never gotten to the bottom of the wellspring that is curiosity. Calvert has walked in the footsteps of early explorers, camped above the clouds, come face-to-tusk with a walrus, and, within yards of a summit, talked down the inner voice that cajoled him to quit. He has stumbled into crevasses, kayaked in quiet waters above whales, suffered altitude sickness, and called his family via radio and cell phone relay from a precipitous ledge to say, I made it. Discovering early in life that striking out by himself got the job done best, Calvert is no stranger to singular travels and travails. Yes, he adventures with comrades roped in as a team, paddling together, or taking his turn at the ship s helm but ultimately the journey is one s own. Throughout his life, Calvert has jumped at chance after chance, among them: climbing Alaska s Mount McKinley, Argentina s Aconcagua, and mountains in Switzerland, France, Tanzania, and Nepal; trekking in Tibet, Bhutan, England, and Pakistan; and kayaking the coast of Greenland and the Zhupanova River in the Kamchatka Peninsula. Where s that? Explore these pages, and then you will know.". (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.

ABSTRACT This article examines the resonance of Robert Owen’s ideas in the field of women’s rights with the view to determining the extent of their dissemination in transnational networks. The article focuses on the life and work of Anna Doyle Wheeler, which offers an important, though understudied, case for exploring early feminist circles, and, as she was a friend of Owen’s and one of his earliest supporters from the 1820s onwards, the impact of Owen’s ideas within these circles. The article (...) traces Wheeler’s discovery of Owen’s system and examines how Wheeler fused Owen’s co-operative ideals with calls for women’s emancipation. It analyses her famous Appeal of One Half of the Human Race (1825), a work that urged women to engage ardently in the battle for their political and civil rights, and to join in the establishment of co-operative communities. The article concludes by examining how Wheeler attempted to articulate and put into practice these political and co-operative principles through her involvement in the English, French and Irish co-operative movements, and through her association with Désirée Véret and the contributors to the Tribune des femmes. (shrink)

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)

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)

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)

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)

Debates about controversial comedy are rife in public discourse. However, despite a great interest in wider issues surrounding freedom of expression, political philosophers have had curiously little to say about comedy. This is a costly omission because in mainstream public debates, many of the worries about the potential harms of comedy are often confused or conflated, and both the defences of comedians to use controversial material and calls for censorship of such material are usually under-theorised. This paper takes a step (...) towards correcting this oversight by explaining the potential harms of comedy and identifying who should be held responsible for these harms. By transposing existing work on hate speech, three harms of comedy are diagnosed: that it can cause status harms, that it can silence speakers, and that it can motivate violence. Using linguistic theory and the philosophy of language, the paper argues that often, it is audience members and third parties who ought to be held morally responsible for these harms, and therefore, that comedians are not usually under moral duties to modify their comedic expression, even if it is harmful. (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.

The text presents the results of a survey among 58 owners or managers of commercial companies that have sustainably implemented an environmental management system through their ISO 14001 certification. The study of management representatives is based on the understanding that business organizations play the role of intermediaries in environmental policy and the potential change of their behavior multiplies the effects of the interventions on the behavior of others - business partners, employees, and consumers. The data can be used to explain (...) the real processes of pro-environmental policies in the country and improve them taking into account the established barriers and obstacles to the pro-environmental behavior of the studied group. (shrink)

The filial relationship between Christian ethics and Comparative Religious Ethics (CRE) need not be perniciously distortive and can be salutary for comparative work. I suggest that the suspicions about CRE as a disguised form of a “Christian ethical enterprise” are overstated and that we can appreciate the value of the legacy of Christian ethics for comparative work in the focal themes of emancipatory criticism and common morality. Both of these themes, even if influenced by Christian ethics, reflect more universal social‐moral (...) problems that can be discerned in cross‐cultural contexts. (shrink)

Globalization is being celebrated in many circles as a distinctive achievement of our age, drawing peoples and societies more closely together and creating far greater wealth than any previous generations ever knew. While the first of these assertions is correct in the sense that societies and cultures are colliding, hitherto relatively closed horizons are opening up, and spaces and time are compressing, the second deserves critical interrogations. Using Africa's experience with globalization as a case study, this article argues that globalization (...) be understood as an emerging preference for certain institutional and policy practices that are creating and coercively imposing pervasive but avoidable conditions of material deprivations on many societies. The article defends a motivational rationale anchored in the normative vision of socio-economic and development rights as a way to mitigate the deleterious effects of unguarded globalization. (shrink)

The violent encounter between Africans and the forces of globalization raises the question of whether Africans should capitulate to these forces or seek to morally transform them, notwithstanding the uncertainty of achieving success. This essay argues that an exclusively existentialist interpretation of the African predicaments is inadequate because it erects a false dichotomy between African religious and moral sensibilities. It proposes instead an ethic of responsibility that affirms the interdependence of not only these two realms of life, but also of (...) communal well-being and individual's subjectivity. (shrink)

Human dignity, even when analyzed through the lens of human rights, has received surprisingly little attention in the Journal of Religious Ethics, in contrast to a resurgent global interest in it. This article examines some possible reasons for this diminutive interest and makes a case for dignity's integration into the mainstream of religious ethics scholarship. A social conception of human dignity understands it as a conferment that entitles its holder to certain respectful treatments unavailable to those without it. As a (...) naturalistic conception, human dignity assumes certain features to be inherent in human nature. An emancipatory theory of dignity offers a fuller accounting of the concept as it is informed by a grassroots human rights praxis and social movements across a spectrum of historical periods and cultural and political contexts. (shrink)

Those who study unique events and processes cannot manipulate the world to ‘test’ theories, to ensure conclusions are rational, as falsificationism prescribes. This has left historical sociologists and kindred researchers to use hermeneutics, forms of counterfactual reasoning, and covering laws, but these techniques do not ensure explanations are accountable to the object of inquiry. I repurpose the falsificationist principle of negativity to serve rational theoretical redescriptions of this class of objects. We must work in a theoretical medium, as the main (...) criticism of falsificationism maintains. Theoretical prejudices can nevertheless be held in check, making space for new conclusions, via the double break characteristic of scientific reflexivity. A directional dynamic toward rational explanations can then result by starting with negative cases, which inherently bring case-theory misfits into focus, and applying immanent critique to cycle from worse to better such fits. This allows us to manipulate our theories to ‘test’ the world. (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)

Second Life is a free, three-dimensional, multi-user, online virtual world program created in 2003 by Linden Research Inc. In this paper, I recount the Introduction to Philosophy course I taught in Second Life for the University of Wisconsin-Whitewater and address five areas of interest: (1) traditional vs. non-traditional learning environments, (2) communication, (3) illustrative props, (4) student feedback, and (5) and potential concerns. My conclusion is that philosophy courses can be taught online in Second Life effectively and that philosophy instructors (...) need to be more aware of the educational possibilities of Second Life as education becomes increasingly more digital. (shrink)

We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and several other problems related to computing isomorphisms. These other problems include Scott analysis (in the form of back-and-forth relations), jump hierarchies, and computing descending sequences in linear orders.