The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact support@jstor.org.
According to Peter Singer, virtually all of us would be forced by adequate reflection on our own convictions to embrace a radical conclusion about giving. The following principle, he says, is “surely undeniable” -- at least once we reflect on secure convictions concerning rescue, as in his famous case of the drowning toddler.
Defining the degree of categoricity of a computable structure ${\mathcal{M}}$ to be the least degree d for which ${\mathcal{M}}$ is d-computably categorical, we investigate which Turing degrees can be realized as degrees of categoricity. We show that for all n, degrees d.c.e. in and above 0 (n) can be so realized, as can the degree 0 (ω).
Fried and Kollár constructed a fully faithful functor from the category of graphs to the category of fields. We give a new construction of such a functor and use it to resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure${\cal S}$, there exists a countable field${\cal F}$of arbitrary characteristic with the same essential computable-model-theoretic properties as${\cal S}$. Along the way, we develop a new “computable category theory”, and prove that our functor and (...) its partially defined inverse are computable functors. (shrink)
This review both praises Richard Miller's book--a thoughtful, judicious, and comprehensive analysis of bioethics for the pediatric age group, notably the first effort worthy of the name--and points out the work still to be done in this area, work firmly based in and illuminated by Miller's ground-breaking thesis. Specifically, the book rightly compels us to recognize obligations of beneficence as primary and to refocus on the child's basic interests, rather than putative "best" interests. There remains much to be done in (...) defining and discerning basic interests and in distinguishing whose interests are on the table when decisions are being made for seriously ill and dying children. (shrink)
Past criticisms to the contrary, methodological individualism in the social sciences is neither trivial nor obviously false. In the style of Weber's sociology, it restricts the ultimate explanatory repertoire of social science to agents' reasons for action. Although this restriction is not obviously false, it ought not to be accepted, at present, as a regulative principle. It excludes, as too far-fetched to merit investigation, certain hypotheses concerning the influence of objective interests on large-scale social phenomena. And these hypotheses, in fact, (...) merit empirical consideration. The attractiveness of methodological individualism as a regulative principle depends on two independent confusions, the conflation of an agent's reasons for action with the beliefs, needs, desires, or goals which are the reasons why he acted as he did, and the identification of explaining a phenomenon and describing its causes. (shrink)
We exploit properties of certain directed graphs, obtained from the families of sets with special effective enumeration properties, to generalize several results in computable model theory to higher levels of the hyperarithmetical hierarchy. Families of sets with such enumeration features were previously built by Selivanov, Goncharov, and Wehner. For a computable successor ordinal α, we transform a countable directed graph into a structure such that has a isomorphic copy if and only if has a computable isomorphic copy.A computable structure is (...) categorical if for all computable isomorphic copies of , there is an isomorphism from onto , which is . We prove that for every computable successor ordinal α, there is a computable, categorical structure, which is not relatively categorical. This generalizes the result of Goncharov that there is a computable, computably categorical structure, which is not relatively computably categorical.An additional relation R on the domain of a computable structure is intrinsically on if in all computable isomorphic copies of , the image of R is . We prove that for every computable successor ordinal α, there is an intrinsically relation on a computable structure, which not relatively intrinsically . This generalizes the result of Manasse that there is an intrinsically computably enumerable relation on a computable structure, which is not relatively intrinsically computably enumerable.The dimension of a structure is the number of computable isomorphic copies, up to isomorphisms. We prove that for every computable successor ordinal α and every n≥1, there is a computable structure with dimension n. This generalizes the result of Goncharov that there is a structure of computable dimension n for every n≥1.Finally, we prove that for every computable successor ordinal α, there is a countable structure with isomorphic copies in just the Turing degrees of sets X such that relative to X is not . In particular, for every finite n, there is a structure with isomorphic copies in exactly the non- Turing degrees. This generalizes the result obtained by Wehner, and independently by Slaman, that there is a structure with isomorphic copies in exactly the nonzero Turing degrees. (shrink)
Conservatives and liberals disagree sharply on matters of morality and public policy. We propose a novel account of the psychological basis of these differences. Specifically, we find that conservatives tend to emphasize the intrinsic value of actions during moral judgment, in part by mentally simulating themselves performing those actions, while liberals instead emphasize the value of the expected outcomes of the action. We then demonstrate that a structural emphasis on actions is linked to the condemnation of victimless crimes, a distinctive (...) feature of conservative morality. Next, we find that the conservative and liberal structural approaches to moral judgment are associated with their corresponding patterns of reliance on distinct moral foundations. In addition, the structural approach uniquely predicts that conservatives will be more opposed to harm in circumstances like the well-known trolley problem, a result which we replicate. Finally, we show that the structural approaches of conservatives and liberals are partly linked to underlying cognitive styles. Collectively, these findings forge a link between two important yet previously independent lines of research in political psychology: cognitive style and moral foundations theory. (shrink)
In a wide-ranging inquiry Richard W. Miller provides new resources for coping with the most troubling types of moral conflict: disagreements in moral conviction, conflicting interests, and the tension between conscience and desires. Drawing on most fields in philosophy and the social sciences, including his previous work in the philosophy of science, he presents an account of our access to moral truth, and, within this framework, develops a theory of justice and an assessment of the role of morality in rational (...) choice. In Miller's view, we are often in a position to claim that our moral judgments are true descriptions of moral facts. But others, relying on contrary ways of moral learning, would reject truths that we are in a position to assert, in dissent that does not depend on irrationality or ignorance of relevant evidence or arguments. With this mixed verdict on moral realism, Miller challenges many received views of rationality, scientific method, and the relation between moral belief and moral choice. In his discussion of justice, Miller defends the adequacy, for modern political choices, of a widely shared demand that institutions be freely and rationally acceptable to all. Drawing on social research and economic theories, he argues that this demand has dramatically egalitarian consequences, even though it is a premise of liberals and conservatives alike. In the final chapters, Miller investigates the role and limits of morality in the choice of conduct, arguing for new perspectives on reason and impartiality. (shrink)
The focus of hydrocarbon exploration has now moved into frontier regions where structural complexity, heterogeneous overburden, and hydrocarbon system fundamentals are significant challenges requiring an integrated exploration approach. Three-dimensional controlled-source electromagnetic anisotropic resistivity imaging is emerging as a technique to combine with seismic imaging in such regions. However, the typically reconstructed horizontal resistivity [Formula: see text] and vertical resistivity [Formula: see text] models often have conflicting depth structures that are difficult to explain in terms of subsurface geology. It is highly (...) desirable to reduce ambiguity or subjectivity in depth interpretation of [Formula: see text] and [Formula: see text] models and also achieve comparability with other coincidentally located subsurface models. We have developed a workflow for integrating information from seismic well-based inversion, interpreted seismic horizons, and resistivity well logs in a cross-gradient-guided simultaneous 3D CSEM inversion for geologically realistic [Formula: see text] and [Formula: see text] models whose parameter estimates for a selected reservoir interval can then be better optimized to aid reservoir characterization. We developed our workflow using exploration data from a complex fold-thrust belt. We found that the integrated cross-gradient approach led to [Formula: see text] and [Formula: see text] models that have a common depth structure, are consistent with seismic and resistivity logs, and are hence less ambiguous for geologic interpretation and reservoir parameter estimation. (shrink)
This essay critically explores resources and reasons for the study of culture in religious ethics, paying special attention to rhetorics and genres that provide an ethics of ordinary life. I begin by exploring a work in cultural anthropology that poses important questions for comparative and cultural inquiry in an age alert to "otherness," asymmetries of power, the end of value-neutrality in the humanities, and the formation of identity. I deepen my argument by making a foundational case for the importance of (...) culture as a topic of normative analysis through a discussion of the emotions as cultural artifacts. To illustrate how cultural analysis can inform religious ethics, I turn to works by Wayne Meeks, Margaret Trawick, and Charles Taylor. I conclude by sketching some implications of a "cultural turn" for future work in religious ethics. (shrink)
G. A. Cohen incisively argued that our judgments of social justice should fit our convictions about how to interact with others in our personal lives. Ironically, the ordinary morality of cooperation invoked in his last book undermines his favored principle of equality, and supports John Rawls' reliance on a relevantly impartial choice promoting appropriate fundamental interests as a basis for distributive standards. His further objections to Rawls' account of distributive justice neglect the role of social relations in establishing the proper (...) scope of that impartiality and the moral force of Rawls' taxonomy of non-ideal societies. In contrast, the powerful evocation of goods of community at the end of Cohen's last book points to a genuine inadequacy. Conscientious fellow-citizens must take account of the impact of their political choices on options for sharing and caring. In finding a proper balance between these goods and competing individualist concerns, the original position is of too little use to sustain Rawls' assessment of his conception of justice as complete. In the face of our strong moral convictions about how to live together, both Cohen's luck egalitarianism and Rawls' barriers between aspirations to community and political choice must give way. (shrink)
Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor steps are determined by standard register machine commands. At limit times register contents are defined by appropriate limit operations. In this paper, we examine the ITRMs introduced by the third and fourth author (Koepke and Miller in Logic and Theory of Algorithms LNCS, pp. 306–315, 2008), where a register content at a limit time is set (...) to the lim inf of previous register contents if that limit is finite; otherwise the register is reset to 0. The theory of these machines has several similarities to the infinite time Turing machines (ITTMs) of Hamkins and Lewis. The machines can decide all ${\Pi^1_1}$ sets, yet are strictly weaker than ITTMs. As in the ITTM situation, we introduce a notion of ITRM-clockable ordinals corresponding to the running times of computations. These form a transitive initial segment of the ordinals. Furthermore we prove a Lost Melody theorem: there is a real r such that there is a program P that halts on the empty input for all oracle contents and outputs 1 iff the oracle number is r, but no program can decide for every natural number n whether or not ${n \in r}$ with the empty oracle. In an earlier paper, the third author considered another type of machines where registers were not reset at infinite lim inf’s and he called them infinite time register machines. Because the resetting machines correspond much better to ITTMs we hold that in future the resetting register machines should be called ITRMs. (shrink)
We use the Low Basis Theorem of Jockusch and Soare to show that all computable algebraic fields are d-computably categorical for a particular Turing degree d with d' = θ", but that not all such fields are 0'-computably categorical. We also prove related results about algebraic fields with splitting algorithms, and fields of finite transcendence degree over ℚ.
Did the Gulf War defend moral principle or Western oil interests? Is violent pornography an act of free speech or an act of violence against women? In _Casuistry and Modern Ethics_, Richard B. Miller sheds new light on the potential of casuistry—case-based reasoning—for resolving these and other questions of conscience raised by the practical quandaries of modern life. Rejecting the packaging of moral experience within simple descriptions and inflexible principles, Miller argues instead for identifying and making sense of the ethically (...) salient features of individual cases. Because this practical approach must cope with a diverse array of experiences, Miller draws on a wide variety of diagnostic tools from such fields as philosophy of science, legal reasoning, theology, literary theory, hermeneutics, and moral philosophy. Opening new avenues for practical reasoning, Miller's interdisciplinary work will challenge scholars who are interested in the intersections of ethics and political philosophy, cultural criticism, and debates about method in religion and morality. (shrink)
The United States has had a moral duty, at least since the end of 2010, actively to pursue negotiations with the Taliban and Pakistan to achieve a political settlement, conceding control of the Pashtun countryside to the Taliban.
This paper critically assesses three claims on behalf of the Iraq war made by the Bush administration and by various defenders of the war. Then it steps back from the specifics of these three rationales to ask whether they are in fact of the same sort.
It is a truism that some industries are controversial either because the processes employed or the resulting products, for instance, can potentially harm the well-being of people. The controversy that surrounds certain industries can sharply polarise public opinion and debate. In this article, we employ legitimacy theory and morality policy to show how one industry sector (the electronic gaming machine sector as part of the wider gambling industry) is subject to this reaction. We suggest that the difficulty in establishing legitimacy (...) surrounding CSR practices in this sector is related to morality policy, whereby ideology and personal values play important roles in dividing opinion. Thus, gambling is often framed as an activity that is morally and ethically problematic. To show how this can manifest, we examine the veracity of two state-funded studies in Australia used in the development of gambling policy and their subsequent adoption in academic research. We highlight methodological, analytical and reporting issues in these studies that normally should be identified by those using such findings. The significance is that when morality policy and conflict surrounding legitimacy are involved, then it can explain why adherence to normative research standards is potentially lowered. Our theoretical posture leads us to further speculate that the adoption and communication of CSR in electronic gambling will be contested by opponents of the industry. (shrink)
We characterize the structure of computably categorical trees of finite height, and prove that our criterion is both necessary and sufficient. Intuitively, the characterization is easiest to express in terms of isomorphisms of (possibly infinite) trees, but in fact it is equivalent to a Σ03-condition. We show that all trees which are not computably categorical have computable dimension ω. Finally, we prove that for every n≥ 1 in ω, there exists a computable tree of finite height which is δ0n+1-categorical but (...) not δ0n-categorical. (shrink)
Slaman and Wehner have constructed structures which distinguish the computable Turing degree 0 from the noncomputable degrees, in the sense that the spectrum of each structure consists precisely of the noncomputable degrees. Downey has asked if this can be done for an ordinary type of structure such as a linear order. We show that there exists a linear order whose spectrum includes every noncomputable Δ 0 2 degree, but not 0. Since our argument requires the technique of permitting below a (...) Δ 0 2 set, we include a detailed explanation of the mechanics and intuition behind this type of permitting. (shrink)
