There is an exegetical quandary when it comes to interpreting Locke's relation to logic.On the one hand, over the last few decades a substantive amount of literature has been dedicated to explaining Locke's crucial role in the development of a new logic in the seventeenth and eighteenth centuries. John Yolton names this new logic the "logic of ideas," while James Buickerood calls it "facultative logic."1 Either way, Locke's Essay is supposedly its "most outspoken specimen" or (...) "culmination."2 Call this reading the 'New Logic interpretation.'On the other hand, from the typical standpoint of a philosopher accustomed to the modern conception of logic, whatever Locke—indeed, whatever most of the... (shrink)

People inhabit a vast and intricate social network nowadays. In addition to our own decisions and actions, we confront those of various groups every day. Collective decisions and actions are more complex and bewildering compared to those made by individuals. As members of a collective, we contribute to its decisions, but our contributions may not always align with the outcome. We may also find ourselves excluded from certain groups and passively subjected to their influences without being aware of the source. (...) We are used to being in overlapping groups and may switch identities, supporting or opposing the claims of particular groups. But rarely do we pause to think: What do we talk about when we talk about groups and their decisions? At the heart of this dissertation is the question of collective agency, i.e., in what sense can we treat a group as a rational agent capable of its action. There are two perspectives we take: a philosophical and logical one. The philosophical perspective mainly discusses the ontological and epistemological issues related to collective agency, sorts out the relevant philosophical history, and argues that the combination of a relational view of collective agency and a dispositional view of collective intentionality provides a rational and realistic account. The logical perspective is associated with formal theories of groups, it disregards the psychological content involved in the philosophical perspective, establishes a logical system that is sufficiently formal and objective, and axiomatizes the nature of a collective. The first topic that is addressed is the ontology of collective agency, i.e., the question what exactly is collective agency. The philosophical discussion of collective agency centres around the reduction problem of the concept of a collective. Individualism and Cartesian internalism have long influenced orthodox theories and made them face the choice between an irreducible concept of a collective and ontological reductionism. Heterodox theories such as functionalism and interpretationism reinterpret the concept of agency and accept it as also realized on the level of a collective. To adequately explain social phenomena that are essentially relational in nature, we propose a relational, holistic account of collective agency and argue that functionalism and interpretationism can be integrated into such an account. While acknowledging the irreducibility of the concept of a collective, we find that there is a deep incompatibility between the concept of a collective and the concept of intentionality as the mark of the mental. To explain how collective intentionality nevertheless is possible and why we tend to use it analogously to how we use the concept of individual intentionality, we explore a dispositional account of intentionality which enables us to give an account of the concept of intentionality at both the individual and collective level. Specifically, we subdivide the dispositional account into three aspects: behavioral, purely mental, and cognitive. We then argue that collective intentionality is real by analyzing different forms of attributive judgments of intentionality and by introducing the perspective of indispensable collective responsibility. We also analyze how philosophical theories about collective agency relate to central features of formal theories about collective decisions, such as game theory. Although the two fields are both concerned with collectives, there are also differences that need to be addressed. For example, game theory is clearly anti-psychologistic since its aim is a formal and objective analysis. However, from the relational and dispositional perspective, intentionality at the individual level and collective intentionality as we analyze it, inevitably involve mental content. In order to explain this difference and identify where the boundary is, we analyze the relationships between the three basic concepts involved, namely intentionality, preference, and dependency, so as to provide a unified picture of collective theory across philosophical and formal theories. After paving the nexus between philosophical and formal perspectives, the logical perspective becomes the theme of our discussion. To be able to express game theoretical concepts and to connect them to our philosophical perspective, We present a logic of preference and functional dependence and its hybrid extension, and provide an axiomatization which is sound and strongly complete. The decidability of this logic is also proved. Its application to modeling non-cooperative and cooperative games in strategic form is explored. The resulting framework provides a unified view of Nash equilibrium, Pareto optimality, and the core. The philosophical relevance of these game-theoretical notions to discussions of collective agency is made explicit. Finally, we conclude and clarify the position of our theory in the broader field of research on the topics addressed in the thesis. Also, we point out many new questions and directions suggested by our analysis, including philosophical and logical open problems. (shrink)

We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a (...) class='Hi'>logic of agency. In particular, we apply it to reason about the resource-sensitive use of artefacts. (shrink)

My aim in this paper is to go some way towards showing that the maintenance of hard and fast dichotomies, like those between mind and body, and the real and the virtual, is untenable, and that technological advance cannot occur with being cognisant of its reciprocal ethical implications. In their place I will present a softer enactivist ontology through which I examine the nature of our engagement with technology in general and with virtual realities in particular. This softer ontology is (...) one to which I will commit Kant, and from which, I will show, certain critical moral and emotional consequences arise. It is my contention that Kant’s logical subject is necessarily embedded in the world and that Kant, himself, would be content with this view as an expression of his inspired response to the ‘‘scandal to philosophy... that the existence of things outside us... must be accepted merely on faith’’ [Bxl]. In keeping with his arguments for the a priori framing of intuition, the a priori structuring of experience through the spontaneous application of the categories, the synthesis of the experiential manifold, and the necessity of a unity of apperception, I will present an enactivist account of agency in the world, and argue that it is our embodied and embedded kinaesthetic engagement in our world which makes possible the syntheses of apprehension, reproduction and recognition, and which, in turn, make possible the activity of the reproductive or creative imagination. (shrink)

Abstract: In this article, the logic and functions of character-trait ascriptions in ethics and epistemology is compared, and two major problems, the "generality problem" for virtue epistemologies and the "global trait problem" for virtue ethics, are shown to be far more similar in structure than is commonly acknowledged. I suggest a way to put the generality problem to work by making full and explicit use of a sliding scale--a "narrow-broad spectrum of trait ascription"-- and by accounting for the various (...) uses of it in an inquiry-pragmatist account. In virtue theories informed by inquiry pragmatism, the agential habits and abilities deemed salient in explanations/evaluations of agents in particular cases, and the determination of what relevant domains and conditions an agent's habit or ability is reliably efficacious in, is determined by pragmatic concerns related to our evaluative epistemic practices. (shrink)

We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the (...) logical consequences of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect. (shrink)

Philosophy of biology is often said to have emerged in the last third of the twentieth century. Prior to this time, it has been alleged that the only authors who engaged philosophically with the life sciences were either logical empiricists who sought to impose the explanatory ideals of the physical sciences onto biology, or vitalists who invoked mystical agencies in an attempt to ward off the threat of physicochemical reduction. These schools paid little attention to actual biological science, and as (...) a result philosophy of biology languished in a state of futility for much of the twentieth century. The situation, we are told, only began to change in the late 1960s and early 1970s, when a new generation of researchers began to focus on problems internal to biology, leading to the consolidation of the discipline. In this paper we challenge this widely accepted narrative of the history of philosophy of biology. We do so by arguing that the most important tradition within early twentieth-century philosophy of biology was neither logical empiricism nor vitalism, but the organicist movement that flourished between the First and Second World Wars. We show that the organicist corpus is thematically and methodologically continuous with the contemporary literature in order to discredit the view that early work in the philosophy of biology was unproductive, and we emphasize the desirability of integrating the historical and contemporary conversations into a single, unified discourse. (shrink)

There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.

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)

In this paper I propose and motivate a logic of the interdefined concepts of making true and control, understood as intensional propositional operators to be indexed to an agent. While bearing a resemblance to earlier logics in the tradition, the motivations, semantics, and object language theory differ on crucial points. Applying this logic to widespread formal theories of agency, I use it as a framework to argue against the ubiquitous assumption that the strongest actions or options available (...) to a given agent must always be pairwise incompatible. The conclusion is that this assumption conflicts with failures of higher order control of agents over their degree or precision of control, failures exhibited by such imperfect agents as ourselves. I discuss models in this setting for understanding such imperfectly self-controlling agents. In an appendix, I prove several relevant results about the logic described, including soundness and completeness both for it and for certain natural extensions. (shrink)

Darwin hypothesized that some animals, when selecting sexual partners, possess a genuine “sense of beauty” that cannot be accounted for by the logic of natural selection. This hypothesis has been notoriously controversial. In this chapter I propose that the concept of agency can be useful to operationalize the “sense of beauty”, and can help identify the conditions under which one can infer that animals are acting as (aesthetic) agents. Focusing on a case study of the behavior of the (...) Pavo cristatus, I identify the types of evidence that would allow for the inference of agency through aesthetic choice. (shrink)

I explore various ways of integrating the framework for predeterminism, agency, and ability in[P.McNamara, Nordic J. Philos. Logic 5 (2)(2000) 135] with a framework for obligations. However,the agential obligation operator explored here is defined in terms of a non-agential yet personal obligation operator and a non-deontic (and non-normal) agency operator. This is contrary to the main current trend, which assumes statements of personal obligation always take agential complements. Instead, I take the basic form to be an agent’s (...) being obligated to be such that p. I sketch some logics for agential obligation based on personal obligation and agency, first in a fairly familiar context that rules out conflicting personal obligations (and derivatively, conflicting agential obligations), and then in contexts that do allow for conflicts (of both sorts). (shrink)

NOTE TO READERS: My current research program is firmly grounded in the technical aspects of this dissertation. That said, my views have evolved significantly since writing it, e.g. I've flipped my views on the best working definition of 'determinism', and I no longer defend the viability of incompatibilist-impossibilism (I still grant the superficial logical consistency of the two views, but now contend that there is no way to defend one without rejecting the other). I have also given up on the (...) general project of rehabilitating the terms 'compatibilism' and 'incompatibilism', as I now see them as unhelpful hangovers from a degenerated research program. (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)

How do we prepare engineering students to make ethical and responsible decisions in their professional work? This paper presents an approach that enhances engineering students’ engagement with ethical reasoning by simulating decision-making in a complex scenario. The approach has two principal inspirations. The first is Anthony Weston’s scenario-based teaching. Weston’s concept of a scenario is a situation that changes in response to choices made by participants, according to an inner logic. Scenarios can dynamically explore open-ended complex problems without imposing (...) predetermined results, allowing students to apply their ethical reasoning in a more realistic fashion. The second inspiration is Thi Nguyen’s theory of games. According to Nguyen, games are the “art of agency,” meaning that they provide a structure under which some result is agreed to be valuable, along with prescribed ways of achieving that result, in a relatively low-stakes and temporary social arrangement. By playing many games, Nguyen argues, we can develop a “library of agency,” that is to say, a set of values and means to achieving them that can inform how we make high-stakes decisions in real life. Engaging with carefully designed game scenarios, then, can enable students to practice making ethical decisions within a structured framework, which unfolds in response to their choices, while their decisions are driven by some defined goal. This roleplaying game–based approach thus allows students to build their own ethical libraries of agency, in preparation for professional decision-making. The approach is illustrated using a specific example recently deployed in a seminar on engineered living materials (building materials that incorporate living tissues). The scenario uses techniques from tabletop roleplaying games (e.g. Dungeons & Dragons) for outcome resolution, adventure design, and character creation. Through the game, students practice making difficult decisions in a humanitarian context. (shrink)

My paper provides a preliminary work towards a theory of freedom and agency which I name "Theory of Procedural Agency (TPA)". Since TPA relies on intuitions which can not be settled into the metaphysical framework of contemporary approaches to freedom and agency, I focus on some reasons which explain why these intuitions should be preferred to the competing ones. My strategy is to argue for my view defending an embryonal version of TPA, that is Berkeley's considerations on (...) free will, agency and determinism. In the first section I deal with Berkeley's treatment of free will. My idea is that his arguments offer clear and evident reasons in support of the first intuition grounding a TPA like approach to freedom. In the second section I move some criticisms to Berkeley's theory of will, claiming that, in order to overcome these, the assumption of the constitution view concerning self-knowledge would help. In the third section I set forth a logical formulation for TPA, showing how Berkeley's consideration on agency provide grounding reasons for that. Finally, in the last section, I plan the work to be done to achieve a consistent and complete version of TPA. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

The premise that it is logically necessary for a necessary condition of value to be valuable is sometimes used in metaethics in support of the claim that agency, or some constitutive condition of agency or action, has value for all agents. I focus on the most recent application of this premise by Caroline T. Arruda and argue that the premise is false. Despite this defect the relevant evaluative step could still work just in case of agency if (...) an additional condition were satisfied. (shrink)

There are at least two politically salient senses of “representation”—acting-for-others and portraying-something-as-something. The difference is not just semantic but also logical: relations of representative agency are dyadic (x represents y), while portrayals are triadic (x represents y as z). I exploit this insight to disambiguate constructivism and to improve our theoretical vocabulary for analyzing political representation. I amend Saward’s claims-based approach on three points, introducing the “characterization” to correctly identify the elements of representational claims; explaining the “referent” in pragmatic, (...) not metaphysical terms; and differentiating multiple forms of representational activity. This enables me to clarify how the represented can be both prior to representation and constituted by it, and to recover Pitkin’s idea that representatives ought to be “responsive” to the represented. These points are pertinent to debates about the role of representatives, the nature of representative democracy, and the dynamics of revolutionary movements. (shrink)

1. Introduction: a look back at the reasons vs. causes debate. 2. The interventionist account of causation. 3. Four objections to interventionism. 4. The counterfactual analysis of event causation. 5. The role of free agency. 6. Causality in the human sciences. -- The reasons vs. causes debate reached its peak about 40 years ago. Hempel and Dray had debated the nature of historical explanation and the broader issue of whether explanations that cite an agent’s reasons are causal or not. (...) Melden, Peters, Winch, Kenny and Anscombe had contributed their anticausal conceptions. The neo-Wittgensteinians seemed to be winning the day when in 1963 Donald Davidson published his seminal paper “Actions, Reasons, and Causes”. Davidson’s paper devastated the Wittgensteinian camp. It contained, among other things, a powerful attack on the logical connection argument. Davidson argued that the existence of a logical or conceptual connection between descriptions can never eliminate a causal relation, which holds between events simpliciter, not between events under certain descriptions. Davidson maintained that in a way, reasons can be causes. When somebody acts for a certain reason, his intentional attitudes, or rather changes in his attitudes, cause his bodily movements. Davidson also argued that rationalization is a species of causal explanation. For the definition of action, he argued that intentional actions are bodily movements caused in the right way by beliefs and desires that rationalize them. Davidson’s paper paved the way for causal theories of action, which superseded neo-Wittgensteinian analyses in the following decades. The causal theory was rapidly adopted by Alvin Goldman, David Armstrong, Paul Churchland, Myles Brand and many others, entering the mainstream and dominating the philosophy of action to this very day. In 1971 Georg Henrik von Wright published his book "Explanation and Understanding". The second chapter did not deal with agency, but with causation. It developed a new account of causation, the interventionist or experimentalist account. Focusing on causation, von Wright remedied a major shortcoming of the reasons vs. causes debate. The concept of causality, and the nature of the causal relation, received little attention in this debate, a fact that holds true for both camps. Mostly it was simply taken for granted that, as Hempel had declared, “causal explanation is a special type of deductive-nomological explanation”. One camp then aligned intentional explanations with D-N explanations, while the other camp insisted on their disparity. So strictly speaking, the label “reasons/causes debate” was a misnomer. The controversy dealt primarily with the question as to whether intentional explanations can take the form of D-N explanations, while the notion of causation, and the metaphysics of the causal relation, were left obscured. With von Wright’s new approach, the situation changed. Von Wright was primarily concerned with causation, but his approach contained an implicit attack on the causal theory of action as well. His core idea was that the notion of causality is intimately linked with, or even derived from, the notion of intentionally making something happen. Other philosophers, even Hume, had considered such a connection before, but often just to reject this view, regarding it as a kind of myth belonging to the infancy of the human mind. Von Wright took the idea seriously. He submitted the analysis that p is the cause of q if and only if by doing p we could bring about q. The causal theory of action was also concerned with the relation between causation and agency, to which its name bears witness. The causal theory of action holds that actions are bodily movements with a certain causal history. This is why von Wright’s account constituted a momentous challenge to the causal theory: it reversed the direction of conceptual dependency between both notions. Davidson and his followers tried to define what an intentional action is by using the notion of causation. The causal condition which the causal theory sets is part of the definition of “doing something intentionally”. Von Wright claimed that the conceptual dependency is the other way round. He used the notions of doing, and bringing about, to explain what causal relations are. So, instead of a causal theory of action, he advocated an agency theory of causation, as it may be dubbed. It is remarkable how seldom this clash of opinions about conceptual primacy is reflected in the literature. There are few exceptions: Fred Stoutland noticed the conflict, and he published a number of papers in which he compared Davidson’s and von Wright’s views. Von Wright’s book "Explanation and Understanding" was widely read and discussed in the seventies, especially in Europe. But it strikes me that especially in North America, where the causal theory of action became the orthodoxy of the day, von Wright’s challenge went largely unnoticed. Even Davidson did not seem to take it seriously. He nowhere takes notice of the interventionist theory of causation, while he does discuss von Wright’s earlier book "Norm and Action". As is well-known, Davidson favoured an alternative account of causation, based on “the principle of the nomological character of causality”, as he somewhat clumsily called it, or, later and less clumsily, “the cause-law thesis”. Davidson’s firm adherence to a nomological theory of causality may explain why he did not take much interest in alternative accounts. [...] -/- . (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-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)

In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows for a return to the situation that took place. Next we describe different approaches towards agency modeling. We (...) present the most important paradigms, including the logic of actions, where actions are interpreted as transitions between the situations and STIT logic, which states only the responsibility of the agent for particular states of affairs. We discuss questions of determinism and indeterminism of actions, identification of basic actions and operations and the issue of identity. The final part of the paper is devoted to deontic categories. In particular, the applicability of the concepts of strong and weak permission and prohibition in different situational contexts, and their relationship to the two concepts of obligation: abstract and derived. (shrink)

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of (...) Kripke resource models extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

A review of Jonathan Payton's excellent book, Negative Actions (CUP).

Human actions and decisions are most of the times not only grounded on emotional reactions, they are irrationally debasing. While such emotions and heuristics were perhaps suitable for dealing with life in the Stone Age, they are woefully inadequate in the Silicon Age. The substitution of traditional news agencies and communication platforms in Nigeria with social media networks has not only increased human capacities, it has aided the common good and further eased communication and increased the human knowledge base. For (...) instance, the Silicon Valley in the state of California in the United State of America has proved the extent to which human ingenuity can be exerted in beneficial ways. Here in, the top of the multibillion-dollar communication companies like Apple, eBay, Cisco, Lockheed, Hewlett Packard (HP), Google, Netflix, Facebook, Oracle, Tesla, etc. whose yearly budgets far exceed the entire yearly budget of Nigeria, has proved that, ICT remains the building blocks of contemporary communities. The state of California for instance prides herself as the 6th largest economy of the world after France and Brazil. This romantic picture of ICT is but only one chapter of the ICT divide. In today’s world, the scale and speed of the highly partisan news and falsehoods that circulate in the human environment is deafening. In politics and governance for instance, the populist have exploited the ICT effectively and without restraints, to access power and authority. Today, we are in the era of post-truth, an era in which objective facts are less influential in shaping public opinion than appeals to emotion and personal belief. An era that harbours corruption of intellectual integrity and damage to the whole fabric of democracy. The battle to protect information integrity and expose fake news becomes sine qua non. We shall in this paper explore the dark side of the age of information, a side that has been exploited by the media mavens, political hacks, and ideological propagandists who promote lies, illusion, confusion, and other forms of demented or manipulated imagination. In doing this, we shall proceed as follows: i. Historicize the concept of ‘fake news’ here referred to as post-truth. ii. Interrogate the concept of ‘information’ and its goal in human affairs iii. Evaluate the nexus between ‘truth’ values in ‘information’, ‘Misinformation’ and ‘dis-information’ iv. Situate the role of Philosophy in the era of post-truth. (shrink)

Responsibility has entered the academic discourse of logicians hardly more than few decades ago. I suggest a logical concept of responsibility which employs ideas both from a number of theories belonging to different branches of logic as well from other academic areas. As a comment to this concept, I suggest five steps narrative scenario in order to show how the logical dimension of responsibility emerges from diverse tendencies in logic and other sciences. Here are the five steps briefly (...) stated: Step 1. Developing modal formalisms capable of evaluative analysis of situations (deontic, epistemic and etc.). Step 2. Drawing a conceptual borderline between normal and non-normal (weak) logical systems. Step 3. Using different kinds of models. Step 4. Agent- and action- friendly turn in logic. Step 5. Creating formalisms for modeling different types of agency. An idea advocated here within 5-Steps route to responsibility is that this concept is a complex causal and evaluative (axiological) relation. A logical account may be given for causal and normative aspects of this relation. Unfolding the responsibility back and forth through 5 Steps will result in different concepts. The technicalities are minimized for the sake of keeping the philosophical scope of the paper. For the same reason I also refrain from discussing legal and juridical ramifications of the issue. (shrink)

The Free Choice effect—whereby \\) seems to entail both \ and \—has traditionally been characterized as a phenomenon affecting the deontic modal ‘may’. This paper presents an extension of the semantic account of free choice defended by Fusco to the agentive modal ‘can’, the ‘can’ which, intuitively, describes an agent’s powers. On this account, free choice is a nonspecific de re phenomenon that—unlike typical cases—affects disjunction. I begin by sketching a model of inexact ability, which grounds a modal approach to (...) agency in a Williamson -style margin of error. A classical propositional semantics combined with this framework can reflect the intuitions highlighted by Kenny ’s dartboard cases, as well as the counterexamples to simple conditional views recently discussed by Mandelkern et al.. In Section 3, I turn to an independently motivated actual-world-sensitive account of disjunction, and show how it extends free choice inferences into an object language for propositional modal logic. (shrink)

Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid logical omniscience (...) within a Bayesian framework. Some proposals merely replace logical omniscience with a different logical idealization; others sacrifice all traits of logical competence on the altar of logical non-omniscience. We think a better strategy is available: by enriching the Bayesian framework with tools that allow us to capture what agents can and cannot infer given their limited cognitive resources, we can avoid logical omniscience while retaining the idea that rational degrees of belief are in an important way constrained by the laws of probability. In this paper, we offer a formal implementation of this strategy, show how the resulting framework solves the problem of logical omniscience, and compare it to orthodox Bayesianism as we know it. (shrink)

Continuing prior work by the author, a simple classical system for personal obligation is integrated with a fairly rich system for aretaic (agent-evaluative) appraisal. I then explore various relationships between definable aretaic statuses such as praiseworthiness and blameworthiness and deontic statuses such as obligatoriness and impermissibility. I focus on partitions of the normative statuses generated ("normative positions" but without explicit representation of agency). In addition to being able to model and explore fundamental questions in ethical theory about the connection (...) between blame, praise, permissibility and obligation, this allows me to carefully represent schemes for supererogation and kin. These controversial concepts have provided challenges to both ethical theory and deontic logic, and are among deontic logic's test cases. (shrink)

This chapter identifies and explores a series of challenges raised by the clinical concept of delusion for theories which conceive autonomy as an agency rather than a status concept. The first challenge is to address the autonomy-impairing nature of delusions consistently with their role as grounds for full legal and ethical excuse, on the one hand, and psychopathological significance as key symptoms of psychoses, on the other. The second challenge is to take into account the full logical range of (...) delusions, which may take the form of true or false factual beliefs, positive or negative evaluations, as well as the paradoxical delusion of mental illness. The third and final challenge is to make room for non-pathological or, autonomy-preserving delusions and to offer a credible way of distinguishing between these and pathological or, autonomy-impairing delusions. By setting out these challenges, we are able to, firstly, distinguish between two separate conceptions of objectivity that may be at work in existing accounts of delusions and, secondly, to put a spotlight on an elusive yet inescapable notion of agential success that underlies our thinking about autonomy as well as mental disorder. (shrink)

In 1926, Ernst Mally, an Austrian logician, has introduced a system of deontic logic in which he has proposed three fundamental distinctions which proved to be important in the context of the further development of the logic of norms. It is argued that in his philosophical considerations Mally has introduced a number of important distinctions concerning the very concept of norm, but by getting them confused in introducing the subsequent formalisms he failed to formally preserve them. In some (...) of his philosophically made distinctions Mally apparently foresaw contemporary trends in logic of norms. To some extent this particular feature of Mally’s system open wide opportunities to reconstruct –– with the corresponding renovations — his illformed Deontik into many nowadays known systems of logic of norms and thus provides a fertile ground for this kind of research. (shrink)

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives are (...) used to produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

The famous dispute between Protagoras and Euathlus concerning Protagoras’s tuition fee reportedly owed to him by Euathlus is solved on the basis of practical argumentation concerning actions. The dispute is widely viewed as a kind of a logical paradox, and I show that such treating arises due to the double confusion in the dispute narrative. The linguistic expressions used to refer to Protagoras’s, Euathlus’s and the jurors’ actions are confused with these actions themselves. The other confusion is the collision between (...) the pairs of incompatible actions ambiguously expressed by two different pairs of sentences, one of which is a propositionally consistent pair whereas the other is an inconsistent one. The actional paradox solution aims to clear up these confusions by means of two core borderlines, propositional and expressive, drawn between the actions and the propositions. The propositional distinction says that actions are empirical facts and they lack truth values unlike propositions, which are mental entities and are often employed for referring to the actions. This distinction helps to avoid the confusion between the empirical incompatibility of actions and the truth-functional inconsistency of propositions. The expressive distinction claims that although the same linguistic sentences can be used to refer both to actions and propositions, two empirically incompatible actions can be expressed both by a pair of inconsistent propositions as well as by a pair of consistent ones. Therefore, the action of Protagoras’s being paid may be linguistically symbolized in four different ways: Protagoras gets paid due to the verdict, Protagoras gets paid due to the contract that amount to Protagoras does not get paid by the contract and Protagoras does not get paid by the verdict respectively, and likewise for Euathlus’s actions. The two distinctions are used for classifying the two groups of paradox solutions, legal and logical, proposed so far depending on which of the two confusions they purport to escape from. The actional reconstruction of the paradox suggests that there is only one single agent in the dispute, Protagoras, while the other named Euathlus is a ‘phantom,’ which most probably was invented by Protagoras himself for the sake of creating this challenging sophism. (shrink)

Amartya Sen’s remarkable endeavour to realize the normative capability of welfare economics goes beyond the impecunious resultants of the neoclassical welfare economy. The neoclassical welfare economy decoratively bracketed values to speculate about factual observations. This was due to the influence of logical positivists and their convictions about experimental scientific statements (primarily mathematical) and their vicinity to empirical truths and analytic statements. Sen adequately inquires “whether morality can be expressed in the form of choice between preference patterns rather than between actions” (...) (Sen, 1997a, 78). “A new phase classical theory” in economics from the hands of Sen and some others put forth two pivotal issues in a unified manner: a. Mathematical models of an economy. b. Ethical reflection on the subject of welfare economy–a value-laden enterprise in Sen’s literature. -/- In general, welfarists and utilitarians affirm that moral values are anchored in individual agency and involve mental metric utilities (pleasure, happiness, pain etc.). This focus, first of all, results in a disadvantage, as it undermines freedom in terms of achievement. Secondly, it pays no heed to achievement reasonably giving more importance to those who are incapable of reflecting on any one of those mental metrics. Besides, Sen argues that equality of opportunity does not accord with the equality of freedom, and its reason is rooted in the scope of the incongruity of human beings and the diversified meanings of efficiency. Developing a general methodological approach to revisit the notion of inequality concerned by exploring a particular substantive stand that Sen aims to underscore involves examining how social arrangements work to define freedom, capabilities, and welfare to ensure comparisons and assessments of quality of life. (shrink)

THE CONGRESS The infrastructure of the colonial territories obeyed the logic of economic exploitation, territorial domain and commercial dynamics among others that left deep marks in the constructed landscape. The rationales applied to the decisions behind the construction of infrastructures varied according to the historical period, the political model of colonial administration and the international conjuncture. This congress seeks to bring to the knowledge of the scientific community the dynamics of occupation and transformation of colonial territory, especially related to (...) and resulting from the war effort, which involved not only the agency of architecture and urbanism but also of military apparatus, and its repercussions in the same territories as independent countries. Colonial infrastructures will be addressed to question, for instance, how housing production during armed conflict has conditioned future spatial models of the independent countries or what options taken by colonial administrations were abandoned or otherwise strengthened after independence. The congress is part of the ongoing research project entitled “ARCHWAR - Dominance and massviolence through Housing and Architecture during colonial wars. The Portuguese case (GuineaBissau, Angola, Mozambique): colonial documentation and post independence critical assessment” funded by ‘Fundação para a Ciência e Tecnologia’ (FCT - Foundation for Science and Technology), ref. PTDC/ART-DAQ/0592/2020, in which Calouste Gulbenkian Foundation (FCG) is a partner. The general goal of the congress is to debate on the repercussions of the decisions taken by the colonial states in the area of territorial infrastructures – in particular through the disciplines of architecture and urbanism – in post-independence spatial and urban models and the formation of independent countries with a colonial past. (shrink)

This paper is based on the comments I gave to Alfred Mele regarding his original Zygote Argument during my presentation at a small workshop on manipulation arguments in Budapest back in 2012. After those comments, Mele changed the conclusion of his original Zygote Argument and redefined 'incompatibilism' so that it would refer to the conclusion of his new Zygote Argument (Mele 2013+). Yet, over the last decade, Mele has made no comment in print about the changes he made nor the (...) invalidity objection that led to them. To my knowledge, Mele has only mentioned this 2015 paper once: in the context of defending his non-explanatory definition of 'incompatibilism' at the opening of Aspects of Agency (p. 6, n. 4), Mele draws his readers' attention to just *just this paper* as a place where they'll find the type of nonstandard/nontraditional definition of 'incompatibilism' that he rejects. If Mele had a general concern about unusual definitions of 'incompatibilism', he could have just as easily named almost any leading figure in free will for this purpose (since most reject the non-explanatory definition he now endorses). But for some reason, Mele thought an unemployed junior researcher should be singled out as an example. Moreover, if Mele were genuinely interested in helping his readers understand the ambiguity of terms like 'compatibilism' and 'incompatibilism' it is a mystery that he referenced a paper in which nothing of substance hung on the definitions given to these terms when he might have instead pointed them to my OTHER 2015 paper in which the MAIN AIM of the paper is to expose the difficulties facing anyone who wants to define the terms 'compatibilism' and 'incompatibilism' in a way that everyone will accept (including a critique of the definitions that Mele has adopted). By all appearances, Mele's aim was to give readers the false impression that my working definition of 'incompatibilism' played some role in my charge that his argument is invalid (which it doesn't, given that the term doesn't appear in either the premises or conclusion of that argument). In this paper, I simply use the invalidity of the simple 2-premise Zygote Argument to make a series of more philosophically significant points (e.g. regarding the dialectical structure of the free-will debate, the role of best-explanation reasoning, and to develop the first-ever "master manipulation argument"). Mele pays no attention to my answer to the "Now What?" question in this paper, even though that answer was the paper's main point. For those interested in a more recent discussion of how the logical and metaphilosophical observations made in this paper have helped to move the free-will debate forward, I suggest my contributions to the Wiley-Blackwell Companion to Free Will (Intro and Chapter 4, 2023) and my paper "Free Will, Self-Creation, and the Paradox of Moral Luck" (2019). (shrink)

The goal of this programmatic paper is to highlight a close connection between the core problem in the philosophy of medicine, i.e. the concept of health, and the core problem of the philosophy of mind, i.e. the concept of consciousness. I show when we look at these phenomena together, taking the evolutionary perspective of modern state-based behavioural and life-history theory used as the teleonomic tool to Darwinize the agent- and subject-side of organisms, we will be in a better position to (...) make sense of them both as natural phenomena. (shrink)

This paper investigates the nature of dispositional properties in the context of artificial intelligence systems. We start by examining the distinctive features of natural dispositions according to criteria introduced by McGeer (2018) for distinguishing between object-centered dispositions (i.e., properties like ‘fragility’) and agent-based abilities, including both ‘habits’ and ‘skills’ (a.k.a. ‘intelligent capacities’, Ryle 1949). We then explore to what extent the distinction applies to artificial dispositions in the context of two very different kinds of artificial systems, one based on rule-based (...) classical logic and the other on reinforcement learning. Here we defend three substantive claims. First, we argue that artificial systems are not equal in the kinds of dispositional properties they instantiate. In particular, we show that logical systems instantiate merely object-centered dispositions whereas reinforcement learning systems allow for the instantiation of agent-based abilities. Second, we explore the similarities and differences between the agent-centered abilities of artificial systems and those of humans, especially as relates to the important distinction made in the human case between habits and skills/intelligent capacities. The upshot is that the agent-centered abilities of truly intelligent artificial systems are distinctive enough to constitute a third type of agent-based ability — blended agent-based ability — raising substantial questions as to how we understand the nature of their agency. Third, we explore one aspect of this problem, focussing on whether systems of this type are properly considered ‘responsible agents’, at least in some contexts and for some purposes. The ramifications of our analysis will turn out to be directly relevant to various ethical concerns of artificial intelligence. (shrink)

Many philosophers believe that agents are self-ruled only when ruled by their (authentic) selves. Though this view is rarely argued for explicitly, one tempting line of thought suggests that self-rule is just obviously equivalent to rule by the self . However, the plausibility of this thought evaporates upon close examination of the logic of ‘self-rule’ and similar reflexives. Moreover, attempts to rescue the account by recasting it in negative terms are unpromising. In light of these problems, this paper instead (...) proposes that agents are self-ruled only when not ruled by others. One reason for favouring this negative social view is its ability to yield plausible conclusions concerning various manipulation cases that are notoriously problematic for nonsocial accounts of self-rule. A second reason is that the account conforms with ordinary usage. It is concluded that self-rule may be best thought of as an essentially social concept. (shrink)

The enactive approach to cognition distinctively emphasizes autonomy, adaptivity, agency, meaning, experience, and interaction. Taken together, these principles can provide the new sciences of language with a comprehensive philosophical framework: languaging as adaptive social sense-making. This is a refinement and advancement on Maturana’s idea of languaging as a manner of living. Overcoming limitations in Maturana’s initial formulation of languaging is one of three motivations for this paper. Another is to give a response to skeptics who challenge enactivism to connect (...) “lower-level” sense-making with “higher-order” sophisticated moves like those commonly ascribed to language. Our primary goal is to contribute a positive story developed from the enactive account of social cognition, participatory sense-making. This concept is put into play in two different philosophical models, which respectively chronicle the logical and ontogenetic development of languaging as a particular form of social agency. Languaging emerges from the interplay of coordination and exploration inherent in the primordial tensions of participatory sense-making between individual and interactive norms; it is a practice that transcends the self-other boundary and enables agents to regulate self and other as well as interaction couplings. Linguistic sense-makers are those who negotiate interactive and internalized ways of meta-regulating the moment-to-moment activities of living and cognizing. Sense-makers in enlanguaged environments incorporate sensitivities, roles, and powers into their unique yet intelligible linguistic bodies. We dissolve the problematic dichotomies of high/low, online/offline, and linguistic/nonlinguistic cognition, and we provide new boundary criteria for specifying languaging as a prevalent kind of human social sense-making. (shrink)

In this article, I shall argue that AI’s likely developments and possible challenges are best understood if we interpret AI not as a marriage between some biological-like intelligence and engineered artefacts, but as a divorce between agency and intelligence, that is, the ability to solve problems successfully and the necessity of being intelligent in doing so. I shall then look at five developments: (1) the growing shift from logic to statistics, (2) the progressive adaptation of the environment to (...) AI rather than of AI to the environment, (3) the increasing translation of difficult problems into complex problems, (4) the tension between regulative and constitutive rules underpinning areas of AI application, and (5) the push for synthetic data. (shrink)

In recent years, philosophers have identified a number of moral and psychological harms associated with the attention economy (Alysworth & Castro, 2021; Castro & Pham, 2020; Williams, 2018). Missing from many of these accounts of the attention economy, however, is what exactly attention is. As a result of this neglect of the cognitive science of attention, many of these accounts are not empirically credible. They rely on oversimplified and unsophisticated accounts of not only attention, but self- control, and addiction as (...) well. Of note are accounts of the attention economy that rely on the ‘brain disease’ rhetoric of addiction and subsequent control failures (Aylsworth & Castro, 2021; Bhargava & Velasquez, 2021), accounts that rely on a strict dichotomy of top-down vs. bottom-up attention (Williams, 2018; Aylsworth & Castro, 2021), and accounts that construe attention as a limited resource (Williams, 2018). -/- Drawing on recent work from the neuroscience and psychology of attention, I demonstrate the shortcomings of these accounts and sketch a way forward for an empirically grounded account of the attention economy. These accounts tend to uphold strict dichotomies of voluntary control (e.g., compulsion versus choice, dual-process models of self-control, and top-down versus bottom-up) that cannot account for the complexities of attentional control, mental agency, and decision-making. As such, these empirically and conceptually impoverished accounts cannot adequately address the current so-called crisis of attention. To better understand the harms associated with the attention economy, we need an empirically responsible account of the nature and function of attention and mental agency. (shrink)

The study of active matter systems demonstrates how interactions might co-constitute agential dynamics. Active matter systems are comprised of self-propelled independent entities which, en masse, take part in complex and interesting collective group behaviors at a far-from-equilibrium state (Menon, 2010 ; Takatori & Brady, 2015 ). These systems are modelled using very simple rules (Vicsek at al. 1995), which reveal the interactive nature of the collective behaviors seen from humble to highly complex entities. Here I show how the study of (...) active matter systems supports two related proposals regarding interaction and agency. First, I argue that the study of interactive dynamics in these systems evidences the utility of treating interaction as an ontological category (Longino, 2021 ) and challenges methodological individualism as the received explanatory primitive in the study of agency. Second, the methods used to research active matter systems demonstrate how a minimal approach to agency can scale up in studying interactive agential dynamics in more complex systems. The examples of coordination dynamics (Kelso, 2001 ) and participatory sense-making (De Jaegher & Di Paolo, 2007 ) are provided to show how understanding agency requires us to look beyond the individuals to the interactive agential dynamics that can guide, scaffold, or constrain their activity. (shrink)

The phenomenon of distributed knowledge is well-known in epistemic logic. In this paper, a similar phenomenon in ethics, somewhat neglected so far, is investigated, namely distributed morality. The article explains the nature of distributed morality, as a feature of moral agency, and explores the implications of its occurrence in advanced information societies. In the course of the analysis, the concept of infraethics is introduced, in order to refer to the ensemble of moral enablers, which, although morally neutral per (...) se, can significantly facilitate or hinder both positive and negative moral behaviours. (shrink)

In this paper, I will examine epistocracy as a form of limiting the political agency of some citizens (by removing their political rights) and offer an internal critique of it. I will argue that epistocracy runs into a number of logical and epistemic problems in trying to define who should be the members of an epistocratic polity. Furthermore, I will argue that the argument for epistocracy cannot ignore unjust background conditions. I will also suggest that some of the problems (...) epistocracy attempts to correct can be solved in a more just way, while preserving democracy. (shrink)

There are strong moral reasons to acknowledge that third parties can have the standing to forgive. Third-party refusals to forgive can reinforce the moral agency and value of women and disrupt the gendering of forgiveness. Third-party forgiveness can also be crucial for restorative justice aims, like recognizing the value of wrongdoers. Lastly, many victim-only accounts of forgiveness are problematic and utilize an individualistic conception of the self that reinforces the logic of misogyny. Victim-only accounts of forgiveness can also (...) restrict focus to the victim's suffering, thereby neglecting the importance of healing and the relevance of third-party forgiveness for facilitating healing. (shrink)

The received wisdom on ability modals is that they differ from their epistemic and deontic cousins in what inferences they license and better receive a universal or conditional analysis instead of an existential one. The goal of this paper is to sharpen the empirical picture about the semantics of ability modals, and to propose an analysis that explains what makes the can of ability so special but that also preserves the crucial idea that all uses of can share a common (...) lexical semantics. The resulting framework combines tools and techniques from dynamic and inquisitive semantics with insights from the literature of the role of agency in deontic logic. It explains not only why the can of ability, while essentially being an existential modal operator, sometimes resists distribution over disjunction and interacts with its duals in particular and hitherto unnoticed ways, but also has a tendency to license free choice inferences. (shrink)

This article develops a diagnostic lens to make sense of the still baffling development of a ‘humanitarian marketplace’. Ambivalently hybrid initiatives such as volunteer tourism, corporate social responsibility or even fair trade do not strictly obey a distributive logic of market exchange, social reciprocity or philanthropic giving. They engender a type of ‘economy’ that must be apprehended in its own terms. The article argues that the large-scale collaborative effects of such a dispersed market can be theorized without resorting to (...) the classical biopolitical move of simplified agency/holistic reification. The argument proceeds counterintuitively, by appropriating the notion of symbiosis as redefined by contemporary biology, contending through historical contextualization and conceptual work that nature itself offers the best example to grasp spontaneous collaboration among unrelated human beings as a non-automatically balanced and intrinsically political affair that calls for critical management through an ex post facto interventionist policy of selective cultivation. (shrink)