We report on the small-scale (0.5 13 h - 1M, a large-scale bias of ~2.0 and a satellite fraction of 12 ± 2 per cent. Thus, these galaxies occupy haloes with average masses in between those of the higher redshift BOSS CMASS sample and the original SDSS I/II luminous red galaxy sample © 2012 The Authors Published by Oxford University Press on behalf of the Royal Astronomical Society © doi:10.1093/mnras/sts314.

Numerous social, economic and academic pressures can have a negative impact on representations of biomedical research. We review several of the forces playing an increasingly pernicious role in how health and science information is interpreted, shared and used, drawing discussions towards the role of narrative. In turn, we explore how aspects of narrative are used in different social contexts and communication environments, and present creative responses that may help counter the negative trends. As traditional methods of communication have in many (...) ways failed the public, changes in approach are required, including the creative use of narratives. (shrink)

We present a one per cent measurement of the cosmic distance scale from the detections of the baryon acoustic oscillations in the clustering of galaxies from the Baryon Oscillation Spectroscopic Survey, which is part of the Sloan Digital Sky Survey III. Our results come from the Data Release 11 sample, containing nearly one million galaxies and covering approximately 8500 square degrees and the redshift range 0.2 < z < 0.7. We also compare these results with those from the publicly released (...) DR9 and DR10 samples. Assuming a concordance Λ cold dark matter cosmological model, the DR11 sample covers a volume of 13 Gpc3 and is the largest region of the Universe ever surveyed at this density. We measure the correlation function and power spectrum, including density-field reconstruction of the BAO feature. The acoustic features are detected at a significance of over 7σ in both the correlation function and power spectrum. Fitting for the position of the acoustic features measures the distance relative to the sound horizon at the drag epoch, rd, which has a value of rd,fid = 149.28 Mpc in our fiducial cosmology. We find DV = at z = 0.32 and DV = at z = 0.57. At 1.0 per cent, this latter measure is the most precise distance constraint ever obtained from a galaxy survey. Separating the clustering along and transverse to the line of sight yields measurements at z = 0.57 of DA = and H =. Our measurements of the distance scale are in good agreement with previous BAO measurements and with the predictions from cosmic microwave background data for a spatially flat CDM model with a cosmological constant. © 2014 The Author Published by Oxford University Press on behalf of the Royal Astronomical Society. (shrink)

During evolution, the genomes of eukaryotic cells have undergone major restructuring to meet the new regulatory challenges associated with compartmentalization of the genetic material in the nucleus and the organelles acquired by endosymbiosis (mitochondria and plastids). Restructuring involved the loss of dispensable or redundant genes and the massive translocation of genes from the ancestral organelles to the nucleus. Genomics and bioinformatic data suggest that the process of DNA transfer from organelles to the nucleus still continues, providing raw material for evolutionary (...) tinkering in the nuclear genome. Recent reconstruction of these events in the laboratory has provided a unique tool to observe genome evolution in real time and to study the molecular mechanisms by which plastid genes are converted into functional nuclear genes. Here, we summarize current knowledge about plastid‐to‐nuclear gene transfer in the context of genome evolution and discuss new insights gained from experiments that recapitulate endosymbiotic gene transfer in the laboratory. BioEssays 30:556–566, 2008. © 2008 Wiley Periodicals, Inc. (shrink)

Learning to use new technologies often involves significant challenges for teachers and learners. This study follows Tally's (( 2007 ). Digital technology and the end of social studies education. Theory & Research in Social Education, 35(2), 305–321) challenge to put the “why” of social studies education first, and then “tinker” with technologies to discover how they can address learning goals. Using a modified “backward design” approach ( Wiggins & McTighe (2005). Understanding by design. ASCD), a design team of middle (...) school teachers, researchers, and disciplinary experts designed, enacted, and studied historical inquiry projects in middle school and college classrooms. Students used online, interactive, historical census data GIS “webmaps” ( Baker (2005). Internet-Based GIS Mapping in Support of K-12 Education. The Professional Geographer, 57(1), 44–50) to investigate African American and Latino migrations. The study presents findings detailing three emergent learning objectives, highlighting how students’ presentations with GIS maps evidenced three modes of reasoning with webmaps: (1) making observations with data; (2) drawing inferences from data; and (3) explaining the limitations of data for inquiry. (shrink)

Debates about the semantics and pragmatics of predicates of personal taste have largely centered on contextualist and relativist proposals. In this paper, I argue in favor of an alternative, absolutist analysis of PPT. Theorists such as Max Kölbel and Peter Lasersohn have argued that we should dismiss absolutism due to its inability to accommodate the possibility of faultless disagreement involving PPT. My aim in the paper is to show how the absolutist can in fact accommodate this possibility by drawing on (...) an account of faultless disagreement that improves upon a recent proposal due to Karl Schafer. In amending Schafer’s proposal, I put forward an empirically informed view of our beliefs regarding matters of personal taste, as well as an account of our assertions concerning such matters. I also argue that absolutists should take disagreement about these matters to be conative, rather than doxastic, in nature. The anticipated result is an independently compelling account of faultless disagreement about matters of personal taste that fits naturally with absolutism. (shrink)

Predicates of personal taste have attracted a great deal of attention from philosophers of language and linguists. In the intricate debates over PPT, arguably the most central consideration has been which analysis of PPT can best account for the possibility of faultless disagreement about matters of personal taste. I argue that two models of such disagreement—the relativist and absolutist models—are empirically inadequate. In their stead, I develop a model of faultless taste disagreement which represents it as involving a novel incompatibility (...) relation between preferences that I call type-noncotenability. This model is available to all parties in the ongoing debates about PPT, but it points up an advantage enjoyed by expressivist accounts of PPT. In closing, I consider four objections against the model that, while failing to fully undermine it, open up promising avenues of inquiry about the nature of disagreement. (shrink)

A Correction to this paper has been published: 10.1007/s11229-021-03266-6.

Paul Cohen’s method of forcing, together with Saul Kripke’s related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic. Here, I argue that forcing also has a place in traditional Hilbert-style proof theory, where the goal is to formalize portions of ordinary mathematics in restricted axiomatic theories, and study those theories in constructive or syntactic terms. I will discuss the aspects (...) of forcing that are useful in this respect, and some sample applications. The latter include ways of obtaining conservation results for classical and intuitionistic theories, interpreting classical theories in constructive ones, and constructivizing model-theoretic arguments. (shrink)

Understanding Torture surveys the massive literature surrounding torture, arguing that, once properly understood, there can be no defence of torture in any circumstances.

Animalism, the view that human persons are human animals in the most straightforward, non-derivative sense, is typically taken to conflict with the intuition that a human person would follow her functioning cerebrum were it to be transplanted into another living human body. Some animalists, however, have recently called into question the incompatibility between animalism and this “Transplant Intuition,” arguing that a human animal would be relocated with her transplanted cerebrum. In this paper, we consider the prospects for this cerebrum transplant-compatible (...) variant of animalism, which we call “Transplanimalism.” After presenting its account of three related thought experiments, and outlining its key advantages over Standard Animalism, we raise two concerns for Transplanimalism. First, we argue that Transplanimalism, like other closest-continuer accounts of the human person, encounters difficulties with symmetrical fission cases. Second, we introduce a new thought experiment that pushes Transplanimalism into surprisingly counterintuitive results. As a result of these concerns, we conclude that, despite its attractiveness, animalists should not endorse Transplanimalism. (shrink)

Although forgiveness is often taken to bear a close connection to the value of reconciliation, there is a good deal of scepticism about its role in situations where there is no consensus on the moral complexion of the past and no admission of guilt on the part of the perpetrator. This scepticism is typically rooted in the claims that forgiveness without perpetrator acknowledgement aggravates the risk of recidivism; yields a substandard and morally compromised form of political accommodation; and comes across (...) as patronizing and offensive to the recipient, thereby causing further alienation. In this article, my aim is to show, firstly, that none of these arguments is decisive and, secondly, that forgiveness is a suitable object of political concern in the absence of cross-community consensus on the rights and wrongs of a conflict. In this way, I aim to demonstrate that forgiveness deserves to be taken seriously as a means to civic reconciliation in a broader range of situations than many have allowed. (shrink)

Karl Popper was one of the most influential philosophers of the twentieth century. His criticism of induction and his falsifiability criterion of demarcation between science and non-science were major contributions to the philosophy of science. Popper's broader philosophy of critical rationalism comprised a distinctive philosophy of social science and political theory. His critique of historicism and advocacy of the open society marked him out as a significant philosopher of freedom and reason. This book sets out the historical and intellectual contexts (...) in which Popper worked, and offers an overview and diverse criticisms of his central ideas. The volume brings together contributors with expertise on Popper's work, including people personally associated with Popper, specialists on the topics treated, and scholars with special interests in aspects of Popper's work. (shrink)

Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modification of this construction then assigns a nonstandard model to any theory of arithmetic, enabling us to reproduce conservation results of Moerdijk and Palmgren for nonstandard Heyting arithmetic. Internalizing the construction allows us to strengthen these results with additional transfer rules; we then show that even trivial transfer axioms or minor strengthenings of these rules destroy (...) conservativity over HA. The analysis also shows that nonstandard HA has neither the disjunction property nor the explicit definability property. Finally, careful attention to the complexity of our definitions allows us to show that a certain weak fragment of intuitionistic nonstandard arithmetic is conservative over primitive recursive arithmetic. (shrink)

We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising bedrock semantics for communicating and sharing mathematical knowledge. We then describe a syntactic sugaring of that language that provides a way of writing remarkably readable assertions without straying far from the set-theoretic semantics. We illustrate with some examples of formalized textbook definitions from elementary set theory and point-set topology. We also present statistics concerning the complexity of these definitions, under various complexity (...) measures. (shrink)

Currently the dominant interpretation of Hobbes in the field of moral and political philosophy is as a social contract theorist: that he legitimates moral rules and sovereign power by arguing that we would agree we are better off obeying a sovereign than living in a state of nature, and that we are best off if that sovereign is an absolute monarch. There are interesting alternatives to this reading of Hobbes—Warrender’s divine-command interpretation and Boonin-Vail’s virtue theory interpretation, to name just two—but (...) it is not my purpose here to debate their relative merits. Rather, I want to comment on one of the main features of the social contract view, namely, the means of maintaining political stability. (shrink)

Workplace ethics perceptions drive ethical behaviors, but our understanding of how context shapes the nature of this relationship is limited. Consequently, this article uses contingency theory to explore how perceptions of ethical priorities in the workplace—ethical work climate (EWC)—are differentially associated with ethical behavior based on the broader context. Specifically, we meta-analytically test theoretically relevant cultural values (i.e., collectivism, power distance) and work context factors (i.e., consequence of errors, job autonomy) as moderators of the connection between EWC perceptions and ethical (...) behavior. Our findings reveal that while higher power-distance societal contexts strengthen the connection between EWC perceptions and ethical behavior, work contexts with higher autonomy _weaken_ the connection. We found mixed support for collectivism as a contextual moderator, with results supporting theoretical expectations with one cultural conceptualization but not another. Contrary to expectations, the consequences of errors in work contexts did not moderate the association between EWC perceptions and ethical behavior. Taken together, this meta-analytic investigation highlights the meaningful role of the broader organizational context as a potential boundary condition for the influence of EWC perceptions on ethical behavior. (shrink)

For a quarter of a century, the Council for Responsible Genetics has provided a unique historical lens into the modern history, science, ethics, and politics of genetic technologies. Since 1983 the Council has had leading scientists, activists, science writers, and public health advocates researching and reporting on a broad spectrum of issues, including genetically engineered foods, biological weapons, genetic privacy and discrimination, reproductive technologies, and human cloning. Biotechnology in Our Lives examines how these issues affect us daily whether we realize (...) it or not. Written for the nonscientist, it looks at the many applications of genetics on the world around us by posing questions such as: What should we know about genetics and childbirth? Can our genes keep us from qualifying for health insurance? Can gene therapy cure cancer? Is behavior genetically determined? Why would the FBI want our genes? Are foreign genes in our food? And much more Ultimately, this definitive book on the subject also encourages us to think about the social, environmental, and moral ramifications of where this technology is taking us. (shrink)

In 1958 Gödel published his Dialectica interpretation, which reduces classical arithmetic to a quantifier-free theory T axiomatizing the primitive recursive functionals of finite type. Here we extend Gödel's T to theories Pn of “predicative” functionals, which are defined using Martin-Löf's universes of transfinite types. We then extend Gödel's interpretation to the theories of arithmetic inductive definitions IDn, so that each IDn is interpreted in the corresponding Pn. Since the strengths of the theories IDn are cofinal in the ordinal Γ0, as (...) a corollary this analysis provides an ordinal-free characterization of the <Γ0-recursive functions. (shrink)

Volume 98, Issue 4, December 2020, Page 718-731.

At the turn of the nineteenth century, mathematics exhibited a style of argumentation that was more explicitly computational than is common today. Over the course of the century, the introduction of abstract algebraic methods helped unify developments in analysis, number theory, geometry, and the theory of equations; and work by mathematicians like Dedekind, Cantor, and Hilbert towards the end of the century introduced set-theoretic language and infinitary methods that served to downplay or suppress computational content. This shift in emphasis away (...) from calculation gave rise to concerns as to whether such methods were meaningful, or appropriate to mathematics. The discovery of paradoxes stemming from overly naive use of set-theoretic language and methods led to even more pressing concerns as to whether the modern methods were even consistent. This led to heated debates in the early twentieth century and what is sometimes called the “crisis of foundations.” In lectures presented in 1922, David Hilbert launched his Beweistheorie, or Proof Theory, which aimed to justify the use of modern methods and settle the problem of foundations once and for all. This, Hilbert argued, could be achieved as follows. (shrink)

Let us assume, for the sake of argument, that socialism is over. Be that as it may, it is now widely accepted that socialism, understood as involving the social ownership of the means of production and the abolition of markets, faces real and perhaps insuperable difficulties. For without both markets and individual ownership, it is difficult to see how problems of individual motivation and information transmission are to be tackled—to say nothing of Ludwig von Mises's underlying concern with how to (...) make economic decisions about the utilization of resources within an economy. (shrink)

An approach to ordinal analysis is presented which is finitary, but highlights the semantic content of the theories under consideration, rather than the syntactic structure of their proofs. In this paper the methods are applied to the analysis of theories extending Peano arithmetic with transfinite induction and transfinite arithmetic hierarchies.

According to the Furstenberg-Zimmer structure theorem, every measure-preserving system has a maximal distal factor, and is weak mixing relative to that factor. Furstenberg and Katznelson used this structural analysis of measure-preserving systems to provide a perspicuous proof of Szemer\'edi's theorem. Beleznay and Foreman showed that, in general, the transfinite construction of the maximal distal factor of a separable measure-preserving system can extend arbitrarily far into the countable ordinals. Here we show that the Furstenberg-Katznelson proof does not require the full strength (...) of the maximal distal factor, in the sense that the proof only depends on a combinatorial weakening of its properties. We show that this combinatorially weaker property obtains fairly low in the transfinite construction, namely, by the $\omega^{\omega^\omega}$th level. (shrink)

The vulnerability of a patient gives rise to special obligations to provide aid, but the extent of our obligations to those vulnerable is not always clear. How far we are obligated to provide aid raises profound questions over the balance of liberty, equality, utility, and other core values for which we ought to strive in modern society. This essay helps illustrate how such a balance must be worked out in relation to rich contexts and be responsive to continually evolving epistemic (...) and social configurations. (shrink)

The later thought of Karl Popper—notably, his ideas about traditions and his “modified essentialism” in the philosophy of natural science— should lead to revisions in the political philosophy set out in The Open Society and Its Enemies. The structural approach allowed for by Popper's modified essentialism, and the delicate nature of traditions, buttress certain issues raised by Friedrich Hayek that pose serious problems for Popper's social‐democratic approach to politics. Fred Eidlin's review essay on my Political Thought of Karl Popper misses (...) these problems, and in general underestimates the difficulties that unintended consequences pose for any non‐utopian theory of politics. Thus, Eidlin uncritically cites Popper's abstract political recognition of unintended consequences and his idealized view of the political process, as if that puts to rest the questions my book asks. (shrink)

A number of philosophers have suggested that acts of forgiveness are pointless if the wrongdoer has atoned for his offence (since there is nothing to be forgiven) and unjustified if no atonement has been forthcoming (since there are no grounds for forgiveness). My aim in this paper is twofold. First, I try to remove this dilemma and show that forgiveness has a proper place in ethics by providing an account of its nature and justification. Second, I argue that the dilemma (...) is apt to emerge from an exclusively utilitarian outlook or an exclusively retributivist outlook, and that it is only by adopting a ’mixed approach’ towards the treatment of wrongdoers that it can be removed. (shrink)

Four classes of naturally rare vascular plant species are described and classified, based on parameters of spatial distribution and longevity. Properties intrinsic to these time/space parameters are explored and an importance hierarchy of causes of rarity is proposed for each class. These hierarchies serve as the basis for a predictive classification. Human causes of rarity such as habitat destruction and taxonomic difficulties are not considered in detail here but are discussed as confounding factors in the elucidation of rarity in vascular (...) plants. Several examples are provided to illustrate this classification and provide testable hypotheses concerning the origins of natural rarity in plant species. (shrink)

This article argues that two new definitions are needed for what constitutes a truth commission. The first new definition that is needed is a different backward-looking definition that is used reflectively to contrast, compare and research past and present truth commissions. It is argued that the variety of definitions that exist about what constitutes a Truth Commission have a number of problems, and that a better definition is needed to categorise past mechanisms, make comparisons and improve comparative research. The second (...) goal of the article is to investigate why it is necessary to create a non-prescriptive explanatory forward-looking definition focusing on the compositional elements of a TC. This is because definitions are also useful to assist those who wish to establish TC on what the compositional elements need to be, to ensure that these institutions are less likely to fail in their endeavours. This is important, as TCs have been extensively criticised for not achieving the goals that they are meant to. To determine why a new backward-looking definition is needed, which is broader and more inclusive than existing definitions, some of the current TC definitions are deconstructed. The various elements are re-examined and reconstituted to ensure a more holistic and relevant definition for what a TC is. As far as a forward-looking definition is concerned, the article examines what the compositional elements ought to be to make them more likely to be contextually applicable, to have more of a positive effect and have more of a constructive role in the places where they are created. Issues focused on that need greater delineation include the idea that TCs—besides focusing on the past—also, in some cases, investigate on-going human rights abuse. It is contended that TCs must be created with the support of the people in the country and be reflective of their needs. It is maintained that a TC should be a temporary body and that independence, legitimacy and sufficient resources are crucial factors in determining whether a TC will be successful. Also, considered is why having an independent process to choose commissioners, who are diverse and representative of that society is critical to the outcome of the process. (shrink)

Parmenides of Elea Parmenides of Elea was a Presocratic Greek philosopher. As the first philosopher to inquire into the nature of existence itself, he is incontrovertibly credited as the “Father of Metaphysics.” As the first to employ deductive, a priori arguments to justify his claims, he competes with Aristotle … Continue reading Parmenides →.

Given a sequence of sets An⊆{0,…,n−1}, the Furstenberg correspondence principle provides a shift-invariant measure on2N that encodes combinatorial information about infinitely many of the An's. Here it is shown that this process can be inverted, so that for any such measure, ergodic or not, there are finite sets whose combinatorial properties approximate it arbitarily well. The finite approximations are obtained from the measure by an explicit construction, with an explicit upper bound on how large n has to be to yield (...) a sufficiently good approximation. We draw conclusions for computable measure theory, and show, in particular, that given any computable shift-invariant measure on 2N, there is a computable element of 2N that is generic for the measure. We also consider a generalization of the correspondence principle to countable discrete amenable groups, and once again provide an effective inverse. (shrink)

The paper tries to show that when the deepest or foundational aspects of truth are at issue, both consequentially logical argument and rhetoric that aims to establish truth or justified conviction must engage with the being, or the irreplaceable particularity, of its audience’s members and also that of the arguer, what we refer to in ordinary language as who the person is. Beyond the existing discussion of existential rhetoric, the paper argues that this engagement with being is necessary to establish (...) not only truth that directly concerns or turns on the arguer’s and audience’s being, but also truth or justification about fundamental aspects of things and issues in general. Further, the address of being requires us to suspend both our own and our addressees’ familiar conceptual frameworks in order to allow being to emerge in its own terms. As a result, in contrast with our usual understanding of argumentation, the rhetorician’s initial aim and procedure will be to achieve a genuine suspension of conviction and even of the appropriate concepts under which to proceed, and so to produce a fundamental confusion. The paper then outlines some consequences for rhetoric and reasoning and also the structure of the process of working with this fundamental confusion. (shrink)

It is a challenge in teaching early modern philosophy to balance historical faithfulness to the arguments and concerns of early modern philosophers and interpreting them as relevant to the kinds of thinking that contemporary undergraduate students find plausible. Early modern philosophy is unique, however, in applying modern scientific method directly to problems concerning nonphysical aspects of reality that our contemporary scientific thought, and with it mainstream contemporary culture, no longer find amenable in their own, independent right to reliable reasoned approaches. (...) At the same time, early modern philosophy often also takes seriously purely conceptual or logically consequential thought in the investigation of these topics, as our mainstream contemporary culture does not. This kind of thought, we argue, is distinctive of philosophy in general and appropriate to nonphysical aspects of reality. Early modern philosophy, then, offers a bridge between the kind of reasoned, objective thought our mainstream culture finds plausible and thought about nonphysical reality or, in general, the thought that characterizes philosophy. (shrink)

My aim in this paper is to demonstrate that the recent anti-Ticking Bomb argument offered by Bufacchi and Arrigo is unsuccessful. To adequately refute the Ticking Bomb strategy, I claim, requires carefully addressing both policy questions and questions involving exceptional conduct.

Derk Pereboom disagrees with P.F. Strawson that abandoning the reactive attitudes associated with praise and blame would come at the price of exiting our personal relationships. According to Pereboom, we can contain or modify our attitudes in ways that preserve, and perhaps even enrich interpersonal relationships. In a recent article, Seth Shabo defends “the inseparability thesis” in order to undermine Pereboom’s containment policy. Drawing on David Goldman’s work on non-antagonistic responses to wrongdoing, we defend Pereboom from Shabo’s critique.