Trust is a natural mechanism by which an autonomous party, an agent, can deal with the inherent uncertainty regarding the behaviours of other parties and the uncertainty in the information it shares with those parties. Trust is thus crucial in any decentralised system. This paper builds on recent efforts to use argumentation to reason about trust. Specifically, a set of schemes is provided, and abstract patterns of reasoning that apply in multiple situations geared towards trust. Schemes are described in which (...) one agent, A, can establish arguments for trusting another agent, B, directly, as well as schemes that A can use to construct arguments for trusting C, where C is trusted by B. For both sets of schemes, a set of critical questions is offered that identify the situations in which these schemes can fail. (shrink)

Formal dialogue games have been studied in philosophy since at least the time of Aristotle. Recently they have been applied in various contexts in computer science and artificial intelligence, particularly as the basis for interaction between autonomous software agents. We review these applications and discuss the many open research questions and challenges at this exciting interface between philosophy and computer science.

Advancements and deployments of AI-based systems, especially Deep Learning-driven generative language models, have accomplished impressive results over the past few years. Nevertheless, these remarkable achievements are intertwined with a related fear that such technologies might lead to a general relinquishing of our lives’s control to AIs. This concern, which also motivates the increasing interest in the eXplainable Artificial Intelligence (XAI) research field, is mostly caused by the opacity of the output of deep learning systems and the way that it is (...) generated, which is largely obscure to laypeople. A dialectical interaction with such systems may enhance the users’ understanding and build a more robust trust towards AI. Commonly employed as specific formalisms for modelling intra-agent communications, dialogue games prove to be useful tools to rely upon when dealing with user’s explanation needs. The literature already offers some dialectical protocols that expressly handle explanations and their delivery. This paper fully formalises the novel Explanation–Question–Response (EQR) dialogue and its properties, whose main purpose is to provide satisfactory information (i.e., justified according to argumentative semantics) whilst ensuring a simplified protocol, in comparison with other existing approaches, for humans and artificial agents. (shrink)

We present a generic denotational semantic framework for protocols for dialogs between rational and autonomous agents over action which allows for retraction and revocation of proposals for action. The semantic framework views participants in a deliberation dialog as jointly and incrementally manipulating the contents of shared spaces of action-intention tokens. The framework extends prior work by decoupling the identity of an agent who first articulates a proposal for action from the identity of any agent then empowered to retract or revoke (...) the proposal, thereby permitting proposals, entreaties, commands, promises, etc., to be distinguished semantically. (shrink)

We present a logic-based formalism for modeling ofdialogues between intelligent and autonomous software agents,building on a theory of abstract dialogue games which we present.The formalism enables representation of complex dialogues assequences of moves in a combination of dialogue games, and allowsdialogues to be embedded inside one another. The formalism iscomputational and its modular nature enables different types ofdialogues to be represented.

Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questions of political legitimacy. Drawing on deliberative democratic theory, we elaborate normative criteria for deliberative legitimacy and illustrate their use for assessing two argumentation systems. Full assessment of such systems requires experiments in which system designers draw on expertise from the social sciences and enter into the policy deliberation itself at the level of participants.

This paper demonstrates how argumentation schemes can be used in decision support systems that help clinicians in making treatment decisions. The work builds on the use of computational argumentation, a rigorous approach to reasoning with complex data that places strong emphasis on being able to justify and explain the decisions that are recommended. The main contribution of the paper is to present a novel set of specialised argumentation schemes that can be used in the context of a clinical decision support (...) system to assist in reasoning about what treatments to offer. These schemes provide a mechanism for capturing clinical reasoning in such a way that it can be handled by the formal reasoning mechanisms of formal argumentation. The paper describes how the integration between argumentation schemes and formal argumentation may be carried out, sketches how this is achieved by an implementation that we have created and illustrates the overall process on a small set of case studies. (shrink)

Biological evolution provides a creative fount of complex and subtle adaptations, often surprising the scientists who discover them. However, because evolution is an algorithmic process that transcends the substrate in which it occurs, evolution’s creativity is not limited to nature. Indeed, many researchers in the field of digital evolution have observed their evolving algorithms and organisms subverting their intentions, exposing unrecognized bugs in their code, producing unexpected adaptations, or exhibiting outcomes uncannily convergent with ones in nature. Such stories routinely reveal (...) creativity by evolution in these digital worlds, but they rarely fit into the standard scientific narrative. Instead they are often treated as mere obstacles to be overcome, rather than results that warrant study in their own right. The stories themselves are traded among researchers through oral tradition, but that mode of information transmission is inefficient and prone to error and outright loss. Moreover, the fact that these stories tend to be shared only among practitioners means that many natural scientists do not realize how interesting and lifelike digital organisms are and how natural their evolution can be. To our knowledge, no collection of such anecdotes has been published before. This paper is the crowd-sourced product of researchers in the fields of artificial life and evolutionary computation who have provided first-hand accounts of such cases. It thus serves as a written, fact-checked collection of scientifically important and even entertaining stories. In doing so we also present here substantial evidence that the existence and importance of evolutionary surprises extends beyond the natural world, and may indeed be a universal property of all complex evolving systems. (shrink)

The debate on structuralism in the philosophy of mathematics has brought into focus a question about the status of meta-mathematics. It has been raised by Shapiro (2005), where he compares the ongoing discussion on structuralism in category theory to the Frege-Hilbert controversy on axiomatic systems. Shapiro outlines an answer according to which meta-mathematics is understood in structural terms and one according to which it is not. He finds both options viable and does not seem to prefer one over the other. (...) The present paper reconsiders the nature of the formulae and symbols meta-mathematics is about and finds that, contrary to Charles Parsons' influential view, meta-mathematical objects are not "quasi-concrete". It is argued that, consequently, structuralists should extend their account of mathematics to meta-mathematics. (shrink)

Neil Tennant and Joseph Salerno have recently attempted to rigorously formalize Michael Dummett's argument for logical revision. Surprisingly, both conclude that Dummett commits elementary logical errors, and hence fails to offer an argument that is even prima facie valid. After explicating the arguments Salerno and Tennant attribute to Dummett, I show how broader attention to Dummett's writings on the theory of meaning allows one to discern, and formalize, a valid argument for logical revision. Then, after correctly providing a rigorous statement (...) of the argument, I am able to delineate four possible anti-Dummettian responses. Following recent work by Stewart Shapiro and Crispin Wright, I conclude that progress in the anti-realist's dialectic requires greater clarity about the key modal notions used in Dummett's proof. (shrink)

The transcendental aesthetic -- Arithmetic and the categories -- Remarks on pure natural science -- Two studies in the reception of Kant's philosophy of arithmetic: postscript to part I -- Some remarks on Frege's conception of extension -- Postscript to essay 5 -- Frege's correspondence: postscript to essay 6 -- Brentano on judgment and truth -- Husserl and the linguistic turn.

I discuss a problem for modal realism raised by John Divers and others. I argue that the problem is real enough but that Divers’ “advanced modalising” solution is inadquate. The problem can only be solved by 1) holding that modal realism is only contingently true, 2) embracing a kind of Meinongianism about ontological commitment, or 3) abandoning the project of “analysing modality”.

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next twenty (...) or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

I show that frequentism, as an explanation of probability in classical statistical mechanics, can be extended in a natural way to a decoherent quantum history space, the analogue of a classical phase space. The result is a form of finite frequentism, in which Gibbs’ concept of an infinite ensemble of gases is replaced by the quantum state expressed as a superposition of a finite number of decohering microstates. It is a form of finite and actual frequentism (as opposed to hypothetical (...) frequentism) insofar as all the microstates exist, in keeping with the decoherence-based Everett interpretation, and some versions of pilot-wave theory. (shrink)

The nature of psychoanalysis seems contradictory - deeply personal, subjective and intuitive, yet requiring systematic theory and principles of technique. The objective quality of psychoanalytic knowledge is paradoxically dependent on the personal engagement of the knower with what is known. In The Dove that Returns, The Dove that Vanishes , Michael Parsons explores the tension of this paradox. As they respond to it, and struggle to sustain it creatively, analysts discover their individual identities. The work of outstanding clinicians such (...) as Marion Milner and John Klauber is examined in detail. The reader also encounters oriental martial arts, Greek Tragedy, the landscape painting of John Constable, a Winnicottian theory of creativity and a discussion of the significance of play in psychoanalysis. From such varied topics evolves a deepening apprehension of the nature of the clinical experience. Illustrated throughout with clinical examples, The Dove that Returns, The Dove that Vanishes will prove valuable to those in the field of psychoanalysis, and to those in the arts and humanities who are interested in contemporary psychoanalytic thinking. (shrink)

This paper explores the tensions that arise when one considers the relevance of institutionalized philosophy to social, political, and environmental change. It considers the time it takes to think deeply, critically, creatively, against the urgent need for protest in the streets, for persuasion of our political representatives, for profound alterations to what we consume. Since philosophy in the academy can reek of disproportionate privilege and self-protection and norms that govern institutionalized philosophy often drive away some of the most curious minds (...) and diverse perspectives, this paper considers: if our philosophical work does not help in substantial ways to address social, political, and environmental crises, can we, in good conscience, continue it? To think through this question, this paper will share a video-based assignment on “activism” that helps me, and hopefully students in my classes, navigate, but not resolve, this tension. (shrink)

Here at last is a coherent, unintimidating introduction to the challenging and fascinating landscape of Western philosophy. Written expressly for "anyone who believes there are big questions out there, but does not know how to approach them," Think provides a sound framework for exploring the most basic themes of philosophy, and for understanding how major philosophers have tackled the questions that have pressed themselves most forcefully on human consciousness. Simon Blackburn, author of the best-selling Oxford Dictionary of Philosophy, begins (...) by making a convincing case for the relevance of philosophy and goes on to give the reader a sense of how the great historical figures such as Plato, Hume, Kant, Descartes, and others have approached its central themes. In a lively and accessible style, Blackburn approaches the nature of human reflection and how we think, or can think, about knowledge, fate, ethics, identity, God, reason, and truth. Each chapter explains a major issue, and gives the reader a self-contained guide through the problems that the philosophers have studied. Because the text approaches these issues from the gound up, the untrained reader will emerge from its pages able to explore other philosophies with greater pleasure and understanding and be able to think--philosophically--for him or herself. Philosophy is often dismissed as a purely academic discipline with no relation to the "real" world non-philosophers are compelled to inhabit. Think dispels this myth and offers a springboard for all those who want to learn how the basic techniques of thinking shape virtually every aspect of our existence. (shrink)

This study examines the history of the psychoanalytic theory of mysticism, starting with the seminal correspondence between Freud and Romain Rolland concerning the concept of "oceanic feeling." Providing a corrective to current views which frame psychoanalysis as pathologizing mysticism, Parsons reveals the existence of three models entertained by Freud and Rolland: the classical reductive, ego-adaptive, and transformational. Then, reconstructing Rolland's personal mysticism through texts and letters unavailable to Freud, Parsons argues that Freud misinterpreted the oceanic feeling. In offering (...) a fresh interpretation of Rolland's mysticism, Parsons constructs a new dialogical approach for psychoanalytic theory of mysticism which integrates culture studies, developmental perspectives, and the deep epistemological and transcendent claims of the mystics. (shrink)

Politics pervades every aspect of our lives as human beings. As Aristotle said, we are "political animals.

On ethics and gender -- Feminism as an ethics of gender -- Is ethics a man's subject? -- The matter of bodies -- The subject of language -- The power of agency -- Engendering ethics -- Conceiving of difference -- Subjected in hope -- For love of God.

In this paper some of the history of the development of arithmetic in set theory is traced, particularly with reference to the problem of avoiding the assumption of an infinite set. Although the standard method of singling out a sequence of sets to be the natural numbers goes back to Zermelo, its development was more tortuous than is generally believed. We consider the development in the light of three desiderata for a solution and argue that they can probably not all (...) be satisfied simultaneously. (shrink)

Dan Marshall and Josh Parsons note, correctly. that the property of being either a cube or accompanied by a cube is incorrectly classified as intrinsic under the definition we have given unless it turns out to be disjunctive. Whether it is disjunctive, under the definition we gave, turns on certain judgements of the relative naturalness of properties. They doubt the judgements of relative naturalness that would classify their property as disjunctive. We disagree. They also suggest that the whole idea (...) of judging relative naturalness is a dubious business. We reply that, like them or not, such judgements cannot easily be avoided. (shrink)

Gravity and Grace was the first ever publication by the remarkable thinker and activist, Simone Weil. In it Gustave Thibon, the priest to whom she had entrusted her notebooks before her untimely death, compiled in one remarkable volume a compendium of her writings that have become a source of spiritual guidance and wisdom for countless individuals.

This is a book about the religious life of the Greeks from the eighth century BC to the fifth century AD, looked at in the context of a variety of different cities and periods. Simon Price does not describe some abstract and self-contained system of religion or myths but examines local practices and ideas in the light of general Greek ideas, relating them for example, to gender roles and to cultural and political life (including Attic tragedy and the trial (...) of Socrates). He also lays emphasis on the reactions to Greek religions of ancient thinkers - Greek, Roman, Jewish and Christian. The evidence drawn on is of all kinds: literary texts, which are translated throughout; inscriptions, including an appendix of newly translated Greek inscriptions; and archaeology, which is highlighted in the numerous illustrations. (shrink)

In this clear introduction to ethics Simon Blackburn tackles the major moral questions surrounding birth, death, happiness, desire and freedom, showing us how ...

The Protestant ethic — a moral code stressing hard work, rigorous self-discipline, and the organization of one's life in the service of God — was made famous by sociologist and political economist Max Weber. In this brilliant study (his best-known and most controversial), he opposes the Marxist concept of dialectical materialism and its view that change takes place through "the struggle of opposites." Instead, he relates the rise of a capitalist economy to the Puritan determination to work out anxiety over (...) salvation or damnation by performing good deeds — an effort that ultimately discouraged belief in predestination and encouraged capitalism. Weber's classic study has long been required reading in college and advanced high school social studies classrooms. (shrink)

Ntroduction : Christianity, Christ, and Machiavelli's The prince -- Christianity's siren song -- Christ's defective political foundations -- Hope is not enough -- The prince of war -- Machiavelli's unchristian virtue -- Christ's ruinous political legacy -- The harrowing redemption of Italy -- Conclusion : Machiavelli's gospel.

Revelatory insights into the early life and thought of the preeminent French feminist philosopher Dating from her years as a philosophy student at the Sorbonne, this is the 1926-27 diary of the teenager who would become the famous French philosopher, author, and feminist, Simone de Beauvoir. Written years before her first meeting with Jean-Paul Sartre, these diaries reveal previously unknown details about her life and offer critical insights into her early philosophy and literary works. Presented here for the first time (...) in translation and fully annotated, the diary is completed by essays from Barbara Klaw and Margaret A. Simons that address its philosophical, historical and literary significance. The volume represents an invaluable resource for tracing the development of Beauvoir's independent thinking and influence on the world. (shrink)

Nietzsche famously attacked traditional morality, and propounded a controversial ethics of 'life-enhancement'. Simon May presents a radically new view of Nietzsche's thought, which is shown to be both revolutionary and conservative, and to have much to offer us today after the demise of old values and the 'death of God'.

Provides a comprehensive introduction to the major philosophical theories attempting to explain the workings of language.