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 (in the cultural and social sense of the term) is not only (...) impossible, since meaning is conferred through culture and society, but it is also dangerous (in the cultural and ethical sense of the term), 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)

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)

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)

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.

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)

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)

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)

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.

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)

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

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)

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)

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)

Not all scientific explanations work by describing causal connections between events or the world's overall causal structure. In addition, mathematicians regard some proofs as explaining why the theorems being proved do in fact hold. This book proposes new philosophical accounts of many kinds of non-causal explanations in science and mathematics.

In the multi-faceted trajectory of post-Kantian thought, Schelling—both the person and his philosophy—has always been a controversial figure. Popular historical accounts focus on his precocious interventions as part of the ‘Jena set’, initially building on Fichte's philosophy of the ‘I’, but quickly coming to challenge his predecessor's philosophical dominance. In the crucial period of the late 1790s, Schelling's most notable intervention was to develop a philosophy of nature alongside the Kantian and Fichtean theories of transcendental subjectivity, which caught the attention (...) of Goethe and led to his appointment, at the age of twenty-three, as professor of philosophy at the University of Jena. But Schelling's life and philosophical work continued well beyond this well-documented period, culminating in a late system in which he developed key ideas surrounding freedom, existence, modality and the history of human consciousness that all revolved around a distinction between what he called negative and positive philosophy. This distinction, and his insistence on the need for the development of the latter mode of philosophy, came to challenge some of the core assumptions of the largely rationalist German idealist project and it remains, to this day, perhaps the most powerful alternative to the Hegelian system that rose to dominance already within Schelling's own lifetime, but also well beyond it. (shrink)

In this paper I describe and defend an account of virtuous motivation that differs from what we might call ordinary moral motivation. It is possible to be morally motivated without being virtuously motivated. In the first half of the essay, I explore different senses of moral motivation and the philosophical puzzles and problems it poses. In the second half, I give an account of virtuous motivation that, unlike ordinary moral motivation, requires the motivational structure characteristic of a fully virtuous person. (...) I draw on Aristotle's account of virtuous action to argue that a fully virtuous agent's judgment reflects a robust form of moral knowledge about what features of an action render it virtuous and hence, choiceworthy. Virtuously motivated actions are chosen in light of those features and are accompanied by the affective state appropriate to the overall moral landscape in which the judgment is made. (shrink)

Our view is that fundamental appetitive and defensive motivation systems evolved to mediate a complex array of adaptive behaviors that support the organism’s drive to survive—defending against threat and securing resources. Activation of these motive systems engages processes that facilitate attention allocation, information intake, sympathetic arousal, and, depending on context, will prompt tactical actions that can be directed either toward or away from the strategic goal, whether defensively or appetitively determined. Research from our laboratory that measures autonomic, central, and somatic (...) reactions when processing emotional scenes is described which indicates that motivationally relevant cues, whether appetitive or defensive, capture attention preferentially, prompt enhanced perceptual processing and information gathering, and occasion metabolic arousal that mobilizes the organism for coping actions. (shrink)

Why do relationships of friendship and love support partiality, but not relationships of hatred or commitments of racism? Where does partiality end and why? I take the intuitive starting point that important cases of partiality are meaningful. I develop a view whereby meaning is understood in terms of transcending self-limitations in order to connect with things of external value. I then show how this view can be used to distinguish central cases of legitimate partiality from cases of illegitimate partiality and (...) how it puts pressure on the traditional way of thinking about partiality. (shrink)

Several philosophers have argued that ‘constraints’ constrain (and thereby explain) by virtue of being modally stronger than ordinary laws of nature. In this way, a constraint applies to all possible systems, for a variety of possibility that is broader (that is, more inclusive) than the variety we employ when we say that the ordinary laws of nature apply to all physically possible systems. Explanations by constraint are thus more broadly unifying than ordinary causal explanations. Philosophical examples of good candidates for (...) constraints have heretofore been drawn almost exclusively from fundamental physics. This paper argues for the existence of such constraints (even multiple levels of them) in at least one human science (linguistics), not just in physics. (shrink)

Although for a long time, Dutch academic philosophy was characterized by a pluralism of – imported – philosophical frameworks and paradigms, in more recent decades, a type of ‘normal philosophy’, in the Kuhnian sense, has become dominant which aims to solve ethical and political problems and dilemmas through rational-normative argumentation. Contrary to what is often claimed, the new 'normal philosophy' amounts not to thinking ‘beyond the analytic-continental divide’ in a fruitful synthesis, but to the subsumption of continental philosophical themes and (...) concepts under the analytic tradition. The potentially critical tenor of continental philosophy threatens to be ‘solved’ by this subsumption. ‘Normal philosophy’, with its emphasis on rational-normative argumentation, risks leading to a state philosophy that fits in with existing policy questions, ignoring systemic and structural power inequalities. I argue that the journal Krisis, in keeping with its original principles, should hang on to critical philosophical reflection, which today is needed more than ever, specifically – pace current right-wing and left-wing populist attacks on identity politics – on systemic, multiple forms of deprivation and oppression. (shrink)

Williams’s attack on the ‘morality system’ in Ethics and the Limits of Philosophy was preceded by his famous but misunderstood essay ‘Moral Luck’. This essay pursues two principal aims. First and foremost, I take a fresh look at Williams’s argument in ‘Moral Luck’, to assess its defensibility. Second, I investigate how Williams’s treatment of moral luck shapes and informs the wider assault on the ‘morality system’ which reached its fullest expression in the later work. We can learn something about both (...) of Williams’s projects—his defence of moral luck, and his attack on the morality system—by seeing how each of these projects contributes to the other. Drawing on Williams’s discussion of Gauguin’s desertion of his family for a life of artistic endeavour in Tahiti, six interpretations of Williams’s argument are suggested. While some of these are better than others, none is completely satisfying or convincing. It is suggested, in conclusion, that the attack on anti-luckism does not make an indispensable contribution to Williams’s attack on the morality system. (shrink)

It is widely acknowledged that the gradual emergence of the modern nation-state is associated with intensified interest in the government of childhood. Grounded in the Foucauldian literature on governmentality and drawing on a broad range of disciplines, this book examines the government of childhood in the West from the early modern period to the present. The book deals with three key time periods, examining shifts in the conceptualization and regulation of childhood and child-rearing between the late sixteenth and late eighteenth (...) century; between the late eighteenth century and the mid/late twentieth century and the period from the late twentieth century to the present day. Building on the work of Chris Jenks, The Government of Childhood deploys the images of the Dionysian and Apollonian images of childhood as symbolic targets of power/knowledge and presents a third model - the Athenian child - as a symbolic target of modes of exercising power over the young that is grounded in children's capacity for agency. (shrink)

A theoretical physicist and feminist theorist, Karen Barad elaborates her theory of agential realism, a schema that is at once a new epistemology, ontology, and ethics.

As sophisticated artificial intelligence software becomes more ubiquitously and more intimately integrated within domains of traditionally human endeavor, many are raising questions over how responsibility (be it moral, legal, or causal) can be understood for an AI’s actions or influence on an outcome. So called “responsibility gaps” occur whenever there exists an apparent chasm in the ordinary attribution of moral blame or responsibility when an AI automates physical or cognitive labor otherwise performed by human beings and commits an error. Healthcare (...) administration is an industry ripe for responsibility gaps produced by these kinds of AI. The moral stakes of healthcare are often life and death, and the demand for reducing clinical uncertainty while standardizing care incentivizes the development and integration of AI diagnosticians and prognosticators. In this paper, we argue that (1) responsibility gaps are generated by “black box” healthcare AI, (2) the presence of responsibility gaps (if unaddressed) creates serious moral problems, (3) a suitable solution is for relevant stakeholders to voluntarily responsibilize the gaps, taking on some moral responsibility for things they are not, strictly speaking, blameworthy for, and (4) should this solution be taken, black box healthcare AI will be permissible in the provision of healthcare. (shrink)

-/- Carefully considering the difference in the philosophical potential of page poetry and performance poetry, Karen Simecek argues that it is only by considering them side by side that the unique cognitive value of each can be realised. -/- Focusing on spoken word poetry reveals the importance of voice and embodied words to the differing epistemic rewards of engaging with contemporary works of poetry in both private reading and live performance. This concept of embodied voice progresses a new line (...) of thinking in the cognitivism debate and unlocks the philosophical value of engaging with poetry. Simecek's discussion of performed poetry also advances discussions of affect and experience in contemporary analytic aesthetics which raise new insights and connections within the field. -/- The moral significance of the differing effects of poetry finds comprehensive articulation through a rich philosophical analysis of the thoughts and affects which arise in particular contexts. Simecek concludes that when page poetry is treated as paradigmatic, this enables reflection in the singular, whereas taking poetry in live performance as paradigmatic enables reflection on what is shared and shareable with others. (shrink)

We frequently speak of certain things or phenomena being built out of or based in others. Making Things Up concerns these relations, which connect more fundamental things to less fundamental things: Karen Bennett calls these 'building relations'. She aims to illuminate what it means to say that one thing is more fundamental than another.