© 2015, Springer-Verlag Berlin Heidelberg.Genetic studies have identified single nucleotide polymorphisms associated with the risk of prostate cancer. It remains unclear whether such genetic variants are associated with disease aggressiveness. The NCI-SPORE Genetics Working Group retrospectively collected clinicopathologic information and genotype data for 36 SNPs which at the time had been validated to be associated with PC risk from 25,674 cases with PC. Cases were grouped according to race, Gleason score and aggressiveness. Statistical analyses were used to compare the frequency (...) of the SNPs between different disease cohorts. After adjusting for multiple testing, only PC-risk SNP rs2735839 was significantly and inversely associated with aggressive and high-grade disease in European men. Similar associations with aggressive and high-grade disease were documented in African-American subjects. The G allele of rs2735839 was associated with disease aggressiveness even at low PSA levels in both European and African-American men. Our results provide further support that a PC-risk SNP rs2735839 near the KLK3 gene on chromosome 19q13 may be associated with aggressive and high-grade PC. Future prospectively designed, case-case GWAS are needed to identify additional SNPs associated with PC aggressiveness. (shrink)

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

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)

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)

Historically, the scientific method has been said to require proposing a theory, making a prediction of something not already known, testing the prediction, and giving up the theory (or substantially changing it) if it fails the test. A theory that leads to several successful predictions is more likely to be accepted than one that only explains what is already known but not understood. This process is widely treated as the conventional method of achieving scientific progress, and was used throughout the (...) twentieth century as the standard route to discovery and experimentation. But does science really work this way? In Making 20th Century Science, Stephen G. Brush discusses this question, as it relates to the development of science throughout the last century. Answering this question requires both a philosophically and historically scientific approach, and Brush blends the two in order to take a close look at how scientific methodology has developed. Several cases from the history of modern physical and biological science are examined, including Mendeleev's Periodic Law, Kekule's structure for benzene, the light-quantum hypothesis, quantum mechanics, chromosome theory, and natural selection. In general it is found that theories are accepted for a combination of successful predictions and better explanations of old facts. Making 20th Century Science is a large-scale historical look at the implementation of the scientific method, and how scientific theories come to be accepted. (shrink)

Evolutionary theorists have encountered difficulty in explaining how altruistic behavior can evolve. I argue that these theorists have made this task more difficult than it needs to be by focusing their efforts on explaining how nature could select for a strong type of altruism that has powerful selection forces working against it. I argue that switching the focus to a weaker type of altruism renders the project of explaining how altruism can evolve significantly less difficult. I offer a model of (...) weak altruism that can avoid many of the difficulties that evolutionary accounts of altruism have traditionally faced. (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)

A selective history of the benzene problem is presented, starting with August Kekulé's proposal of a hexagonal structure in 1865 and his hypothesis of 1872 that the carbon–carbon bonds oscillate between single and double. Only those theories are included that were accepted or at least discussed by a significant number of chemists. Special attention is given to predictions, their empirical tests, and the effect of the outcomes of those tests on the reception of the theories. At the end of the (...) period covered by this article, chemists generally accepted the valence bond theory proposed by Linus Pauling; some of them considered this a more sophisticated version of Kekulé's oscillation hypothesis. The sequel describes the replacement of the valence bond theory by the molecular orbital theory in the period ending around 1980. (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)

This paper examines Charles Darwin’s idea that language-use and humanity’s unique cognitive abilities reinforced each other’s evolutionary emergence—an idea Darwin sketched in his early notebooks, set forth in his Descent of man , and qualified in Descent’s second edition. Darwin understood this coevolution process in essentially Lockean terms, based on John Locke’s hints about the way language shapes thinking itself. Ironically, the linguist Friedrich Max Müller attacked Darwin’s human descent theory by invoking a similar thesis, the German romantic notion of (...) an identity between language and thought. Although Darwin avoided outright contradiction, when he came to defend himself against Müller’s attacks, he undercut some of his own argumentation in favor of the coevolution idea. That is, he found it difficult to counter Müller’s argument while also making a case for coevolution. Darwin’s efforts in this area were further complicated by British and American writers who held a naturalistic view of speech origins yet still taught that language had been invented by fully evolved homo sapiens, thus denying coevolution. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Commentary on “Free Will in the Light of Neuropsychiatry”G. Lynn Stephens (bio)A necessary condition of our having free will is that we initiate some of our actions by our own will or decision. Spence argues that, in light of certain empirical findings, we can accept that willing causes action, only if we acknowledge that willing is a non-conscious phenomenon. “If the notion of free will is retained... it will (...) be a free will which is essentially non-conscious.... [A] conscious free will (in the sense of consciousness initiating action) is incompatible with the evidence....” I shall argue that Spence’s conclusion depends upon a highly questionable understanding of what it is for a decision to be conscious.The evidence to which Spence refers above comes from experimental studies by Libet. This work suggests that, at least for simple motor performances, we become aware of willing the action only after the act has been initiated. This raises the possibility that our subjective experience of willing an action generally follows rather than precedes initiation of the relevant act and, hence, does not cause that action.What does all this entail concerning the causal efficacy of willing or deciding? Spence carefully refrains from drawing the conclusion that decisions never cause actions. Rather he concludes that “conscious decisions do not cause acts.... “Our decision or freedom is illusory (if by these terms we mean conscious phenomena).” We can continue to maintain that our decisions sometimes initiate actions, but only provided that we regard our decisions as non-conscious.In order to evaluate the claim that conscious decisions do not cause actions, we need to distinguish two questions: (1) Does my decision, of which I am conscious, cause me to do A? and (2) Does my being conscious of my decision cause me to do A?We might answer (1) in the affirmative, but (2) in the negative. That is, it might be true that my decision to do A caused me to do A and that I was conscious of that decision, but false that my being conscious of my decision caused me to do A. Indeed, we might suppose that, although my decision caused me to do A, I did not become conscious of that decision until after I had done A. How could this be? Suppose that my subjective experience of deciding to do A results from an (internal) perceptual process and that this process takes time. In that case it is possible that, having decided to do A, it requires more time for me to become conscious of that decision than is required for the decision to initiate my doing A. By the time I become aware of my decision, I have already done what I decided to do.The evidence Spence offers is incompatible with the hypothesis that the subjective experience of [End Page 97] my decision to do A causes me to do A, but quite compatible with the hypothesis that my decision to do A, of which I was conscious, caused me to do A. When he expresses his point by saying, “decisions to act arise prior to our consciousness of them,” or “The role of consciousness in volition is not that of initiator,” he is drawing the conclusion warranted by his evidence.However, he goes beyond his evidence when he says, “Thus our decision or freedom is illusory (if by these terms we mean conscious phenomena),” or “Conscious decision do not cause acts.” To justify these conclusions he needs to argue that something counts as a conscious decision only if we become conscious of it at precisely the instant at which it occurs. (Compare: Something counts as an event that we see, only if we begin to see it precisely at the instant at which it occurs.) Absent some defense of this view, a defense provided nowhere in Spence’s paper, we may continue to maintain that conscious decisions do cause actions.Related ArticlesFeature Article: Free Will in the Light of NeuropsychiatryCommentary: Commentary by FrithCommentary: Commentary by LibetCommentary: Commentary by StephensResponse: Response to the CommentariesG. Lynn Stephens G. Lynn Stephens, Ph.D., Department of Philosophy, University of Alabama... (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)

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)

SummaryIn the first part of the 19th century, geologists explained volcanoes, earthquakes and mountain-formation on the assumption that the earth has a large molten core underneath a very thin (25–50 mile) solid crust. This assumption was attacked on astronomical grounds by William Hopkins, who argued that the crust must be at least 800 miles thick, and on physical grounds by William Thomson, who showed that the earth as a whole behaves like a solid with high rigidity. Other participants in the (...) debate insisted that there is evidence for a fluid or plastic layer not far below the crust. It was also suggested that the interior of the earth is a supercritical fluid. By the end of the century many geologists had incorporated the doctrine of a completely solid earth into their theories. Acceptance of a relatively small liquid core, indicated by seismological research, was delayed for another two decades. (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)

A well known fact is that every Lebesgue measurable set is regular, i.e., it includes an F$_{\sigma}$ set of the same measure. We analyze this fact from a metamathematical or foundational standpoint. We study a family of Muchnik degrees corresponding to measure-theoretic regularity at all levels of the effective Borel hierarchy. We prove some new results concerning Nies's notion of LR-reducibility. We build some $\omega$-models of RCA$_0$which are relevant for the reverse mathematics of measure-theoretic regularity.

While many philosophers agree that evolutionary theory has important implications for the study of ethics, there has been no consensus on what these implications are. I argue that we can better understand these implications by examining two related yet distinct issues in evolutionary theory: the evolution of our moral beliefs and the evolution of cooperative behavior. While the prevailing evolutionary account of morality poses a threat to moral realism, a plausible model of how altruism evolved in human beings provides the (...) grounding for a research program that focuses on achieving some of the more practical goals shared by ethicists. †To contact the author, please write to: Department of Political Science, Economics, and Philosophy, College of Staten Island/City University of New York, 2800 Victory Blvd., Staten Island, NY 10314; e‐mail: stephen[email protected]. (shrink)

The history of science has often been presented as a story of the achievements of geniuses: Galileo, Newton, Maxwell, Darwin, Einstein. Recently it has become popular to enrich this story by discussing the social contexts and motivations that may have influenced the work of the genius and its acceptance; or to replace it by accounts of the doings of scientists who have no claim to genius or to discoveries of universal importance but may be typical members of the scientific community (...) at a particular time and place. In this article I consider a different type of story, which further research might reveal to be more common than we now suspect: progress stimulated by gadflies – outspoken critics who challenge the ideas of geniuses, forcing them to revise and improve those ideas, resulting in new knowledge for which the genius gets the credit while the gadfly is forgotten. (shrink)

Are theories judged on the basis of empirical tests of their predictions, as proposed by Karl Popper and others, or are new theories adopted by younger scientists while old theories fade away when their advocates die, as Max Planck suggested? A famous historical episode, the rejection of steady state cosmology and the revival of the big bang cosmology following the 1965 discovery of the cosmic microwave background radiation, is examined to determine whether the scientific community followed Popper’s or Planck’s principle. (...) It is found that by 1975 almost all supporters of the steady state had either switched to the big bang or stopped publishing on cosmology. This case therefore seems to exemplify Popper’s principle, although it should be noted that two of the founders of steady state cosmology had strongly proclaimed their adherence to that principle. The case does not support the Popperian claim that successful novel predictions provide better evidence for a theory than deductions of known facts. (shrink)

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.

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)

The Seventh Annual Conference of the Hegel Society of Great Britain took place on September 12–13, 1985 at Pembroke College, Oxford. The theme of the conference was Hegel’s political philosophy.

This article compares and contrasts the interwar political commentary of the English historian Christopher Dawson (1889-1970) and the French philosopher Jacques Maritain (1882-1971), two of the most widely read Catholic writers of the 1930s. The reasons for the similarities and differences between their perspectives on democracy, fascism, and the Spanish civil war are discussed. The article concludes with a brief evaluation of how their views were reflected in post-World War Two Catholic thought, and a summary of their legacies as twentieth-century (...) Catholic intellectuals. (shrink)

This paper relates the discursive practices of teaching the concept of illness to some of the underlying metaphysical assumptions that secure an unproblematic sense of the subjective meaning of illness as a course of action. The paper explicates the normative character of the structures that form the subjectivity of theorist and patient by theorizing these statuses as qualitative relations to language.

In this essay, I examine Robert Williams’s account of Hegel’s concept of divine “personhood.” I endorse Williams’s claims that God, for Hegel, is not a person but exhibits only personhood, and that divine personhood realises itself in a human community based on mutual recognition. I take issue, however, with Williams’s further claim that Hegel also takes God and humanity to stand in a relation of mutual recognition to one another, since this claim, in my view, risks turning God into a (...) person after all. To conclude, I briefly consider a difference between Williams and myself concerning the relation of right to mutual recognition. (shrink)