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.

We presume a background theory which allows for indeterminacy of states of affairs involving objects, extending even to indeterminacy of identity between objects. A sentence reporting such an indeterminate state of affairs lacks truth-value. We extend this to a theory of sets, similar to ZFU, in which membership in, and identity between, sets may also be indeterminate.

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.

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)

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.

Mood profiling has a long history in the field of sport and exercise. Several novel mood profile clusters were identified and described in the literature recently (Parsons-Smith, Terry, & Machin, 2017). In the present study, we investigated whether the same clusters were evident in an Italian language, sport and exercise context. The Italian Mood Scale (ITAMS; Quartiroli, Terry, & Fogarty, 2017) was administered to 950 Italian-speaking sport participants (659 females, 284 males, 7 unspecified; age range = 16–63 yr., M (...) = 25.03, SD = 7.62) and seeded k-means clustering methodology applied to the responses. Six distinct mood profiles were identified, termed the iceberg, inverse iceberg, inverse Everest, shark fin, surface, and submerged profiles, which closely resembled those reported among English-speaking participants (Parsons-Smith et al., 2017). Significant differences were found in the distribution of specific mood profiles across gender and age groups. Findings supported the cross-cultural generalizability of the six mood profiles and offer new research avenues into their antecedents, correlates and behavioral consequences in Italian-language contexts. (shrink)

Terence Parsons, Peter Woodruff; X*—Worldly Indeterminacy of Identity, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June 1995, Pages 171–192.

Terence Parsons, Peter Woodruff; X*—Worldly Indeterminacy of Identity, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June 1995, Pages 171–192.

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)

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)

Peter Geach describes the 'doctrine of distribution' as the view that a term is distributed if it refers to everything that it denotes, and undistributed if it refers to only some of the things that it denotes. He argues that the notion, so explained, is incoherent. He claims that the doctrine of distribution originates from a degenerate use of the notion of ?distributive supposition? in medieval supposition theory sometime in the 16th century. This paper proposes instead that the doctrine (...) of distribution occurs at least as early as the 12th century, and that it originates from a study of Aristotle's notion of a term's being ?taken universally?, and not from the much later theory of distributive supposition. A detailed version of the doctrine found in the Port Royal Logic is articulated, and compared with a slightly different modern version. Finally, Geach's arguments for the incoherence of the doctrine are discussed and rejected. (shrink)

In the climax to The Protestant Ethic, Max Weber writes of the stahlhartes Gehäuse that modern capitalism has created, a concept that Talcott Parsons famously rendered as the "iron cage." This article examines the status of Parsons's canonical translation; the putative sources of its imagery ; and the more complex idea that Weber himself sought to evoke with the "shell as hard as steel": a reconstitution of the human subject under bureaucratic capitalism in which "steel" becomes emblematic of (...) modernity. Steel, unlike the "element" iron, is a product of human fabrication. It is both hard and potentially flexible. Further, whereas a cage confines human agents, but leaves their powers otherwise intact, a "shell" suggests that modern capitalism has created a new kind of being. After examining objections to this interpretation, I argue that whatever the problems with Parsons's "iron cage" as a rendition of Weber's own metaphor, it has become a "traveling idea," a fertile coinage, in its own right, an intriguing example of how the translator's imagination can impose itself influentially on the text and its readers. (shrink)

For nearly four centuries Peter of Spain's influential Summaries of Logic was the basis for teaching logic; few university texts were read by more people. This new translation presents the Latin and English on facing pages, and comes with an extensive introduction, chapter-by-chapter analysis, notes, and a full bibliography.

Philosophical Investigations, EarlyView.

This paper began life as a short section of a more general paper about non-classical mereologies. In that paper I had a mereological theory that I wanted to show could be applied to all sorts of different metaphysical positions — notably, to those positions that believe in mereological vagueness in re — in “vague individuals”. To do that I felt I first had to dispatch the leading rival theory of vague individuals, which is due to Peter van Inwa-gen, and (...) holds that the part-whole relation admits of degrees. It seemed to me that this theory had a serious technical problem, or at best a serious gap. I sat down to write a paragraph or two highlighting the gap, preferably showing that it couldn’t be filled. This paper is the result. (shrink)

This paper is about the development of logic in the Aristotelian tradition, from Aristotle to the mid-fourteenth century. I will compare four systems of logic with regard to their expressive power. 1. Aristotle’s own logic, based mostly on chapters 1-2 and 4-7 of his Prior Analytics 2. An expanded version of Aristotle’s logic that one finds, e.g., in Sherwood’s Introduction to Logic and Peter of Spain’s Tractatus 3-5. Versions of the logic of later supposition theorists such as William Ockham, (...) John Buridan, and Paul of Venice. Version 4 is the logic without relatives ; version 5 adds relatives. I am ignoring modals, conditionals that are not ut nunc, infinitizing negation, exclusives and exceptives, all exponibles, all insolubles, and terms with simple or material supposition, ampliation and restriction, and many other things. (shrink)

Welches ist die Bedeutung des Humanismus für die soziologische Erkenntnisbildung? Seit der Entstehung der Soziologie wurde diese Frage immer wieder aufgeworfen – um bald darauf wieder zu verschwinden. Und damit blieb auch der eigentliche Gegenstand dieser Frage bis heute verborgen: die Bestimmung der Kultur der Soziologie. Denn die soziologische Erkenntnisbildung, das Erstehenlassen der Wirklichkeit des menschlichen Zusammenlebens in Begriffen, ist eine „kulturelle Tätigkeit“. Am gegenwärtigen Zustand der Soziologie zeigt sich dieser Mangel besonders deutlich, droht das Streben nach soziologischer Erkenntnis sich (...) doch im Niemandsland zwischen „multiparadigmatischen“ Verlegenheitslösungen, Hyperrealitäten methodischer und statistischer Codes und technokratischem Dienstleistungswissen buchstäblich zu verlieren. – Vor diesem Hintergrund versammelt der Band grundlegende Untersuchungen des Vehältnisses von Humanismus und Soziologie. Dabei kommen so unterschiedliche Strömungen wie die Kritische Theorie, Rational Choice und der Poststrukturalismus, so unterschiedliche Autoren wie Karl Mannheim, Talcott Parsons, Leo Strauss und Alfred Weber zur Sprache. Auf diese Weise ermöglicht der Band einen neuen Blick auf die Soziologie, insbesondere auf deren geisteswissenschaftliche Dimension. (shrink)

Needless to say, Charles Parsons’s long awaited book1 is a must-read for anyone with an interest in the philosophy of mathematics. But as Parsons himself says, this has been a very long time in the writing. Its chapters extensively “draw on”, “incorporate material from”, “overlap considerably with”, or “are expanded versions of” papers published over the last twenty-five or so years. What we are reading is thus a multi-layered text with different passages added at different times. And this (...) makes for a rather bumpy read. There is another route Parsons could have taken: he could have reprinted the relevant papers with postscripts, and then top-and-tailed the collection with a preface and added concluding reflections. It must sound very ungrateful, but I rather suspect that that might have worked better. Much of the book is about arithmetic. But Parsons has woven into the discussion claims about mathematics more generally and about set theory in particular. We might well have a basic worry about this structure: for do defensible claims about the ontology and epistemology of arithmetic have to be generalizable to apply to more infinitary mathematics? For example, suppose you are attracted to a Hellman-like modal structuralist account of arithmetic: then should you think it a problem if you suspect that such an account can’t readily be extended to cope e.g. with set theory (since you boggle at the idea of possible worlds free of abstracta but with enough structure to somehow model ZFC)? Parsons himself seems to waver over such questions. So for present purposes, I’ll focus just on arithmetic, and in what follows I’ll revisit two of the most familiar Parsonian themes, his views on structuralism as an account of the ontology of arithmetic, and his exploration of the role of intuition in grounding arithmetical knowledge. (shrink)

Social theory has a discovered and discoverable past and a complex, contested, dynamic, and anxious present. All of these adjectives save the last one-anxious-are reflected in various ways and with differing emphases throughout this handbook. I will say something about "anxious" below, but before doing so will offer a rationale for producing this multi-authored, two-volume overview reflecting the diversity of theory work in sociology and offering a sense of both where the discipline has come and where it is today. There (...) is no univocal answer to the question, What does social theory mean? Since the institutionalization of sociology in the academy and its development of subfields, theory has found a place in the overall educational structure of the discipline, in a manner akin to the way that methodology has. That is to say, both theory and methodology have been viewed in some fashion as essential to sociological inquiry, and thus relevant to all of the substantive subfields within it. At the same time, it became clear early on that consensus regarding the meaning of theory has proven elusive. As World War II came to an end and the rapid expansion in higher education was about to commence, Robert K. Merton (1945), the protégé of Talcott Parsons, claimed that six types of analysis had come to be described as sociological theory. Over six decades later, Gabriel Abend (2008) identified seven distinct though sometimes overlapping meanings attributed to theory-a figure that Omar Lizardo (2014) thinks is at the lower end of the actual number of different meanings. (shrink)

Needless to say, Charles Parsons’s long awaited book1 is a must-read for anyone with an interest in the philosophy of mathematics. But as Parsons himself says, this has been a very long time in the writing. Its chapters extensively “draw on”, “incorporate material from”, “overlap considerably with”, or “are expanded versions of” papers published over the last twenty-five or so years. What we are reading is thus a multi-layered text with different passages added at different times. And this (...) makes for a rather bumpy read. There is another route Parsons could have taken: he could have reprinted the relevant papers with postscripts, and then top-and-tailed the collection with a preface and added concluding reflections. It must sound very ungrateful, but I rather suspect that that might have worked better. Much of the book is about arithmetic. But Parsons has woven into the discussion claims about mathematics more generally and about set theory in particular. We might well have a basic worry about this structure: for do defensible claims about the ontology and epistemology of arithmetic have to be generalizable to apply to more infinitary mathematics? For example, suppose you are attracted to a Hellman-like modal structuralist account of arithmetic: then should you think it a problem if you suspect that such an account can’t readily be extended to cope e.g. with set theory (since you boggle at the idea of possible worlds free of abstracta but with enough structure to somehow model ZFC)? Parsons himself seems to waver over such questions. So for present purposes, I’ll focus just on arithmetic, and in what follows I’ll revisit two of the most familiar Parsonian themes, his views on structuralism as an account of the ontology of arithmetic, and his exploration of the role of intuition in grounding arithmetical knowledge. (shrink)

Nine of the papers collected here derive directly from a conference organized by Schirn in Munich in 1991. Seven others, three of them reprinted, have been intelligently chosen to complement the original nine. The collection has no overarching theme, nor is it dominated by any particular approach to Frege’s thought. It is “a mixed selection”, and aims to reflect “the prevailing tendency in current Frege scholarship”. The influence of Dreben is less in evidence than one might expect, but otherwise the (...) collection meets that broad brief pretty well. Some of the collection’s best papers—for example, those by Burge, Boolos, Dummett, Heck, and Terence Parsons—are essential reading. Inevitably, not all the others have that standing. But, excepting only an over-long essay by the editor, each deserves its place. (shrink)

The contributions to this volume are from participants of the international conference "Kreisel's Interests - On the Foundations of Logic and Mathematics", which took place from 13 to 14 2018 at the University of Salzburg in Salzburg, Austria. The contributions have been revised and partially extended. Among the contributors are Akihiro Kanamori, Göran Sundholm, Ulrich Kohlenbach, Charles Parsons, Daniel Isaacson, and Kenneth Derus. The contributions cover the discussions between Kreisel and Wittgenstein on philosophy of mathematics, Kreisel's Dictum, proof theory, (...) the discussions between Kreisel and Gödel on philosophy of mathematics, some bibliographical facts, and a collection of extracts from Kreisel's letters. (shrink)

As I write this, in November 1971, people are dying in East Bengal from lack of food, shelter, and medical caxc. The suffering and death that are occurring there now axe not inevitable, 1101; unavoidable in any fatalistic sense of the term. Constant poverty, a cyclone, and a civil war have turned at least nine million people into destitute refugees; nevertheless, it is not beyond Lhe capacity of the richer nations to give enough assistance to reduce any further suffering to (...) very small proportions. The decisions arid actions of human beings can prevent this kind of suffering. Unfortunately, human beings have not made the necessary decisions. At the individual level, people have, with very few exceptions, not responded to the situation in any signihczmt way. Generally speaking, people have not given large sums to relief funds; they have not written t0 their parliamentaxy representatives demanding increased government assistance; they have not demonstrated in the streets, held symbolic fasts, or done anything else directed toward providing thc refugees with the means to satisfy their essential needs. At thc government level, no govcrmmcnt has given the sort of massive aid that would enable the refugees to survive fm: more than a few days. Britain, for instance, has given rather more than most countries. It has, to date, given £14,750,000. For comparative purposes, B1~itain’s share of thc nonreccverabla development costs of the Anglo-French Concorde project is already in excess of £275,000,000, and on present estimates will reach £440,000,¤00. The implication is that the British government values a supersonic transport more than thirty times as.. (shrink)

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)

Introduction These essays have been written over a period of about ten years and have already been published separately in various places. ...

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)

For thirty years, Peter Singer's Practical Ethics has been the classic introduction to applied ethics. For this third edition, the author has revised and updated all the chapters and added a new chapter addressing climate change, one of the most important ethical challenges of our generation. Some of the questions discussed in this book concern our daily lives. Is it ethical to buy luxuries when others do not have enough to eat? Should we buy meat from intensively reared animals? (...) Am I doing something wrong if my carbon footprint is above the global average? Other questions confront us as concerned citizens: equality and discrimination on the grounds of race or sex; abortion, the use of embryos for research and euthanasia; political violence and terrorism; and the preservation of our planet's environment. This book's lucid style and provocative arguments make it an ideal text for university courses and for anyone willing to think about how she or he ought to live. (shrink)

Since its original publication in 1975, this groundbreaking work has awakened millions of people to the existence of "speciesism"—our systematic disregard of nonhuman animals—inspiring a worldwide movement to transform our attitudes to animals and eliminate the cruelty we inflict on them. In Animal Liberation, author Peter Singer exposes the chilling realities of today’s "factory farms" and product-testing procedures—destroying the spurious justifications behind them, and offering alternatives to what has become a profound environmental and social as well as moral issue. (...) An important and persuasive appeal to conscience, fairness, decency, and justice, it is essential reading for the supporter and the skeptic alike. (shrink)