We review the literature on how perceiving an AI making mistakes violates trust and how such violations might be repaired. In doing so, we discuss the role played by various forms of algorithmic transparency in the process of trust repair, including explanations of algorithms, uncertainty estimates, and performance metrics.

The two theories that revolutionized physics in the twentieth century, relativity and quantum mechanics, are full of predictions that defy common sense. Recently, we used three such paradoxical ideas to prove “The Free Will Theorem” (strengthened here), which is the culmination of a series of theorems about quantum mechanics that began in the 1960s. It asserts, roughly, that if indeed we humans have free will, then elementary particles already have their own small share of this valuable commodity. More precisely, if (...) the experimenter can freely choose the directions in which to orient his apparatus in a certain measurement, then the particle’s response (to be pedantic—the universe’s response near the particle) is not determined by the entire previous history of the universe. Our argument combines the well-known consequence of relativity theory, that the time order of space-like separated events is not absolute, with the EPR paradox discovered by Einstein, Podolsky, and Rosen in 1935, and the Kochen-Specker Paradox of 1967 (See [2].) We follow Bohm in using a spin version of EPR and Peres in using his set of 33 directions, rather than the original configuration used by Kochen and Specker. More contentiously, the argument also involves the notion of free will, but we postpone further discussion of this to the last section of the article. Note that our proof does not mention “probabilities” or the “states” that determine them, which is.. (shrink)

For scientific knowledge to be trustworthy, it needs to be dissociated from material interests. Disinterested research also performs other important non-instrumental roles. In particular, academic science has traditionally provided society with reliable, imaginative public knowledge and independent, self-critical expertise. But this type of science is not compatible with the practice of instrumental research, which is typically proprietary, prosaic, pragmatic and partisan. With ever-increasing dependence on commercial or state funding, all modes of knowledge production are merging into a new, ‘post-academic’ research (...) culture which is dominated by utilitarian goals. Growing concern about conflicts of interest is thus a symptom of deep-seated malaise in science and medicine. (shrink)

How can we be certain that software is reliable? Is there any method that can verify the correctness of software for all cases of interest? Computer scientists and software engineers have informally assumed that there is no fully general solution to the verification problem. In this paper, we survey approaches to the problem of software verification and offer a new proof for why there can be no general solution.

Abstract:Self-ownership has fallen out of favor as a core moral and political concept. I argue that this is because the most popular conception of self-ownership, what I call the property conception, is typically linked to a libertarian (of the left or right) political program. Seeing self-ownership and libertarianism as being necessarily linked leads those who are not inclined toward libertarianism to reject the idea of self-ownership altogether. This, I argue, is a mistake. Self-ownership is a crucial moral and political concept (...) that can earn its keep if we understand it not as type of property right in the self, but rather as a set of territorial rights one has over one’s body. This territorial conception of self-ownership, which I call the sovereignty conception of self-ownership, avoids the traditional arguments raised against the property conception of self-ownership and has other benefits besides. Accepting this conception of self-ownership, I argue, has considerable moral and political benefits without taking on the costs associated with other forms of self-ownership. (shrink)

There has been renewed interest over the last twenty years in Ryle's claims and arguments about knowledge-how. Elzinga (2018) and Löwenstein (2017) have both recently defended independent Ryle-inspired accounts of knowledge-how. In what follows, I will propose and defend an amendment to accounts of knowledge-how like those of Elzinga and Löwenstein. I argue that this amendment provides an additional needed distinction between the performance robustness provided by certain performance methods (or styles), and the robustness of an agent's ability to perform (...) according to such methods (or styles). Additionally, the proposed amendment, if adopted, will make the amended views even more Rylean. I argue for this, in part, through original exegetical work on an under-discussed theme in Ryle's philosophy of mind: the relation between semi-hypothetical statements, methodological act-description, and knowledge-how. (shrink)

While sport has been practised since pre-historic times, it is a relatively new subject of systematic philosophical enquiry. Indeed, the philosophy of sport as an academic sub-field dates back only to the 1970s. Yet, in this short time, it has grown into a vibrant area of philosophical research that promises both to deepen our understanding of sport and to inform sports practice. Recent controversies at the elite and professional level have highlighted the ethical dimensions of sport in particular. Lance Armstrong’s (...) use of performance-enhancing drugs raised new issues in the ethics of cheating, middle-distance runner Caster Semenya has challenged prevailing rules around sex classification in sport, and Oscar Pistorius’s prosthesis has problematized the distinction between able-bodied and disabled sport. While philosophical analysis may help to achieve a deeper understanding of sport, such analysis may also illuminate problems of philosophy beyond sport, ranging from the nature of skill to the ethics of altruism. -/- This entry proceeds in three sections. Section 1 introduces the philosophy of sport with particular emphasis on the history of systematic philosophical thinking about sport. Section 2 examines the nature and value of sport, and it considers the main normative theories of sport developed in the literature. Section 3 addresses a cluster of topics that are central to the philosophy of sport, including: sportsmanship; cheating; performance enhancement; violent and dangerous sport; sex, gender, and race; fans and spectators; disability sport; and the aesthetics of sport. (shrink)

This study of Plato's Phaedo promotes better understanding of its arguments for the soul's immortality by showing how Plato intended them, not as proofs, but as properly dialectical arguments functioning in accordance with the method of hypothesis. Unlike the argument for the soul's immortality in the Phaedrus, which does seem intended as a proof, the Phaedo arguments are proceeding toward the first principles that could serve as the basis for a proof - the most important being an account of the (...) soul's own essential nature. This study attends to the substantial progress the Phaedo makes toward such an account. It also considers Socrates' epistemic situation in the dialogue and the problem of whether his confidence in the face of death is misplaced if his arguments have not been proofs before considering how the concluding myth draws together several of the dialogue's main themes. (shrink)

Art of seeing, John Rajchman argues in his essay, was in the center of Michel Foucault’s critical attention as well as practice. Foucault himself was a visual thinker and writer. More importantly, however, the ways in which historically changing vision determines not only what is seen, but what can be seen, are one of his major concerns. Rupture with self-evidences is then the first step one must take to make the invisible – yet not hidden – power visible. Th (...) e invisibility of power, seen as the invisible light that makes other things visible, is what makes it tolerable. Knowledge and the practice of knowing themselves are constructed by the technology of the visual, such as the diff erent types of spaces that bring about specific visibility. In Foucault’s histories, the prison or the clinic are such spaces that have visualized criminality, sexuality or madness in particular manner. However, problematization of these things needs to go beyond new ways of looking at them and has to question their entire field of vision. This implies that Foucauldian ethics is less concerned with what we do about things themselves, instead, it rather asks how we see them in the first place and how can they be seen differently. It thus requires not to look within us, on the contrary, we should look out, from outside of ourselves. (shrink)

Why is the human imagination to blame for the worst crimes of the twentieth century? Why is progress a pernicious myth? Why is contemporary atheism just a hangover from Christian faith? John Gray, author of Straw Dogsand Black Mass, is one of the most original and iconoclastic thinkers of our time. In this pugnacious and brilliantly readable collection of essays from across his career, he smashes through humanity's most cherished beliefs to overturn our view of the world, and our (...) place in it. 'If humans are different from other animals it is chiefly in being governed by myths, which are not creations of the will but creatures of the imagination.' 'No traditional myth is as untruthful as the modern myth of progress. All prevailing philosophies embody the fiction that human life can be altered at will. Better aim for the impossible, they say, than submit to fate. Invariably, the result is a cult of human self-assertion that soon ends in farce.'. (shrink)

This is both a small and a large book. In number of pages it is modest, but it aspires to sort through a very large topic indeed. One of the challenges for a naturalist theology, which is to say a naturalist conception of the divine, and perhaps more importantly of the sacred, is to resolve the obvious problem of accommodating as an element of nature an entity that has for the most part been understood as supernatural. Yalcin’s book attempts to (...) do just that. Though I have some misgivings about this and that detail, which I will mention below, Yalcin succeeds, I would say, in articulating a coherent, plausible, creative, and wholly interesting understanding of the sacred on strictly naturalist grounds.It is... (shrink)

Causation can be understood as a computational process once we understand causation in informational terms. I argue that if we see processes as information channels, then causal processes are most readily interpreted as the transfer of information from one state to another. This directly implies that the later state is a computation from the earlier state, given causal laws, which can also be interpreted computationally. This approach unifies the ideas of causation and computation.

Presupposing no prior knowledge of philosophy, John Benson introduces the fundamentals of environmental ethics by asking whether a concern with human well-being is an adequate basis for environmental ethics. He encourages the reader to explore this question, considering techniques used to value the environment and critically examining 'light green' to 'deep green' environmentalism. Each chapter is linked to a reading from a key thinker such as J.S. Mill and E.O. Wilson. Key features include activities and exercises, enabling readers to (...) monitor their progress throughout the book, chapter summaries and guides to further reading. (shrink)

Commentators on John Broome's Tanner Lecture. The Tanner Lectures are a collection of educational and scientific discussions relating to human values. Conducted by leaders in their fields, the lectures are presented at prestigious educational facilities around the world.

Claims have been made that the current COVID-19 pandemic is a message from nature to stop exploiting the earth to the extent that we have been. While there is no direct evidence that this pandemic is a result of human actions with respect to the earth, ample evidence exists that deforestation and other environmental changes, together with climate change, do make it more likely that viruses will cross from wildlife to humans. We humans are mammals and our welfare depends on (...) the health of the earth. We are not so different from other living creatures in this regard. It is in our interests to look after the earth, something that Indigenous Australians knew well. Mother Earth must be cared for if she is to care for us. Nature perhaps is sending us a message in the same sense that my car does if I do not maintain it. It stops functioning properly. We have to modify nature to satisfy our needs but we must be careful how we modify it. (shrink)

The reviews of this book which greeted its appearance in America, where it won a Catholic Press Association Religious Book Award, speak for themselves. 'The real core of the book is the question that is raised - the demanding bone-crushing question we all face - alone - at one time - the question of death/life and immortality. In these few pages we set out on a journey - one that winds its way among ancient stories and myths ... one's constant (...) disturbing companion is death - a reality that keeps breaking in upon our imes, our friends, our dreams and hopes and even our changing and becoming. The richness of the book lies in the questioning and some of the answers other men's times have given in attempt to live with this probing. We meet Kazantzakis, Homer, Melville, Hegel, Dante in their humanness in the face of death and in their timeless answers' (National Catholic Reporter). From the Protestant side, Martin Marty commented how John Dunne, 'perhaps the most intuitive and natively talented Catholic around, has cast a new spell', and The Critic remarked: 'As a meditation ought to be, it is simple and profound at once. And it is beautifully done, in some ways the richest of John Dunne's works.' All of which amounts to an invitation to join the author as he poses the timeless dilemma of the human condition and seeks to resolve it through stories of adventures, journeys and voyages inspired by man's encounter with death; stories of childhood, youth, manhood and age; and finally stories of God and of man wrestling with God and the unknown. (shrink)

In this collection of recent essays (several appearing in English for the first time), John Dunn brings his characteristically acute and penetrative insight to a wide range of political issues. In the first essay, 'The history of political theory', Professor Dunn argues for the importance of a historical perspective in the study of political thought. Other pieces engage with central concepts of political philosophy such as obligation, trust, freedom of conscience and property. A group of studies tackle specific contemporary (...) problems and future dangers, for example racism and the dilemma of humanitarian intervention. The volume as a whole articulates the many dangers, but also the huge importance of, contemporary politics, and provides a representative collection of work by one of the most astute political commentators writing today. (shrink)

Western thought since the seventeenth century has been dominated by methodological solipsism (Krieger, 1991). The famous sound-bite of René Descartes 'cogito, ergo sum': 'I think, therefore I am', became the starting point for most discourse on the nature of things. This dictum does not advocate idealism. It does not assert that everything is necessarily a construct of the human mind. But it assumes that the world of things and beings is surveyed and interpreted from the point of view of a (...) single individual. Nowhere is this stance more entrenched than in the philosophy of science. To a remarkable degree the scientist is represented as studying the natural world as if alone in it, served only by mindless assistants who might as well be replaced by machines. Scientific theories are presented as systems of thought conjured up and tested by that same individual in a further series of single-headed operations. Research results are formulated and treated philosophically as the independent findings of lone explorers, each reporting the evidence of their own eyes and their rational inferences concerning the hidden mechanisms by which these personal percepts might be generated. Our epistemological role models are Robinson Crusoe and Sherlock Holmes, self-sufficient intellectuals to whom their human companions, Friday and Watson, are mere stooges. (shrink)

_The Social Thought of Ortega y Gasset_ is the third and final volume of John T. Graham's massive investigation of the thought of Ortega, the renowned twentieth-century Spanish essayist and philosopher. This volume concludes the synthetic trilogy on Ortega's thought as a whole, after previous studies of his philosophy of life and his theory of history. As the last thing on which he labored, Ortega's social theory completed what he called a "system of life" in three dimensions—a unity in (...) the plurality of philosophy, history, and sociology as three fundamental disciplines that enter into and overlap each other and other humanities. In this volume, Graham investigates Ortega's social thought as expressed in his central work, _Man and People,_ and in several pragmatic fields, interpreting it all in terms of comprehensive categories of postmodernism and interdisciplinarity. While others have studied Ortega's social thought and recently his postmodernity, no one has done so in the context of his thought as a whole or by such a variety of methods. The "unity in plurality" of Ortega's system is evident in the broad and varied structure of his sociology, which he intended to serve for postmodern times. His own postmodernism was rooted in Nietzsche but also in the pragmatism—from James, Peirce, and Dewey—that informs all parts of this trilogy. Ortega was the first educator with an interdisciplinary theory and practice—another aspect of the "unity in plurality" of his system. He found inspiration in both ancient and modern precedents for what he saw as a postmodern method of investigating themes and problems that are common to all the human sciences. Innovations at his Institute of Humanities were early postmodern precedents for a new interdisciplinary social method for use by specialists in a variety of fields. All of those interested in Ortega can utilize such methods to elucidate his thought as a whole as well as to pursue their own collaborative work. Home Complete Catalog Order Information Search. (shrink)

The absurdity of (i) and (ii) arises because asserting 'p' normally expresses a belief that p. Normally, when (i) is asserted, what is conjointly expressed and asserted, i.e. a belief that p and a lack of belief that p, is logically impossible, whereas normally, when (ii) is asserted, it is differently absurd, since what is conjointly expressed and asserted, i.e. a belief that p and a belief that -p, is logically possible, but inconsistent. A possible source of confusion between 'impossible' (...) and 'inconsistent' is the fact that a proposition which is inconsistent tout court is always self-contradictory and hence necessarily false, unlike one which is inconsistent with other propositions. Whereas the proposition Ibp&-Ibp is inconsistent, the proposition IBp &IB-p is not. I cannot hold a belief which I lack, but I can.. (shrink)

In his masterly book Christ and Culture H. Richard Niebuhr identified five main attitudes which Christians have taken towards secular culture. The first emphasizes the opposition between Christ and culture. In the New Testament it is best seen in Revelation and in the First Epistle of John. But it appears in its most radical form in Tertullian, though even he is not wholly consistent. Men are under illusions from their very culture . Graeco-Roman society was shot through and through (...) with what Tertullian regarded as superstition and idolatry, as well as immorality. So Tertullian repudiated political life, military service, many aspects of commerce, philosophy and the arts. (shrink)

The present discussion aims to help corroborate recent claims that the link between nourishing life 養生 and the Butcher Ding 庖丁 vignette from chapter 3 of the Zhuangzi 莊子 (c. fourth to third century bce) might be taken seriously, while at the same time falsifying recent claims that it is nonetheless uncommon for the connection to be taken seriously. This is achieved by supplying several pieces of textual evidence from leading figures from throughout the history of Zhuangzi studies who all (...) explicitly make the connection and take it seriously. Beyond corroborating one claim and falsifying the other, the present discussion provides renderings of much hitherto untranslated work so as to prevent future scholars from underestimating just how common it is to take the link between the Butcher Ding story and nourishing life seriously. (shrink)

As our understanding of biological evolution continues to deepen, tension still surrounds the relationship between competition and cooperation in the evolution of the biosphere, with rival viewpoints often associated with the Red Queen and Black Queen hypotheses respectively. This essay seeks to reconcile these viewpoints by integrating observations of some general trends in biosphere evolution with concepts from game theory. It is here argued that biodiversity and ecological cooperation are intimately related, and that both tend to cyclically increase over biological (...) history; this is likely due to the greater relative stability of cooperation over competition as a means of long-term conflict resolution within ecosystems. By integrating this view of the biosphere with existing models such as Niche Game Theory, it may be argued that competition and cooperation in ecosystems coexist at equilibria which shift preferentially towards increasing cooperation over biological history. This potentially points to a state of “cooperative equilibrium” as a limit or endpoint in long-term biosphere evolution, such that Black Queen and Red Queen behavior dominate different phases in an evolutionary movement towards optimal cooperative stability in ecological networks. This concept, if accepted, may also bear implications for developing future mathematical models in evolutionary biology, as well as for resolving the perennial debate regarding the relative roles of conflict and harmony in nature. (shrink)