We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles (...) relating the three categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

This special issue of the Logic Journal of the IGPL includes revised and updated versions of the best work presented at the fourth edition of the workshop Formal Ap- proaches to Multi-Agent Systems, FAMAS'09, which took place in Turin, Italy, from 7 to 11 September, 2009, under the umbrella of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW). -/- Just like its predecessor, research reported in this FAMAS 2009 special issue is very much inspired by (...) practical concerns. This time the authors of all the five selected papers are concerned with knowledge and beliefs in multi-agent settings: How to create a group belief in a fair way from individual plausibility orderings? How to close gaps and resolve ambiguities in a tractable way, when information comes from multiple sources? How to reason about a spatial environment? How to compare the strengths of an agent's beliefs in a principled way? How to decide as efficiently as possible whether a given formula concerning group beliefs is valid? These questions and their answers lead to a multi-faceted and at the same time coherent special issue. We concisely introduce the five articles. (shrink)

Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model (...) check- ing, and formal approaches to cooperation, multi-agent planning, communication, coordination, negotiation, games, and reasoning under uncertainty in a distributed environment. In 2007, the third FAMAS workshop, FAMAS'007, was one of the agent workshops gathered together under the umbrella of Multi-Agent Logics, Languages, and Organ- isations - Federated Workshops, MALLOW'007, taking place from 3 to 7 September 2007 in Durham. This current special issue of the Logic Journal of the IGPL gathers together the revised and updated versions of the five best FAMAS'007 contributions. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single- (...) class='Hi'>agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

Causal reasoning and game-theoretic reasoning are fundamental topics in artificial intelligence, among many other disciplines: this paper is concerned with their intersection. Despite their importance, a formal framework that supports both these forms of reasoning has, until now, been lacking. We offer a solution in the form of (structural) causal games, which can be seen as extending Pearl's causal hierarchy to the game-theoretic domain, or as extending Koller and Milch's multi-agent influence diagrams to the causal (...) domain. We then consider three key questions: i) How can the (causal) dependencies in games - either between variables, or between strategies - be modelled in a uniform, principled manner? ii) How may causal queries be computed in causal games, and what assumptions does this require? iii) How do causal games compare to existing formalisms? To address question i), we introduce mechanised games, which encode dependencies between agents' decision rules and the distributions governing the game. In response to question ii), we present definitions of predictions, interventions, and counterfactuals, and discuss the assumptions required for each. Regarding question iii), we describe correspondences between causal games and other formalisms, and explain how causal games can be used to answer queries that other causal or game-theoretic models do not support. Finally, we highlight possible applications of causal games, aided by an extensive open-source Python library. (shrink)

Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique (...) in the context of nested sequents, referred to as "coloring," which consists of taking a formula as input, guessing a certain coloring of its subformulae, and then running proof-search in a nested sequent calculus on the colored input. Our technique lets us decide the validity of standpoint formulae in CoNP since proof-search only produces a partial proof relative to each permitted coloring of the input. We show how all partial proofs can be fused together to construct a complete proof when the input is valid, and how certain partial proofs can be transformed into a counter-model when the input is invalid. These "certificates" (i.e. proofs and counter-models) serve as explanations of the (in)validity of the input. (shrink)

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, (...) while preserving validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

Research in multi-agent systems typically assumes a regulative model of social practice. This model starts with agents who are already capable of acting autonomously to further their individual ends. A social practice, according to this view, is a way of achieving coordination between multiple agents by restricting the set of actions available. For example, in a world containing cars but no driving regulations, agents are free to drive on either side of the road. To prevent collisions, we introduce (...) driving regulations, insisting that everyone drives on the left hand side of the road. We accept this limitation on our freedom because it lowers the probability of a collision. -/- This paper describes AI systems that are based on the constitutive view of social practice. According to this alternative view, there are certain actions that are only available to the agent because he is participating in a practice of a certain sort. For example, you can swing a peculiarly shaped piece of wood without participating in any particular practice - but this action will only constitute a strike if you are participating in a game of baseball. I can raise my hand whenever I like, but this only counts as voting for the motion within the institution of voting. But not all the examples are from frivolous, optional or institutional activities. Sellars and Brandom argue that even the fundamental act of assertion is only possible within the context of a particular social practice: the Game of Giving and Asking for Reasons. -/- The constitutive view, which is familiar to philosophers, is relatively unknown within the AI community. -/- The central aim of this paper is to show how the constitutive view of practice can be put to use in AI applications. (shrink)

The debates on the scientificity of social sciences in general, and sociology in particular, are recurring. From the original methodenstreitat the end the 19th Century to the contemporary controversy on the legitimacy of “regional epistemologies”, a same set of interrogations reappears. Are social sciences really scientific? And if so, are they sciences like other sciences? How should we conceive “research programs” Lakatos (1978) or “research traditions” for Laudan (1977) able to produce advancement of knowledge in the field of social and (...) human phenomena? Is the progress of knowledge in social sciences similar to the one generally observed in natural sciences? Is it possible to evaluate the relative merits of each one of these research programs? -/- These debates are important vectors of social and intellectual polarization. The historical divide between the positivist and the hermeneutics poles precedes the structure of the contemporary debate around the epistemic space of social sciences, It is not only a question of renewing the opposition between a monist view of sciences (e.g. McIntyre, 1996) and a dualistic one (e.g. Geertz, 1973) or even a trialist view of sciences (e.g. Lepenies, 1985). It is also a question of asserting dichotomies transformed into framework (including when it is a question of exceeding them): nature-culture, nomothetic-idiographic, models-narrative, structure-history, cause-reason, explanation-comprehension. -/- In this short introduction, we provide, in section 2, a first overview of this epistemological debate in social science. Section 3 proposes a different standpoint on the same questions, by introducing both ontological and methodological aspects in this basic epistemological debate. Namely, following (Hollis, 1994) oppositions of the explanation - understanding, causes - meaning, etc., types discussed in the firsts ection are comparatively examined together with oppositions of the structure - action, holism - individualism types. This allows us to discus show multi-agent design, by integrating various dimensions and standpoints in the same framework (Phan, Amblard, 2007, Chapters 1, 5, 14) can help us to shift these boundaries, and to bypass these oppositions. As model building and ontology design are at the core of this process (Phan, Amblard, 2007, Chapter 12), Section4 discusses various issues of the art of modelling, starting both from economists’ and sociologists’ current standpoints. (shrink)

Over the past decade or so, a new interdisciplinary field has emerged in the ground between, on the one hand, computer science – and artificial intelligence in particular – and, on the other, the area of philosophy concentrating on the language and structure of argument. There are now hundreds of researchers worldwide who would consider themselves a part of this nascent community. Various terms have been proposed for the area, including "Computational Dialectics," "Argumentation Technology," and "Argument-based Computing," but the term (...) that has stuck is simply Argument & Computation. It encompasses several specific strands of research, such as: . the use of theories of argument, and dialectic in particular, in the design and implementation of protocols for multi-agent action and communication; . the application of theories of argument and rhetoric in natural language processing and affective computing; . the use of argument-based structures for autonomous reasoning in artificial intelligence, and in particular, for defeasible reasoning; . computer-supported collaborative argumentation – the implementation of software tools for enabling online argument in domains such as education and e-government. These strands come together to form the core of a research field that covers parts of artificial intelligence (AI), philosophy, linguistics, and cognitive science, but, increasingly, is building an identity of its own. (shrink)

Multiple Authors - please see paper attached. -/- AI systems have seen dramatic advancement in recent years, bringing many applications that pervade our everyday life. However, we are still mostly seeing instances of narrow AI: many of these recent developments are typically focused on a very limited set of competencies and goals, e.g., image interpretation, natural language processing, classification, prediction, and many others. We argue that a better study of the mechanisms that allow humans to have these capabilities can help (...) us understand how to imbue AI systems with these competencies. We focus especially on D. Kahneman’s theory of thinking fast and slow , and we propose a multi-agent AI architecture (called SOFAI, for SlOw and Fast AI) where incoming problems are solved by either system 1 (or "fast") agents (also called "solvers"), that react by exploiting only past experience, or by system 2 (or "slow") agents, that are deliberately activated when there is the need to reason and search for optimal solutions beyond what is expected from the system 1 agent. (shrink)

A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for (...) all of the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)

The purpose of this study is to compile a selection of the various formalisms found in conversation theory to introduce readers to Pask's discursive algebra. In this way, the text demonstrates how concept sharing and concept formation by means of the interaction of two participants may be formalized. The approach taken in this study is to examine the formal notation system used by Pask and demonstrate how such formalisms may be used to represent concept sharing and concept formation through conversation. (...) The compilation of the discursive algebra using the framework provided by conversation theory could potentially be used as an auxiliary framework to study conversational interactions in multi-agent systems theory. (shrink)

Using a knowledge-based approach, we derive a protocol, MACOM1, for the sequence transmission problem from one agent to a group of agents. The protocol is correct for communication media where deletion and reordering errors may occur. Furthermore, it is shown that after k rounds the agents in the group attain depth k general knowledge about the members of the group and the values of the messages. Then, we adjust this algorithm for multi-agent communication for the process of (...) teamwork. MACOM1 solves the sequence transmission problem from one agent to a group of agents, but does not fully comply with the type of dialogue communication needed for teamwork. The number of messages being communicated per communication between the initiator and the other agents from the group can differ. Furthermore, the teamwork process can require the communication algorithm to handle changes of initiator. We show the adjustments that have to be made to MACOM1 to handle these properties of teamwork. For the new multi-agent communication algorithm, MACOM2, it is shown that the gaining of knowledge required for a successful teamwork process is still guaranteed. (shrink)

In this paper we analyze how the semantics of the Alternating-time Temporal Logic ATL$^*$ deals with agents' commitments to strategies in the process of formula evaluation. In (\acro{atl}$^*$), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal $\phi$ such as: ``agent $i$ can choose a strategy such that, if $i$ follows this strategy then, no matter what other agents do, $\phi$ will always be true''. However, strategies in (...) \acro{atl} are \emph{revocable} in the sense that in the evaluation of the goal $\phi$ the agent $i$ is no longer restricted by the strategy she has chosen in order to reach the state where the goal is evaluated. -/- Here we discuss some alternatives leading to amendments of that semantics. In particular, we consider variants of \acro{atl}$^*$ where strategies, on the contrary, are \emph{irrevocable}. Unlike in the standard semantics of \acro{atl}, memory plays an essential role in the semantics based on irrevocable strategies. -/- Further, we propose and discuss various syntactic and semantics mechanisms for handling commitments to strategies and release from such commitments in the semantics of ATL$^*$, leading to more expressive and semantically refined versions of that logic. (shrink)

Although virtue ethics has repeatedly been proposed as a suitable framework for the development of artificial moral agents, it has been proven difficult to approach from a computational perspective. In this work, we present the first technical implementation of artificial virtuous agents in moral simulations. First, we review previous conceptual and technical work in artificial virtue ethics and describe a functionalistic path to AVAs based on dispositional virtues, bottom-up learning, and top-down eudaimonic reward. We then provide the details of a (...) technical implementation in a moral simulation based on a tragedy of the commons scenario. The experimental results show how the AVAs learn to tackle cooperation problems while exhibiting core features of their theoretical counterpart, including moral character, dispositional virtues, learning from experience, and the pursuit of eudaimonia. Ultimately, we argue that virtue ethics provides a compelling path toward morally excellent machines and that our work provides an important starting point for such endeavors. (shrink)

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the (...) mental states of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (shrink)

Could it be true that even though we as a group ought to do something, you as an individual ought not to do your part? And under what conditions, in particular, could this happen? In this article, I discuss how a certain kind of case, introduced by David Copp, illustrates the possibility that you ought not to do your part even when you would be playing a crucial causal role in the group action. This is because you may have special (...) agent-relative reasons against participating that are not shared by the group as a whole. I defend the claim that these are indeed cases in which you ought not to do your part in what the group ought to do. I then argue that we can expect these cases to produce a troubling kind of rational conflict. (shrink)

According to agent relativism, each person's moral requirements are relative to her desires or interests. That is, whether a person morally ought to ø depends on what interests or desires she has. Some philosophers charge that the main argument for agent relativism trades on an ambiguity in the term "reason," "reason for action,'' or the like. This paper shows that although the argument for agent relativism may indeed harbor an ambiguity, the ambiguity is no Achilles’ heel. To (...) remove it is not to discredit the argument, but to uncover the strongest form of it, the form that makes agent relativism tenacious. (shrink)

In his recent book Slaves of the Passions , Mark Schroeder defends a Humean account of practical reasons ( hypotheticalism ). He argues that it is compatible with 'genuinely agent-neutral reasons'. These are reasons that any agent whatsoever has. According to Schroeder, they may well include moral reasons. Furthermore, he proposes a novel account of a reason's weight, which is supposed to vindicate the claim that agent-neutral reasons ( if they exist), would be weighty irrespective of anyone's (...) desires. If the argument is successful, it could help avoid an error-theory of moral language. I argue that it isn't, and that we should reject a Humean approach to reasons. (shrink)

This paper considers the connection between the three-place relation, R is a reason for X to do A and the two-place relation, R is a reason to do A. I consider three views on which the former is to be analyzed in terms of the latter. I argue that these views are widely held, and explain the role that they play in motivating interesting substantive ethical theories. But I reject them in favor of a more obvious analysis, which goes the (...) other way around. (shrink)

Lockheed Martin Corp. has funded research to generate a framework and methodology for developing semantic reasoning applications to support the discipline oflntelligence Analysis. This chapter outlines that framework, discusses how it may be used to advance the information sharing and integrated analytic needs of the Intelligence Community, and suggests a system I software architecture for such applications.

Together we can achieve things that we could never do on our own. In fact, there are sheer endless opportunities for producing morally desirable outcomes together with others. Unsurprisingly, scholars have been finding the idea of collective moral obligations intriguing. Yet, there is little agreement among scholars on the nature of such obligations and on the extent to which their existence might force us to adjust existing theories of moral obligation. What interests me in this paper is the perspective of (...) the moral deliberating agent who faces a collective action problem, i.e. the type of reasoning she employs when deciding how to act. I hope to show that agents have collective obligations precisely when they are required to employ ‘we-reasoning’, a type of reasoning that differs from I-mode, best response reasoning, as I shall explain below. More precisely, two (or more) individual agents have a collective moral obligation to do x if x is an option for action that is only collectively available (more on that later) and each has sufficient reason to rank x highest out of the options available to them. (shrink)

Reasoning about mental states and processes is important in various subareas of the legal domain. A trial lawyer might need to reason and the beliefs, reasoning and other mental states and processes of members of a jury; a police officer might need to reason about the conjectured beliefs and reasoning of perpetrators; a judge may need to consider a defendant's mental states and processes for the purposes of sentencing and so on. Further, the mental states in question (...) may themselves be about the mental states and processes of other people. Therefore, if AI systems are to assist with reasoning tasks in law, they may need to be able to reason about mental states and processes. Such reasoning is riddled with uncertainty, and this is true in particular in the legal domain. The article discusses how various different types of uncertainty arise, and shows how they greatly complicate the task of reasoning about mental states and processes. The article concentrates on the special case of states of belief and processes of reasoning, and sketches an implemented, prototype computer program (ATT-Meta) that copes with the various types of uncertainty in reasoning about beliefs and reasoning. In particular, the article outlines the system's facilities for handling conflict between different lines of argument, especially when these lie within the reasoning of different people. The system's approach is illustrated by application to a real-life mugging example. [NB: The date on the archived preprint avail via this Phil* page has an incorrect date, 2011, on it. The correct date is 2001.]. (shrink)

The emergence of Large Language Models (LLMs) and advancements in Artificial Intelligence (AI) offer an opportunity for computational social science research at scale. Building upon prior explorations of LLM agent design, our work introduces a simulated agent society where complex social relationships dynamically form and evolve over time. Agents are imbued with psychological drives and placed in a sandbox survival environment. We conduct an evaluation of the agent society through the lens of Thomas Hobbes's seminal Social Contract (...) Theory (SCT). We analyze whether, as the theory postulates, agents seek to escape a brutish "state of nature" by surrendering rights to an absolute sovereign in exchange for order and security. Our experiments unveil an alignment: Initially, agents engage in unrestrained conflict, mirroring Hobbes's depiction of the state of nature. However, as the simulation progresses, social contracts emerge, leading to the authorization of an absolute sovereign and the establishment of a peaceful commonwealth founded on mutual cooperation. This congruence between our LLM agent society's evolutionary trajectory and Hobbes's theoretical account indicates LLMs' capability to model intricate social dynamics and potentially replicate forces that shape human societies. By enabling such insights into group behavior and emergent societal phenomena, LLM-driven multi-agent simulations, while unable to simulate all the nuances of human behavior, may hold potential for advancing our understanding of social structures, group dynamics, and complex human systems. (shrink)

The behaviour of a multi-agent system is driven by messaging. Usually, there is no central dispatcher and each autonomous agent, though resource-bounded, can make less or more rational decisions to meet its own and collective goals. To this end, however, agents must communicate with their fellow agents and account for the signals from their environment. Moreover, in the dynamic, permanently changing world, agents’ behaviour, i.e. their activities, must also be dynamic. By communicating with other fellow agents and (...) with their environment, agents should be able to learn new concepts and enrich their knowledge base. Processes and events that happened in the past may be irrelevant in the present or have a significant impact in the future, and vice versa. Therefore, the fine-grained analysis of agents’ activities as well as events within or beyond the system is very important so that the system can run smoothly without falling into inconsistencies. Moreover, as the system should communicate with its environment, the analysis should be as close to natural language as possible. The goal of this paper is a proposal for such an analysis. To this end, I apply Transparent Intensional Logic (TIL) because TIL is particularly apt for a fine-grained analysis of processes and events specified in the present, past or future tense with reference to the time when they happened, happen or will happen. (shrink)

Agent-regret seems to give rise to a philosophical puzzle. If we grant that we are not morally responsible for consequences outside our control (the ‘Standard View’), then agent-regret—which involves self-reproach and a desire to make amends for consequences outside one’s control—appears rationally indefensible. But despite its apparent indefensibility, agent-regret still seems like a reasonable response to bad moral luck. I argue here that the puzzle can be resolved if we appreciate the role that agent-regret plays in (...) a larger social practice that helps us deal with bad moral luck. That agent-regret is a component in a social practice limits the questions that we can reasonably ask about it. While we can ask whether an experience of agent-regret is rational given the norms of this practice, we cannot ask the question that motivates the puzzle of agent-regret, viz. whether agent-regret is rationally defensible according to the Standard View. (shrink)

Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the (...) weighted mixture's intelligence is the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure. (shrink)

In his recent book, The Dimensions of Consequentialism, Martin Peterson puts forward a new version of consequentialism that he dubs ‘multidimensional consequentialism’. The defining thesis of the new theory is that there are irreducible moral aspects that jointly determine the deontic status of an act. In defending his particular version of multidimensional consequentialism, Peterson advocates the thesis—he calls it DEGREE—that if two or more moral aspects clash, the act under consideration is right to some non-extreme degree. This goes against the (...) orthodoxy according to which—Peterson calls this RESOLUTION—each act is always either entirely right or entirely wrong. The argument against RESOLUTION appeals to the existence of so-called deontic leaps: the idea is that endorsing RESOLUTION would not give each relevant moral aspect its due in the final analysis. Our paper argues that, contrary to Peterson, all moral aspects remain visible in what can properly be called the final analysis of a moral theory that involves RESOLUTION, moral aspects do not have to remain visible in judgements of all-things-considered rightness or wrongness, respectively, introduction of what Peterson calls verdictive reasons does not change the overall picture in favour of DEGREE. We conclude that multi-dimensional consequentialists should accept RESOLUTION rather than DEGREE. (shrink)

of “Reason and the structure of Davidson’s ‘Desire-Belief-Model’ ” by Henk bij de Weg In the present discussion in the analytic theory of action, broadly two models for the explanation or justification of actions can be distinguished: the internalist and the externalist model. Against this background, I discuss Davidson’s version of the internalist Desire-Belief Model . First, I show that what Davidson calls “pro attitude” has two distinct meanings. An implication of this is that Davidson’s DBM actually comprises two different (...) models: the “classical” DBM and a model that has an extra premise, the “nonclassical” model. However, from another point of view one can say that the classical DBM is the nonclassical model in which a premise is missing. In order to determine which viewpoint is correct, I introduce Schütz’s distinction between “because-motives” and “in-order-to-motives”. With the help of this distinction, I can show that the classical DBM is an incomplete version of the nonclassical model. Besides of the premise that refers to the agent’s pro attitude, we need this extra premise in order to refer to the occasion as experienced by the agent that makes him or her act. Only then can we fully explain or justify an action. (shrink)

The prohibition against using others ‘merely as means’ is one of Kant’s most famous ideas, but it has proven difficult to spell out with precision what it requires of us in practice. In ‘How to Use Someone “Merely as a Means”’ (2020), I proposed a new interpretation of the necessary and sufficient conditions for using someone ‘merely as a means’. I argued that my agent-focused actual consent inter- pretation has strong textual support and significant advantages over other readings of (...) the prohibition. In the present essay, I respond to comments by Claudia Blöser, Irina Schumski, and Oliver Sensen. I first address the role of maxims in relation to the Formula of Humanity, and I spell out in more detail the relation between the agent’s belief and the actual facts pertaining to the consent of the person who is used as means to the agent’s end. I then discuss the importance of the requirement that agents make their use of others conditional on the others’ consent as a matter of moral principle. I next show that the proposed reading of the prohibition, despite its focus on the agent’s maxims and practical reasoning, yields important conclusions about the moral status of external actions, and I address several cases that are pur- ported to spell trouble for my reading of Kant’s prohibition. I end by outlining two challenges for possible (rational) consent readings of the prohibition against using others merely as means. (shrink)

This paper presents a series of studies (total N=579) which demonstrate that folk judgments concerning the reasonableness of decisions and actions depend strongly on whether they engender positive or negative consequences. A particular decision is deemed more reasonable in retrospect when it produces beneficial consequences than when it produces harmful consequences, even if the situation in which the decision was taken and the epistemic circumstances of the agent are held fixed across conditions. This finding is worrisome for the law, (...) where the reasonable person standard plays a prominent role. The legal concept of reasonableness is outcome-insensitive: whether the defendant acted in a reasonable fashion or not depends exclusively on her context of action, no matter how things play out. Folk judgments of reasonableness are thus inconsistent with the legal concept of reasonableness. Problematically, in common law jurisdictions, the decision whether a defendant’s behavior was reasonable or not is frequently (though not necessarily) delegated to a lay jury. (shrink)

The paper argues that logical reasoning is what constitutes critical thinking because reasoning is normative, and logic provides a norm for reasoning. If a logical way of thinking is simply the same thing as reasoning, then the only limit or constraint of reasoning is the nature of the (logical) “rule” the kind of which is engaged with the practice of reasoning; rather than with either a component of social context or a com- ponent of (...) a purely non-inferential or “immediate” perception of a situation which is called sensitivity toward an object alone. However, such components are built into my analysis of what “reasoning” is. An approach to critical thinking being employed here is “an agent-based approach”. This paper also aims to pave the way for a further discussion on the limit of reasoning in a way that is relevant to the question of how critical thinking or reasoning should be taught in higher education. (shrink)

The problem of multi-peer disagreement concerns the reasonable response to a situation in which you believe P1 … Pn and disagree with a group of ‘epistemic peers’ of yours, who believe ∼P1 … ∼Pn, respectively. However, the problem of multi-peer disagreement is a variant on the preface paradox; because of this the problem poses no challenge to the so-called ‘steadfast view’ in the epistemology of disagreement, on which it is sometimes reasonable to believe P in the face of (...) peer disagreement about P. After some terminology is defined (§1), Peter van Inwagen's challenge to the steadfast view will be presented (§2). The preface paradox will then be presented and diagnosed (§3), and it will be argued that van Inwagen's challenge relies on the same principle that generates the preface paradox (§4). The reasonable response to multi-peer disagreement will be discussed (§5), and an objection addressed (§6). (shrink)

Bernard Williams's motivational reasons-internalism fails to capture our first-order reasons judgements, while Derek Parfit's nonnaturalistic reasons-externalism cannot explain the nature or normative authority of reasons. This paper offers an intermediary view, reformulating scepticism about external reasons as the claim not that they don't exist but rather that they don't matter. The end-relational theory of normative reasons is proposed, according to which a reason for an action is a fact that explains why the action would be good relative to some end, (...) where the relevant end for any ascription of reasons is determined by the speaker's conversational context. Because these ends need not be the agent's ends, Williams is wrong to reject the existence of external reasons. But contra Parfit, a reason for action is only important for an agent if it is motivationally internal to that agent. (shrink)

Counterfactual attitudes like imagining, dreaming, and wishing create a problem for the standard formal semantic theory of de re attitude ascriptions. I show how the problem can be avoided if we represent an agent's attitudinal possibilities using "multi-centered worlds", possible worlds with multiple distinguished individuals, each of which represents an individual with whom the agent is acquainted. I then present a compositional semantics for de re ascriptions according to which singular terms are "assignment-sensitive" expressions and attitude verbs (...) are "assignment shifters". (shrink)

The notion of Simulative Reasoning in the study of propositional attitudes within Artificial Intelligence (AI) is strongly related to the Simulation Theory of mental ascription in Philosophy. Roughly speaking, when an AI system engages in Simulative Reasoning about a target agent, it reasons with that agent’s beliefs as temporary hypotheses of its own, thereby coming to conclusions about what the agent might conclude or might have concluded. The contrast is with non-simulative meta-reasoning, where the (...) AI system reasons within a detailed theory about the agent’s (conjectured) reasoning acts. The motive within AI for preferring Simulative Reasoning is that it is more convenient and efficient, because of a simplification of the representations and reasoning processes. The chapter discusses this advantage in detail. It also sketches the use of Simulative Reasoning in an AI natural language processing system, ATT-Meta, that is currently being implemented. This system is directed at the understanding of propositional attitude reports. In ATT-Meta, Simulative Reasoning is yoked to a somewhat independent set of ideas about how attitude reports should be treated. Central here are the claims that (a) speakers often employ commonsense (and largely metaphorical) models of mind in describing agents’ attitudes, (b) the listener accordingly needs often to reason within the terms of such models, rather than on the basis of any objectively justifiable characterization of the mind, and (c) the commonsense models filter the suggestions that Simulative Reasoning comes up with concerning target agents’ reasoning conclusions. There is a yet tighter connection between the commonsense models and the Simulative Reasoning. It turns out that Simulative Reasoning can be rationally reconstructed in terms of a more general type of reasoning about the possibly-counterfactual “world” that the target agent believes in, together with an assumption that that agent has a faithful representation of the world. In the ATT-Meta approach, the reasoner adopts that assumption when it views the target agent through a particular commonsense model (called IDEAS-AS-MODELS). (shrink)

In this paper, I defend a new theory of normative reasons called reasons as good bases, according to which a normative reason to φ is something that is a good basis for φing. The idea is that the grounds on which we do things—bases—can be better or worse as things of their kind, and a normative reason—a good reason—is something that is just a good instance of such a ground. After introducing RGB, I clarify what it is to be a (...) good basis, and argue that RGB has various attractive features: it has intuitive implications, makes good sense of the weights of reasons, and attractively explains the relationship between normative reasons and motivating reasons. I then briefly defend the view from objections and compare it to rivals. Finally, I sketch two possible implications of RGB: some kind of constitutivism, according to which the norms that govern us are explained by the nature of agency, and second, the claim that agents who do things for reasons generally do them for good reasons. (shrink)

This paper is a response to two sets of published criticisms of the 'Reasons as Evidence’ thesis concerning normative reasons, proposed and defended in earlier papers. According to this thesis, a fact is a normative reason for an agent to Φ just in case this fact is evidence that this agent ought to Φ. John Broome and John Brunero have presented a number of challenging criticisms of this thesis which focus, for the most part, on problems that it (...) appears to confront when it comes to the topic of the weighing of reasons. Our paper responds to all of the criticisms that these critics have provided, shedding fresh light on this interesting topic in the process. (shrink)

An idea that has attracted a lot of attention lately is the thought that consequentialism is a theory characterized basically by its agent neutrality.1 The idea, however, has also met with skepticism. In particular, it has been argued that agent neutrality cannot be what separates consequentialism from other types of theories of reasons for action, since there can be agent-neutral non-consequentialist theories as well as agent-relative consequentialist theories. I will argue in this paper that this last (...) claim is false. The paper is divided into four sections. Section one specifies two senses in which consequentialism is agent-neutral. Section two and three examine and reject, respectively, the claim that there are agent-relative consequentialist views as well as agent-neutral non-consequentialist views. I end the paper with some remarks on the plausibility, or better, the implausibility of characterizing consequentialism in terms other than agent neutrality. (shrink)

In general we think of reasoning as a way of moving from some body of evidence to a belief that is drawn as a conclusion from it. But is it possible for reasoning to conclude in action, i.e., in a person’s intentionally doing one thing or another? In PRACTICAL SHAPE Jonathan Dancy answers 'Yes', on the grounds that "when an agent deliberates well and then acts accordingly, the action done is of the sort most favoured by the (...) considerations rehearsed, taken as a whole—just as when an agent reasons well and then believes accordingly, the belief formed ... is of the sort most favoured by the considerations rehearsed, again taken as a whole" (Dancy 2018, p. 29). I critique this supposed parallelism between reasoning to action and reasoning to belief, arguing in two ways that in practical reasoning the action that is one’s conclusion need not be meant to be, or to be of a sort, that is most favored by the considerations that one reasons from. I then go on to explain why this should be: that in practical reasoning the correct conclusion to draw is not supposed to have been determined in advance, because this is a form of reasoning by which we create truth through acting rather than reflecting a truth that is independently so. (shrink)

There are many reasons we might want to take the opinions of various individuals and pool them to give the opinions of the group they constitute. If all the individuals in the group have probabilistic opinions about the same propositions, there is a host of pooling functions we might deploy, such as linear or geometric pooling. However, there are also cases where different members of the group assign probabilities to different sets of propositions, which might overlap a lot, a little, (...) or not at all. There are far fewer proposals for how to proceed in these cases, and those there are have undesirable features. I begin by considering four proposals and arguing that they don't work. Then I'll describe my own proposal, which is intended to cover the situation in which we want to pool the individual opinions in order to ascribe an opinion to the group considered as an agent in its own right. (shrink)

Commonsense reasoning is a crucial human ability employed in everyday tasks. In this talk I provide a knowledge level analysis of the main representational and reasoning problems affecting the cognitive architectures for what concerns this issue. In providing this analysis I will show, by considering some of the main cognitive architectures currently available (e.g. SOAR, ACT-R, CLARION), how one of the main problems of such architectures is represented by the fact that their knowledge representation and processing mechanisms are (...) not sufficiently constrained with insights coming from cognitive science (Lieto 2021; Lieto, Lebiere, Oltramari, 2018). As a possible way out to such knowledge processing issues, I present the main assumptions that have led to the development of the Dual PECCS categorization system (Lieto, Radicioni, Rho 2017) and discuss some of the lessons learned and their possible implications in the design of the knowledge modules and knowledge-processing mechanisms of integrated cognitive architectures. (shrink)

Reasons internalists claim that facts about normative reasons for action are facts about which actions would promote an agent’s goals and values. Reasons internalism is popular, even though paradigmatic versions have moral consequences many find unwelcome. This article reconstructs an influential but understudied argument for reasons internalism, the “if I were you” argument, which is due to Bernard Williams and Kate Manne. I raise an objection to the argument and argue that replying to it requires reasons internalists to accept (...) controversial metaethical or epistemological commitments with which their theory has not traditionally been associated. (shrink)

This paper defends a substance-based metaphysics for organisms against three arguments for thinking that we should replace a substantial understanding of living things with a processual one, which are offered by Dan Nicholson and John Dupré in their edited collection,Everything Flows: Towards a Processual Philosophy of Biology(Oxford: Oxford University Press, 2018). Dupré and Nicholson consider three main empirical motivations for the adoption of a process ontology in biology. These motivations are alleged to stem from facts concerning (i) metabolism; (ii) the (...) life cycles of organisms; and (iii) ecological interdependence. The paper discusses each of the three arguments in turn and concludes that none gives us any compelling reason to abandon the metaphysics of things. At best, they are arguments against a kind of caricature substance metaphysics that ought never to have been in the running in any case. Then, at the end of the paper, it is suggested that there may be more positive arguments for insisting on retaining things in our metaphysics, arguments which, perhaps ironically (given the opposed standpoint ofEverything Flows) get their main impetus from the phenomenon of life. (shrink)

This paper investigates two puzzles in practical reason and proposes a solution to them. First, sometimes, when we are practically certain that neither of two alternatives is better than or as good as the other with respect to what matters in the choice between them, it nevertheless seems perfectly rational to continue to deliberate, and sometimes the result of that deliberation is a conclusion that one alternative is better, where there is no error in one’s previous judgment. Second, there are (...) striking differences between rational agents – some rational agents have most reason to pursue careers on Wall Street while others have most reason to take up a career in teaching, or scuba diving, or working for political causes. These differences aren’t plausibly explained by ‘passive’ facts about our psychology or their causal interaction with our environment; instead, these facts seem in some sense to ‘express who we are’. But what is this sense? These puzzles disappear if we adopt a novel view about the source of the normativity of reasons – some reasons are given to us and others are reasons in virtue of an act of will. We make certain considerations reasons through an act of will and thus sometimes make it true through an act of agency that we have most reason to do one thing rather than another. (shrink)

What does the aesthetic ask of us? What claims do the aesthetic features of the objects and events in our environment make on us? My answer in this paper is: that depends. Aesthetic reasons can only justify feelings – they cannot demand them. A corollary of this is that there are no aesthetic obligations to feel, only permissions. However, I argue, aesthetic reasons can demand actions – they do not merely justify them. A corollary of this is that there are (...) aesthetic obligations to act, not only permissions. So, I conclude, the aesthetic asks little of us as patients and much of as agents. (shrink)