For [Formula: see text], the coarse similarity class of [Formula: see text], denoted by [Formula: see text], is the set of all [Formula: see text] such that the symmetric difference of [Formula: see text] and [Formula: see text] has asymptotic density [Formula: see text]. There is a natural metric [Formula: see text] on the space [Formula: see text] of coarse similarity classes defined by letting [Formula: see text] be the upper density of the symmetric difference of [Formula: see text] and (...) [Formula: see text]. We study the metric space of coarse similarity classes under this metric, and show in particular that between any two distinct points in this space there are continuum many geodesic paths. We also study subspaces of the form [Formula: see text] where [Formula: see text] is closed under Turing equivalence, and show that there is a tight connection between topological properties of such a space and computability-theoretic properties of [Formula: see text]. We then define a distance between Turing degrees based on Hausdorff distance in the metric space [Formula: see text]. We adapt a proof of Monin to show that the Hausdorff distances between Turing degrees that occur are exactly [Formula: see text], [Formula: see text], and [Formula: see text], and study which of these values occur most frequently in the senses of Lebesgue measure and Baire category. We define a degree [Formula: see text] to be attractive if the class of all degrees at distance [Formula: see text] from [Formula: see text] has measure [Formula: see text], and dispersive otherwise. In particular, we study the distribution of attractive and dispersive degrees. We also study some properties of the metric space of Turing degrees under this Hausdorff distance, in particular the question of which countable metric spaces are isometrically embeddable in it, giving a graph-theoretic sufficient condition for embeddability. Motivated by a couple of issues arising in the above work, we also study the computability-theoretic and reverse-mathematical aspects of a Ramsey-theoretic theorem due to Mycielski, which in particular implies that there is a perfect set whose elements are mutually [Formula: see text]-random, as well as a perfect set whose elements are mutually [Formula: see text]-generic. Finally, we study the completeness of [Formula: see text] from the perspectives of computability theory and reverse mathematics. (shrink)

We say that A≤LRB if every B-random set is A-random with respect to Martin–Löf randomness. We study this relation and its interactions with Turing reducibility, classes, hyperimmunity and other recursion theoretic notions.

Adler has skillfully focussed the extensive research of his Institute for Philosophical Research into this work in philosophical anthropology and has come up with a working framework within which to discuss the question of man's comparative identity vis-à-vis the other members of the natural universe. The comparative question approach is methodologically behavioristic in the sense that it eschews appeal to evidence drawn from man's interior life, from his presence to himself in consciousness, and erects hypotheses about man's sameness and/or difference, (...) in degree and/or kind, from other things solely on the basis of man's similar or unique behavior. The comparative question is a "mixed-question" in the sense that it is answerable only on the basis of scientific evidence and philosophical argument. On this basis Adler thinks that it is at present decidable that man differs in kind from all other things, especially animals; the primary evidence here is man's unique behavior as a language-user and, hence, concept-employer. The question remains whether this is a radical or superficial difference in kind. The latter would be the case if man's use of concepts could be exhaustively explained in neurophysiological terms or if artificial intelligence is perfected to the point where a robot could pass Turing's conversational test. If success were not forthcoming in either of these enterprises, the traditional notion that there is an immaterial dimension to man's nature would be strengthened. Adler is sympathetic to an Aristotelian version of the traditional answer to the comparative question, but he is careful not to let his sympathies interfere with the exposition of the alternatives; and he constantly reminds the reader that the decision between the radical-difference-in-kind and the superficial-difference-in-kind alternatives is very much an open question. Many useful distinctions are made and certainly the literature is more extensively and meaningfully covered than anywhere else since Feigl's "The 'Mental' and the 'Physical'." Taxonomy does, however, cloud a few important issues--consider the possibility that methodological behaviorism is a logically dependent approach, presupposing the standpoint of interiority. And criticism is often sacrificed to coverage. But the book fulfills the intention of the author and could function well as a survey introduction to philosophical anthropology.--E. A. R. (shrink)

This paper is an experiment in Leibnizian analysis. The reader will recall that Leibniz considered all true sentences to be analytically so. The difference, on his account, between necessary and contingent truths is that sentences reporting the former are finitely analytic; those reporting the latter require infinite analysis of which God alone is capable. On such a view at least two competing conceptions of entailment emerge. According to one, a sentence entails another when the set of atomic requirements for the (...) first is included in the corresponding set for the other; according to the other conception, every atomic requirement of the entailed sentence is underwritten by an atomic constituent of the entailing one. The former conception is classical on the twentieth century understanding of the term; the latter is the one we explore here. Now if we restrict ourselves to the formal language of the propositional calculus, every sentence has a finite analysis into its conjunctive normal form. Semantically, then, every sentence of that language can be represented as a simple hypergraph, H, on the powerset of a universe of states. Entailment of the sort we wish to study can be represented as a known relation, subsumption between hypergraphs. Since the lattice of hypergraphs thus ordered is a DeMorgan lattice, the logic of entailment thus understood is the familiar system, FDE of first-degree entailment. We observe that, extensionalized, the relation of subsumption is itself a DeMorgan Lattice ordered by higher-order subsumption. Thus the semantic idiom that hypergraph-theory affords reveals a hierarchy of lattices capable of representing entailments of every finite degree. (shrink)

The computable Lipschitz reducibility was introduced by Downey, Hirschfeldt and LaForte under the name of strong weak truth-table reducibility [6]). This reducibility measures both the relative randomness and the relative computational power of real numbers. This paper proves that the computable Lipschitz degrees of computably enumerable sets are not dense. An immediate corollary is that the Solovay degrees of strongly c.e. reals are not dense. There are similarities to Barmpalias and Lewis’ proof that the identity bounded Turing (...) degrees of c.e. sets are not dense [2]), however the problem for the computable Lipschitz degrees is more complex. (shrink)

We consider the computably enumerable sets under the relation of Q-reducibility. We first give several results comparing the upper semilattice of c.e. Q-degrees, RQ, Q, under this reducibility with the more familiar structure of the c.e. Turing degrees. In our final section, we use coding methods to show that the elementary theory of RQ, Q is undecidable.

We consider the set of jumps below a Turing degree, given by JB={x':x≤a}, with a focus on the problem: Which recursively enumerable degrees a are uniquely determined by JB? Initially, this is motivated as a strategy to solve the rigidity problem for the partial order R of r.e. degrees. Namely, we show that if every high2 r.e. degree a is determined by JB, then R cannot have a nontrivial automorphism. We then defeat the strategy—at least in the (...) form presented—by constructing pairs a0, a1 of distinct r.e. degrees such that JB=JB within any possible jump class {x:x'=c}. We give some extensions of the construction and suggest ways to salvage the attack on rigidity. (shrink)

The book is designed as an introductory text in the history of pre-Christian religion. The religions are examined in their socio-historical context and are treated as religions in the broad sense in which they provided total frameworks of meaning for a particular culture. The religions treated are the standard ones: Sumerian, Babylonian, Egyptian, Hebraic, and Greek. Loew's technique is to examine in detail the literature of each culture and to reconstruct from it the sacred space in which the people of (...) that culture must have moved. His categories of myth, sacred history, and philosophy are meant to be more or less adequate characterizations of the shape of the expression of the sacred in the Sumero-Babylonian and Egyptian, Hebraic, and Greek cultures respectively. Of course there is overlap, e.g., the obviously mythic roots of Greek literature. Loew is best on the Sumero-Babylonian and Egyptian religions. When he comes to the Hebraic religions he oversimplifies the picture to a considerable degree, as is the case also with his treatment of the Greeks. But this is perhaps a justifiable procedure in an introductory text. Each chapter concludes with a brief but helpfully annotated bibliography.--E. A. R. (shrink)

Downey and Remmel have completely characterized the degrees of c.e. bases for c.e. vector spaces (and c.e. fields) in terms of weak truth table degrees. In this paper we obtain a structural result concerning the interaction between the c.e. Turing degrees and the c.e. weak truth table degrees, which by Downey and Remmel's classification, establishes the existence of c.e. vector spaces (and fields) with the strong antibasis property (a question which they raised). Namely, we construct (...) c.e. sets $B<_{\rm T}A$ such that the c.e. W-degrees below that of A are disjoint from the nonzero c.e. T-degrees below that of A and comparable to that of B. (shrink)

A Turing degree d is homogeneous bounding if every complete decidable (CD) theory has a d-decidable homogeneous model A, i.e., the elementary diagram De (A) has degree d. It follows from results of Macintyre and Marker that every PA degree (i.e., every degree of a complete extension of Peano Arithmetic) is homogeneous bounding. We prove that in fact a degree is homogeneous bounding if and only if it is a PA degree. We do this by showing that there is (...) a single CD theory T such that every homogeneous model of T has a PA degree. (shrink)

Background. The concept of empathy in students has gained significant attention in medical education. Whether implementing formal educational interventions to promote long-term and effective empathy levels leads to sustained increased empathy levels in students, is however less clear. Objectives. The study aimed to evaluate the trajectory of medical students’ self-perceived empathy levels during their 6-year MB ChB degree. Methods. A longitudinal, prospective study was conducted over 4 years. A cohort of 292 medical students was invited to participate. Participants completed the (...) Jefferson Scale of Empathy for Students (JSE-S) at three intervals during their studies. The students attended two workshops related to empathic patient interactions during this time. The JSE-S mean score by age and gender was compared, making use of a linear regression model. Results. A total of 119 students completed the study. Students’ total empathy levels were similar during the first and the last measuring point (110), but there was a significant rise in the intermediate measuring point (113.3). When the male and female cohorts’ scores were interpreted separately, both genders demonstrated a similar pattern to the total score, although females’ JSE-S scores were higher than the males. Conclusion. The results of the study confirm that educational interventions can increase students’ self-perceived empathy levels; however, we suggest that students require reinforcement and multiple opportunities to practise and observe empathic communication with patients to sustain high levels of empathy. Follow-up sessions to specifically target the promotion of empathy should be implemented; otherwise the long-term effect of educational interventions might be limited. (shrink)

Most growth models for complex networks consider networks comprising a single connected block or island, which contains all the nodes in the network. However, it has been demonstrated that some large complex networks have more than one island, with an island size distribution obeying a power-law function Is~s-α. This paper introduces a growth model that considers the emergence of islands as the network grows. The proposed model addresses the following two features: the probability that a new island is generated decreases (...) as the network grows and new islands are created with a constant probability at any stage of the growth. In the first case, the model produces an island size distribution that decays as a power-law Is~s-α with a fixed exponent α=1 and in-degree distribution that decays as a power-law Qi~i-γ with γ=2. When the second case is considered, the model describes island size and in-degree distributions that decay as a power-law with 2<α<∞ and 2<γ<∞, respectively. (shrink)

We show that the Π 4 -theory of the partial order of recursively enumerable weak truth-table degrees is undecidable, and give a new proof of the similar fact for r.e. T-degrees. This is accomplished by introducing a new coding scheme which consists in defining the class of finite bipartite graphs with parameters.

We show that the $\Pi_4$-theory of the partial order of recursively enumerable weak truth-table degrees is undecidable, and give a new proof of the similar fact for r.e. T-degrees. This is accomplished by introducing a new coding scheme which consists in defining the class of finite bipartite graphs with parameters.

Martin [4, Theorems 1 and 2] proved that a Turing degree a is the degree of a maximal set if, and only if, a′ = 0″. Lachlan has shown that maximal sets have minimal many-one degrees [2, §1] and that every nonrecursive r.e. Turing degree contains a minimal many-one degree [2, Theorem 4]. Our aim here is to show that any r.e. Turing degree a of a maximal set contains an infinite number of maximal sets whose (...) many-one degrees are pairwise incomparable; hence such Turing degrees contain an infinite number of distinct minimal many-one degrees. This theorem has been proved by Yates [6, Theorem 5] in the case when a = 0′. The need for this theorem first came to our attention as a result of work done by the author [3, Theorem 2.3]. There we looked at the structure / obtained from the recursive functions of one variable under the equivalence relation f ~ g if, and only if, f(x) = g(x) a.e., that is, for all but finitely many x ∈, where M is a maximal set, and M is its complement. We showed that / 1 ≡ / 2 if, and only if, 1 = m 2, i.e., 1. and 2 have the same many-one degree. However, it might be possible that some Turing degree of a maximal set contains exactly one many-one degree of a maximal set. Theorem 1 was proved to show that this was not the case, and hence that the theory of / is not an invariant of Turing degree. (shrink)

We study the global properties of [Formula: see text], the Turing degrees of the n-r.e. sets. In Theorem 1.5, we show that the first order of [Formula: see text] is not decidable. In Theorem 1.6, we show that for any two n and m with n < m, [Formula: see text] is not a Σ1-substructure of [Formula: see text].

Adherence to a few basic principles of textbook reading compilation have made this one of the more worthwhile introductory philosophy texts. In the first place, the editors have given lengthy and frequently complete texts. Anselm's Proslogium, Descartes' Meditations, Plato's Phaedo, and Kant's Prolegomena are given complete or nearly complete; there is a ninety-one page extract from Locke's Essay, over fifty pages of James and nearly forty pages from Whitehead. This still leaves room for ample primary material by Leibniz, Hume, and (...) Schopenhauer. The plan of the book is to frame the important primary text with intellectually contemporaneous discussion of the problems treated in the primary text, and then to bracket each section with a prologue and epilogue drawn—except in the final section where Plato has the last word—from twentieth-century literature relevant to the issues under discussion in each section. The authors are thus able to provide an historical and thematic introduction to philosophy, which together cannot help but impress the beginning student with the unity of philosophical experience. Obviously no single textbook will ever escape the need for supplementation; this one in particular will require those who would like their students to be exposed to more phenomenology and existentialism, and, to a lesser degree, analytical philosophy, to introduce additional reading. But Epstein and Kennedy have provided the basic skeleton to which may be added as much flesh as the instructor desires.—E. A. R. (shrink)

A large literature has grown up around the proposed use of ‘weak measurements’ to allegedly provide information about hidden ontological features of quantum systems. This paper attempts to clarify the fact that ‘weak measurements’ involve strong measurements on one member of an entangled system. The only thing ‘weak’ about such measurements is that the correlation established via the entanglement does not correspond to eigenstates of the ‘weakly measured observable’ for the remaining component system subject to the weak measurement. All observed (...) statistics are straightforwardly and easily predicted by standard quantum mechanics. Specifically, it is noted that measurement of the pointer steers the remaining degree of freedom into new states with new statistical properties—constituting a non-trivial disturbance. In addition, standard quantum mechanics readily allows us to conditionalize on a final state if we choose, so the ‘post-selection’ that features prominently in time-symmetric formulations is also equipment from standard quantum theory. Assertions in the literature that weak measurements leave a system negligibly disturbed, and/or that standard quantum theory is cumbersome for computing the predicted measurement results, are therefore unsupportable, and ontological claims based on such assertions need to be critically reassessed. (shrink)

Let d be a Turing degree containing differences of recursively enumerable sets (d.r.e.sets) and R[d] be the class of less than d r.e. degrees in whichd is relatively enumerable (r.e.). A.H.Lachlan proved that for any non-recursive d.r.e. d R[d] is not empty. We show that the r.e. degree defined by Lachlan for a d.r.e.set $D\in$ d is just the minimum degree in which D is r.e. Then we study for a given d.r.e. degree d class R[d] and show (...) that there exists a d.r.e.d such that R d] has a minimum element $>$ 0. The most striking result of the paper is the existence of d.r.e. degrees for which R[d] consists of one element. Finally we prove that for some d.r.e. d R[d] can be the interval [a,b] for some r.e. degrees a,b, a $<$ b $<$ d. (shrink)

Academic freedom has become the enemy of the individual professors working in colleges and universities across the United States. Despite its historical (and maybe even essential) roots in the First Amendment, contemporary case law has consistently shown that professors, unlike most members of society, have no rights to free speech on their respective campuses. (Ironically, this is especially true on our State campuses.) Outlined is the dramatic change in the history of the courts from recognizing “academic freedom” as a construct (...) needed to protect professors from the status quo, to the abuse of “academic freedom” appropriated to protect the institution from “undesirable” professorial actions such as politically incorrect speech or research. Klein warns all those in the academy to become familiar with this pernicious 180-degree turn in the use of the “academic freedom” construct. (shrink)

Lachlan observed that the infimum of two r.e. degrees considered in the r.e. degrees coincides with the one considered in the ${\Delta_2^0}$ degrees. It is not true anymore for the d.r.e. degrees. Kaddah proved in (Ann Pure Appl Log 62(3):207–263, 1993) that there are d.r.e. degrees a, b, c and a 3-r.e. degree x such that a is the infimum of b, c in the d.r.e. degrees, but not in the 3-r.e. degrees, as (...) a < x < b, c. In this paper, we extend Kaddah’s result by showing that such a structural difference occurs densely in the r.e. degrees. Our result immediately implies that the isolated 3-r.e. degrees are dense in the r.e. degrees, which was first proved by LaForte. (shrink)

We compare various notions of algorithmic randomness. First we consider relativized randomness. A set is n-random if it is Martin-Löf random relative to ∅. We show that a set is 2-random if and only if there is a constant c such that infinitely many initial segments x of the set are c-incompressible: C ≥ |x|-c. The ‘only if' direction was obtained independently by Joseph Miller. This characterization can be extended to the case of time-bounded C-complexity. Next we prove some results (...) on lowness. Among other things, we characterize the 2-random sets as those 1-random sets that are low for Chaitin's Ω. Also, 2-random sets form minimal pairs with 2-generic sets. The r.e. low for Ω sets coincide with the r.e. K-trivial ones. Finally we show that the notions of Martin-Löf randomness, recursive randomness, and Schnorr randomness can be separated in every high degree while the same notions coincide in every non-high degree. We make some remarks about hyperimmune-free and PA-complete degrees. (shrink)

We use some simple facts about the wtt-degrees of r.e. sets together with a construction to answer some questions concerning the join and meet operators in the r.e. degrees. The construction is that of an r.e. Turing degree a with just one wtt-degree in a such that a is the join of a minimal pair of r.e. degrees. We hope to illustrate the usefulness of studying the stronger reducibility orderings of r.e. sets for providing information about (...) Turing reducibility. (shrink)

Evolutionary Transitions in Individuality have been responsible for the major transitions in levels of selection and individuality in natural history, such as the origins of prokaryotic and eukaryotic cells, multicellular organisms, and eusocial insects. The integrated hierarchical organization of life thereby emerged as groups of individuals repeatedly evolved into new and more complex kinds of individuals. The Social Protocell Hypothesis proposes that the integrated hierarchical organization of human culture can also be understood as the outcome of an ETI—one that produced (...) a “cultural organism” from a substrate of socially learned traditions that were contained in growing and dividing social communities. The SPH predicts that a threshold degree of evolutionary individuality would have been achieved by 2.0–2.5 Mya, followed by an increasing degree of evolutionary individuality as the ETI unfolded. We here assess the SPH by applying a battery of criteria—developed to assess evolutionary individuality in biological units—to cultural units across the evolutionary history of Homo. We find an increasing agreement with these criteria, which buttresses the claim that an ETI occurred in the cultural realm. (shrink)

Stronger collaboration between government organizations (GOs), NGOs, and rural people has long been advocated as a means of enhancing the responsiveness, efficiency, and accountability of GOs and NGOs. This paper reviews the arguments and evidence for specific types of collaboration for sustainable agricultural development, setting it into the context of Korten's (1980) concept of “learning process.” Taking recent examples from Udaipur District in India, it reviews the experiences and potential of collaboration, arguing that, while informal interaction increases and enriches the (...) fabric of pluralist development, certain strategic decisions often require a degree of formality. These include decisions on the development of human resources — here both the users and providers of services. Moreover, human resource development (HRD) must be viewed in the context of the mandates, aspirations, and systems of accountability and rewards of the institutions concerned. These determine whether institutions develop and expand their own human resources or draw upon those of others by collaborating with them. Individuals engaged in these organizations can be more effectively induced to collaborate with others by combinations of flexibility and appropriate reward systems than they can be forced to do so by instructions or commands. Several conclusions follow: decisions to act together are unlikely to progress unless translated into concrete actions; authority to take local-level decisions in GOs needs strengthening if they are to provide the necessary flexibility; and, although collaboration should in principle be built on the comparative advantage of different types of organization, in practice, each will have to incorporate the skills of the other, at least to some level, if they are to communicate effectively. NGOs and GOs must also enhance their understanding of farmers' ability to make demands on external organizations. Edging towards collaboration is a delicate and painstaking process. Only if many of the above conditions are given due priority will early examples have something to offer to the numerous NGOs, GOs and international agencies wishing to learn from them. (shrink)

Let d be a Turing degree, R[d] and Q[d] denote respectively classes of recursively enumerable (r.e.) and all degrees in which d is relatively enumerable. We proved in Ishmukhametov [1999] that there is a degree d containing differences of r.e.sets (briefly, d.r.e.degree) such that R[d] possess a least elementm $>$ 0. Now we show the existence of a d.r.e. d such that R[d] has no a least element. We prove also that for any REA-degree d below 0 $'$ (...) the class Q[d] cannot have a least element and more generally is not bounded below by a non-zero degree, except in the trivial cases. (shrink)

Background The post-trial period is the time period after the end of study drug administration. It is unclear whether post-trial arrangements for patient surveillance are routinely included in study protocols and consents, and whether research ethics boards (REB) consider the post-trial period. Objectives The objective was to determine whether trial protocols and consent forms reviewed by the REB describe procedures for post-trial period surveillance. Methods An observational study of protocols of randomised trials of chronic therapies for cardiac conditions, approved by (...) the REB of two academic institutions affiliated with the University of Toronto in Canada (University Health Network and Mount Sinai Hospital) from 1995 to 2007. Plans for patient surveillance in the post-trial period described in the protocol or in the consent form before and after REB approval were recorded. Results 42 studies were identified including 18 heart failure and 15 coronary artery disease trials. Only four studies planned a clinical visit after trial termination, and an additional three planned a telephone contact after trial completion. Five trials submitted consent forms to the REB with a discussion of the post-trial period. Conclusions The majority of protocols and consent forms did not discuss plans for post-trial period surveillance. The post-trial period and the REB approval process could be improved by systematic follow-up being described in the protocol and consent form. The small number of trial protocols evaluated in the study may impair the degree to which the results can be generalised. (shrink)

This paper discusses the views of 17 healthcare practitioners involved with transplantation on the ethics of live liver donations . Donations between emotionally related donor and recipients increased the acceptability of an LLD compared with those between strangers. Most healthcare professionals disapproved of altruistic stranger donations, considering them to entail an unacceptable degree of risk taking. Participants tended to emphasise the need to balance the harms of proceeding against those of not proceeding, rather than calculating the harm-to-benefits ratio of donor (...) versus recipient. Participants’ views suggested that a complex process of negotiation is required, which respects the autonomy of donor, recipient and HCP. Although they considered that, of the three, donor autonomy is of primary importance, they also placed considerable weight on their own autonomy. Our participants suggest that their opinions about acceptable risk taking were more objective than those of the recipient or donor and were therefore given greater weight. However, it was clear that more subjective values were also influential. Processes used in live kidney donation were thought to be a good model for LLD, but our participants stressed that there is a danger that patients may underestimate the risks involved in LLD if it is too closely associated with LKD. (shrink)

Decisions about targeting medical assistance in humanitarian contexts are fraught with dilemmas ranging from non-availability of basic services, to massive demographic and epidemiological shifts, and to the threat of insecurity and evacuations. Aid agencies are obliged, due to capacity constraints and competing priorities, to clearly define the objectives and the beneficiaries of their actions. That aid agencies have to set limits to their actions is not controversial, but the process of defining the limits raises ethical questions. In MSF, frameworks for (...) resource allocation are subject to constant reflection and reiteration, and perspectives are sought at all levels, from implementers at the programme level to the operational directors at headquarters. The perspectives of the programmes staff hold considerable weight as they have the knowledge and experience with particular communities to assess the degree of vulnerability and need, and are also the people who ultimately have to give explanations to beneficiaries when changes or closures are going to be instituted. Humanitarian agencies have a responsibility to ensuring that their workers are prepared to reflect on these dilemmas, and challenge the status quo when it costs lives. (shrink)

A well-known theorem by Martin asserts that the degrees of maximal sets are precisely the high recursively enumerable degrees, and the same is true with ‘maximal’ replaced by ‘dense simple’, ‘r-maximal’, ‘strongly hypersimple’ or ‘finitely strongly hypersimple’. Many other constructions can also be carried out in any given high r. e. degree, for instance r-maximal or hyperhypersimple sets without maximal supersets . In this paper questions of this type are considered systematically. Ultimately it is shown that every conjunction (...) of simplicity- and non-extensibility properties can be accomplished, unless it is ruled out by well-known, elementary results. Moreover, each construction can be carried out in any given high r. e. degree, as might be expected. For instance, every high r. e. degree contains a dense simple, strongly hypersimple set A which is contained neither in a hyperhypersimple nor in an r-maximal set. The paper also contains some auxiliary results, for instance: every r. e. set B can be transformed into an r. e. set A such that A has no dense simple superset, the transformation preserves simplicity- or non-extensibility properties as far as this is consistent with , and A [TRIPLE BOND]TB if B is high, and A ≥TB otherwise. Several proofs involve refinements of known constructions; relationships to earlier results are discussed in detail. (shrink)

In this article we show that it is possible to completely classify the degrees of r.e. bases of r.e. vector spaces in terms of weak truth table degrees. The ideas extend to classify the degrees of complements and splittings. Several ramifications of the classification are discussed, together with an analysis of the structure of the degrees of pairs of r.e. summands of r.e. spaces.

Background To describe the preferences for disclosure of individual biomarker results among mothers participating in a longitudinal birth cohort. Methods We surveyed 343 mothers that participated in the Health Outcomes and Measures of the Environment Study about their biomarker disclosure preferences. Participants were told that the study was measuring pesticide metabolites in their biological specimens, and that the health effects of these low levels of exposure are unknown. Participants were asked whether they wanted to receive their results and their child's (...) results. In addition, they were asked about their preferred method (letter vs in person) and format (more complex vs less complex) for disclosure of results. Results Almost all of the study participants wanted to receive their individual results (340/343) as well as their child's results (342/343). However, preferences for receiving results differed by education level. Mothers with less than a college degree preferred in-person disclosure of results more often than mothers with some college education or a college degree (34.3% vs 17.4% vs 7.9%, p<0.001). Similarly, mothers with less than a college education preferred a less complex disclosure format than mothers with some college education or a college degree (59.7% vs 79.1% vs 86.3%, p<0.0001). Conclusion While almost all study participants preferred to receive results of their individual biomarker tests, level of education was a key factor in predicting preferences for disclosure of biomarker results. To ensure effective communication of this information, disclosure of biomarker results should be tailored to the education level of the study participants. (shrink)

Public conversation about biological contributors to mental disorder often centers on whether the problem is “biological or not.” In this paper, we propose moving beyond this bifurcation to a very different question:how exactlyare these problems understood to be biological? Specifically, we consider four issues around which different interpretations of the body’s relationship to mental disorder exist:1. The body’s relationship to day-to-day action; 2. The extent to which the body is changeable; 3. The body’s relationship to context; 4. The degree to (...) which states of the body directly cause mental disorder.Drawing on the work of Merleau-Ponty and other phenomenologists, we examine different responses to these questions and associated implications for how mental health treatment and recovery come to be experienced. Finally, we consider broader questions these patterns raise, including why certain portrayals of the brain dominate public attention and how to foster more deliberation in this regard. (shrink)

The book is designed as an introductory text in the history of pre-Christian religion. The religions are examined in their socio-historical context and are treated as religions in the broad sense in which they provided total frameworks of meaning for a particular culture. The religions treated are the standard ones: Sumerian, Babylonian, Egyptian, Hebraic, and Greek. Loew's technique is to examine in detail the literature of each culture and to reconstruct from it the sacred space in which the people of (...) that culture must have moved. His categories of myth, sacred history, and philosophy are meant to be more or less adequate characterizations of the shape of the expression of the sacred in the Sumero-Babylonian and Egyptian, Hebraic, and Greek cultures respectively. Of course there is overlap, e.g., the obviously mythic roots of Greek literature. Loew is best on the Sumero-Babylonian and Egyptian religions. When he comes to the Hebraic religions he oversimplifies the picture to a considerable degree, as is the case also with his treatment of the Greeks. But this is perhaps a justifiable procedure in an introductory text. Each chapter concludes with a brief but helpfully annotated bibliography.--E. A. R. (shrink)

Hare and Vlastos write on Plato, Anscombe, Ackrill, MacKinnon, Owen, and Bambrough on Aristotle, while Ryle gives some of the history of "Dialectic in the Academy." All of the essays were written especially for this volume, and most show a disappointing lack of polish. Vlastos' "Degrees of Reality in Plato" is an exception, and his thesis is an interesting reworking of a familiar criticism. Bambrough has the best offering on Aristotle: an approving assessment of Aristotle's doctrine and method of (...) employment of equivocal terms, an employment which Bambrough praises as "A Paradigm of Philosophy," and compares favorably with the Wittgensteinian doctrine of family resemblances.—E. A. R. (shrink)

Start with descriptive sketches of the epistemologies and ontological underpinnings of the philosophies of Plato, Aristotle, Descartes, Hume, and Kant, as they form the point of departure for the modern reductionistic and mechanistic paradigm of scientific explanation—the thesis is modified in the case of Kant, a transitional figure, who did emphasize the notion of agency, but still as fitted into the Cartesian, dualistic framework—and as they provide the locus of return, with important modifications, to teleological, emergentistic, and holistic frameworks of (...) explanation. Add a pluralistic ontology of "comprehensive entities," which relies heavily on M. Polanyi's conceptions of "personal knowledge," "tacit knowing," and the "unexpected-range-of-possibilities" criterion for assessing degrees of reality of grades of being. Blend the former two ingredients with clear and cogent argumentation as well as a skillful handling of some of the recent sources in biology as they bear on the problem of deciding whether emergence and telism are irreducible features of even a rationally reconstructed framework of experience, and one has the makings of a challenging book by Marjorie Grene. Grene is anything but heavy-handed in her treatment of the devil of reductionism which she has located; but it is doubtful that she has given him his full due—insofar as she has concentrated her fire on an older style of behaviorism and mechanism that itself often has difficulty recognizing its rapidly matured and much more sophisticated progeny, scientific realism.—E. A. R. (shrink)

Ratté has provided a sympathetic but mildly critical account of the leading French, English, and American precipitators of the Modernist crisis in the Catholic Church, a crisis which floated to the surface just before the turn of the century with Loisy's L'Evangile et l'Eglise and reached its climax in its condemnation by Pius X in his 1907 Encyclical, Pascendi Dominici Gregis. Ratté treats each of the individuals separately by means of what can be styled an intellectual biography interwoven with the (...) events which constituted the history of Modernism. The result is a good introduction in some depth to the men themselves and to the history of Modernism as a whole. There are obvious parallels between the Catholic Church then and now, and the idea that we are witnessing today the tardy triumph of many Modernist tenets is exploited in passing in the book proper, and to some degree in the final evaluative chapter, "Modernism and Modernization." For the most part though, Ratté is content to play the historian rather than the theologian. The book has an excellent bibliography.--E. A. R. (shrink)

Starting from the problem of the Theaetetus, i.e., the problem of distinguishing knowledge from true opinion, Chisholm proceeds in a sober and meticulous fashion to detail and suggest avenues of approach to the gamut of traditional and contemporary epistemological problems. A theory of degrees of certainty from the directly and indirectly evident through the reasonable to the acceptable is developed in line with Chisholm's empiricist and perception-centered approach to epistemology. The notion of the directly evident, or the "given," as (...) it has been styled, is cautiously but firmly defended, as is Chisholm's version of "Brentano's Thesis." Other individual chapters are given over to the analytic/synthetic distinction, truth, and the status of appearances. Since it is in Prentice-Hall's Foundations of Philosophy Series and is designed for use in undergraduate courses, the book could have used a more extensive and systematically presented bibliography than what can be culled from the footnotes—especially since Chisholm is in continual but formally unacknowledged dialogue with other contemporary analytical philosophers.—E. A. R. (shrink)

We prove that every Turing degree a bounding some non-GL₂ degree is recursively enumerable in and above (r.e.a.) some 1-generic degree.

We construct a nonlow2 r.e. degree d such that every positive extension of embeddings property that holds below every low2 degree holds below d. Indeed, we can also guarantee the converse so that there is a low r.e. degree c such that that the extension of embeddings properties true below c are exactly the ones true belowd.Moreover, we can also guarantee that no b ≤ d is the base of a nonsplitting pair.

The lattice of r.e. equivalence relations has not been carefully examined even though r.e. equivalence relations have proved useful in logic. A maximal r.e. equivalence relation has the expected lattice theoretic definition. It is proved that, in every pair of r.e. nonrecursive Turing degrees, there exist maximal r.e. equivalence relations which intersect trivially. This is, so far, unique among r.e. submodel lattices.

This book presents new results in computability theory, a branch of mathematical logic and computer science that has become increasingly relevant in recent years. The field's connections with disparate areas of mathematical logic and mathematics more generally have grown deeper, and now have a variety of applications in topology, group theory, and other subfields. This monograph establishes new directions in the field, blending classic results with modern research areas such as algorithmic randomness. The significance of the book lies not only (...) in the depth of the results contained therein, but also in the fact that the notions the authors introduce allow them to unify results from several subfields of computability theory. (shrink)

What does it mean to be a good thinker? Which virtues work together in someone who possesses good intellectual character? Although recent research on virtues has highlighted the benefits of individual intellectual virtues, being an excellent thinker is likely a function of possessing multiple intellectual virtues. Specifically, a good thinker would both recognize one’s intellectual shortcomings and possess an eagerness to learn driven by virtues such as love of knowledge, curiosity, and open-mindedness. Good intellectual character may only successfully manifest when (...) individuals possess not just one or a few intellectual virtues, but a larger set of such virtues to different degrees. However, little is currently known about what combination of virtues are necessary for good thinking. We argue that it is important to identify and clarify the nature of the good thinker and outline a profile methodology for achieving this goal. This approach characterizes the good thinker in terms of a profile of multiple intellectual virtues. Understanding this profile can allow greater insight into the extent to which people possess such a profile, and the potential for societal benefits of educating for these qualities. (shrink)