An examination of verbal hallucinations and thought insertion as examples of "alienated self-consciousness.".

We develop measure theory in the context of subsystems of second order arithmetic with restricted induction. We introduce a combinatorial principleWWKL (weak-weak König's lemma) and prove that it is strictly weaker thanWKL (weak König's lemma). We show thatWWKL is equivalent to a formal version of the statement that Lebesgue measure is countably additive on open sets. We also show thatWWKL is equivalent to a formal version of the statement that any Borel measure on a compact metric space is countably additive (...) on open sets. (shrink)

A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if every member of Q Turing computes a member of P. We say that P is strongly reducible to Q if every member of Q Turing computes a member of P via a fixed Turing functional. The weak degrees and strong degrees are the equivalence classes of mass problems under weak and strong reducibility, respectively. We (...) focus on the countable distributive lattices P w and P s of weak and strong degrees of mass problems given by nonempty Π 1 0 subsets of 2 ω . Using an abstract Gödel/Rosser incompleteness property, we characterize the Π 1 0 subsets of 2 ω whose associated mass problems are of top degree in P w and P s , respectively. Let R be the set of Turing oracles which are random in the sense of Martin-Löf, and let r be the weak degree of R. We show that r is a natural intermediate degree within P w . Namely, we characterize r as the unique largest weak degree of a Π 1 0 subset of 2 ω of positive measure. Within P w we show that r is meet irreducible, does not join to 1, and is incomparable with all weak degrees of nonempty thin perfect Π 1 0 subsets of 2 ω . In addition, we present other natural examples of intermediate degrees in P w . We relate these examples to reverse mathematics, computational complexity, and Gentzen-style proof theory. (shrink)

Let ω be the set of natural numbers. For functions f, g: ω → ω, we say f is dominated by g if f < g for all but finitely many n ∈ ω. We consider the standard “fair coin” probability measure on the space 2ω of in-finite sequences of 0's and 1's. A Turing oracle B is said to be almost everywhere dominating if, for measure 1 many X ∈ 2ω, each function which is Turing computable from X is (...) dominated by some function which is Turing computable from B. Dobrinen and Simpson have shown that the almost everywhere domination property and some of its variant properties are closely related to the reverse mathematics of measure theory. In this paper we exposit some recent results of Kjos-Hanssen, Kjos-Hanssen/Miller/Solomon, and others concerning LR-reducibility and almost everywhere domination. We also prove the following new result: If B is almost everywhere dominating, then B is superhigh, i. e., 0″ is truth-table computable from B ′, the Turing jump of B. (shrink)

We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i∈A and f:A→A. A subset X⊆A is said to be inductive if i∈X and ∀a ∈X). The system A,i,f is said to be inductive if the only inductive subset of A is A itself. Define a Peano system to be (...) an inductive system such that f is one-to-one and i∉the range of f. The standard example of a Peano system is N,0,S where N={0,1,2,…,n,…}=the set of natural numbers and S:N→N is given by S=n+1 for all n∈N. Consider the statement that all Peano systems are isomorphic to N,0,S. We prove that this statement is logically equivalent to WKL0 over RCA0⁎ source. From this and similar equivalences we draw some foundational/philosophical consequences. (shrink)

We investigate the provability or nonprovability of certain ordinary mathematical theorems within certain weak subsystems of second order arithmetic. Specifically, we consider the Cauchy/Peano existence theorem for solutions of ordinary differential equations, in the context of the formal system RCA 0 whose principal axioms are ▵ 0 1 comprehension and Σ 0 1 induction. Our main result is that, over RCA 0 , the Cauchy/Peano Theorem is provably equivalent to weak Konig's lemma, i.e. the statement that every infinite {0, 1}-tree (...) has a path. We also show that, over RCA 0 , the Ascoli lemma is provably equivalent to arithmetical comprehension, as is Osgood's theorem on the existence of maximum solutions. At the end of the paper we digress to relate our results to degrees of unsolvability and to computable analysis. (shrink)

Stephen Salkever shows that reading Aristotle is a starting point for discussing contemporary political problems in new ways that avoid the opposition between liberal individualism and republican communitarianism, between the politics of rights and the politics of virtues. Originally published in 1990. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in (...) durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Stephen Salkever shows that reading Aristotle is a starting point for discussing contemporary political problems in new ways that avoid the opposition between liberal individualism and republican communitarianism, between the politics of rights and the politics of virtues. Originally published in 1990. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in (...) durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Let CKDT be the assertion that for every countably infinite bipartite graph G, there exist a vertex covering C of G and a matching M in G such that C consists of exactly one vertex from each edge in M. (This is a theorem of Podewski and Steffens [12].) Let ATR0 be the subsystem of second-order arithmetic with arithmetical transfinite recursion and restricted induction. Let RCA0 be the subsystem of second-order arithmetic with recursive comprehension and restricted induction. We show that (...) CKDT is provable in ART0. Combining this with a result of Aharoni, Magidor, and Shore [2], we see that CKDT is logically equivalent to the axioms of ATR0, the equivalence being provable in RCA0. (shrink)

Science and the End of Ethics examines some of the most important positive and negative implications that science has for ethics. Addressing the negative implications first, author Stephen Morris discusses how contemporary science provides significant challenges to moral realism. One threat against moral realism comes from evolutionary theory, which suggests that our moral beliefs are unconnected to any facts that would make them true. Ironically, many of the same areas of science (e.g. evolutionary biology, neuroscience, psychology) that present difficulties (...) for moral realism point to a new ethical approach that focuses on achieving some of the key practical goals shared by ethicists. Chief among these is how to increase amicable behavior among people. (shrink)

By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...) in the second-order part of M. By combining this fact with a certain forcing argument over universal trees, we obtain the following result : if proves X!Y with arithmetical, so does . We also discuss several improvements of this results. (shrink)

We examine the concept of almost everywhere domination from the viewpoint of mass problems. Let AED and MLR be the sets of reals which are almost everywhere dominating and Martin-Löf random, respectively. Let b1, b2, and b3 be the degrees of unsolvability of the mass problems associated with AED, MLR × AED, and MLR ∩ AED, respectively. Let [MATHEMATICAL SCRIPT CAPITAL P]w be the lattice of degrees of unsolvability of mass problems associated with nonempty Π01 subsets of 2ω. Let 1 (...) and 0 be the top and bottom elements of [MATHEMATICAL SCRIPT CAPITAL P]w. We show that inf, inf, and inf belong to [MATHEMATICAL SCRIPT CAPITAL P]w and 0 < inf < inf < inf < 1. Under the natural embedding of the recursively enumerable Turing degrees into [MATHEMATICAL SCRIPT CAPITAL P]w, we show that inf and inf but not inf are comparable with some recursively enumerable Turing degrees other than 0 and 0′. In order to make this paper more self-contained, we exposit the proofs of some recent theorems due to Hirschfeldt, Miller, Nies, and Stephan. (shrink)

If effective anti-aging interventions were achieved, they would likely bring about profound alterations in the experiences of individual and collective life. What if modern scientists could find the modern equivalent to the Fountain of Youth that Ponce de Leon sought? This book addresses this question by exploring the ramifications of possible anti-aging interventions on both individual and collective life. Through a series of essays, it examines the biomedical goal of prolongevity from cultural, scientific, religious, and ethical perspectives, offering a sweeping (...) view into the future of aging. (shrink)

Burnout among physicians, nurses, and students is a serious problem in U.S. healthcare that reflects inattentive management practices, outmoded images of the “good” provider as selflessly ignoring the care of the self, and an overarching rubric of Patient Centered Care that leaves professional self-care out of the equation. We ask herein if expanding PCC to Patient and Professional Centered Care would be a useful idea to make provider self-care an explicit part of mission statements, a major part of management strategies (...) and institutional goal setting, and of educational programs. We offer several practical suggestions for PPCC implementation, including structuring healthcare systems so as to nurture professional meaning, integrity, and inter-personal reflective emotional processing as a buffer against burnout and as a key to better patient care. It should not bring into question the primacy of practitioner commitment to the good of patients, nor should it be taken to suggest in any way a shift in focus away from patients’ values and respect for patient autonomy. PPCC asserts that the respect for patient’s values and autonomous choices properly remains the ethical benchmark of modern healthcare systems, along with altruistic professional commitment to the optimal care of patients. However, it enunciates an explicit commitment to structuring systems that allow for and actively encourage the professional well-being and wellness upon which good patient care depends. (shrink)

Tube feeding is often presented as a nearly risk free and beneficial treatment for patients with dementia. But evidence shows that its benefits are illusory, while its risks are greater than many realize. Assisted oral feeding and good hospice care are better options.

The authority of the intact self over the future severely demented self is based on notions of integrity and precedent autonomy. Despite criticism of this authority, the principle of precedent autonomy in the care of people with Alzheimer disease or other progressive and irreversible dementias retains its moral significance.

In this paper, we introduce a system of nonstandard second-order arithmetic $\mathsf{ns}$-$\mathsf{WWKL_0}$ which consists of $\mathsf{ns}$-$\mathsf{BASIC}$ plus Loeb measure property. Then we show that $\mathsf{ns}$-$\mathsf{WWKL_0}$ is a conservative extension of $\mathsf{WWKL_0}$ and we do Reverse Mathematics for this system.

ABSTRACTIn Democratic Reason, Hélène Landemore makes an epistemic argument for democracy. She contends that, due to their greater cognitive diversity, democratic groups will engage in superior deliberation and information aggregation than will groups of experts; consequently, the quality of their policies will be better. But the introduction of value diversity into Landemore's model—which is necessary if the argument is to apply to the real world—undermines her argument for the epistemic superiority of democratic deliberation. First, the existence of value diversity threatens (...) to stop deliberation prematurely. This has the effect of making the outcome of group deliberation more dependent on individual ability, which gives groups of experts a distinct advantage. Second, the introduction of value diversity raises the question of how to understand the standard of correctness of an epistemic argument, which Landemore does not adequately answer. (shrink)

Two recent publications highlight the role of bone‐forming cells, the osteoblasts, in controlling the development of neighboring haematopoietic stem cells (HSCs).1,2 Using two distinct transgenic mouse models, one using the conditional deletion of the Bone Morphogenetic Protein Receptor 1A (BMPR1A) gene, the other using over‐expression of an active PTH/PTHrP receptor (PPR) mutant within osteoblasts, the authors show parallel, concordant increases in the generation of trabecular osteoblasts and the number of HSCs. In situ staining showed that rarely cycling HSCs sporadically attach (...) to endosteal osteoblasts, while in vitro assays indicated that ligation of Jag1 on osteoblasts by Notch1 on HSCs promotes HSC proliferation. These two independent works have revived and revitalized the notion that osteoblasts are a major, defining component of the HSC niche within the bone marrow (BM). This minireview discusses these results in the context of other recent studies of mesenchymal cells within the BM microenvironment, presents one potential unified model of the functional anatomy of the BM HSC niche, and highlights new questions raised by these and other studies of osteoblasts and HSCs. BioEssays 26:595–599, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

The evidence-based medicine movement advocates basing all medical decisions on certain types of quantitative research data and has stimulated protracted controversy and debate since its inception. Evidence-based medicine presupposes an inaccurate and deficient view of medical knowledge. Michael Polanyi’s theory of tacit knowledge both explains this deficiency and suggests remedies for it. Polanyi shows how all explicit human knowledge depends on a wealth of tacit knowledge which accrues from experience and is essential for problem solving. Edmund Pellegrino’s classic treatment of (...) clinical judgment is examined, and a Polanyian critique of this position demonstrates that tacit knowledge is necessary for understanding how clinical judgment and medical decisions involve persons. An adequate medical epistemology requires much more qualitative research relevant to the clinical encounter and medical decision making than is currently being done. This research is necessary for preventing an uncritical application of evidence-based medicine by health care managers that erodes good clinical practice. Polanyi’s epistemology shows the need for this work and provides the structural core for building an adequate and robust medical epistemology that moves beyond evidence-based medicine. (shrink)

Most clinicians take for granted a simple, reductionist understanding of medical knowledge that is at odds with how they actually practice medicine; routine medical decisions incorporate more complicated kinds of information than most standard accounts of medical reasoning suggest. A better understanding of the structure and function of knowledge in medicine can lead to practical improvements in clinical medicine. This understanding requires some familiarity with epistemology, the study of knowledge and its structure, in medicine. Michael Polanyi's theory of tacit knowing (...) is advanced as the basis for developing a more accurate understanding of medical knowledge. Tacit knowing, which explores the taken-for-granted background knowledge that underlies all human knowing, is explained in detail with a focus on its relevance for clinical medicine. The implications of recognizing tacit knowing in medicine and medical decisions are discussed. These include the ability to explain the importance of the clinical encounter in medical practice, mechanisms for analysing patient and doctor as persons, and the need for humility given the uncertainty that the tacit dimension injects into all medical decisions. This more robust medical epistemology allows clinicians to better articulate the nature and importance of patient-centred care, to avoid pitfalls inherent in reductionist approaches to medical knowledge, and to think more clearly about the relationships between medicine and health care at the individual and population levels. (shrink)

The authors explore how urban versus rural community location shapes the extent to which various individual, relational, and structural factors affect the gender gap in small business success. Building on previous research on gender and small business success, gender queuing theories, and gendered organization/institution theories, they develop a place-specific theory of the gender gap in small business success. The findings, based on small business data collected in urban and rural Iowa, support queuing arguments and raise questions about the effectiveness of (...) crowded-sector explanations. They indicate that the gender gap in small business success operates such that men-owned businesses are more successful in both urban and rural settings but that men-owned businesses are even more successful than women-owned businesses in urban than rural communities. The authors discuss the causes and consequences of the gender gap in small business success in rural and urban places and identify key issues for further research. (shrink)

Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked focus, or (...) various semantic constructs which are sensitive to focus.Similarities and differences between this approach, and theories using alternative semantics, structured meanings, or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation. (shrink)

The "new family" of disciples was formed by faith and commitment and included those who had traditionally been outsiders. Similarly, Christian ethics can support the bonding in covenant love of nonbiological families brought together by sometimes painful circumstances that can be redeemed by their actions. While the Christian tradition is supportive of the idea that birth parents should rear their children, it also relativizes the biological family by adding meaning to adoption. This is a creative tension.

The frame associated with a classical point particle is generally noninertial. The point particle may have a nonzero velocity and force with respect to an absolute inertial rest frame. In time–position–energy–momentum-space {t, q, p, e}, the group of transformations between these frames leaves invariant the symplectic metric and the classical line element ds2 = d t2. Special relativity transforms between inertial frames for which the rate of change of momentum is negligible and eliminates the absolute rest frame by making velocities (...) relative but still requires the absolute inertial frame. The Lorentz group leaves invariant the symplectic metric and the line elements $ds^{2} = -dt^{2} + \frac{1}{c^{2}} dq^{2}$ and $d \mu^{2} = dp^{2}-\frac{1}{c^{2}}de^{2}$ . General relativity for particles under only the influence of gravity avoids the issue of noninertial frames as all particles follow geodesics and hence have locally inertial frames. For other forces, the question of the absolute inertial frame remains.) Born conjectured that the line element should be generalized to the pseudo-orthogonal metric $ds^{2} = -d t^{2}+\frac{1}{c^{2}} dq^{2} + \frac{1}{b^{2}}(dp^{2}-\frac{1}{c^{2}}de^{2})$ . The group leaving this metrics and the symplectic metric invariant is the pseudo-unitary group of transformations between noninertial frames. We show that these transformations also eliminate the need for an absolute inertial frame by making forces relative and bounded by b and so embodies a relativity that is shape reciprocal in the sense of Born. The inhomogeneous version of this group is naturally the semidirect product of the pseudo-unitary group with the nonabelian Heisenberg group. This is the quaplectic group. (shrink)