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.

In this paper11This is a version of a paper originally presented at ArgMAS 2014. we address some limitations with proposals concerning an argumentation scheme for practical reasoning grounded on ac...

Models of deliberative dialogue are fundamental for developing autonomous systems that support human practical reasoning. The question discussed in this paper is whether existing models are able to...

Firewalls are an important tool in the assurance of network security. Packet filtering firewalls are configured by providing a set of rules that identify how to handle individual data packets that...

In multi-agent systems (MAS), abstract argumentation and argumentation schemes are increasingly important. To be useful for MAS, argumentation schemes require a computational approach so that agent...

The importance of negotiation has increased in the last years as a relevant interaction to solve conflicts in multi-agent systems. Although there are many different scenarios, a typical negotiating...

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

This paper outlines the concept of values-based food systems building on the related idea of values-based food chains (VBFCs), terms which are definitionally diffuse but which cohere around a common commitment to environmental sustainability and social justice. The paper examines the development of four multi-stakeholder local food partnerships in Birmingham, Bristol, Rotherham and Sheffield—and the national Sustainable Food Places network to which they are affiliated. Based on our collaborative research with these organizations and a review of their public statements, the (...) paper identifies the values that guide their work. The paper then draws on the evidence of a series of workshops which revealed some of the challenges the partnerships face as they seek to put their values into practice, focusing on governance issues (and related funding challenges) and the implementation of equity, diversity and inclusion policies. Our findings show that the partnerships’ work is consistent with the concept of values-based food systems though they do not use the term themselves. Our research also shows the range of work being undertaken by these local food partnerships with much in common but also some significant divergence in their activities. The paper concludes with some reflections about scale and the differences between our English case studies and earlier work on VBFCs in the US. (shrink)

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)

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 et al., 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 et al., 2017 ) was administered to 950 Italian-speaking sport participants (659 females, 284 males, 7 unspecified; age range = 16–63 year, 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)

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)

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)

Philosophical Investigations, EarlyView.

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)

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.

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)

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)

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)

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)

El concepto moderno de solidaridad destaca por su carácter dinámico que se asienta sobre una tensión dialéctica entre la individualización de una sociedad pluralista por un lado y la funcionalidad integradora de una comunidad delimitada por otro. Pero la inmersión de los sujetos en instituciones que remedian los intereses individuales a través de una “confiabilidad abstracta” nos exige revisar la relación entre Estado moderno e identidad nacional desde una perspectiva crítica inspirada en la teoría de Nicos Poulantzas. Esto nos lleva (...) a un nuevo concepto de solidaridad que sustituye la homogeneización nacional por otra forma de igualdad razonada sobre individuos autónomos e independientes. Un modelo de solidaridad así reconstruido resuelve las deficiencias de la teoría sociológica acerca del fundamento normativo del Estado de bienestar. (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)

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 paper aims at reconstructing the influence of Simonides on a contiguous series of Horatian poems . The starting point is provided by the discovery of new Simonidean fragments published by Peter Parsons and by Martin West in 1992. But the research casts a wider net, including the influence of Theocritus on Horace-and of Simonides on Theoocritus-and the simultaneous and competing presence of Pindar and Simonides in late Horatian lyric. The influence of Simonides is seen in specific textual (...) pointers-e.g., a simile on the death of Achilles in 4.6, the idea of caducity in 4.7-as well as in the composite role-model of Simonides, the immortalizing poet, the flexible praise-singer. Some wider questions are put in perspective: As for Horace's approach to the poetic tradition, the Roman poet is able to glance across whole genealogies of models, without necessarily making a choice, but making the invocation of several predecessors, already linked in a tradition, relevant to his new text. "Odes" 4.7, for instance, features a dialogue of Horace, Homer, Mimnermus and Simonides. The oscillation in modern criticism between an "Alexandrian" and a "classicizing" Horace could be better explained by constructing a complex model of intertextuality: "Pindar" plus "the Pindar in Callimachus"; "Simonides" plus "the Simonides in Theocritus." The dominating influence of Pindar in Book IV could be a part of a richer picture of influence, now difficult to reconstruct since all we have is the four Pindaric books of epinicia, not necessarily the only widely read choral lyric in antiquity. The reuse of early-classical praise poetry includes references to social constructs and cultural models of patronage, gift exchange, and poetic addressee: they are important in Augustan lyric precisely because they are felt as distant and impossible to recreate, and become a part of Horace's deft and often ironical negotiations with the problem of being a lyric poet in Augustan Rome. (shrink)

The codification of language has both its advantages and disadvantages, both its prospects and its limitations. It is possible to determine this not from linguistic, but from meta-scientific, namely philosophical positions. At the heart of the codification procedure is the creation of specialized dictionaries based on a particular national language. The language of science is also always built on the basis of a certain national language — even if this language later serves as the language of international scientific communication (for (...) example, English). At the same time, codification of the language of science should reproduce the most significant resources of natural language as a symbolic system, as well as develop the institutional potential of science based on the capabilities of language as an institution. The codification of language of science should perform three main functions: descriptive-classification, system-legitimation and projective-predictive. The language of science is the embodiment of the symbolic universe studied by social phe- nomenologists Peter Berger and Thomas Luckmann, and at the same time must correspond to the four main functions of the system of action, which were distinguished by Talcott Parsons. Codification is a relentless process that reflects and stimulates the development of language as a symbolic system, the meaning of which is set by specific language practices. The language of science is a set of all language practices of scientists in various fields, these practices must be harmonized through the codification of the language of science, while they constantly stimulate the renewal of codification of the language of science. It should be done through the creation of new practices and new scientific objects — and through the extrapolation of the application of existing terminology to new scientific fields as well. (shrink)