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 logic of (...) class='Hi'>agency. In particular, we apply it to reason about the resource-sensitive use of artefacts. (shrink)

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)

A speculative exploration of the distinction between a relational formal ontology and a classical formal ontology for modelling phenomena in nature that exhibit relationally-mediated wholism, such as phenomena from quantum physics and biosemiotics. Whereas a classical formal ontology is based on mathematical objects and classes, a relational formal ontology is based on mathematical signs and categories. A relational formal ontology involves nodal networks (systems of constrained iterative processes) that are dynamically sustained through signalling. The nodal networks are hierarchically ordered and (...) exhibit characteristics of deep learning. (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.

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)

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)

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)

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)

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)

The thesis defended in this article is that epistemology should treat some of our cognitive limitations not as unfortunate defects or external perturbations to be idealized away in theories of epistemic agency, but as necessary underpinnings of good reasoning. We begin with a problem regarding deliberation that calls epistemic agency into question: our reasons in support of belief are never conclusive and never rule out all doubt. Yet we must rule out all doubt to close deliberation; we must (...) close deliberation to form a full belief; and we must form a full belief to have knowledge. The problem with the first step calls the whole into question. The solution (if we seek an alternative to rejecting traditional epistemic agency, including the existence of beliefs) is our limitations: they prevent us from considering all possible doubt, leaving a tractable space of possibilities. When these limitations are virtuous, they contribute to an effective cognitive system. Once we understand the role of our limitations, it will lead us to a deeper understanding of deliberation, belief, epistemic virtue, and epistemic agency. Limitations are as much a part of agency as, for example, logical relations are. Idealizing them away means idealizing away actual agency. (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)

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)

According to group-agent realism, treating groups as agents with their own intentional states, irreducible to those of the group members, helps us explain and predict the groups’ behavior. This paper challenges this view. When groups judge logically interconnected propositions, group members often have incentives to misrepresent their beliefs of propositions they care less about in order to increase the probability of their groups adopting their view of propositions they consider more important. Aggregating such untruthful judgments may lead to the group (...) forming false beliefs. Treating groups as agents will then not help us explain or predict their behavior. (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)

This article examines the potential for moral agency in human resource management practice. It draws on an ethnographic study of human resource managers in a global organization to provide a theorized account of situated moral agency. This account suggests that within contemporary organizations, institutional structures—particularly the structures of Anglo-American market capitalism— threaten and constrain the capacity of HR managers to exercise moral agency and hence engage in ethical behaviour. The contextualized explanation of HR management action directly addresses (...) the question of whether HRM is inherently unethical. The discussion draws on MacIntyre’s conceptualization of moral agency within contemporary social structures. In practice, HR managers embody roles that may not be wholly compartmentalized. Alternative institutional structures can provide HR managers with a vocabulary of motives for people-centred HRM and widen the scope for the exercising of moral agency, when enacted within reflective relational spaces that provide milieus for critical questioning of logics and values. This article aims to contribute to and extend debate on whether HRM can ever be ethical, and provide a means of reconnecting business ethics with longstanding concerns in critical management studies. (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)

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)

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)

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)

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 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)

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 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. (shrink)

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)

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

[Presented at the 52nd Annual Conference of the Society for Phenomenology and Existential Philosophy (SPEP), University of Oregon, 24-26 October. Part of the panel Events, Actions and the Problem of Agency in the Wake of Deleuze’s Logic of Sense, organized in collaboration with Sean Bowden and James Williams.] In this paper I will bring the positions of Gilles Deleuze and Paul Ricoeur into proximity with each other in order to draw out points of conflict. I do not aim to (...) solve these conflicts, nor to develop them into a full clash. Rather, I will show that both Ricoeur and Deleuze develop a theory of novelty that can be characterized as a reversal of Platonism. These theories are not opposed per se, but they differ in orientation. Deleuze situates novelty in the virtual event. This virtual event can be understood as a singular point of transition that transforms one system into another. Or to catch the event in a somewhat more concrete image, it is a kind of metamorphosis (in Kafka’s sense). In contrast, Ricoeur situates novelty in human actions that are played out as a fruitful tension between two poles. This tension opens up a field of potentiality in which new ideas and novel meanings can emerge. Ricoeur has analysed this tension on many levels. Its most basic structure can be found in what Ricoeur calls a living metaphor. This living metaphor is itself something ‘in action’; it brings two opposed semantic fields into a fruitful tension with each other. This tension reveals a previously unnoticed proximity between these two semantic fields, without destroying their distance. In this way a new, third semantic field is opened up that is only given in potential. Ricoeur argues that it is within tensions like this that generative differences arise, resulting in new ideas and novel meanings. The main point of divergence between Deleuze and Ricoeur can therefore be framed in two contrasting pairs: virtual event versus human action; point of transition versus tension (or: metamorphosis versus metaphor). (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)

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)

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)

This book can be useful for college seniors or graduate students who have studied law to some extent. It also can inspire law professors, business people, Members of the National Assembly, administrative officials, in addition to all intellectuals who suffer from whipping or beating due to an incomprehensible legal structure and mandates relevant with their routine desk work. -/- Chapter 1 of this book examines the essence of existing constitution and international law theories directed to the nature of state power, (...) market and civil democracy in a rapidly developing international society in the age of globalization. Most of discussions had been expended to introduce and survey a new legal perception and its logic of reasoning as a law indebted to the concept of world law theory. Chapter 2 studies the core contents of international law according to the chapter on international law and international relations of the United States. It was spelled out to comply with the explanations and comments incorpated within the 4th edition of the Restatement of the United States. -/- Chapter 3 refers to the legal system characterized as a public law and concerning a regulatory measure over the world market by states. An idealistic class of citizens, who emerged for a capitalist hegemony, generally have a status of sovereign, which came into being as owed to their revolution. However, it is also true that the citizens as an individual or laity are required to obey the regulations of state in the market. The interstate commerce clause of the United States Constitution is generally viewed as being shunned with an intention that state governments' measures to regulate the market should not hinder the prosperity of US market at the federal level. WTO laws known to be the most important international trade law, in fact, have a structure similar to the interstate commerce clause of United States Constitution. In this point of view, scholars gave a name to WTO as the world economic constitutional system. In the same vein, WTO member countries should not hinder the prosperity of a single world market as if the Clause requires pursuing that of a single federal market. Chapter 4 summarizes the core of legal norms, which is purported to study the jurisprudence of global market in coverage of fundamental principles espousing the freedom of contract, laws of sales, contract, documentary letter of credit, basic rule on the agencies of civil law. Therefore, we will be exposed to the laws of United Nations convention on the sales contract (CISG), the United Nations contract law, popularly cllled Principles as well as short introductions for the agency laws and cases relating the civil dispute of documentary L/Cs. -/- I am unfeigned to confess that this book is neither thorough nor complete in terms of the craftsmanship of necessary exhaustiveness. So its contents may insufficiently cover issues or discussions as contrary to the author's purpose. However, I have exerted utmostly to include and cover as much as possible what I think is necessary for readers to grasp new theories and basic principles. I plan to add necessary revisions and supplements as opportunities arise. As a scholar, I always feel cautious and sorry about publishing books. However, the development of global market, civil democracy, and the universal legal system related to them is certainly Darwinistic and an evolutionary joy that can be duly sensed in the field of law. I dare to recommend that readers can enjoy. (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)

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)

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)

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)

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)

Contrary to the dominant arguments put forth by Black feminist scholars, this essay argues that W.E.B. Du Bois’ pioneering role in establishing the principles of Black sociology, ethnological arguments and long-range development of Pan-Africanism as an ideological rival to colonial imperialism/Westernism suggests that the masculine roots informing his approach to the Black intellectual endeavor is a positive and humanistic rather than a restrictive marker of his thought. If Du Bois’ masculinization of Black agency and intellectual endeavors were simply indicative (...) of mimesis – his internalization of the very sexism against which he fought anchored to a view of freedom for Black people which materialized as a struggle among men over the control of the bodies of Black women – then there should be textual evidence demonstrating that he (like some of his Black female peers) supported the relegation of Black women to domesticity or was in favor of US imperialism against darker races abroad. But rather than an imitative aspiration towards Black nationalist patriarchy and the subordination of Black women to men’s will, the logical consequence of Du Bois’ masculinist (ethnological) thinking as it relates to the Black intellectual endeavor and the problem of race in America materialized as the formulation of Black sociology to study Black men and women as agents of history who were endowed with unique insights stemming from their experiences of marginalization, his articulation of an anti-colonial and egalitarian Black manhood, and his laying an intellectual basis for Pan-Africanism to emerge as an anti-colonial ideology. (shrink)

The aim of this article is to extend the explanatory power of Martin Thrupp’s legacy within the framework of critical realism. Specifically, it argues that critical realism’s methodological complement, the morphogenetic approach, provides a metatheoretical toolkit that can deepen and expand Thrupp’s realist analysis of school contexts. The article elaborates on how the morphogenetic approach offers a stratified, temporally phased view of causality that integrates structure, agency, and culture (SAC). By foregrounding SAC, it argues for a layered and nuanced (...) understanding of context in education policy analysis, refining Thrupp’s conceptualisation of the constraints and opportunities available to school leaders. The article also delineates how the morphogenetic approach offers greater analytical precision in examining how emergent socio-cultural configurations condition agency and change within global educational systems, particularly through its positing of ‘situational logics’ that predispose agents towards specific courses of action. The final section outlines the potential of the morphogenetic approach for theorising the impact of globalised neoliberalism and managerialism on education, ultimately complementing and sharpening Thrupp’s realist contextualism. The article concludes that Thrupp’s contextual approach can be ‘rebranded’ through the morphogenetic framework, enhancing his realist analysis with a stratified understanding of how global neoliberal forces shape local educational contexts while offering strategies to resist managerialism and promote social justice. (shrink)

This paper argues that self-deception cannot be explained without employing a depth-psychological ("psychodynamic") notion of the unconscious, and therefore that mainstream academic psychology must make space for such approaches. The paper begins by explicating the notion of a dynamic unconscious. Then a brief account is given of the "paradoxes" of self-deception. It is shown that a depth-psychological self of parts and subceptive agency removes any such paradoxes. Next, several competing accounts of self-deception are considered: an attentional account, a constructivist (...) account, and a neo-Sartrean account. Such accounts are shown to face a general dilemma: either they are able only to explain unmotivated errors of self-perception--in which case they are inadequate for their intended purpose--or they are able to explain motivated self-deception, but do so only by being instantiation mechanisms for depth-psychological processes. The major challenge to this argument comes from the claim that self-deception has a "logic" different to other-deception--the position of Alfred Mele. In an extended discussion it is shown that any such account is explanatorily adequate only for some cases of self-deception--not by any means all. Concluding remarks leave open to further empirical work the scope and importance of depth-psychological approaches. (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)

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)

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)

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)

The term ‘propaganda’ is normally taken in the pejorative sense of deceitful messaging. Propaganda is considered dubious if it is produced by a government agency, especially by a ministry of war or propaganda. In this article, I apply the theory of propaganda I sketched in a prior piece in these pages, under which propaganda is simply messaging intended to persuade others to do something or to support something. Under this theory, propaganda is reasonable if but only if it is (...) evidence-based, truthful, broadly logical, not coercive, targeted at mentally competent adults, and transparent—meaning that the audience should be aware that the message is intended to persuade them to do or support something. I then examine three WWII-era government propaganda films, one—A Defeated People (1946)—produced by the British military, and two—The Negro Soldier (1944) and Teamwork (1947)—produced by the American military. I explain first why I chose these particular films. I then analyze these films in some detail and show that while they were not perfectly rational, they all effectively conveyed the persuasive message that the respective militaries wanted to convey. And they did this by meeting all of the criteria for propaganda to be rational. (shrink)