We define a family of intuitionistic non-normal modal logics; they can be seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain only Necessity or Possibility. We then consider the more important case of bimodal logics, which contain both modal operators. In this case we define several interactions between Necessity and Possibility of increasing strength, although weaker than duality. We thereby obtain a lattice of 24 distinct bimodal logics. For all logics we provide both a Hilbert (...) axiomatisation and a cut-free sequent calculus, on its basis we also prove their decidability. We then define a semantic characterisation of our logics in terms of neighbourhood models containing two distinct neighbourhood functions corresponding to the two modalities. Our semantic framework captures modularly not only our systems but also already known intuitionistic non-normal modal logics such as Constructive K and the propositional fragment of Wijesekera’s Constructive Concurrent Dynamic Logic. (shrink)

In this work we propose a labelled tableau method for Łukasiewicz infinite-valued logic Lω. The method is based on the Kripke semantics of this logic developed by Urquhart [25] and Scott [24]. On the one hand, our method falls under the general paradigm of labelled deduction [8] and it is rather close to the tableau systems for sub-structural logics proposed in [4]. On the other hand, it provides a CoNP decision procedure for Lω validity by reducing the check of branch (...) closure to linear programming. (shrink)

In this work we propose a labelled tableau method for ukasiewicz infinite-valued logic L . The method is based on the Kripke semantics of this logic developed by Urquhart [25] and Scott [24]. On the one hand, our method falls under the general paradigm of labelled deduction [8] and it is rather close to the tableau systems for sub-structural logics proposed in [4]. On the other hand, it provides a CoNP decision procedure for L validity by reducing the check of (...) branch closure to linear programming. (shrink)

Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of "proof-theoretic" presentations of fuzzy logics; the result of more than ten years of intensive work by researchers (...) in the area, including the authors. In addition to providing alternative elegant presentations of fuzzy logics, proof-theoretic methods are useful for addressing theoretical problems and developing efficient deduction and decision algorithms. Proof-theoretic presentations also place fuzzy logics in the broader landscape of non-classical logics, revealing deep relations with other logics studied in Computer Science, Mathematics, and Philosophy. The book builds methodically from the semantic origins of fuzzy logics to proof-theoretic presentations such as Hilbert and Gentzen systems, introducing both theoretical and practical applications of these presentations. (shrink)

The aim of this work is to develop a declarative semantics for N-Prolog with negation as failure. N-Prolog is an extension of Prolog proposed by Gabbay and Reyle, which allows for occurrences of nested implications in both goals and clauses. Our starting point is an operational semantics of the language defined by means of top-down derivation trees. Negation as finite failure can be naturally introduced in this context. A goal-G may be inferred from a database if every top-down derivation of (...) G from the database finitely fails, i.e., contains a failure node at finite height.Our purpose is to give a logical interpretation of the underlying operational semantics. In the present work we take into consideration only the basic problems of determining such an interpretation, so that our analysis will concentrate on the propositional case. Nevertheless we give an intuitive account of how to extend our results to a first order language. A full treatment of N-Prolog with quantifiers will be deferred to the second part of this work. (shrink)

In this paper we focus on theorem proving for conditional logics. First, we give a detailed description of CondLean, a theorem prover for some standard conditional logics. CondLean is a SICStus Prolog implementation of some labeled sequent calculi for conditional logics recently introduced. It is inspired to the so called “lean” methodology, even if it does not fit this style in a rigorous manner. CondLean also comprises a graphical interface written in Java. Furthermore, we introduce a goal-directed proof search mechanism, (...) derived from the above mentioned sequent calculi based on the notion of uniform proofs. Finally, we describe GOALDUCK, a simple SICStus Prolog implementation of the goal-directed calculus mentioned here above. Both the programs CondLean and GOALDUCK, together with their source code, are available for free download at. (shrink)

Product logic Π is an important t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0,1], while Cancellative hoop logic CHL is a related logic with connectives interpreted as for Π but on the real unit interval with 0 removed (0,1]. Here we present several analytic proof systems for Π and CHL, including hypersequent calculi, co-NP labelled calculi and sequent calculi.

In this work we develop goal-directed deduction methods for the implicational fragment of several modal logics. We give sound and complete procedures for strict implication of K, T, K4, S4, K5, K45, KB, KTB, S5, G and for some intuitionistic variants. In order to achieve a uniform and concise presentation, we first develop our methods in the framework of Labelled Deductive Systems [Gabbay 96]. The proof systems we present are strongly analytical and satisfy a basic property of cut admissibility. We (...) then show that for most of the systems under consideration the labelling mechanism can be avoided by choosing an appropriate way of structuring theories. One peculiar feature of our proof systems is the use of restart rules which allow to re-ask the original goal of a deduction. In case of K, K4, S4 and G, we can eliminate such a rule, without loosing completeness. In all the other cases, by dropping such a rule, we get an intuitionistic variant of each system. The present results are part of a larger project of a goal directed proof theory for non-classical logics; the purpose of this project is to show that most implicational logics stem from slight variations of a unique deduction method, and from different ways of structuring theories. Moreover, the proof systems we present follow the logic programming style of deduction and seem promising for proof search [Gabbay and Reyle 84, Miller et al. 91]. (shrink)

The logic of Conditional Beliefs has been introduced by Board, Baltag, and Smets to reason about knowledge and revisable beliefs in a multi-agent setting. In this article both the semantics and the proof theory for this logic are studied. First, a natural semantics forCDLis defined in terms of neighbourhood models, a multi-agent generalisation of Lewis’ spheres models, and it is shown that the axiomatization ofCDLis sound and complete with respect to this semantics. Second, it is shown that the neighbourhood semantics (...) is equivalent to the original one defined in terms of plausibility models, by means of a direct correspondence between the two types of models. On the basis of neighbourhood semantics, a labelled sequent calculus forCDLis obtained. The calculus has strong proof-theoretic properties, in particular admissibility of contraction and cut, and it provides a decision procedure for the logic. Furthermore, its semantic completeness is used to obtain a constructive proof of the finite model property of the logic. Finally, it is shown that other doxastic operators can be easily captured within neighbourhood semantics. This fact provides further evidence of the naturalness of neighbourhood semantics for the analysis of epistemic/doxastic notions. (shrink)

We present logic programming style “goal-directed” proof methods for Łukasiewicz logic Ł that both have a logical interpretation, and provide a suitable basis for implementation. We introduce a basic version, similar to goal-directed calculi for other logics, and make refinements to improve efficiency and obtain termination. We then provide an algorithm for fuzzy logic programming in Rational Pavelka logic RPL, an extension of Ł with rational constants.

In this paper we propose a conditional logic called IBC to represent iterated belief revision systems. We propose a set of postulates for iterated revision which are a small variant of Darwiche and Pearl''s ones. The conditional logic IBC has a standard semantics in terms of selection function models and provides a natural representation of epistemic states. We establish a correspondence between iterated belief revision systems and IBC-models. Our representation theorem does not entail Gärdenfors'' Triviality Result.

In this paper we propoee a logic programming language which supports hypothetical updates together with integrity constraints. The language makes use of a revision mechanism, which is needed to restore consistency when an update violates some integrity constraint. The revision policy adopted is based on the simple idea that more recent information is preferred to earlier one. We show how this language can be used to represent and perform several types of defeasible reasoning. We develop a logical characterization of the (...) language in a three-valued conditional logic, by introducing a completion construction. We show that the operational semantics is sound and complete with respect to the completion construction. (shrink)

What makes humans moral beings? This question can be understood either as a proximate question or as an ultimate question. The question is about the mental and social mechanisms that produce moral judgments and interactions, and has been investigated by psychologists and social scientists. The question is about the fitness consequences that explain why humans have morality, and has been discussed by evolutionary biologists in the context of the evolution of cooperation. Our goal here is to contribute to a fruitful (...) articulation of such proximate and ultimate explanations of human morality. We develop an approach to morality as an adaptation to an environment in which individuals were in competition to be chosen and recruited in mutually advantageous cooperative interactions. In this environment, the best strategy is to treat others with impartiality and to share the costs and benefits of cooperation equally. Those who offer less than others will be left out of cooperation; conversely, those who offer more will be exploited by their partners. In line with this mutualistic approach, the study of a range of economic games involving property rights, collective actions, mutual help and punishment shows that participants' distributions aim at sharing the costs and benefits of interactions in an impartial way. In particular, the distribution of resources is influenced by effort and talent, and the perception of each participant's rights on the resources to be distributed. (shrink)

This article defends a relational account of personhood. I argue that the structure of personhood consists of dyadic relations between persons who can wrong or be wronged by one another, even if some of them lack moral competence. I draw on recent work on directed duties to outline the structure of moral communities of persons. The upshot is that we can construct an inclusive theory of personhood that can accommodate nonhuman persons based on shared community membership. I argue that, once (...) we unpack the internal relation between directed duties, moral status, and flourishing, relations can ground personhood and include nonhuman animals. (shrink)

We aim to do two things in this article. On the positive end, our goal is to explain how some seemingly incompatible aspects of belief live together, by presenting distinct mechanistic explanations of each of them: in particular we want to show how belief can be discerning, credulous, rational, and irrational. After clarifying our positive view, we take aim at some competitor views in the second half of the paper, particularly offering critiques of epistemic vigilance and social marketplace accounts of (...) belief. We conclude by inviting proponents to provide an architecture for belief that can be tested against existing models. (shrink)

Most people believe that suffering is intrinsically bad. In conjunction with facts about our world and plausible moral principles, this yields a pro tanto obligation to reduce suffering. This is the intuitive starting point for the moral argument in favor of interventions to prevent wild animal suffering. If we accept the moral principle that we ought, pro tanto, to reduce the suffering of all sentient creatures, and we recognize the prevalence of suffering in the wild, then we seem committed to (...) the existence of such a pro tanto obligation. Of course, competing values such as the aesthetic, scientific or moral values of species, biodiversity, naturalness or wildness, might be relevant to the all-things-considered case for or against intervention. Still, many argue that, even if we were to give some weight to such values, no plausible theory could resist the conclusion that WAS is overridingly important. This article is concerned with large-scale interventions to prevent WAS and their tractability and the deep epistemic problem they raise. We concede that suffering gives us a reason to prevent it where it occurs, but we argue that the nature of ecosystems leaves us with no reason to predict that interventions would reduce, rather than exacerbate, suffering. We consider two interventions, based on gene editing technology, proposed as holding promise to prevent WAS; raise epistemic concerns about them; discuss their potential moral costs; and conclude by proposing a way forward: to justify interventions to prevent WAS, we need to develop models that predict the effects of interventions on biodiversity, ecosystem functioning, and animals’ well-being. (shrink)

Barlow's concept of the exploitation of environmental statistical regularities may be more plausibly related to brain mechanisms than Shepard's notion of internalisation. In our view, Barlow endorses a bottom-up approach to neural coding and processing, whereas we suggest that feedback interactions in the visual system, as well as chaotic correlation dynamics in the brain, are crucial in exploiting and assimilating environmental regularities. We also discuss the “conceptual tension” between Shepard's ideas of law internalisation and evolutionary adaptation. [Barlow; Shepard].

F. Enriques and G. de Santillana have begun in collaboration the composition of a general history of scientific thought. The first volume of this work, which has been recently published, is concerned with the science of antiquity,1 and to a large extent covers the same ground as the history of ancient philosophy, as the frontiers of philosophy and natural science, at any rate until the time of Aristotle, were not yet clearly differentiated. But the two historians are interested in bringing (...) into prominence a great many problems and personalities that the history of philosophy generally leaves on one side, although they help to complete and vivify the picture of the mentality of the ancients. Mathematics, medicine, geography, astronomy, applied mechanics, and physics, in short all the particular scientific studies that were just beginning to detach themselves from the parent trunk of general philosophy are studied by the authors in their individual developments and through the personalities of their cultivators. The explanations are clear and simple and can be followed even by readers unversed in science; the information is at first hand and is supplemented by a careful discussion of sources. The scientific questions are not isolated from the historical setting of the civilization of antiquity, but are shown in relation to matters of philosophy, religion, art, and moral and political life. The bibliography, intended for the more purely scientific and technical departments of philosophy, forms a very useful and timely completion of the bibliography of philosophic thought in general. (shrink)

About a year ago some important philosophical works were published in Italy which, both in the agreement and in the divergence of the trends they indicate, may be useful for characterizing the present situation of Italian philosophy. I think it opportune, therefore, for the information of the English reader, to give a fuller notice of these books than usual. One of them is by Ugo Spirito, La vita come amore , with the subtitle “The downfall of Christian civilization ”. Ugo (...) Spirito, who was one of the most intelligent and restless pupils of Giovanni Gentile, announced his secession from idealism in 1937.In that year he published a book entitled La vita come ricerca , in which, as sole alternative to idealistic philosophy, henceforth considered untenable, he pointed to a philosophy of never concluded enquiry, which, while positing numerous problems, never solves them. The intention of the book was to conclude in the impossibility of philosophy as “system” or as “metaphysics”, on the supposition that all the possibilities of metaphysics had been exhausted in the course of its historical development, culminating in Gentile. In a certain sense this presupposition remains in the book now under examination; but here it is a question of defining positively the way that philosophy, and with it human life, ought to take, which is, according to Spirito, the way of love. (shrink)

About a year ago some important philosophical works were published in Italy which, both in the agreement and in the divergence of the trends they indicate, may be useful for characterizing the present situation of Italian philosophy. I think it opportune, therefore, for the information of the English reader, to give a fuller notice of these books than usual. One of them is by Ugo Spirito, La vita come amore, with the subtitle “The downfall of Christian civilization ”. Ugo Spirito, (...) who was one of the most intelligent and restless pupils of Giovanni Gentile, announced his secession from idealism in 1937.In that year he published a book entitled La vita come ricerca, in which, as sole alternative to idealistic philosophy, henceforth considered untenable, he pointed to a philosophy of never concluded enquiry, which, while positing numerous problems, never solves them. The intention of the book was to conclude in the impossibility of philosophy as “system” or as “metaphysics”, on the supposition that all the possibilities of metaphysics had been exhausted in the course of its historical development, culminating in Gentile. In a certain sense this presupposition remains in the book now under examination; but here it is a question of defining positively the way that philosophy, and with it human life, ought to take, which is, according to Spirito, the way of love. (shrink)

In the series Collezione di Filosofia published by Taylor of Turin since 1947, some of the most significant works on Italian existentialism have appeared. The series was inaugurated by two books by the writer of this article: Introduzione all esistenzialismo, second edition, 1947 ; and Filosofia religione scienza, 1947. These were followed by Pietro Chiodi, L'esistenzialismo di Heidegger, 1947; Armando Vedaldi, Essere gli altri, 1948; Uberto Scarpelli, Esistenzialismo e marxismo, 1949; Enzo Paci, II nulla e il problema dell'uomo, 1950; Luigi (...) Pareyson, Esistenza e persona, 1950; and Armando Vedaldi, Struttura della proprietà, 1951. (shrink)

L'ŒIL, Observatoire d'Ethique Interculturelle de Lyon, a pour objectif de préserver la dimension éthique de notre société démocratique et pluraliste dans son approche de l'homme. De nouveaux savoirs et techniques, le dynamisme de la recherche scientifique, les forces du marché, le souci de juste allocation des ressources, ainsi que les demandes de la société, mettent les acteurs des systèmes de santé dans des situations confuses. Cet ouvrage est le premier témoignage des rencontres et des recherches décidées par ces auteurs venus (...) d'horizons divers, engagés dans l'ensemble du monde francophone à partir de Lyon où se sont tenues les Premières Journées internationales francophones d'Ethique interculturelle, en 2004. Pour les auteurs de cet ouvrage, l'humanité peut mieux se constituer en s'ouvrant sur le différent, sur le multiple. Par regards croisés, ils questionnent la place relative du progrès, abandonnant le mythe simpliste selon lequel seul le progrès techno-économique entraîne les progrès sociaux, politiques et moraux... Au contraire, ils adoptent les principes d'incertitude et de complexité. Ils s'interrogent sur l'éthique interculturelle résultant d'une interaction à géométrie variable entre nos appartenances à différents groupes humains - culturels, sociaux, professionnels... sur le bon usage de la vie qui peut présupposer d'avoir en tête un archétype de la vie humaine, une vie exprimée dans sa plénitude. Certaines cultures ont exalté le héros, le chevalier ou le saint, avant de mettre en avant l'homme engagé ou l'entrepreneur accompli. Ils partagent la conviction que l'univers, la vie en général et la vie humaine en particulier ne sont pas des réalités monolithiques, mais résultent de l'interaction entre des polarités apparemment opposées, mais complémentaires. En effet, chaque être humain résulte des relations tissées avec l'Autre, s'enrichissant personnellement à travers chacune d'entre elles, s'ouvrant ainsi progressivement à toute l'humanité dans sa diversité. Nous construisons notre singularité en fonction de notre ouverture sur l'universel. Ce livre multidisciplinaire intéressera médecins et autres soignants, philosophes, spécialistes des sciences humaines et de l'éducation, des sciences exactes, voire responsables politiques. (shrink)

In this article we argue that the social value of health research should be conceptualized as a function of both the expected benefits of the research and the priority that the beneficiaries deserve. People deserve greater priority the worse off they are. This conception of social value can be applied for at least two important purposes: in health research priority setting when research funders, policy-makers, or researchers decide between alternative research projects; and in evaluating the ethics of proposed research proposals (...) when research ethics committees assess whether the social value of the research is sufficient to justify the risks and burdens to research participants and others. In assessing how far a proposed research project will advance the interests of people who are more disadvantaged, research priority setters and RECs should examine the diseases that the research targets and the type of research. Just as certain diseases impose a greater burden on people who are more disadvantaged, so certain types of intervention and forms of research are more likely to benefit people who are more disadvantaged. We outline which populations are likely to be representative of the global worst off and identify what types of health research, and which disease categories, are priorities for these populations. (shrink)

In order to describe the logic of morality, "contractualist" philosophers have studied how individuals behave when they choose to follow their moral intuitions. These individuals, contractualists note, often act as if they have bargained and thus reached an agreement with others about how to distribute the benefits and burdens of mutual cooperation. Using this observation, such philosophers argue that the purpose of morality is to maximize the benefits of human interaction. The resulting "contract" analogy is both insightful and puzzling. On (...) one hand, it captures the pattern of moral intuitions, thus answering questions about human cooperation: why do humans cooperate? Why should the distribution of benefits be proportionate to each person's contribution? Why should the punishment be proportionate to the crime? Why should the rights be proportionate to the duties? On the other hand, the analogy provides a mere as-if explanation for human cooperation, saying that cooperation is "as if" people have passed a contract-but since they didn't, why should it be so? To evolutionary thinkers, the puzzle of the missing contract is immediately reminiscent of the puzzle of the missing "designer" of life-forms, a puzzle that Darwin's theory of natural selection essentially resolved. Evolutionary and contractualist theory originally intersected at the work of philosophers John Rawls and David Gauthier, who argued that moral judgments are based on a sense of fairness that has been naturally selected. In this book, Nicolas Baumard further explores the theory that morality was originally an adaptation to the biological market of cooperation, an arena in which individuals competed to be selected for cooperative interactions. In this environment, Baumard suggests, the best strategy was to treat others with impartiality and to share the costs and benefits of cooperation in a fair way, so that those who offered less than others were left out of cooperation while those who offered more were exploited by their partners. It is with this evolutionary approach that Baumard ultimately accounts for the specific structure of human morality. (shrink)

Urban animals can benefit from living in cities, but this also makes them vulnerable as they increasingly depend on the advantages of urban life. This article has two aims. First, I provide a detailed analysis of the concept of captivity and explain why it matters to nonhuman animals—because and insofar as many of them have a (non-substitutable) interest in freedom. Second, I defend a surprising implication of the account—pushing the boundaries of the concept while the boundaries of cities and human (...) activities expand. I argue for the existence of the neglected problem of pervasive captivity, of which urban wildlife is an illustration. Many urban animals are confined, controlled and dependent, therefore often captive of expanding urban areas. While I argue that captivity per se is value-neutral, I draw the ethical and policy implications of harmful pervasive captivity. (shrink)

Can animals be agents? Do they want to be free? Can they have meaningful lives? If so, should we change the way we treat them? This paper offers an account of animal agency and of two continuums: between human and nonhuman agency, and between wildness and captivity. It describes how a wide range of human activities impede on animals’ freedom and argues that, in doing so, we deprive a wide range of animals of opportunities to exercise their agency in ways (...) that can give meaning to their lives. (shrink)

The contemporary discussion of modesty has focused on whether or not modest people are accurate about their own good qualities. This essay argues that this way of framing the debate is unhelpful and offers examples to show that neither ignorance nor accuracy about the good qualities related to oneself is necessary for modesty. It then offers an attention-based account, claiming that what is necessary for modesty is to direct one’s attention in certain ways. By analyzing modesty in this way, we (...) can best explain the distinct features of modesty, keep much of what is intuitive in contemporary accounts, and better understand why modesty is a virtue at all. (shrink)

Este trabajo iba a tratar sobre por qué el antropocentrismo es un problemairrelevante para las discusiones de bioética, y deberíamos prescindir de él.El argumento era que sostener una actitud antropocéntrica, tanto moderadacomo dura, tenía las mismas consecuencias a nivel práctico. Un antropocentristaapelará a la utilidad del medio ambiente y de las especies queen él habitan para la vida humana; y por ello sería importante que cuidaradel ecosistema para mantener dichos beneficios. Por otro lado un no-antropocentrista,apelará a que los animales y (...) el ecosistema cuentan con unasuerte de valor intrínseco y deberíamos cuidarlo apelando a dicho valor. Espor ello que las distinciones sólo podrían verse a un nivel teórico. (shrink)

What does it mean to be a morally good person? It can be tempting to think that it is simply a matter of performing certain actions and avoiding others. And yet there is much more to moral character than our outward actions. We expect a good person to not only behave in certain ways but also to experience the world in certain ways within.

Al principio este trabajo iba a tratar sobre por qué el antropocentrismo es un problema irrelevante para las discusiones de bioética y deberíamos prescindir de él. El argumento era que sostener una actitud antropocéntrica, tanto moderada como dura, tenía las mismas consecuencias a nivel práctico. Un antropocentrista apelará a la utilidad del medio ambiente y de las especies que en él habitan para la vida humana; y por ello sería importante que cuidara del ecosistema para mantener dichos beneficios. Por otro (...) lado, un no antropocentrista apelará a que los animales y el ecosistema cuentan con una suerte de valor intrínseco y deberíamos cuidarlos atendiendo a dicho valor. Es por ello que las distinciones sólo podrían verse a un nivel teórico. (shrink)

In recent years much research has been undertaken regarding the feasibility of the human uterine transplant as a treatment for absolute uterine factor infertility. Should it reach clinical application this procedure would allow such individuals what is often a much-desired opportunity to become not only social mothers, or genetic and social mothers but mothers in a social, genetic and gestational sense. Like many experimental transplantation procedures such as face, hand, corneal and larynx transplants, UTx as a therapeutic option falls firmly (...) into the camp of the quality of life transplant, undertaken with the aim, not to save a life, but to enrich one. However, unlike most of these novel procedures – where one would be unlikely to find a willing living donor or an ethics committee that would sanction such a donation – the organs to be transplanted in UTx are potentially available from both living and deceased donors. In this article, in the light of the recent nine-case research trial in Sweden which used uteri obtained from living donors, and the assertions on the part of a number of other research teams currently preparing trials that they will only be using deceased donors, I explore the question of whether, in the case of UTx, there exist compelling moral reasons to prefer the use of deceased donors despite the benefits that may be associated with the use of organs obtained from the living. (shrink)

Punitive behaviours are often assumed to be the result of an instinct for punishment. This instinct would have evolved to punish wrongdoers and it would be the evidence that cooperation has evolved by group selection. Here, I propose an alternative theory according to which punishment is a not an adaptation and that there was no specific selective pressure to inflict costs on wrongdoers in the ancestral environment. In this theory, cooperation evolved through partner choice for mutual advantage. In the ancestral (...) environment, individuals were in competition to be recruited in cooperative ventures and it was vital to share the benefits of cooperation in a mutually advantageous manner. If individuals took a bigger share of the benefits, their partners would leave them for more interesting partners. If they took a smaller share, they would be exploited by their partners who would receive more than what they had contributed to produce. This competition led to the selection of a sense of fairness, a cognitive adaptation aiming to share equally the benefits of cooperation in order to attract partners. In this theory, punishment is not necessary for the evolution of cooperation. Punitive behaviours are only a way to restore fairness by compensating the victim or penalizing the culprit. Drawing on behavioural economics, legal anthropology, and cognitive psychology, I show that empirical data fit better with this framework than with the theory of group selection. When people punish, they do so to restore fairness rather than to help the group. (shrink)

To become more broadly applicable, positions on AI ethics require perspectives from non-Western regions and cultures such as China and Japan. In this paper, we propose that the addition of the concept of harmony to the discussion on ethical AI would be highly beneficial due to its centrality in East Asian cultures and its applicability to the challenge of designing AI for social good. We first present a synopsis of different definitions of harmony in multiple contexts, such as music and (...) society, which reveals that the concept is, at its core, about well-balanced relationships and appropriate actions which give rise to order, balance, and aesthetically pleasing phenomena. The mediator for these well-balanced relationships isTaktwhich is an ability to act thoughtfully and sensibly according to the specific situation and to put things into proportion and order. We propose that the central challenge of building harmonizing AI is to make intelligent systems tactful and also to design and use them tactfully. For an AI system to become tactful, it needs to be able to have an advanced sensitivity to the specific contexts which it is in and their social and ethical implications and have the capability of approximately inferring the emotional and cognitive states of people with whom it is interacting. (shrink)

Has the time come to put to bed the concept of a harm threshold when discussing the ethics of reproductive decision making and the legal limits that should be placed upon it? In this commentary, we defend the claim that there exist good moral reasons, despite the conclusions of the non-identity problem, based on the interests of those we might create, to refrain from bringing to birth individuals whose lives are often described in the philosophical literature as ‘less than worth (...) living’. (shrink)