Objective Bayesianism is a methodological theory that is currently applied in statistics, philosophy, artificial intelligence, physics and other sciences. This book develops the formal and philosophical foundations of the theory, at a level accessible to a graduate student with some familiarity with mathematical notation.

This book brings together several directions of work in model theory between the late 1950s and early 1980s.

Presents a mathematically rigorous, philosophically sound foundation for a science of information.

Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...) Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel's theory of hypersets--that open up new avenues in logical and formal semantics. (shrink)

The history of humankind is full of examples that indicate a constant desire to make human beings more moral. Nowadays, technological breakthroughs might have a significant impact on our moral character and abilities. This is the case of Virtual Reality (VR) technologies. The aim of this paper is to consider the ethical aspects of the use of VR in enhancing empathy. First, we will offer an introduction to VR, explaining its fundamental features, devices and concepts. Then, we will approach the (...) characterization of VR as an “empathy machine,” showing why this medium has aroused so much interest and why, nevertheless, we do not believe it is the ideal way to enhance empathy. As an alternative, we will consider fostering empathy-related abilities through virtual embodiment in avatars. In the conclusion, however, we will, we will examine some of the serious concerns related to the ethical relevance of empathy and will defend the philosophical case for a reason-guided empathy, also suggesting specific guidelines for possible future developments of empathy enhancement projects through VR embodied experiences. (shrink)

This article explores the nature and theoretical import of a hitherto neglected class of fictions which we term ‘self-involving interactive fictions’. SIIFs are interactive fictions, but they differ from standard examples of interactive fictions by being, in some important sense, about those who consume them. In order to better understand the nature of SIIFs, and the ways in which they differ from other fictions, we focus primarily on the most prominent example of the category: video-game fictions. We argue that appreciating (...) the self-involving nature of video-game fictions is key to understanding various otherwise puzzling phenomena concerning the ways in which consumers respond to them. Video-game fictions are, however, far from being the only extant example of this class; and we suggest that the recent philosophical interest in video games would be better focused on the wider class of self-involving interactive fictions. (shrink)

The chapter explores whether, or to what extent, recent work in experimental philosophy puts pressure on the idea that the concept of causation is ‘egalitarian’. Causal selection – where experimental subjects tend to rate the causal strength of (for example) a norm-violator more strongly than a non-norm-violator – is a well established phenomenon, and is in prima facie tension with an egalitarian conception of causation; it also, indirectly, puts prima facie pressure on the idea that causation is a worldly phenomenon (...) whose obtaining is independent of facts about norms. The chapter explores both the various psychological mechanisms and the broadly pragmatic approaches to explaining causal selection. It argues that the answer to the question whether or not the concept of causation is egalitarian is currently significantly empirically underdetermined, and suggests some avenues for further investigation. (shrink)

This book is designed to remedy that lack.

Modern philosophy recognizes two major ethical theories: deontology, which encourages adherence to rules and fulfillment of duties or obligations; and consequentialism, which evaluates morally significant actions strictly on the basis of their actual or anticipated outcomes. Both involve the systematic application of universal abstract principles, reflecting the culturally dominant paradigm of technical rationality. Professional societies promulgate codes of ethics with which engineers are expected to comply, while courts and the public generally assign liability to engineers primarily in accordance with the (...) results of their work, whether intended or unintended. A third option, prominent in ancient philosophy, has reemerged recently: virtue ethics, which recognizes that sensitivity to context and practical judgment are indispensable in particular concrete situations, and therefore rightly focuses on the person who acts, rather than the action itself. Beneficial character traits—i.e., virtues—are identified within a specific social practice in light of the internal goods that are unique to it. This paper proposes a comprehensive framework for implementing virtue ethics within engineering. (shrink)

Covers first-order language in method appropriate for first and second courses in logic. CD-ROM consists of a new book, 3 programs,and an Internet-based grading service.

The study of intrapersonal economic relations, or economics , is still at the programmatic stage. There is no generally accepted paradigm, or even as well-defined set of problems that constitute it as a subdiscipline within economics. Some questions are, however, emerging as foci of interest for a small but increasing number of writers, not just in economics, but also in psychology and philosophy. The writings of Thomas Schelling on self-management, of George Ainslie on self-control, and of Derik Parfit on personal (...) identity testify to this convergence. (shrink)

In this volume a diverse group of economists, philosophers, political scientists, and psychologists address the problems, principles, and practices involved in comparing the well-being of different individuals. A series of questions lie at the heart of this investigation: What is the relevant concept of well-being for the purposes of comparison? How could the comparisons be carried out for policy purposes? How are such comparisons made now? How do the difficulties involved in these comparisons affect the status of utilitarian theories? This (...) collection constitutes the most advanced and comprehensive treatment of one of the cardinal issues in social theory. (shrink)

In recent years much effort has gone into the study of languages which strengthen the classical first-order predicate calculus in various ways. This effort has been motivated by the desire to find a language which is(I) strong enough to express interesting properties not expressible by the classical language, but(II) still simple enough to yield interesting general results. Languages investigated include second-order logic, weak second-order logic, ω-logic, languages with generalized quantifiers, and infinitary logic.

The cumulative impact of enhancement technologies may alter the human species in the very long-term future. In this article, I will start showing how radical genetic enhancements may accelerate the conversion into a novel species. I will also clarify the concepts of ‘biological species’, ‘transhuman’ and ‘posthuman’. Then, I will summarize some ethical arguments for creating a transhuman or posthuman species with a substantially higher level of well-being than the human one. In particular, I will present what I shall call (...) the Principle of the Best Interests of Posthumanity, which states that the enhancement of the human and transhuman species must be directed towards the creation of a posthuman existence that is substantially more valuable than its predecessors. I suggest that human extinction may be considered, within that principle, as one of the best interests of posthumanity. Finally, I will develop three objections that make that principle unattractive and that show that pursuing a full-blown programme of posthuman evolution is ethically flawed. (shrink)

The increasing application of artificial intelligence (AI) to healthcare raises both hope and ethical concerns. Some advanced machine learning methods provide accurate clinical predictions at the expense of a significant lack of explainability. Alex John London has defended that accuracy is a more important value than explainability in AI medicine. In this article, we locate the trade-off between accurate performance and explainable algorithms in the context of distributive justice. We acknowledge that accuracy is cardinal from outcome-oriented justice because it helps (...) to maximize patients’ benefits and optimizes limited resources. However, we claim that the opaqueness of the algorithmic black box and its absence of explainability threatens core commitments of procedural fairness such as accountability, avoidance of bias, and transparency. To illustrate this, we discuss liver transplantation as a case of critical medical resources in which the lack of explainability in AI-based allocation algorithms is procedurally unfair. Finally, we provide a number of ethical recommendations for when considering the use of unexplainable algorithms in the distribution of health-related resources. (shrink)

A normative Bayesian theory of deliberation and judgement requires a procedure for merging the evidence of a collection of agents. In order to provide such a procedure, one needs to ask what the evidence is that grounds Bayesian probabilities. After finding fault with several views on the nature of evidence (the views that evidence is knowledge; that evidence is whatever is fully believed; that evidence is observationally set credence; that evidence is information), it is argued that evidence is whatever is (...) rationally taken for granted. This view is shown to have consequences for an account of merging evidence, and it is argued that standard axioms for merging need to be altered somewhat. (shrink)

Why is it that we cannot legitimately make certain aesthetic assertions – for instance that ‘Guernica is harrowing’ or that ‘The Rite of Spring is strangely beautiful’ – on the basis of testimony alone? In this paper I consider a species of argument intended to demonstrate that the best explanation for the impermissibility of such assertions is that a particular view of the norms of aesthetic belief – pessimism concerning aesthetic testimony – is correct. I begin by outlining the strongest (...) instance of such ‘arguments from assertion’ and demonstrating that it presents a powerful motivation for embracing pessimism; the view that it is illegitimate to form aesthetic beliefs on the basis of testimony alone. I then go on to argue that, appearances notwithstanding, the pessimist’s opponents – optimists concerning aesthetic testimony – are able to provide an explanation for the impermissibility of these assertions which is at least as good as, and in some respects better than, that offered by their pessimist. The explanation I propose draws on some important work on signalling in aesthetics, by Denis Dutton and others, to argue that the problem with such assertions is closely parallel to the problem Dutton claims is generated by forgeries. Those making such assertions misrepresent a piece of aesthetic labour as their own, when, in fact, it is the work of another. I also explore the wider implications of this view for debates in aesthetic epistemology and beyond. (shrink)

Ageism has unfortunately become a salient phenomenon during the COVID-19 pandemic. In particular, triage decisions based on age have been hotly discussed. In this article, I first defend that, although there are ethical reasons (founded on the principles of benefit and fairness) to consider the age of patients in triage dilemmas, using age as a categorical exclusion is an unjustifiable ageist practice. Then, I argue that ageism during the pandemic has been fueled by media narratives and unfair assumptions which have (...) led to an ethically problematic group homogenization of the older population. Finally, I conclude that an intersectional perspective can shed light on further controversies on ageism and triage in the post-pandemic future. (shrink)

Emerging reprogenetic technologies may radically change how humans reproduce in the not-so-distant future. One foreseeable consequence of disruptive innovations in the procreative domain is an increase in the reproductive autonomy of intended parents. Regarding the prospective parental liberty of enhancing non-health–related traits of the offspring, one controversy has particularly dominated the literature. Does parents' choice of genetically enhancing the traits of their descendants compromise children's future personal autonomy? In this article, I will analyse the main arguments which posit that reprogenetic (...) enhancement could be at odds with the child's future autonomy. I will argue that these objections are ill-founded. Moreover, I will present other arguments that show that reprogenetic technologies can enhance the autonomy of future children. Autonomy enhancement is a plausible and pro tanto desirable application of emerging reprogenetic technologies. (shrink)

Although he is best known as the founder of pragmatism, the name that Charles Sanders Peirce prefers to use for his comprehensive system of thought is "synechism" because the principle of continuity is its central thesis. This paper arranges and summarizes numerous quotations and citations from his voluminous writings to formalize and explicate his distinctive mathematical conceptions of hyperbolic and topical continuity, both of which are derived from the direct observation of time as their paradigmatic manifestation, and then apply them (...) in normative science and metaphysics, especially logic as semeiotic and cosmology. The resulting conclusion is that the intelligibility of the universe is plausibly explained by conceiving it as one immense sign, a vast inferential process: a semiosic continuum whose connected constituent signs are indefinite until deliberately marked off, with God the Creator as its overall dynamical object in the infinite past and God completely revealed as its overall final interpretant in the infinite future. (shrink)

Tackling climate change is one of the most demanding challenges of humanity in the 21st century. Still, the efforts to mitigate the current environmental crisis do not seem enough to deal with the increased existential risks for the human and other species. Persson and Savulescu have proposed that our evolutionarily forged moral psychology is one of the impediments to facing as enormous a problem as global warming. They suggested that if we want to address properly some of the most pressing (...) problems that cause catastrophic harm to our existence, we should enhance our moral behavior by biomedical means. The objective of this paper is, precisely, to reflect on whether a Moral Bio-Enhancement (henceforth MBE) program would be a viable option to confront the climate emergency. To meet this goal, I will propose the Ultimate Mostropic (hereafter UM) thought experiment, a hypothetical situation where we have already discovered the UM, an available, safe (without any deleterious secondary effects), extremely cheap and effective pill to enhance our cognitive, affective and motivational abilities related to morality. After briefly presenting the main argument of Persson and Savulescu regarding MBE and climate change, I will point out some of the difficulties that make MBE a daunting but exciting philosophical and scientific debate. In order to overcome these complications, I will describe the UM thought experiment, which involves two scenarios of the MBE program: (a) the state-driven, compulsory and universal enterprise, and (b) the initiative of voluntary individuals. I will show that the shortcomings of MBE programs through the UM in both scenarios make Persson and Savulescu’s proposal a not appealing pathway to mitigate climate change. In the final section, I will suggest that an inaccurate attribution of responsibilities underlies their proposal and that the collective inaction problem should be redirected primarily through a reinforcement of the political nature of the solutions. (shrink)

Biomedical innovations are making possible the enhancement of human capabilities. There are two philosophical stances on the role that medicine should play in this respect. On the one hand, naturalism rejects every medical intervention that goes beyond preventing and treating disease. On the other hand, welfarism advocates enhancements that foster subjective well-being. We will show that both positions have considerable shortcomings. Consequently, we will introduce a third characterization in which therapies and enhancements can be reconciled with the legitimate objectives of (...) medicine inasmuch as they improve the capabilities that enable the freedom to pursue personal well-being. (shrink)

This commentary offers a coherent reading of the papers presented in the special issue ‘Exclusion, Engagement, and Empathy: Reflections on Public Participation in Medicine and Technology’. Focusing on intellectual self-trust it adds a further perspective on the harmful epistemic consequences of social exclusion for individual agents in healthcare contexts. In addition to some clarifications regarding the concepts of ‘intellectual self-trust’ and ‘social exclusion’ the commentary also examines in what ways empathy, engagement and participatory sense-making could help to avoid threats to (...) intellectual self-trust that arise form being excluded from participation in communicative practices in the context of healthcare. (shrink)

Emerging reprogenetic technologies may enable the enhancement of our offspring's genes. Beyond raising ethical questions, these biotechnologies may change some aspects of future morality. In the reproductive field, biotechnological innovations may transform moral views about reproductive choices regarding what we consider to be just or even of equal standing.

It is argued in this paper that the valid argument forms coming under the general heading of Demonstrative Induction have played a highly significant role in the history of theoretical physics. This situation was thoroughly appreciated by several earlier philosophers of science and deserves to be more widely known and understood.

The neuroscience of ethics is allegedly having a double impact. First, it is transforming the view of human morality through the discovery of the neurobiological underpinnings that influence moral behavior. Secondly, some neuroscientific findings are radically challenging traditional views on normative ethics. Both claims have some truth but are also overstated. In this article, the author shows that they can be understood together, although with different caveats, under the label of ‘neurofoundationalism’. Whereas the neuroscientific picture of human morality is undoubtedly (...) valuable if we avoid neuroessentialistic portraits, the empirical disruption of normative ethics seems less plausible. The neuroscience of morality, however, is providing relevant evidence that any empirically-informed ethical theory needs to critically consider. Although neuroethics is not going to bridge the is-ought divide, it may establish certain facts that require us to rethink the way we achieve our ethical aspirations. (shrink)

The trolley problem is one of the liveliest research frameworks in experimental ethics. In the last decade, social neuroscience and experimental moral psychology have gone beyond the studies with mere text-based hypothetical moral dilemmas. In this article, I present the rationale behind testing the actual behaviour in more realistic scenarios through Virtual Reality and summarize the body of evidence raised by the experiments with virtual trolley scenarios. Then, I approach the argument of Ramirez and LaBarge (2020), who claim that the (...) virtual simulation of the Footbridge version of the trolley dilemma is an unethical research practice, and I raise some objections to it. Finally, I provide some reflections about the means and ends of trolley-like scenarios and other sacrificial dilemmas in experimental ethics. (shrink)

Panic buying of toilet rolls in Australia began in early March 2020. This was related to the realisation that the novel coronavirus was spreading across the country. To the general population the impact of the virus was unknown. Gradually the federal government started closing the country’s borders. The panic buying of toilet rolls was not unique to Australia. It happened across all societies that used toilet paper rather than water to clean after defecation and urination. However, research suggests that the (...) panic buying was most extreme in Australia. This article argues that the panic buying was closely linked to everyday notions of Western civilisation. Pedestal toilets and toilet paper are key aspects of civilisation and the fear of the loss of toilet paper is connected to anxiety about social breakdown, the loss of civilisation. This is the fear manifested in the perceived threat posed by the virus. (shrink)

Value change is a phenomenon that is gaining increasing attention in ethical analyses of technologies. However, a comprehensive study of how reprogenetic technologies and values coevolve is lacking. To remedy this gap, in this overview article, I address the relationship between reprogenetics and value change. This contribution thus argues for the importance of investigating the phenomenon of value change in relation to the technological controversies discussed in bioethics. To meet this goal, I begin by clarifying, first, how technologies shape reproductive (...) choice. I then clarify what “values” and “moral values” are, how reprogenetic technologies are value laden, and what values are often discussed in reprogenetics debates. Next, I show five types of value changes that have occurred in advance in reproductive and genetic technologies. Finally, I argue for the bioethical relevance of discussing future techno-value change, pointing out the descriptive and normative challenges of this philosophical endeavor. (shrink)

Machamer, Darden and Craver: ‘Mechanisms are entities and activities organized such that they are productive of regular changes from start or set-up to finish or termination conditions.’ (Machamer, Darden and Craver 2000 p3.) Glennan: ‘A mechanism for a behavior is a complex system that produces that behavior by the interaction of a number of parts, where the interactions between parts can be characterized by direct, invariant, change-relating generalizations.’ (Glennan 2002b pS344.) Bechtel and Abrahamsen: ‘A mechanism is a structure performing a (...) function in virtue of its component parts, component operations, and their organization. The orchestrated functioning of the mechanism is responsible for one or more phenomena.’ (Bechtel and Abrahamsen 2005 p423.). (shrink)

In this short article, my aim is to introduce readers to some debates about religious freedom and constitutional law in the United States. I highlight a few of the enduring questions debated by political philosophers and legal scholars. For example, does the Constitution require special religious exemptions for citizens whose religious convictions put them at odds with otherwise neutral and legitimate state pol- icy? Should the Constitution be interpreted as supporting a strict secularism or a multicultural egalitarian liberal position? What (...) are the limits to religious freedom? To illustrate how these and related questions are debated I consider some recent work on religious freedom jurisprudence in the United States. (shrink)

Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy allows students to focus on the information content of proofs, rather than the syntactic structure of sentences. Using Hyperproof the student learns to construct proofs of both consequence and nonconsequence using (...) an intuitive proof system that extends the standard set of sentential rules to incorporate information represented graphically. Hyperproof is compatible with various natural-deduction-style proof systems, including the system used in the authors' Language of First-Order Logic. (shrink)

An onslaught of ethically questionable actions by top government, business, and religious leaders during the 1980s has brought the issue of ethics in decision making to the forefront of public consciousness. This study examines the ethical orientation of university students in four decision-making situations. The dependent variable — ethical orientation toward work-related decisions — is measured through student responses to questions following four work-related vignettes. Possible responses to each vignette are structured to permit categorization of respondents into two broad orientations: (...) egoistic and ethical. Independent variables are academic major, ethics in business orientation, gender, and religiosity. Generally, students tended to choose an ethical orientation over an egoistic orientation in each vignette. Business majors were generally no less likely to choose an ethical orientation toward work-related decisions than nonbusiness majors. Respondents characterized by moral unity (belief in the consistency between general ethical principles and work-related ethical standards) were more likely to have an ethical orientation toward work-related decisions than those subscribing to the amoral theory of business. Females showed a consistent tendency to be more ethically oriented toward work-related decisions than males. Finally, respondents high on religiosity tended to be more ethically oriented. (shrink)

Standard accounts of semantics for counterfactuals confront the true–true problem: when the antecedent and consequent of a counterfactual are both actually true, the counterfactual is automatically true. This problem presents a challenge to safety-based accounts of knowledge. In this paper, drawing on work by Angelika Kratzer, Alan Penczek, and Duncan Pritchard, we propose a revised understanding of semantics for counterfactuals utilizing machinery from generalized quantifier theory which enables safety theorists to meet the challenge of the true–true problem.

Salmon was the first to speak explicitly of paradoxes of kinematics. In this short note I introduce a new class of infinity puzzles. Following natural terminology, they should actually be called static paradoxes.

: The present study considers Ibn Sînâ's (Lat. Avicenna) account of induction (istiqra') and experimentation (tajriba). For Ibn Sînâ induction purportedly provided the absolute, necessary and certain first principles of a science. Ibn Sînâ criticized induction, arguing that it can neither guarantee the necessity nor provide the primitiveness required of first principles. In it place, Ibn Sînâ developed a theory of experimentation, which avoids the pitfalls of induction by not providing absolute, but conditional, necessary and certain first principles. The theory (...) of experimentation that emerges though not modern, does have elements that are similar to a modern conception of scientific method. (shrink)