We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the logic is decidable, and give a (...) complete axiomatization. To demonstrate the value of the logic, we show in particular how it can be applied to the problem of determining whether a social choice function is strategy-proof. (shrink)

We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the logic is decidable, and give a (...) complete axiomatization. To demonstrate the value of the logic, we show in particular how it can be applied to the problem of determining whether a social choice function is strategy-proof. (shrink)

Information about the powers and abilities of acting entities is used to coordinate their actions in societies, either physical or digital. Yet, the commonsensical meaning of an acting entity being deemed able to do something is still missing from the existing specification languages for the web or for multi-agent systems. We advance a general purpose abstract logical account of evidence-based ability. A basic model can be thought of as the ongoing trace of a multi-agent system. Every state records systemic confirmations (...) and disconfirmations of whether an acting entity is able to bring about something. Qualitative inductive reasoning is then used in order to infer what acting entities are deemed able to bring about in the multi-agent system. A temporalised modal language is used to talk about deemed ability, actual agency, and confirmation and disconfirmation of deemed ability. What constitutes a confirmation and a disconfirmation is left to the modeller as in general it depends on the application at hand. So to illustrate the methodology we propose two extended examples, one in practical philosophy, the other in system engineering. We first use a logic of agency and ability to obtain a version of Mele’s general practical abilities. Then, we look at the management of abilities in a supervised system. (shrink)

We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas’s STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators (...) is NP-complete in the single-agent case, and is NEXPTIME-complete in the multiagent case, both for the deliberative and Chellas’s STIT. (shrink)

We present the main logical theories of action. We distinguish theories identifying an action with its result from theories studying actions in terms of both their results and the means that result is obtained. The first family includes most prominently the logic of seeing-to-it-that and the logic of bringing-it-about-that. The second includes propositional dynamic logic and its variants. For all these logics we overview their extensions by other modalities such as modal operators of knowledge, belief, and obligation.

We investigate a series of logics that allow to reason about agents' actions, abilities, and their knowledge about actions and abilities. These logics include Pauly's Coalition Logic CL, Alternating-time Temporal Logic ATL, the logic of ‘seeing-to-it-that' (STIT), and epistemic extensions thereof. While complete axiomatizations of CL and ATL exist, only the fragment of the STIT language without temporal operators and without groups has been axiomatized by Xu (called Ldm). We start by recalling a simplification of the Ldm that has been (...) proposed in previous work, together with an alternative semantics in terms of standard Kripke models. We extend that semantics to groups via a principle of superadditivity, and give a sound and complete axiomatization that we call Ldm G. We then add a temporal ‘next' operator to Ldm G, and again give a sound and complete axiomatization. We show that Ldm G subsumes coalition logic CL. Finally, we extend these logics with standard S5 knowledge operators. This enables us to express that agents see to something under uncertainty about the present state or uncertainty about which action is being taken. We focus on the epistemic extension of X-Ldm G, noted E-X-Ldm G. In accordance with established terminology in the planning community, we call this extension of X-Ldm G the conformant X-Ldm G. The conformant X-Ldm G enables us to express that agents are able to perform a uniform strategy. We conclude that in that respect, our epistemic extension of X-Ldm G is better suited than epistemic extensions of ATL. (shrink)

We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...) even simplify their logical formulation. (shrink)

We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic of agency. (...) In particular, we apply it to reason about the resource-sensitive use of artefacts. (shrink)

When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with conflicting (...) attributes and the creation of new (combinations of) properties. We here consider in particular the case where a Head concept has superior ‘asymmetric’ control over steering the resulting concept combination (or hybridisation) with a Modifier concept. Specifically, we propose a dialogical approach to concept combination and discuss an implementation based on axiom weakening, which models the cognitive and logical mechanics of this asymmetric form of hybridisation. (shrink)

Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overexten- sion, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by considering the interdependencies between the attributes that define a concept. To approach this formally, we employ a recently introduced family of operators that enrich Description Logic languages. These (...) operators aim to characterise complex concepts by collecting those instances that apply, in a finely controlled way, to ‘enough’ of the concept’s defin- ing attributes. Here, the meaning of ‘enough’ is technically realised by accumulating weights of satisfied attributes and comparing with a given threshold that needs to be met. (shrink)

We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...) variations. The intended applications concern the representation of cognitive aspects of classi cation tasks: the interdependencies among the attributes that de ne a concept, the prototype of a concept, and the typicality of the instances. (shrink)

Taste as Experience puts the pleasure of food at the center of human experience. It shows how the sense of taste informs our preferences for and relationship to nature, pushes us toward ethical practices of consumption, and impresses upon us the importance of aesthetics. Eating is often dismissed as a necessary aspect of survival, and our personal enjoyment of food is considered a quirk. Nicola Perullo sees food as the only portion of the world we take in on a daily (...) basis, constituting our first and most significant encounter with the earth. Perullo has long observed people's food practices and has listened to their food experiences. He draws on years of research to explain the complex meanings behind our food choices and the thinking that accompanies our gustatory actions. He also considers our indifference toward food as a force influencing us as much as engagement. For Perullo, taste is value and wisdom. It cannot be reduced to mere chemical or cultural factors but embodies the quality and quantity of our earthly experience. (shrink)

In the historical context of a crisis in biological psychiatry, psychedelic drugs paired with psychotherapy are globally re-emerging in research clinics as a potential transdiagnostic therapy for treating mood disorders, addictions, and other forms of psychological distress. The treatments are poised to soon shift from clinical trials to widespread service delivery in places like Australia, North America, and Europe, which has prompted ethical questions by social scientists and bioethicists. Taking a broader view, we argue that the ethics of psychedelic therapy (...) concerns not simply how psychotherapies are different when paired with psychedelic drugs, but how psychedelic therapies shape and are shaped by different values, norms, and metaphysical commitments. Drawing from the published literature and interviews with seven psychedelic therapists working in clinical trials in the United States, Germany, Switzerland, and Australia, this article opens the black box of the treatments to consider the values and informal debates currently animating the therapies. Considering questions of patient autonomy, mechanisms of therapeutic action, and which therapies are best suited to pair with psychedelic substances, we examine the ethics of psychedelic therapy as an emergent form of life. To bring this form of life out in fuller relief, we conclude by comparing and contrasting it with ayahuasca use in Amazonian shamanism. (shrink)

Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of (...) inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added to the integrated ontology. We instantiate the two approaches using real-world ontologies and compare them by measuring the levels of satisfaction of the agents w.r.t. the ontology obtained by the two procedures. (shrink)

This chapter deals with one of the common fallacies in Western philosophy, inappropriate appeal to authority (IAA). IAA has many different facets. At its core, it is a fallacy that assumes that because someone is an authority, we should listen to that person. The problem with IAA is that it ignores content in favor of credentials and power. There are a few different ways in which IAA can occur. IAA seems to be the result of a flaw in human thinking. (...) Social cognitive theory, a theory that helps explain human action, notes that humans tend to act like each other. The tendency to listen to authorities who are not authorities explains why celebrities are able to sell us stuff. The important thing to remember about IAA is that it is not just a fallacy that comes up in arguments that do not matter. (shrink)

Methexiology is not a particular theory, but rather a general philosophical orientation. Therefore, in Methexiology: Philosophical Theology and Theological Philosophy for the Deification of Humanity, Nicolas Laos elucidates the significance of methexiology for the study of ontology, epistemology, ethics, philosophical psychology, theory of justice, philosophy of history, and philosophy of religion. Laos argues that, faced with the modern and the postmodern crises of meaning, we need a new myth, a new spiritual formula, for the resacralization of humanity and the (...) cosmos, without restoring defunct totems, without using tales as "cheap" substitutes for the lack of a life-giving myth, and without negating history. In his Methexiology, Laos studies the "genealogy" of the modern and the postmodern crises of meaning, and, based on his new interpretation of classical Greek philosophy and Hesychasm, proposes methexiology as a way of overcoming the crises of meaning and as a way of resacralizing humanity and the cosmos through a new metaphysically grounded humanism. (shrink)

The empirical study of belief is emerging at a rapid clip, uniting work from all corners of cognitive science. Reliance on belief in understanding and predicting behavior is widespread. Examples can be found, inter alia, in the placebo, attribution theory, theory of mind, and comparative psychological literatures. Research on belief also provides evidence for robust generalizations, including about how we fix, store, and change our beliefs. Evidence supports the existence of a Spinozan system of belief fixation: one that is automatic (...) and independent of belief rejection. Independent research supports the existence of a system of fragmented belief storage: one that relies on large numbers of causally isolated, context-sensitive stores of belief in memory. Finally, empirical and observational data support at least two systems of belief change. One system adheres, mostly, to epistemological norms of updating; the other, the psychological immune system, functions to guard our most centrally held beliefs from potential inconsistency with newly formed beliefs. Refining our under- standing of these systems can shed light on pressing real-world issues, such as how fake news, propaganda, and brainwashing exploit our psychology of belief, and how best to construct our modern informational world. (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)

Blaise Pascal est le penseur radical des limites et des contradictions de l'homme, ni ange ni bête. Contrairement à ce qu'en prétend l'orgueil de toute une modernité, la raison ne peut pas tout ; mais contrairement au désespoir du fanatisme, la raison n'est pas sans force. Jusqu'où alors peut-elle s'exercer? Pour Pascal, la philosophie ne saurait faire l'économie de la question de Dieu, Elle doit donc croiser la théologie. Mais comment vont se nouer l'ordre de l'esprit et celui de la (...) charité? Pascal produit ainsi une analyse critique de la philosophie comme telle, de ses capacités et de ses limites, que le présent ouvrage se donne pour tâche de clarifier. Que peut la philosophie? Mais qui décide de ce qu'elle peut, et surtout de ce qu'elle ne peut pas? Comment s'établissent alors ses rapports avec la théologie? Ce que Pascal nous invite ainsi à penser, c'est toujours à la fois la misère et la grandeur de la philosophie. (shrink)

Dans son dernier cours au Collège de France, Michel Foucault nous parle d'un oubli, plus fondamental à ses yeux que le fameux "oubli de l'être", ou plus précisément d'une négligence ; une négligence dont la philosophie est responsable, ce qui est d'autant plus paradoxal qu'il concerne précisément la vie philosophique. "Je voudrais, en tout cas, suggérer simplement que s'il est vrai que la question de l'être a bien été ce que la philosophie occidentale a oublié et dont l'oubli a rendu (...) possible la métaphysique, peut-être aussi la question de la vie philosophique n'a-t-elle pas cessé d'être, je ne dirais pas oubliée, mais négligée ; elle n'a pas cessé d'apparaître comme en trop par rapport à la philosophie, à la pratique philosophique, à un discours de plus en plus indexé au modèle scientifique" Cette négligence a une histoire. Car le problème de la vie philosophique a été posé dans toute sa radicalité dans l'Antiquité ; il n'était pas complètement oublié à l'époque moderne, comme en témoigne l'oeuvre de Spinoza ; mais à partir du moment "où la philosophie est devenue un métier de professeur, c'est-à-dire au début du XIXème siècle", elle a évacué du champ des problèmes pertinents, des problèmes "sérieux", cela même qui pourtant lui avait donné son horizon et sa raison d'être : la possibilité de définir une vie philosophique, c'est-à-dire une vie juste, une vie bonne, une "vraie vie". (shrink)

Die Utopien sind tot, es leben die Utopien. In diesem Buch wird die Utopie sozialer Gerechtigkeit entwickelt. INhaltlich besteht es in dem Dreischritt, (1) aus im Alltag von jedermann hin und wieder geauSSerten situativen Urteilen das gemeinsame Grundverstandnis von Gerechtigkeit zu destillieren, (2) anhand dieses Gelanders die bedeutendsten zeitgenossischen Theoretiker sozialer Gerechtigkeit akribisch zu lesen und in konstruktiver Absicht zu kritisieren, um (3) in ersten Ansatzen eine gerechtere Zukunftsgesellschaft zu skizzieren, deren quer zu tradierten Ideologien liegendes System sich ethischer Sozialismus (...) nennen lieSSe. (shrink)

This book advances a new interpretation of Hart's penal philosophy. Positioning itself in opposition to current interpretations, the book argues that Hart does not defend a mixed theory of punishment, nor a rule-utilitarian theory of punishment, nor a liberal form of utilitarianism, nor a goal and constraint approach. Rather, it is argued, his penal philosophy is based on his moral pluralism, which comprises two aspects: value pluralism and pluralism with respect to forms of moral reason. It is held that this (...) means, on the one hand, that criminal law has an irreducible complexity due to the compromises it makes to accommodate competing values, and on the other hand, that there need not be one single justification of punishment. This original interpretation is not based only on Hart's key volume on the subject Punishment and Responsibility, but on a careful reading of his complete works. The book will be a valuable resource for academics and researchers interested in Hart's philosophy, the philosophy of law and criminal law. (shrink)

Die Suche nach historischen Quellen für die Leibniz’sche Philosophie scheint zunächst unerschöpflich. Durch alle in diesem Band versammelten Arbeiten wird der Einfluss der Philosophie des Aristoteles auf das Leibniz’sche Denken näher umrissen. Ein wesentliches Ziel ist es hierbei, einen Beitrag zur Analyse dieser philosophischen Beziehung zu leisten und zu zeigen, dass auch Aristoteles’ Philosophie nach Ansicht unserer Autoren entscheidend zum Verständnis des Leibniz’schen Denkens beiträgt. Die Texte befassen sich mit wesentlichen Themen der Leibniz’schen Logik und Metaphysik, z. B. mit den (...) Grundbegriffen „Monade“ (und deren „Körperhaftigkeit“), „Entelechie“, „Nous“, mit dem Problem der Individuation (Individuum, Atomismus, Einheit), mit den substanziellen Formen, mit der Wissenschaft im Allgemeinen und der Technik, mit der Transformation der Logik, mit den Prinzipien (nämlich denjenigen des zureichenden Grundes, der Individuation und der Notwendigkeit), mit Zukunft und Kontingenz sowie Vergänglichkeit, mit der Theorie der syllogistischen Folgerung, usw. Diese Themen werden stets in der Gegenüberstellung von Leibniz und Aristoteles behandelt – sie zeigen daher, wie Leibniz aristotelische Thesen übernahm, veränderte oder kritisierte. The search for the historical sources of Leibniz’s philosphy initially seems to be unending. All the essays in this volume outline more clearly the influence of Aristotle’s philosophy on Leibniz’s thought. In this context a fundamental aim is to contribute to the analysis of this philosophical relationship and to demonstrate that Aristotle’s philosophy, in the opinion of our authors, plays a decisive role in the understanding of Leibniz’s thought. The texts address fundamental themes of Leibniz’s logic and metaphysics, e.g. the basic concepts of ‘monads’ (and their ‘corporality’), ‘entelechy’ and ‘nous; the problem of individuation (individual, atomism, unity); substantial forms; knowledge in general, and technology; the transformation of logic; principles (namely those of sufficient grounds, of individuation and of necesssity); future and contingency and transientness; the theory of syllogistic deduction, etc. These themes are regularly considered in the comparison between Leibniz and Aristotle – they demonstrate how Leibniz took over, treated or criticised Aristotelian theses. (shrink)

We think we know how to appreciate wine—trained connoisseurs take dainty sips in sterile rooms and provide ratings based on objective knowledge and technical expertise. In Epistenology, Nicola Perullo vigorously challenges this approach, arguing that it is the enjoyment of drinking wine as an active and participatory experience that matters. Perullo argues that wine comes to life not in the abstract space of the professional tasting but in the real world of shared experiences; wines can change in these encounters, and (...) drinkers along with them. Just as a winemaker is not simply a producer but a nurturer, a wine is fully known only through an encounter among a group of drinkers in a specific place and time. Wine is not an object to analyze but an experience to make, creatively opening up new perceptual possibilities for settings, cuisines, and companions. The result of more than twenty years of research and practical engagement, Epistenology presents a new paradigm for the enjoyment of wine and through it a philosophy based on participatory and relational knowledge. This model suggests a profound shift—not knowledge about but with wine. Interweaving philosophical arguments with personal reflections and literary examples, this book is a journey with wine that shows how it makes life more creative and free. (shrink)

Jacques Derridas Verständnis von Freundschaft wird, so zeigt Nicola Tams, nicht nur in seinen veröffentlichten Texten, sondern vor allem in seinen Briefen deutlich. Ihre Studie untersucht eine Auswahl des Briefverkehrs Derridas (etwa mit Blanchot, Nancy, Bauchau, Ukai und Granel), verwebt die Ergebnisse mit Derridas Theorien der Freundschaft und zeigt, dass die vornehmlich in Briefen entwickelten Gedanken traditionellen Konzepten der Freundschaft in der Philosophiegeschichte nicht so fern sind.

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)