In the last five years there have been a number of results about the computable content of the prime, saturated, or homogeneous models of a complete decidable theory T in the spirit of Vaught's "Denumerable models of complete theories" combined with computability methods for degrees d ≤ 0′. First we recast older results by Goncharov, Peretyat'kin, and Millar in a more modern framework which we then apply. Then we survey recent results by Lange, "The degree spectra of homogeneous models," (...) which generalize the older results and which include positive results on when a certain homogeneous model of T has an isomorphic copy of a given Turing degree. We then survey Lange's "A characterization of the 0-basis homogeneous bounding degrees" for negative results about when does not have such copies, generalizing negative results by Goncharov, Peretyat'kin, and Millar. Finally, we explain recent results by Csima, Harizanov, Hirschfeldt, and Soare, "Bounding homogeneous models," about degrees d that are homogeneous bounding and explain their relation to the PA degrees. (shrink)

Thousands of youth suffering from acquired brain injury or other early-life neurological disease live, mature, and learn with only limited communication and interaction with their world. Such cognitively capable children are ideal candidates for brain-computer interfaces. While BCI systems are rapidly evolving, a fundamental gap exists between technological innovators and the patients and families who stand to benefit. Forays into translating BCI systems to children in recent years have revealed that kids can learn to operate simple BCI with proficiency akin (...) to adults. BCI could bring significant boons to the lives of many children with severe physical impairment, supporting their complex physical and social needs. However, children have been neglected in BCI research and a collaborative BCI research community is required to unite and push pediatric BCI development forward. To this end, the pediatric BCI Canada collaborative network was formed, under a unified goal to cooperatively drive forward pediatric BCI innovation and impact. This article reflects on the topics and discussions raised in the foundational BCI-CAN meeting held in Toronto, ON, Canada in November 2019 and suggests the next steps required to see BCI impact the lives of children with severe neurological disease and their families. (shrink)

Unified explanations seek to situate the traits of human beings in a causal framework that also explains the trait values found in nonhuman species. Disunified explanations claim that the traits of human beings are due to causal processes not at work in the rest of nature. This paper outlines a methodology for testing hypotheses of these two types. Implications are drawn concerning evolutionary psychology, adaptationism, and anti-adaptationism.

Very little has been done to find out what corporations have done to build ethical values into their organizations. In this report on a survey of 1984 Fortune 1000 industrial and service companies the Center for Business Ethics reveals some facts regarding codes of ethics, ethics committees, social audits, ethics training programs, boards of directors, and other areas where corporations might institutionalize ethics. Based on the survey, the Center for Business Ethics is convinced that corporations are beginning to take steps (...) to institutionalize ethics, while recognizing that in most cases more specific mechanisms and strategies need to be implemented to make their ethics efforts truly effective. (shrink)

We say a countable model ������ has a 0-basis if the types realized in ������ are uniformly computable. We say ������ has a (d-)decidable copy if there exists a model ������ ≅ ������ such that the elementary diagram of ������ is (d-)computable. Goncharov, Millar, and Peretyat'kin independently showed there exists a homogeneous model ������ with a 0-basis but no decidable copy. We extend this result here. Let d ≤ 0' be any low₂ degree. We show that there exists a homogeneous (...) model ������ with a 0-basis but no d-decidable copy. A degree d is 0-basis homogeneous bounding if any homogenous ������ with a 0-basis has a d-decidable copy. In previous work, we showed that the nonlow₂ $\Delta _{2}^{0}$ degrees are 0-basis homogeneous bounding. The result of this paper shows that this is an exact characterization of the 0-basis homogeneous bounding $\Delta _{2}^{0}$ degrees. (shrink)

Much previous study has been done on the degree spectra of prime models of a complete atomic decidable theory. Here we study the analogous questions for homogeneous models. We say a countable model A has a d-basis if the types realized in A are all computable and the Turing degree d can list $\Delta _{0}^{0}$ -indices for all types realized in A. We say A has a d-decidable copy if there exists a model B ≅ A such that the elementary (...) diagram of B is d-computable. Goncharov, Millar, and Peretyat'kin independently showed there exists a homogeneous A with a 0-basis but no decidable copy. We prove that any homogeneous A with a 0'-basis has a low decidable copy. This implies Csima's analogous result for prime models. In the case where all types of the theory T are computable and A is a homogeneous model with a 0-basis, we show A has copies decidable in every nonzero degree. A degree d is 0-homogeneous bounding if any automorphically nontrivial homogeneous A with a 0-basis has a d-decidable copy. We show that the nonlow₂ $\Delta _{2}^{0}$ degrees are 0-homogeneous bounding. (shrink)

Candrakīrti is known for his commentaries on the major works of Nāgārjuna and Āryadeva. This chapter examines how Candrakīrti uses language and logic to undermine people's confidence in cherished beliefs about a self and point them towards the Buddha's path and its goal the peace of nirvana that transcends the limitations of language and logic. Candrakīrti first sets out his view on the two truths in the Madhyamakāvatāra. He associates both truths with the soteriological goal of Nāgārjuna's path: the peaceful (...) state of nirvana. Madhyamaka teaching amounts to nihilism. Candrakīrti responds that the charge of nihilism is wrong because there is no repudiation of moral actions. Emptiness is also related to the concept of intrinsic nature, and Candrakīrti uses this term in more than one sense. (shrink)

En este ensayo se propone una lectura de la novela Sopa de caracol (2002) del escritor guatemalteco Arturo Arias, centrada en el tema de la función de la sexualidad como elemento desubjetivante del protagonista. Se examina también cómo la estética del grotesco y el modelo carnavalesco son puestos en movimiento para desestabilizar la identidad de género y así mostrar la imposibilidad de reconstruirse después de la catástrofe de la guerra.

Let K be a family of structures, closed under isomorphism, in a fixed computable language. We consider effective lists of structures from K such that every structure in K is isomorphic to exactly one structure on the list. Such a list is called a computable classification of K, up to isomorphism. Using the technique of Friedberg enumeration, we show that there is a computable classification of the family of computable algebraic fields and that with a 0'-oracle, we can obtain similar (...) classifications of the families of computable equivalence structures and of computable finite-branching trees. However, there is no computable classification of the latter, nor of the family of computable torsion-free abelian groups of rank 1, even though these families are both closely allied with computable algebraic fields. (shrink)

Sir Ernst Gombrich and the Barber from Tuscany In the spirit of Sir Ernst Gombrich, this essay uses an anecdote—a chat between Gombrich and a barber from Tuscany—to illustrate a deeper point, namely, how cultural memory, tradition, and a canon give rise to an implied language of culture and cultural value. Gombrich staunchly defended tradition against relativism. By relativism, he meant something like "radical subjectivism." To his mind, subjectivism is not only impossible, since meaning is conferred through culture and society, (...) but it is also dangerous, since it denies the existence of shared values. Against consensus on the one hand and radical subjectivism on the other, Gombrich advocated a middle way: criticism and self-criticism to ensure latitude; the search for "truth" to ensure a limited plurality of interpretations. (shrink)

We show that if H is an effectively completely decomposable computable torsion-free abelian group, then there is a computable copy G of H such that G has computable orders but not orders of every degree.

We introduce agreement reducibility and highlight its major features. Given subsets A and B of, we write if there is a total computable function satisfying for all,.We shall discuss the central role plays in this reducibility and its connection to strong‐hyper‐hyper‐immunity. We shall also compare agreement reducibility to other well‐known reducibilities, in particular s1‐ and s‐reducibility. We came upon this reducibility while studying the computable reducibility of a class of equivalence relations on based on set‐agreement. We end by describing the (...) origin of agreement reducibility and presenting some results in that context. (shrink)

Anderson and Csima :245–264, 2014) defined a jump operator, the bounded jump, with respect to bounded Turing reducibility. They showed that the bounded jump is closely related to the Ershov hierarchy and that it satisfies an analogue of Shoenfield jump inversion. We show that there are high bounded low sets and low bounded high sets. Thus, the information coded in the bounded jump is quite different from that of the standard jump. We also consider whether the analogue of the Jump (...) Theorem holds for the bounded jump: do we have A≤bTB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A \le _{bT}B$$\end{document} if and only if Ab≤1Bb\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A^b \le _1 B^b$$\end{document}? We show the forward direction holds but not the reverse. (shrink)

Das Subjekt ist einer der zentralen Begriffe der Philosophie und Geisteswissenschaften überhaupt, gleichzeitig jedoch auch einer, der besonders schwierig zu fassen ist. Nicht nur lassen sich philosophiehistorisch stark variierende Bedeutungen desselben ausmachen, darüber hinaus stellt es eine besondere Herausforderung dar, das Subjekt ins Verhältnis zu anderen zentralen Begriffen der Philosophie zu setzen, wie etwa Person, Selbst, Ich, Substanz, Gehirn und Individuum. Die weit verbreitete Unklarheit über diesen Begriff und seine doch nicht zu leugnende Relevanz gaben uns Anlass zu diesem Projekt (...) - die ihm inne liegenden Spannungsverhältnisse den Ausgangspunkt. Subject is one of the most central concepts in contemporary philosophy and the humanities, though at the same time one which is especially hard to grasp. Not only does the meaning of this concept vary throughout history, furthermore it poses a great challenge to determine its relation to concepts such as mind, the self and the individual. The ambiguity of this concept, its inherent relationship of tension as well as its undeniable relevance, gave us occasion for this project. (shrink)

Soare [20] proved that the maximal sets form an orbit in${\cal E}$. We consider here${\cal D}$-maximal sets, generalizations of maximal sets introduced by Herrmann and Kummer [12]. Some orbits of${\cal D}$-maximal sets are well understood, e.g., hemimaximal sets [8], but many are not. The goal of this paper is to define new invariants on computably enumerable sets and to use them to give a complete nontrivial classification of the${\cal D}$-maximal sets. Although these invariants help us to better understand the${\cal D}$-maximal (...) sets, we use them to show that several classes of${\cal D}$-maximal sets break into infinitely many orbits. (shrink)

Soare [20] proved that the maximal sets form an orbit in${\cal E}$. We consider here${\cal D}$-maximal sets, generalizations of maximal sets introduced by Herrmann and Kummer [12]. Some orbits of${\cal D}$-maximal sets are well understood, e.g., hemimaximal sets [8], but many are not. The goal of this paper is to define new invariants on computably enumerable sets and to use them to give a complete nontrivial classification of the${\cal D}$-maximal sets. Although these invariants help us to better understand the${\cal D}$-maximal (...) sets, we use them to show that several classes of${\cal D}$-maximal sets break into infinitely many orbits. (shrink)

We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in [9], where the authors gave such a characterization forκ-saturation, for a cardinal$\kappa \ge \aleph _0 $. Our result extends the characterization of Harnik and Ressayre [7] for a divisible ordered abelian group to be recursively saturated.

Let R be a real closed field. An integer part I for R is a discretely ordered subring such that for every \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${r \in R}$$\end{document}, there exists an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${i \in I}$$\end{document} so that i ≤ r < i + 1. Mourgues and Ressayre (J Symb Logic 58:641–647, 1993) showed that every real closed field has an integer part. The procedure of Mourgues and (...) Ressayre appears to be quite complicated. We would like to know whether there is a simple procedure, yielding an integer part that is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta^0_2(R)}$$\end{document} —limit computable relative to R. We show that there is a maximal Z-ring \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${I \subseteq R}$$\end{document} which is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta^0_2(R)}$$\end{document}. However, this I may not be an integer part for R. By a result of Wilkie (Logic Colloquium ’77), any Z-ring can be extended to an integer part for some real closed field. Using Wilkie’s ideas, we produce a real closed field R with a Z-ring \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${I \subseteq R}$$\end{document} such that I does not extend to an integer part for R. For a computable real closed field, we do not know whether there must be an integer part in the class \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta^0_2}$$\end{document}. We know that certain subclasses of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta^0_2}$$\end{document} are not sufficient. We show that for each \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${n \in \omega}$$\end{document}, there is a computable real closed field with no n-c.e. integer part. In fact, there is a computable real closed field with no n-c.e. integer part for any n. (shrink)

We prove that for every Scott set S there are S-saturated real closed fields and S-saturated models of Presburger arithmetic.

There is a long-standing debate about whether poetry can make a substantive contribution to philosophy with compelling arguments to show that poetry and philosophy involve distinct modes of thought and aims, albeit with similar concerns. This paper argues that reading lyric poetry can play a substantive role in philosophy by helping the philosopher understand how to forge connections with the perspectives of others. The paper takes the view that poetry is not directly philosophical but can play an important role in (...) developing the philosopher's awareness of how perspective shapes beliefs and thought processes. Following Robert Nozick, David Lewis, and Helen Beebee, it argues for the need to broaden our conception of the aims of philosophy beyond aiming for conclusive proof, at the least where philosophical inquiry is focused on questions of value. It then shows how poetry cultivates an intellectual virtue essential to philosophy aimed at uncovering equilibria and collective understanding. (shrink)

This chapter contains section titles: Introduction Response Functions Information and Singular Causation The Functions of Sensory Representations The Contents of Sensory Representations: The Problem of Error The Contents of Sensory Representation: The Distality Problem.

This study has two agendas: to interrogate popular notions of religion by reading it, out of Derrida and Certeau, as a signifier for a situated historical scene; and to show the existential philosophy of Beauvoir as a performance of that scene. In particular, it shows how the structure of relationships she presents in her ethics clearly reproduces the rhythms of the scene of religion. One of the implications of this reproduction is that existential philosophy can only emerge in the context (...) of religion, and is necessarily an iteration of religion. The other implication is that we might reassess how we code the category ‘religion’ in our public and private discourse, with all the disruption that such a different coding might entail. (shrink)

A timely interrogation of the concept of 'expertise' in cultural work, exploring the characteristics of aesthetic expertise in the digital age, and its relation to inequalities in the cultural sector.

The view that narrative artworks can offer insights into our lives, in particular, into the nature of the emotions, has gained increasing popularity in recent years. However, talk of narrative often involves reference to a perspective or point of view, which indicates a more fundamental mechanism at work. In this article, I argue that our understanding of the emotions is incomplete without adequate attention to the perspectival structures in which they are embedded. Drawing on Bennett Helm’s theory of emotion, I (...) argue that the narrative view fails to take into account the influence of perspective on the emotions. In order to address this gap in our understanding of the emotions, I highlight a mode of engagement with literature that prioritizes the perspectival features of a work. Focusing on lyric poetry, I argue that non-narrative artworks are those best placed to highlight this fundamental aspect of our emotional experiences. (shrink)

Performance is increasingly important to the poet, which is evidenced by the growing numbers of videos and audio recordings online including YouTube, the National Poetry library, and Poetry Archive. As a result, there are greater opportunities to engage with poets reading their own work and consequently, there is a need to move away from thinking of poetry as primary something that takes shape on the page. Furthermore, by refocusing attention to poetry as an oral artform, in particular to poetry performance, (...) different ways of understanding the value of poetry come to the fore. The live poetry performance, I argue, offers an attempt to reclaim the personal individual expression of language in contemporary society and demands attention by the audience because of the role of voice and body in the performance. Through awareness of ‘uniqueness of voice,’ the performed poem becomes a site of collective meaning making with individual identity intact as a shared endeavour between performer and audience, and necessarily resists appropriation (in the sense that the words experienced cannot be divorced from the performer or the performance space to serve as a proxy for meaning elsewhere). This chapter therefore makes an argument for the need to engage with spoken word and performance poetry in the live performance space. (shrink)

This paper is about a category of social conventions that, I will argue, have significant moral implications. The category consists in our conventions about what we notice and choose not to notice about persons, features of persons, and their circumstances. We normally do not think much about what we notice about others, and what they notice about us, but I will argue that we should. Noticing people is a way of engaging with them in social contexts. We can engage in (...) social noticing more or less respectfully, more or less benevolently. Moreover, our standard conventions about noticing often have disparate effects on different groups of people. To be noticed appropriately is to have one's moral and social standing affirmed; conversely, to be denied notice or to be noticed inappropriately is very often to be denigrated or objectified. My aim in this paper is to unpack these moral dimensions of conventions of noticing and discuss their implications for how people engage with each other in certain kinds of social exchanges involving persons with disabilities. In Part I, I explain what I mean by the conventions of noticing and how they operate in social interactions. I show that although we do not always attend to them, these conventions are thoroughly embedded in our everyday social life. In Part II, I argue that these conventions have important moral dimensions and as such, should be governed by moral principles and values. I employ a Kantian framework of duties of love and respect in order to show how moral concerns should shape the way we use conventions of noticing and respond to their use by others. In Part III, I draw out the implications of this picture for social interactions among strangers when one or more of the parties involved has an immediately visible disability. (shrink)

The French studies scholar Patrick Coleman made the important observation that over the course of the eighteenth century, the social meanings of anger became increasingly democratized. The work of Jean-Jacques Rousseau is an outstanding example of this change. In Man or Citizen, Karen Pagani expands, in original and fascinating ways, the study of anger in Rousseau’s autobiographical, literary, and philosophical works. Pagani is especially interested in how and to what degree anger—and various reconciliatory responses to anger, such as forgiveness—functions (...) as a defining aspect of one’s identity, both as a private individual and as a public citizen. Rousseau himself was, as Pagani puts it, “unabashed” in his own anger and indignation—toward society on one hand (corrupter of our naturally good and authentic selves) and, on the other, toward certain individuals who had somehow wronged him (his famous philosophical disputes with Voltaire and Diderot, for example). In Rousseau’s work, Pagani finds that the extent to which an individual processes, expresses, and eventually resolves or satisfies anger is very much of moral and political concern. She argues that for Rousseau, anger is not only inevitable but also indispensable, and that the incapacity to experience it renders one amoral, while the ability to experience it is a key element of good citizenship. (shrink)

Focusing on narratives with supernatural components, Karen J. Renner argues that the recent proliferation of stories about evil children demonstrates not a declining faith in the innocence of childhood but a desire to preserve its purity. From novels to music videos, photography to video games, the evil child haunts a range of texts and comes in a variety of forms, including changelings, ferals, and monstrous newborns. In this book, Renner illustrates how each subtype offers a different explanation for the (...) problem of the “evil” child and adapts to changing historical circumstances and ideologies. (shrink)

Filmmaking is one of the most complexly layered forms of artistic production. It is a deeply interactive process, socially, culturally, and technologically. Yet the bulk of popular and academic discussion of filmmaking continues to attribute creative authorship of films to directors. Texts refer to “a Scorsese film,” not a film by “Scorsese et al.” We argue that this kind of attribution of sole creative responsibility to film directors is a misapprehension of filmmaking processes, based in part on dubious individualist assumptions (...) about creative minds. Such a misapprehension is effacing the public value that a more inclusive and accurate understanding of filmmaking offers. By “public value” we mean the potential to enhance social and cultural well-being, particularly in working lives and collaborative undertakings in the screen industries. Better understanding of the systemic and social nature of creativity in filmmaking can potentially help in democratising aesthetics, which we consider a clear public good. (shrink)

This paper argues that there are areas of political behavior for which the usual assumption of wealth maximizing homo economicus is to narrow to generate convincing explanation of behavior. In particular, it is argued that for many political decisions, people choose according to some set of moral preconceptions while for others, people have insufficient information to make economic choices even if they were inclined to do so. This implies that normative public choice can only be part of a political decision (...) process in which non-pecuniary concerns influence choices. Finally, constitutional economics insofar as it is conceptually conceived, must presume some set of moral and informational properties of the parties to the social contract. (shrink)