Our reasoning evolved not for finding the truth, but for social bonding and convincing. This book highlights the consequences of these facts for scientific practice, and suggests how to correct the mistakes we still make.

This book highlights some of the most pressing safety, ethical, legal and societal issues related to the diverse contexts in which robotic technologies apply. Focusing on the essential concept of well-being, it addresses topics that are fundamental not only for research, but also for industry and end-users, discussing the challenges in a wide variety of applications, including domestic robots, autonomous manufacturing, personal care robots and drones.

By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the Πn+1-sentences true in the standard model is the only consistent Πn+1-theory which extends the scheme of induction for parameter free Πn+1-formulas. Motivated by this result, we present a systematic study of extensions of bounded quantifier complexity of fragments of first-order Peano Arithmetic. Here, we improve that result and show that this property describes a general phenomenon valid for parameter free schemes. As a consequence, we obtain (...) results on the quantifier complexity, finite axiomatizability and relative strength of schemes for Δn+1-formulas. (shrink)

A well known theorem proved by J. Paris and H. Friedman states that BΣn +1 is a Πn +2-conservative extension of IΣn . In this paper, as a continuation of our previous work on collection schemes for Δn +1-formulas , we study a general version of this theorem and characterize theories T such that T + BΣn +1 is a Πn +2-conservative extension of T . We prove that this conservativeness property is equivalent to a model-theoretic property relating Πn-envelopes and (...) Πn-indicators for T . The analysis of Σn +1-collection we develop here is also applied to Σn +1-induction using Parsons' conservativeness theorem instead of Friedman-Paris' theorem.As a corollary, our work provides new model-theoretic proofs of two theorems of R. Kaye, J. Paris and C. Dimitracopoulos : BΣn +1 and IΣn +1 are Σn +3-conservative extensions of their parameter free versions, BΣ–n +1 and IΣ–n +1. (shrink)

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

We investigate the strength of a randomness notion ${\cal R}$ as a set-existence principle in second-order arithmetic: for each Z there is an X that is ${\cal R}$-random relative to Z. We show that the equivalence between 2-randomness and being infinitely often C-incompressible is provable in $RC{A_0}$. We verify that $RC{A_0}$ proves the basic implications among randomness notions: 2-random $\Rightarrow$ weakly 2-random $\Rightarrow$ Martin-Löf random $\Rightarrow$ computably random $\Rightarrow$ Schnorr random. Also, over $RC{A_0}$ the existence of computable randoms is equivalent (...) to the existence of Schnorr randoms. We show that the existence of balanced randoms is equivalent to the existence of Martin-Löf randoms, and we describe a sense in which this result is nearly optimal. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Spirit and Politics: Some Thoughts on Margaret Watkins’s The Philosophical Progress of Hume’s “Essays”Andre C. Willis (bio)Margaret Watkins’s elegant text, The Philosophical Progress of Hume’s Essays (2019),1 is marked by a Humean approach: it fosters philosophical consideration of both the faculties of the mind and the affective features of experience in ways that bear on practical, moral issues. Ever-attentive to the meaning of Hume’s various nuances and strategic ambiguities, (...) Watkins’s even-handed approach guides us into a broad swath of Hume’s ideas and marches us through a trajectory of secondary interlocutors. It also establishes Watkins as an integral part of Hume’s lineage, in the sense that she understands that thoughtful writing itself is an intellectual virtue. Her “unusual sensitivity, not to life’s daily vicissitudes but to beauties and deformities” (193)2 richly textures her overall argument that positions Hume’s Essays as a filter for his vision of “true philosophy:” that reflective turn towards nature and common life that openly challenges abstruse reasoning, fluently embraces historicism and perspectivalism, and deftly foregrounds the usefulness of ideas over their logical certainty.As much as Watkins reveals Hume’s vision for philosophy, she also extends it; for, among other things, her consideration of Hume’s unique endeavor in philosophical literature (ultimately collected under the title Essays, Moral, Political and Literary [1758]), makes an important twofold contribution to Hume studies. It brings greater attention to Hume’s notion of “public spirit,” a distinct mode of human excellence that combines “benevolence” with “greatness of mind.” And, it aestheticizes some practical dimensions of human life (noted in chapter titles, for example, “Working,” [End Page 143] “Thinking,” “Loving”) without losing track of their socio-political valences. I shall return to these two main points below. As an introductory gesture, I want to note that Watkins’s writing both nicely elaborates Hume’s philosophical vision and thoughtfully broadens his literary insights. It does “the job of putting the audience into a responsive relation with the work of art,” what literary critic R. P. Blackmur identified as “the job of intermediary.”3Generally speaking, Watkins’s mediation filters salient themes and terms from Hume’s corpus through a particularly close reading of the Essays. Cast through her richly stylized analysis, Hume’s foundational ideas of “sympathy,” “convention,” “impressions,” “association,” “imagination,” “artifice,” the “passions” (and more) find fresh interpretive air. An example of this in her first chapter tracks Hume’s use of both “artifice” and “convention” from the Treatise through the second Enquiry to the Essays. For Watkins, a through-line for Hume is that “governing” can be thought of as repeated actions that bridge institutional policy to individual character. To think about governing in this way is to open ourselves to new ways of conceiving potential overlaps between nature and artifice (say, in the instance of a moral virtue like courage [50]). To link categories in the Essays back to their antecedent texts along the lines that Watkins does is to situate them in the context of Hume’s larger thought-project and, indirectly, confirm connections between the individual essays. These conjoinings, for Watkins, suggest Hume’s Essays can be treated together, without either blending their disparate themes or diluting their individual subject matter.4This point stands in opposition to Hume’s own semi-admonishment (1741) that “The Reader must not look for any connexion among these Essays but must consider each of them as a Work apart.”5 Watkins’s response—indicative of the graciousness of her overall tone—is to warmly acknowledge Hume’s reproach and affirm the distinctiveness of each of the essays. She proclaims: “The Essays are not unified” (5). Her thinking about them separately, however, reveals a common practical thread in their form. Watkins characterizes this form as serving “to promote public benefit” (4). I think about this form as being philosophical in the way that Richard Rorty conceives of philosophy as cultural criticism. Watkins, however, wants to emphasize the public character of Hume’s philosophy. She writes: “Hume seeks to benefit the public in two ways. First, he tries to allay irrational attitudes that produce imprudent personal and... (shrink)

We study the sets that are computable from both halves of some (Martin–Löf) random sequence, which we call 1/2-bases. We show that the collection of such sets forms an ideal in the Turing degrees that is generated by its c.e. elements. It is a proper subideal of the K-trivial sets. We characterize 1/2-bases as the sets computable from both halves of Chaitin’s Ω, and as the sets that obey the cost function c(x,s)=Ωs−Ωx−−−−−−−√. Generalizing these results yields a dense hierarchy of (...) subideals in the K-trivial degrees: For k<n, let Bk/n be the collection of sets that are below any k out of n columns of some random sequence. As before, this is an ideal generated by its c.e. elements and the random sequence in the definition can always be taken to be Ω. Furthermore, the corresponding cost function characterization reveals that Bk/n is independent of the particular representation of the rational k/n, and that Bp is properly contained in Bq for rational numbers p<q. These results are proved using a generalization of the Loomis–Whitney inequality, which bounds the measure of an open set in terms of the measures of its projections. The generality allows us to analyze arbitrary families of orthogonal projections. As it turns out, these do not give us new subideals of the K-trivial sets; we can calculate from the family which Bp it characterizes. We finish by studying the union of Bp for p<1; we prove that this ideal consists of the sets that are robustly computable from some random sequence. This class was previously studied by Hirschfeldt [D. R. Hirschfeldt, C. G. Jockusch, R. Kuyper and P. E. Schupp, Coarse reducibility and algorithmic randomness, J. Symbolic Logic81(3) (2016) 1028–1046], who showed that it is a proper subclass of the K-trivial sets. We prove that all such sets are robustly computable from Ω, and that they form a proper subideal of the sets computable from every (weakly) LR-hard random sequence. We also show that the ideal cannot be characterized by a cost function, giving the first such example of a Σ03 subideal of the K-trivial sets. (shrink)

The tower number ${\mathfrak t}$ and the ultrafilter number $\mathfrak {u}$ are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subsets of $\omega $ and the almost inclusion relation $\subseteq ^*$ between such subsets. We consider analogs of these cardinal characteristics in computability theory.We say that a sequence $(G_n)_{n \in {\mathbb N}}$ of computable sets is a tower if $G_0 = {\mathbb N}$, $G_{n+1} \subseteq ^* G_n$, and $G_n\smallsetminus G_{n+1}$ is infinite for each n. (...) A tower is maximal if there is no infinite computable set contained in all $G_n$. A tower ${\left \langle {G_n}\right \rangle }_{n\in \omega }$ is an ultrafilter base if for each computable R, there is n such that $G_n \subseteq ^* R$ or $G_n \subseteq ^* \overline R$ ; this property implies maximality of the tower. A sequence $(G_n)_{n \in {\mathbb N}}$ of sets can be encoded as the “columns” of a set $G\subseteq \mathbb N$. Our analogs of ${\mathfrak t}$ and ${\mathfrak u}$ are the mass problems of sets encoding maximal towers, and of sets encoding towers that are ultrafilter bases, respectively. The relative position of a cardinal characteristic broadly corresponds to the relative computational complexity of the mass problem. We use Medvedev reducibility to formalize relative computational complexity, and thus to compare such mass problems to known ones.We show that the mass problem of ultrafilter bases is equivalent to the mass problem of computing a function that dominates all computable functions, and hence, by Martin’s characterization, it captures highness. On the other hand, the mass problem for maximal towers is below the mass problem of computing a non-low set. We also show that some, but not all, noncomputable low sets compute maximal towers: Every noncomputable (low) c.e. set computes a maximal tower but no 1-generic $\Delta ^0_2$ -set does so.We finally consider the mass problems of maximal almost disjoint, and of maximal independent families. We show that they are Medvedev equivalent to maximal towers, and to ultrafilter bases, respectively. (shrink)

The review by De Bie et al. (2023) provides an overview of the current ethical literature on artificial womb technology (AWT). Two characteristics stand out, and provide the basis for our commentar...

Current UK legislation is impacting upon the feasibility and cost-effectiveness of medical record-based research aimed at benefiting the NHS and the public heath. Whereas previous commentators have focused on the Data Protection Act 1998, the Health and Social Care Act 2001 is the key legislation for public health researchers wishing to access medical records without written consent. The Act requires researchers to apply to the Patient Information Advisory Group for permission to access medical records without written permission. We present a (...) case study of the work required to obtain the necessary permissions from PIAG in order to conduct a large scale public health research project. In our experience it took eight months to receive permission to access basic identifying information on individuals registered at general practices, and a decision on whether we could access clinical information in medical records without consent took 18 months. Such delays pose near insurmountable difficulties to grant funded research, and in our case £560 000 of public and charitable money was spent on research staff while a large part of their work was prohibited until the third year of a three year grant. We conclude by arguing that many of the current problems could be avoided by returning PIAG’s responsibilities to research ethics committees, and by allowing “opt-out” consent for many public health research projects. (shrink)

While outcomes for children with T-cell acute lymphoblastic leukemia have improved dramatically, survival rates for patients with relapsed/refractory disease remain dismal. Prior studies indicate that glucocorticoid resistance is more common than resistance to other chemotherapies at relapse. In addition, failure to clear peripheral blasts during a prednisone prophase correlates with an elevated risk of relapse in newly diagnosed patients. Here we show that intrinsic GC resistance is present at diagnosis in early thymic precursor T-ALLs as well as in a subset (...) of non-ETP T-ALLs. GC-resistant non-ETP T-ALLs are characterized by strong induction of JAK/STAT signaling in response to interleukin-7 stimulation. Removing IL7 or inhibiting JAK/STAT signaling sensitizes these T-ALLs, and a subset of ETP T-ALLs, to GCs. The combination of the GC dexamethasone and the JAK1/2 inhibitor ruxolitinib altered the balance between pro- and anti-apoptotic factors in samples with IL7-dependent GC resistance, but not in samples with IL7-independent GC resistance. Together, these data suggest that the addition of ruxolitinib or other inhibitors of IL7 receptor/JAK/STAT signaling may enhance the efficacy of GCs in a biologically defined subset of T-ALL.Leukemia advance online publication, 30 May 2017; doi:10.1038/leu.2017.136. (shrink)

Current UK legislation is impacting upon the feasibility and cost-effectiveness of medical record-based research aimed at benefiting the NHS and the public heath. Whereas previous commentators have focused on the Data Protection Act 1998, the Health and Social Care Act 2001 is the key legislation for public health researchers wishing to access medical records without written consent. The Act requires researchers to apply to the Patient Information Advisory Group for permission to access medical records without written permission. We present a (...) case study of the work required to obtain the necessary permissions from PIAG in order to conduct a large scale public health research project. In our experience it took eight months to receive permission to access basic identifying information on individuals registered at general practices, and a decision on whether we could access clinical information in medical records without consent took 18 months. Such delays pose near insurmountable difficulties to grant funded research, and in our case £560 000 of public and charitable money was spent on research staff while a large part of their work was prohibited until the third year of a three year grant. We conclude by arguing that many of the current problems could be avoided by returning PIAG’s responsibilities to research ethics committees, and by allowing “opt-out” consent for many public health research projects. (shrink)

Pancreatitis is a complex, progressively destructive inflammatory disorder. Alcohol was long thought to be the primary causative agent, but genetic contributions have been of interest since the discovery that rare PRSS1, CFTR and SPINK1 variants were associated with pancreatitis risk. We now report two associations at genome-wide significance identified and replicated at PRSS1-PRSS2 and X-linked CLDN2 through a two-stage genome-wide study. The PRSS1 variant likely affects disease susceptibility by altering expression of the primary trypsinogen gene. The CLDN2 risk allele is (...) associated with atypical localization of claudin-2 in pancreatic acinar cells. The homozygous CLDN2 genotype confers the greatest risk, and its alleles interact with alcohol consumption to amplify risk. These results could partially explain the high frequency of alcohol-related pancreatitis in men. © 2012 Nature America, Inc. All rights reserved. (shrink)

Psychiatric disorders present distinct clinical challenges which are partly attributable to their multifactorial aetiology and the absence of laboratory tests that can be used to confirm diagnosis or predict risk. Psychiatric disorders are highly heritable, but also polygenic, with genetic risk conferred by interactions between thousands of variants of small effect that can be summarized in a polygenic risk score. We discuss four areas in which the use of polygenic risk scores in psychiatric research and clinical contexts could have ethical (...) implications. First, there is concern that clinical use of polygenic risk scores may exacerbate existing health inequities. Second, research findings regarding polygenic risk could be misinterpreted in stigmatising or discriminatory ways. Third, there are concerns associated with testing minors as well as eugenics concerns elicited by prenatal polygenic risk testing. Fourth, potential challenges that could arise with the feedback and interpretation of high polygenic risk for a psychiatric disorder would require consideration. While there would be extensive overlap with the challenges of feeding back genetic findings in general, the potential clinical use of polygenic risk scoring warrants discussion in its own right, given the recency of this possibility. To this end, we discuss how lay interpretations of risk and genetic information could intersect. Consideration of these factors would be necessary for ensuring effective and constructive communication and interpretation of polygenic risk information which, in turn, could have implications for the uptake of any therapeutic recommendations. Recent advances in polygenic risk scoring have major implications for its clinical potential, however, care should be taken to ensure that communication of polygenic risk does not feed into problematic assumptions regarding mental disorders or support reductive interpretations. (shrink)

Emotions are complex reactions that allow individuals to cope with significant positive and negative events. Research on emotion was pioneered by Darwin’s (1871) work on emotional expressions in humans and animals. But Darwin was concerned mainly with facial and bodily expressions of significance for humans, citing mainly examples from mammals (e.g., apes, dogs, and cats). In birds, emotional expressions are less evident for a human observer, so a different approach is needed. Understanding avian emotions will provide key evolutionary information on (...) the evolution of related behaviors and brain circuitry. Birds and mammals are thought to have evolved from different groups of Mesozoic reptiles, theropod dinosaurs and therapsids, respectively, and therefore their common ancestor is likely to be a basal reptile living about 300 million years ago, during the Carboniferous or Permian. Yet, birds and mammals exhibit extensive convergence in terms of relative brain size, high levels of activity, sleep/wakefulness cycles, endothermy, and social behavior, among others. This article focuses on two basic emotions with negative valence: fear and frustration. Fear is related to the anticipation of dangerous or threatening stimuli (e.g., predators or aggressive conspecifics). Frustration is related to unexpected reward omissions or devaluations (e.g., loss of food or sexual resources). These results have implications for an understanding of the conditions that promote fear and frustration, and for the evolution of supporting brain circuitry. (shrink)

IT IS SHOWN IN DETAIL THAT RECENT ACCOUNTS FAIL TO DISTINGUISH BETWEEN INTENTIONALITY AND MERELY CAUSALLY DISPOSITIONAL STATES OF INORGANIC PHYSICAL OBJECTS—A QUICK ROAD TO PANPSYCHISM. THE CLEAR NEED TO MAKE SUCH A DISTINCTION GIVES DIRECTION FOR FUTURE WORK. A BEGINNING IS MADE TOWARD PROVIDING SUCH AN ACCOUNT.

This volume has 41 chapters written to honor the 100th birthday of Mario Bunge. It celebrates the work of this influential Argentine/Canadian physicist and philosopher. Contributions show the value of Bunge’s science-informed philosophy and his systematic approach to philosophical problems. The chapters explore the exceptionally wide spectrum of Bunge’s contributions to: metaphysics, methodology and philosophy of science, philosophy of mathematics, philosophy of physics, philosophy of psychology, philosophy of social science, philosophy of biology, philosophy of technology, moral philosophy, social and political (...) philosophy, medical philosophy, and education. The contributors include scholars from 16 countries. Bunge combines ontological realism with epistemological fallibilism. He believes that science provides the best and most warranted knowledge of the natural and social world, and that such knowledge is the only sound basis for moral decision making and social and political reform. Bunge argues for the unity of knowledge. In his eyes, science and philosophy constitute a fruitful and necessary partnership. Readers will discover the wisdom of this approach and will gain insight into the utility of cross-disciplinary scholarship. This anthology will appeal to researchers, students, and teachers in philosophy of science, social science, and liberal education programmes. 1. Introduction Section I. An Academic Vocation Section II. Philosophy Section III. Physics and Philosophy of Physics Section IV. Cognitive Science and Philosophy of Mind Section V. Sociology and Social Theory Section VI. Ethics and Political Philosophy Section VII. Biology and Philosophy of Biology Section VIII. Mathematics Section IX. Education Section X. Varia Section XI. Bibliography. (shrink)

Social conditions of race and class continue to combine in ways that raise systemic questions about the adequacy and legitimacy of liberal, capitalist democracy in America. More radical alternatives, however, are still generally held to be irrelevant in the American context. The following is an effort to correct this widespread misrepresentation of socialism’s relevance to America generally, and to matters of race in particular. I consider the work of C.L.R. James who, fifty years ago, developed a class-oriented, explicitly Marxist theory (...) in which the aspirations and struggles of African-Americans were given a central place, both analytically and politically. (shrink)

We point out that current belief revision operations can be used to revise non-monotonic theories and we propose a new operation, called permissive belief revision. The underlying idea of permissive belief revision consists of instead of abandoning some beliefs during a revision, transforming those beliefs into weaker ones, while still keeping the resulting belief set consistent. This framework allows us to keep more beliefs than what is usual using existing belief base-based revision theories.