Explicatures are not cancellable. Theoretical considerations.

This article proposes a cost-benefit analysis of argumentation, with the aim of highlighting the strategic considerations that govern the agent's decision to argue or not. In spite of its paramount importance, the topic of argumentative decision-making has not received substantial attention in argumentation theories so far. We offer an explanation for this lack of consideration and propose a tripartite taxonomy and detailed description of the strategic reasons considered by arguers in their decision-making: benefits, costs, and dangers. We insist that the (...) implications of acknowledging the strategic dimension of arguing are far-reaching, including promising insights on how to develop better argumentation technologies. (shrink)

Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.

A persuasion dialogue is a dialogue in which a conflict between agents with respect to their points of view arises at the beginning of the talk and the agents have the shared, global goal of resolving the conflict and at least one agent has the persuasive aim to convince the other party to accept an opposing point of view. I argue that the persuasive force of argument may have not only extreme values but also intermediate strength. That is, I wish (...) to introduce two additional types of the effects of persuasion in addition to successful and unsuccessful ones (cf. Van Eemeren and Houtlosser in Argumentation 14(3):293–305, 2000; Advances in pragma-dialectics. Sic Sat, Amsterdam, 2002; Walton in A pragmatic theory of fallacy. University of Alabama Press, Tuscaloosa, 1995; Walton and Krabbe in Commitment in dialogue: basic concepts of interpersonal reasoning. State University of New York Press, Albany, New York, 1995). I propose a model which provides for modified versions of the standpoint of an agent needed in order to bring about two possible outcomes of a persuasion dialogue. These two outcomes I label partially-successful and over-successful. I call the potential, not yet verbalised, standpoint of an agent here the original topic t. Based on some aspects of relevance theory (Sperber and Wilson in Relevance: communication and cognition. Blackwell, Oxford, 1986; Wilson and Sperber in The handbook of pragmatics. Blackwell Publishing, Malden, 2006), I explain that the modified version of the original topic t is an implicature created from the original topic t and from a specific mental topic which belongs to, what I call the beneficial cognitive model (hence BCM). I define BCMi,t as a set of topics which are within the area of agent i’s interest of persuasion with respect to t. (shrink)

This paper presents a systematic analysis of the various steps of goal-processing and intention creation, as the final outcome of goal-driven action generation. Intention theory has to be founded on goal theory: intentions require means-end reasoning and planning, conflict resolution, coherence. The process of intention formation and intentional action execution is strictly based on specific sets of beliefs (predictions, evaluations, calculation of costs, responsibility beliefs, competence, etc.). The origin of an intention is not necessarily a “desire” (which is just a (...) kind of goal). Intention is a two-layered goal-structure: the intended action(s) to be executed, and the intended outcome motivating that action—with two distinct kinds of “failure”. This belief-goal perspective also allows to examine two stages/types of intention, and the relations and differences between intention “in agenda” (future directed) and intention under execution (intention in action). I will argue that the will is much more than the intention driving an intentional action. I will also claim that intentions are not there just for motivating and regulating intentional actions (from the motor level to more complex behaviors), but that they play also several other important roles. (shrink)

Mind reading (i.e. the ability to infer the mental state of another agent) is taken to be the main cognitive ability required to share an intention and to collaborate. In this paper, I argue that another cognitive ability is also necessary to collaborate: representing others’ and ones’ own goals from a third-person perspective (other-centred or allocentric representation of goals). I argue that allocentric mind reading enables the cognitive ability of goal adoption, i.e. having the goal that another agent’s achieve p (...) because and as long as another agent has that goal that p. Having clarified the relevance of mutual goal adoption for acting jointly, I argue that when an intention is shared between several agents, each individual has an intention in favour of the joint action and one in favour of a joint mode of reasoning. This mode of reasoning is allocentric reasoning. Finally, I elaborate on the consequences of this view for the scientific study of human collaboration. (shrink)

The aim of this paper is to present a logical framework in which the concepts of trust and reputation can be formally characterized and their properties studied. We start from the definition of trust proposed by Castelfranchi & Falcone . We formalize this definition in a logic of time, action, beliefs and choices. Then, we provide a refinement of C&F’s definition by distinguishing two general types of trust: occurrent trust and dispositional trust. In the second part of the paper we (...) present a definition of reputation that is structurally similar to the definition of trust but moves the basic concept of belief to a collective dimension of group belief. (shrink)

In this paper, we provide a logical formalization of the emotion triggering process and of its relationship with mental attitudes, as described in Ortony, Clore, and Collins’s theory. We argue that modal logics are particularly adapted to represent agents’ mental attitudes and to reason about them, and use a specific modal logic that we call Logic of Emotions in order to provide logical definitions of all but two of their 22 emotions. While these definitions may be subject to debate, we (...) show that they allow to reason about emotions and to draw interesting conclusions from the theory. (shrink)

The aim of this paper is to propose a formal approach to reasoning about desires, understood as logical propositions which we would be pleased to make true, also acknowledging the fact that desire is a matter of degree. It is first shown that, at the static level, desires should satisfy certain principles that differ from those to which beliefs obey. In this sense, from a static perspective, the logic of desires is different from the logic of beliefs. While the accumulation (...) of beliefs tend to reduce the remaining possible worlds they point at, the accumulation of desires tends to increase the set of states of affairs tentatively considered as satisfactory. Indeed beliefs are expected to be closed under conjunctions, while, in the positive view of desires developed here, one can argue that endorsing \ as a desire means to desire \ and to desire \. However, desiring \ and \ at the same time is not usually regarded as rational, since it does not make much sense to desire one thing and its contrary at the same time. Thus when a new desire is added to the set of desires of an agent, a revision process may be necessary. Just as belief revision relies on an epistemic entrenchment relation, desire revision is based on a hedonic entrenchment relation satisfying other properties, due to the different natures of belief and desire. While epistemic entrenchment relations are known to be qualitative necessity relations, hedonic relations obeying a set of reasonable postulates correspond to another set-function in possibility theory, called guaranteed possibility, that drive well-behaved desire revision operations. Then the general framework of possibilistic logic provides a syntactic setting for encoding desire change. The paper also insists that desires should be carefully distinguished from goals. (shrink)

This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)

Susan Hurley's shared circuits model (SCM) rightly begins in action and progresses through a series of layers; but it fails to reach action understanding because it relies on mirroring as a driving force, draws on heavily criticized theories, and neglects the need for shared experience in our grasp of social understanding.

The typical function of goals is to regulate action in a way that furthers goal achievement. Goals are typically set on the assumption that they will help bring the agent closer to the desired state of affairs. However, sometimes endorsement of a goal, or the processes by which the goal is set, can obstruct its achievement. When this happens, the goal is self-defeating. Self-defeating goals are common in both private and social decision-making but have not received much attention by decision (...) theorists. In this paper, we investigate different variants of three major types of self-defeating mechanisms: The goal can be an obstacle to its own fulfilment, goal-setting activities can impede goal achievement, and disclosure of the goal can interfere with its attainment. Different strategies against self-defeasance are tentatively explored, and their efficiency against different types of self-defeasance is investigated. (shrink)

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, (...) and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations. (shrink)

This paper outlines an integrated approach to trust and relevance with respect to arguments: in particular, it is suggested that trust in relevance has a central role in argumentation. We first distinguish two types of argumentative relevance: internal relevance, i.e. the extent to which a premise has a bearing on its purported conclusion, and external relevance, i.e. a measure of how much a whole argument is pertinent to the matter under discussion, in the broader dialogical context where it is proposed. (...) Then, we argue that judgements of internal relevance heavily rely on trust, and that such trust, although occasionally misplaced , is nonetheless based on several reasons, and thus often justified, by either epistemic or pragmatic considerations. We conclude by sketching potential methods to formally model trust in argumentative relevance, and briefly discussing the technological implications of this line of research. (shrink)

In this thesis, the framework within which long-term goals are set and subsequently achieved or approached is analyzed. Sustainable development and climate change are areas in which goals have tobe set despite uncertainties. The analysis is divided into the normative motivations for setting such goals, what forms of goals could be set given the empirical and normative uncertainties, and how tomanage doubts regarding achievability or values after a goal has been set. Paper I discusses a set of questions that moral (...) theories intended to guide goal-setting should respond to. It is often claimed that existent normative theories provide only modest guidance regarding climate change, and consequently have to be revised or supplemented. Two such suggested revisions or supplements are analyzed in order to determine whether they provide such guidance. Paper II applies the deep ecological framework to survey the extent to which it can be utilized to discuss issues concerning the management of climate change. It is suggested that the deep ecological framework can provide guidance by establishing a normative framework and an analysis of how the overarching values and principles can be specified to be relevant for actions. Paper III is focused on normative political theory, and explicates the two dimensions of empirical and normative uncertainty. By applying recent discussions in normative political theory on ideal/non-ideal theory, political realism, and the relation between normative demands and empirical constraints,strategies for managing the proposed goals are suggested. Paper IV suggests a form of goal that incorporates uncertainties. Cautious utopias allow greater uncertainty than realistic goals,but not to the same extent as utopian goals. Such goals have a performance-enhancing function. A definition and quality criteria for such goals are proposed. Paper V considers whether a goal that is becoming all the more unlikely to be achievable should be reconsidered. The paper focuses on the two degrees Celsius target, and asks whether it could still be a sensible goal to aspire to. By applying the principle that ‘ought’ implies ‘can’, the role of such obligations is investigated. Paper VI surveys how to treat circumstances in which an already set goal should be reconsidered and possibly revised, and what would evoke doubt in the belief upon which those goals have been set.Two situations are analyzed: a problematic or surprising event occurs, upsetting confidence in one’s relevant beliefs, or respectable but dissenting views are voiced concerning one’s means and/or values. It is suggested that the validity of doubt has to be considered, in addition to the level in a goal-means hierarchy towards which doubt is raised. (shrink)

Important decisions are often based on a distributed process of information processing, from a knowledge base that is itself distributed among agents. The simplest such situation is that where a decision-maker seeks the recommendations of experts. Because experts may have vested interests in the consequences of their recommendations, decision-makers usually seek the advice of experts they trust. Trust, however, is a commodity that is usually built through repeated face time and social interaction and thus cannot easily be built in a (...) global world where we have immediate internet access to a vast pool of experts. In this article, we integrate findings from experimental psychology and formal tools from Artificial Intelligence to offer a preliminary roadmap for solving the problem of trust in this computer-mediated environment. We conclude the article by considering a diverse array of extended applications of such a solution. (shrink)

True to its sensorimotor inspiration, Hurley's shared circuits model (SCM) describes goal-states only within a homeostatic mechanism for action control, neglecting to consider other functions of goals control freaks.”.

We introduce a conceptual model for reaching group decisions. Our model extends a well-known, single-agent cognitive model, the recognition-primed decision (RPD) model. The RPD model includes a recognition phase and an evaluation phase. Group extensions of the RPD model, applicable to a group of RPD agents, have been considered in the literature, however the proposed models do not formalize how distributed and possibly inconsistent information can be combined in either phase. We show how such information can be utilized by aggregating (...) it using a specific social choice method, namely judgment aggregation. Our model is applicable to hierarchical groups of agents containing at least one RPD agent. (shrink)

Complex systems are to be seen as typically having multiple levels of organization. For instance, in the behavioural and cognitive sciences, there has been a long lasting trend, promoted by the seminal work of David Marr, putting focus on three distinct levels of analysis: the computational level, accounting for the What and Why issues, the algorithmic and the implementational levels specifying the How problem. However, the tremendous developments in neuroscience knowledge about processes at different scales of organization together with the (...) complexity of today cognitive theories suggest that there will hardly be only three levels of explanation. Instead, there will be many different degrees of commitments corresponding to the different granularities—from high-level (behavioural) models to low-level (neural and molecular) models of the cognitive research program. For instance, Bayesian approaches, that are usually advocated for formalizing Marr’s computational level and rational behaviour, have even been adopted to model synaptic plasticity and axon guidance by molecular gradients. As a result, we can consider the behavioural scientist as dealing with models at a multiplicity of levels. The purpose of this Research Topic in Frontiers in Theoretical and Philosophical Psychology is to promote an approach to the role of the levels and explanation and models which is of interest for cognitive scientists, neuroscientists, psychologists, behavioural scientists, and philosophers of science. (shrink)