We study computable Polish spaces and Polish groups up to homeomorphism. We prove a natural effective analogy of Stone duality, and we also develop an effective definability technique which works up to homeomorphism. As an application, we show that there is a $\Delta ^0_2$ Polish space not homeomorphic to a computable one. We apply our techniques to build, for any computable ordinal $\alpha $, an effectively closed set not homeomorphic to any $0^{}$-computable Polish space; this answers a question of Nies. (...) We also prove analogous results for compact Polish groups and locally path-connected spaces. (shrink)

Agrifood scholars have long investigated the relationship between farm size and a wide variety of social and ecological outcomes. Yet neither this scholarship nor the extensive research on farmworkers has addressed the relationship between farm size and job quality for hired workers. Moreover, although this question has not been systematically investigated, many advocates, popular food writers, and documentaries appear to have the answer—portraying precarious work as common on large farms and nonexistent on small farms. In this paper, we take on (...) this question by describing and explaining the relationship between farm size and job quality for hired farm workers. To do so, we draw on data from two independently conducted, mixed-methods case studies—organic fruit and vegetable production in California, and dairy farming in Wisconsin—each of which offers a different set of insights into the farm size-job quality relationship. In both cases, larger farms fared better than or no worse than their smaller-scale counterparts for most job quality metrics investigated, though many of the advantages of working on large farms accrue disproportionately to white, U.S.-born workers. We explain that these patterns stem from economies of scale, industrialization, firm size itself, the dominant class identities and aspirations of farmers and their peers, as well as farmers’ and immigrant workers’ fears of immigration enforcement. (shrink)

Each of the essays included in this volume illuminates an aspect of law, reflecting an unorthodox perception of jurisprudence which combines interests in philosophy, legal theory, criminology, legal history, political and constitutional theory and the history of ideas. This work will broaden the jurisprudential scope of practitioners' professional concerns, but help academics enhance their knowledge of the wealth of information for their own studies.

There are deep and pervasive disagreements today in universities and colleges, and popular culture in general, over the credibility and value of belief in God. This has given rise to an urgent need for a balanced, comprehensive, accessible resource book that can inform the public and scholarly debate over theism. While scholars with as diverse interests as Daniel Dennett, Terry Eagleton, Richard Dawkins, Jürgen Habermas, and Rowan Williams have recently contributed books to this debate, "theism" as a concept remains poorly (...) understood and requires a more thorough and systematic analysis than it has so far received in any single volume. _The Routledge Companion to Theism_ addresses this need by investigating theism's history as well as its relationship to inquiry in the sciences, social sciences, and humanities, and to its wider cultural contexts. The contents are not confined within the philosophy of religion or even within the more expansive borders of philosophy. Rather, _The Routledge Companion to Theism_ investigates its subject through the lens of a wide variety of disciplines and explores the ramifications of theism considered as a way of life as well as an intellectual conviction. The five parts of the volume indicate its inclusive scope: I. What is Theism?; II. Theism and Inquiry; III. Theism and the Socio-Political Realm; IV. Theism and Culture; V. Theism as a Way of Life. The result is a well ordered and thorough collection that should provide a wide spectrum of readers with a better understanding of a subject that's much discussed, but frequently misunderstood. As the editors note in their Introduction, while stimulating and informing the contemporary debate, a key aim of the volume is to open new avenues of inquiry into theism and thereby to encourage further research into this vital topic. Comprised of 54 essays by leading scholars in philosophy, history, theology, religious studies, political science, education and sociology, _The Routledge Companion to Theism_ promises to be the most useful, comprehensive resource on an emerging subject of interest for students and scholars. (shrink)

This book selectively examines a range of ideas and arguments drawn from the philosophical traditions of South and East Asia, focusing on those that are especially relevant to the philosophy of religion. The book introduces key debates about the self and the nature of reality that unite the otherwise highly diverse philosophies of Indian and Chinese Buddhism, Hinduism, and Jainism. The emphasis of the book is analytical rather than historical. Key issues are explained in a clear, precise, accessible manner, and (...) with a view to their relevance to contemporary philosophical debates. (shrink)

Every countable structure has a sentence of the infinitary logic $\mathcal {L}_{\omega _1 \omega }$ which characterizes that structure up to isomorphism among countable structures. Such a sentence is called a Scott sentence, and can be thought of as a description of the structure. The least complexity of a Scott sentence for a structure can be thought of as a measurement of the complexity of describing the structure. We begin with an introduction to the area, with short and simple proofs (...) where possible, followed by a survey of recent advances. (shrink)

If someone claims that individuals behave as if they violate the independence axiom when making decisions over simple lotteries, it is invariably on the basis of experiments and theories that must assume the IA through the use of the random lottery incentive mechanism. We refer to someone who holds this view as a Bipolar Behaviorist, exhibiting pessimism about the axiom when it comes to characterizing how individuals directly evaluate two lotteries in a binary choice task, but optimism about the axiom (...) when it comes to characterizing how individuals evaluate multiple lotteries that make up the incentive structure for a multiple-task experiment. We reject the hypothesis about subject behavior underlying this stance: we find that preferences estimated with a model that assumes violations of the IA are significantly affected when one elicits choices with procedures that require the independence assumption, as compared to choices elicited with procedures that do not require the assumption. The upshot is that one cannot consistently estimate popular models that relax the IA using data from experiments that assume the validity of the RLIM. (shrink)

There is a paucity of experimental data addressing how peers influence adolescent risk-taking. Here, we examined peer effects on risky decision-making in adults and adolescents using a virtual social context that enabled experimental control over the peer “interactions”. 40 adolescents (age 11-18) and 28 adults (age 20-38) completed a risk-taking (Wheel of Fortune) task under 4 conditions: in private; while being observed by (fictitious) peers; and after receiving ‘risky’ or ‘safe’ advice from the peers. For high-risk gambles (but not medium-risk (...) or even gambles), adolescents made more risky decisions under peer observation than adults. Adolescents, but not adults, tended to resist ‘safe’ advice for high-risk gambles. Although both groups tended to follow ‘risky’ advice for high-risk gambles, adults did so more than adolescents. These findings highlight the importance of distinguishing between the effects of peer observation and peer advice on risky decision-making. (shrink)

This Handbook is the first comprehensive survey of a rapidly expanding sub-field in archaeology, the study of the present and recent past. It seeks to explore the boundaries of this emerging area, to develop a tool-kit of concepts and methods, which are applicable to this new sub-field, and to suggest important future trajectories for research.

We present a spatial system called Specialized Egocentrically Coordinated Spaces embedded in an embodied cognitive architecture (ACT-R Embodied). We show how the spatial system works by modeling two different developmental findings: gaze-following and Level 1 perspective taking. The gaze-following model is based on an experiment by Corkum and Moore (1998), whereas the Level 1 visual perspective-taking model is based on an experiment by Moll and Tomasello (2006). The models run on an embodied robotic system.

In response to Willem Drees's What Are the Humanities For?, this article compares the ways in which, historically, the humanities and natural sciences have established their relevance and social legitimacy. Initially, from the period of the scientific revolution, the sciences had usually sought to justify themselves in terms of the moral and religious goals characteristic of the humanities. During the nineteenth century, however, considerations of practical utility came to displace the more traditional forms of justification. These new criteria have made (...) it increasingly difficult for humanities disciplines to establish their legitimacy. This situation is related to patterns of secularization and also has implications for science-religion relations. Along with the secularization of the humanities, their increasing pluralization has also weakened their capacity to present a united front. The humanities are perhaps not as coherent as Drees suggests, although a rhetoric of coherence might well be crucial for establishing their contemporary relevance. (shrink)

Universality has been an important concept in computable structure theory. A class C of structures is universal if, informally, for any structure of any kind there is a structure in C with the same computability-theoretic properties as the given structure. Many classes such as graphs, groups, and fields are known to be universal. This paper is about the class of finitely generated groups. Because finitely generated structures are relatively simple, the class of finitely generated groups has no hope of being (...) universal. We show that finitely generated groups are as universal as possible, given that they are finitely generated: for every finitely generated structure, there is a finitely generated group which has the same computability-theoretic properties. The same is not true for finitely generated fields. We apply the results of this investigation to quasi Scott sentences, and also answer a question of Alvir, Knight, and McCoy. (shrink)

This paper draws upon analogy with better documented slave societies to argue, first, that the institution of slavery was a major factor in fostering a discourse on the differences among foreign peoples; and secondly, that Greek ethnographic writing was informed by the experience of slavery, containing implicit justifications of slavery as an institution. It then considers the implications of these conclusions for our understanding of Greek representations of the barbarian world and for Greek contact with non-Greeks.

This article builds on Humberstone’s idea of defining models of propositional modal logic where total possible worlds are replaced by partial possibilities. We follow a suggestion of Humberstone by introducing possibility models for quantified modal logic. We show that a simple quantified modal logic is sound and complete for our semantics. Although Holliday showed that for many propositional modal logics, it is possible to give a completeness proof using a canonical model construction where every possibility consists of finitely many formulas, (...) we show that this is impossible to do in the first-order case. However, one can still construct a canonical model where every possibility consists of a computable set of formulas and thus still of finitely much information. (shrink)

Quid enim? si Daphitae fatum fuit ex equo cadere atque ita perire, ex hocne equo, qui cum equus non esset nomen habebat alienum? aut Philippus hasne in capulo quadrigulas vitare monebatur? quasi vero capulo sit occisus. Quid autem magnum aut naufragum illum sine nomine in rivo esse lapsum – quamquam huic quidem his scribit in aqua esse pereundum? ne hercule Icadii quidem praedonis video fatum ullum; nihil enim scribit ei praedictum: quid mirum igitur ex spelunca saxum in crura eius incidisse? (...) puto enim, etiam si Icadius tum in spelunca non fuisset, saxum tamen illud casurum fuisse, nam aut nihil est omnino fortuitum aut hoc ipsum potuit evenire fortuna. (shrink)

In this paper I shall consider the difficulty for Ethical Egoism, Act Utilitarianism and later what I shall call Cumulative Effect Utilitarianism, that they both commit the fallacy of pragmatic inconsistency. I shall distinguish various forms of the fallacy of pragmatic inconsistency; in particular I shall distinguish between the fallacy of direct and indirect pragmatic inconsistency, and shall argue that though both Ethical Egoism and Act Utilitarianism probably commit both, Cumulative Effect Utilitarianism does not.

Cases involving certain kinds of manipulation seem to challenge compatibilism about responsibility-grounding free will. To deal with such cases many compatibilists give what has become known as a ‘soft line’ reply. In this paper I present a challenge to the soft line reply. I argue that any relevant case involving manipulation—and to which a compatibilist might wish to give a soft line reply—can be transformed into one supporting a degree of moral responsibility through the addition of libertarian elements (such as (...) alternative possibilities of a kind unavailable under determinism and executive control of the sort commonly associated with agent-causation). From a compatibilist’s perspective the subtraction of libertarian elements should make no difference to any assessment of the agent’s responsibility. The compatibilist should therefore judge the agent morally responsible after the removal of the libertarian elements. Yet removal of the libertarian elements returns the case to its original form and thus what started out as a soft line has now collapsed into a hard line reply. Various ways of resisting my argument are considered, but each is shown to carry important burdens. (shrink)

Ovid, Metamorphoses 4.243–4:nec tu iam poteras enectum pondere terraetollere, nympha, caput, corpusque exsangue iacebas.

I argue that normative reasons are powerful evidence that a god exists. Normative reasons are presupposed by all intellectual inquiry, yet it appears there is only one thing they could credibly be: the favourings a god is having of us doing and believing things. I anticipate some possible objections and show them to be confused or dogmatic.

BackgroundStructured, systematic methods to formulate consensus recommendations, such as the Delphi process or nominal group technique, among others, provide the opportunity to harness the knowledge of experts to support clinical decision making in areas of uncertainty. They are widely used in biomedical research, in particular where disease characteristics or resource limitations mean that high-quality evidence generation is difficult. However, poor reporting of methods used to reach a consensus – for example, not clearly explaining the definition of consensus, or not stating (...) how consensus group panellists were selected – can potentially undermine confidence in this type of research and hinder reproducibility. Our objective is therefore to systematically develop a reporting guideline to help the biomedical research and clinical practice community describe the methods or techniques used to reach consensus in a complete, transparent, and consistent manner.MethodsThe ACCORD project will take place in five stages and follow the EQUATOR Network guidance for the development of reporting guidelines. In Stage 1, a multidisciplinary Steering Committee has been established to lead and coordinate the guideline development process. In Stage 2, a systematic literature review will identify evidence on the quality of the reporting of consensus methodology, to obtain potential items for a reporting checklist. In Stage 3, Delphi methodology will be used to reach consensus regarding the checklist items, first among the Steering Committee, and then among a broader Delphi panel comprising participants with a range of expertise, including patient representatives. In Stage 4, the reporting guideline will be finalised in a consensus meeting, along with the production of an Explanation and Elaboration document. In Stage 5, we plan to publish the reporting guideline and E&E document in open-access journals, supported by presentations at appropriate events. Dissemination of the reporting guideline, including a website linked to social media channels, is crucial for the document to be implemented in practice.DiscussionThe ACCORD reporting guideline will provide a set of minimum items that should be reported about methods used to achieve consensus, including approaches ranging from simple unstructured opinion gatherings to highly structured processes. (shrink)

We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and p-adically closed valued fields. We give an effectiveness condition, related to Hensel’s lemma, on a valued field which is necessary and sufficient to extend the valuation to any algebraic extension. We show that there is a computable formally p-adic field which does not embed into any computable p-adic closure, but we give an effectiveness condition on the divisibility relation in the value group which is (...) sufficient to find such an embedding. By checking that algebraically closed valued fields and p-adically closed valued fields of infinite transcendence degree have the Mal’cev property, we show that they have computable dimension \. (shrink)

This article contributes to existing feminist technoscience analyses by proposing a new tool for examining how norms governing viable and unviable bodies are discursively constructed in an increasingly technologized world. This tool is the result of synthesizing two existing concepts: white noise from the field of media theory/information studies, and the abject from psychosemiotics/gender studies. Synthesizing these two concepts produces an enriched term for detecting interrelations between discursive disturbances and disturbances in bodily norms. In this article, the synthesized concept is (...) used as a tool to analyse material concerning the assignment of International Nonproprietary Names to biotechnological drugs. Biotech offers itself as a prime testing ground for this new tool, replete as it is with bodily anxieties, powerful discourses and innovative technologies. This article compares three versions of an INN guidance document showing how anxieties about bodily norms are reflected in, and managed through, these documents. (shrink)

Let $\mathcal A$ be a mathematical structure with an additional relation $R$. The author is interested in the degree spectrum of $R$, either among computable copies of $\mathcal A$ when $(\mathcal A,R)$ is a ``natural'' structure, or (to make this rigorous) among copies of $(\mathcal A,R)$ computable in a large degree d. He introduces the partial order of degree spectra on a cone and begin the study of these objects. Using a result of Harizanov--that, assuming an effectiveness condition on $\mathcal (...) A$ and $R$, if $R$ is not intrinsically computable, then its degree spectrum contains all c.e. degrees--the author shows that there is a minimal non-trivial degree spectrum on a cone, consisting of the c.e. degrees. (shrink)