In this paper we show how defeasible logic could formally account for the non-monotonic properties involved in motivational attitudes like intention and obligation. Usually, normal modal operators are used to represent such attitudes wherein classical logical consequence and the rule of necessitation comes into play, i.e., ⊢A/⊢ □A, that is from ⊢A derive ⊢ □A. This means that such formalisms are affected by the Logical Omniscience problem. We show that policy-based intentions exhibit non-monotonic behaviour which could be captured through a (...) non-monotonic system like defeasible logic. To this end we outline a defeasible logic of intention that specifies how modalities can be introduced and manipulated in a non-monotonic setting without giving rise to the problem of logical omniscience. In a similar way we show how to add deontic modalities defeasibly and how to integrate them with other motivational attitudes like beliefs and goals. Finally we show that the basic aspect of the BOID architecture is captured by this extended framework. (shrink)

This chapter offers a concise and elementary introduction to fundamental concepts in deductive and deontic reasoning.

The EU Artificial Intelligence Act (AIA) defines four risk categories for AI systems: unacceptable, high, limited, and minimal. However, it lacks a clear methodology for the assessment of these risks in concrete situations. Risks are broadly categorized based on the application areas of AI systems and ambiguous risk factors. This paper suggests a methodology for assessing AI risk magnitudes, focusing on the construction of real-world risk scenarios. To this scope, we propose to integrate the AIA with a framework developed by (...) the Intergovernmental Panel on Climate Change (IPCC) reports and related literature. This approach enables a nuanced analysis of AI risk by exploring the interplay between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We further refine the proposed methodology by applying a proportionality test to balance the competing values involved in AI risk assessment. Finally, we present three uses of this approach under the AIA: to implement the Regulation, to assess the significance of risks, and to develop internal risk management systems for AI deployers. (shrink)

The EU proposal for the Artificial Intelligence Act (AIA) defines four risk categories: unacceptable, high, limited, and minimal. However, as these categories statically depend on broad fields of application of AI, the risk magnitude may be wrongly estimated, and the AIA may not be enforced effectively. This problem is particularly challenging when it comes to regulating general-purpose AI (GPAI), which has versatile and often unpredictable applications. Recent amendments to the compromise text, though introducing context-specific assessments, remain insufficient. To address this, (...) we propose applying the risk categories to specific AI scenarios, rather than solely to fields of application, using a risk assessment model that integrates the AIA with the risk approach arising from the Intergovernmental Panel on Climate Change (IPCC) and related literature. This model enables the estimation of the magnitude of AI risk by considering the interaction between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We use large language models (LLMs) as an example. (shrink)

This paper proposes an approach to investigate norm-governed learning agents which combines a logic-based formalism with an equation-based counterpart. This dual formalism enables us to describe the reasoning of such agents and their interactions using argumentation, and, at the same time, to capture systemic features using equations. The approach is applied to norm emergence and internalisation in systems of learning agents. The logical formalism is rooted into a probabilistic defeasible logic instantiating Dung’s argumentation framework. Rules of this logic are attached (...) with probabilities to describe the agents’ minds and behaviours as well as uncertain environments. Then, the equation-based model for reinforcement learning, defined over this probability distribution, allows agents to adapt to their environment and self-organise. (shrink)

This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical modal systems (...) by Stolpe, 557–575, 2003), but unfortunately that work used only models and not frames. (shrink)

The publication of this book is an event in the making. All over the world scientists, psychologists, and philosophers are waiting to read Antonio Damasio's new theory of the nature of consciousness and the construction of the self. A renowned and revered scientist and clinician, Damasio has spent decades following amnesiacs down hospital corridors, waiting for comatose patients to awaken, and devising ingenious research using PET scans to piece together the great puzzle of consciousness. In his bestselling Descartes' Error, (...) Damasio revealed the critical importance of emotion in the making of reason. Building on this foundation, he now shows how consciousness is created. Consciousness is the feeling of what happens-our mind noticing the body's reaction to the world and responding to that experience. Without our bodies there can be no consciousness, which is at heart a mechanism for survival that engages body, emotion, and mind in the glorious spiral of human life. A hymn to the possibilities of human existence, a magnificent work of ingenious science, a gorgeously written book, The Feeling of What Happens is already being hailed as a classic. (shrink)

In this paper we investigate the role of performative contradictions in legal discourse. First of all we identify the argumentative roles of performative contradictions and two possible interpretations of them. With this done, we show that one use of performative contradictions can be fruitfully applied in analysing normative speech acts implementing norm enactment, namely, those speech acts that are designed to produce new legal norms. We conclude the paper by showing that our analysis provides strong support for Robert Alexy's claim-to-correctness (...) thesis, according to which speech acts of the norm-enacting kind raise a claim to correctness. (shrink)

This handbook offers a deep analysis of the main forms of legal reasoning and argumentation from both a logical-philosophical and legal perspective. These forms are covered in an exhaustive and critical fashion, and the handbook accordingly divides in three parts: the first one introduces and discusses the basic concepts of practical reasoning. The second one discusses the main general forms of reasoning and argumentation relevant for legal discourse. The third one looks at their application in law as well as at (...) the different areas of legal reasoning. The handbook’s division in three parts reflects its conceptual architecture, since legal reasoning and argumentation are considered in relation to the more general types of reasoning. (shrink)

Resumo: Este texto busca abordar o pensamento de Rosa Luxemburgo a partir da idéia fundamental que sustenta toda sua concepção de política: a noção de que a participação ativa das massas é a base de qualquer processo político e é essencial nos processos revolucionários. Esta idéia nos encaminha para a compreensão da política em Rosa Luxemburgo como aquisição de autonomia popular e é também o cerne de suas idéias acerca de um modelo de socialismo democrático, atravessando sua obra como um (...) todo e repercutindo, até os dias de hoje, na dinâmica política de muitos movimentos sociais e em partes da esquerda contemporâneos.Palavras-chave: socialismo - marxismo - autonomia popular - revolução.: This work aims to approach Rosa Luxemburg's thought from the fundamental idea that sustains her entire political conception: the notion that the active participation of the masses in the foundation of any political process is essential to the revolutionary process. This idea leads to an understanding of Rosa Luxemburg's political advocations such as the acquisition of popular autonomy. It is also the center of her ideas about a model of democratic socialism, pervading her entire work and exerting its effect on the current political dynamics of many movements and sectors of the contemporary left. (shrink)

In der philosophischen Debatte uber den Status und die Funktion von Erkenntnis und Wissen spielt Ernst Cassirers Kulturphilosophie der symbolischen Formen eine wichtige Rolle. Sprache, Mythos, Wissenschaft und Kunst zahlen zu den symbolischen Formen, die Cassirer untersucht, um die geistige Gestaltung des Wirklichen zu verstehen. Nahe an den Wissenschaften zeigt er, wie das Symbolische entsteht, indem dem Sinneseindruck ein Index, eine Ordnung und ein Ort zugewiesen und ein Name verliehen wird. Das Symbolische druckt eine bestimmte Orientierung, eine Grundtendenz und besondere (...) Form des Denkens aus, auch im Feld der Begriffe der Wissenschaften. Cassirers Theorie des Symbols hat die erkenntnistheoretische Konzeption der blossen nachahmenden Abbildung des Wirklichen uberwunden. Das Erkennen hat die Funktion, der gegenstandlichen Welt in ihrer komplexen Mehrdimensionalitat in freier Tatigkeit des Geistes Gestalt und menschliche Bedeutung zu verleihen. Aus seiner Kritik an der aristotelischen Substanz-Ontologie und am dogmatischen Realismus entwickelt Cassirer seine funktionstheoretische Perspektive des Symbolischen, auf deren anti-deterministischer und zugleich nicht-relativistischer Basis von der epistemischen Freiheit des Menschen als <I>animal symbolicum gesprochen werden kann.". (shrink)

Antonio Negri, one of the world's leading scholars on Baruch Spinoza (1632-1677) and his contemporary legacy, offers a straightforward explanation of the philosopher's elaborate arguments and a persuasive case for his ongoing relevance. Responding to a resurgent interest in Spinoza's thought and its potential application to contemporary global issues, Negri demonstrates the thinker's special value to politics, philosophy, and related disciplines. Negri's work is both a return to and an advancement of his initial affirmation of Spinozian thought in _The (...) Savage Anomaly_. He further defends his understanding of the philosopher as a proto-postmodernist, or a thinker who is just now, with the advent of the postmodern, becoming contemporary. Negri also connects Spinoza's theories to recent trends in political philosophy, particularly the reengagement with Carl Schmitt's "political theology," and the history of philosophy, including the argument that Spinoza belongs to a "radical enlightenment." By positioning Spinoza as a contemporary revolutionary intellectual, Negri addresses and effectively defeats twentieth-century critiques of the thinker waged by Jacques Derrida, Alain Badiou, and Giorgio Agamben. (shrink)

A number of significant contributions in the last four decades show that non-normal modal logics can be fruitfully employed in several applied fields. Well-known domains are epistemic logic, deontic logic, and systems capturing different aspects of action and agency such as the modal logic of agency, concurrent propositional dynamic logic, game logic, and coalition logic. Semantics for such logics are traditionally based on neighbourhood models. However, other model-theoretic semantics can be used for this purpose. Here, we systematically study multi-relational structures, (...) whose investigation is still relatively underdeveloped. After a brief introduction to two different versions of multi-relational semantics – which we call strong and weak multi-relational semantics – we proceed to study several modal schemata. Special attention is paid to the schemata CON and D. Finally we offer completeness proofs for several systems using both strong and weak semantic tools: The proofs thus cover both classical system.. (shrink)

Scientists are rapidly mapping the chemical and physical pathways that constitute biological systems, making the complexity of processes such as inheritance, development, evolution, and even the origin of life increasingly tractable. Through genetics and neuroscience, biological understanding is now being extended deeply into the human sciences and has begun to transform our understanding of behavior, mind, culture, and values. The idea of a science-driven unity of knowledge has reemerged in several forms in both reductionist and nonreductionist frameworks. This volume examines (...) some of the extraordinary empirical discoveries that have caused a revival of this idea and presents theories from thinkers in a variety of disciplines, including E. O. Wilson, Eric Kandel, and Elaine Scarry. (shrink)

In this paper we propose an extension of Defeasible Logic to represent and compute different concepts of defeasible permission. In particular, we discuss some types of explicit permissive norms that work as exceptions to opposite obligations or encode permissive rights. Moreover, we show how strong permissions can be represented both with, and without introducing a new consequence relation for inferring conclusions from explicit permissive norms. Finally, we illustrate how a preference operator applicable to contrary-to-duty obligations can be combined with a (...) new operator representing ordered sequences of strong permissions. The logical system is studied from a computational standpoint and is shown to have linear computational complexity. (shrink)

In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model. This model expresses temporal aspects of legal rules, and distinguishes between two main timelines, one internal to a given temporal version of the legal system, and another relative (...) to how the legal system evolves over time. Accordingly, we propose a temporal extension of Defeasible Logic suitable to express this model and to capture abrogation and annulment. We show that the proposed framework overcomes the difficulties discussed in regard to belief and base revision, and is sufficiently flexible to represent many of the subtleties characterizing legal abrogations and annulments. (shrink)

The present collection represents an attempt to bring together several contributions to the ongoing debate pertaining to supervenience of the normative in law and morals and strives to be the first work that addresses the topic comprehensively. It addresses the controversies surrounding the idea of normative supervenience and the philosophical conceptions they generated, deserve a recapitulation, as well as a new impulse for further development. Recently, there has been renewed interest in the concepts of normativity and supervenience. The research on (...) normativity – a term introduced to the philosophical jargon by Edmund Husserl almost one hundred years ago – gained impetus in the 1990s through the works of such philosophers as Robert Audi, Christine Korsgaard, Robert Brandom, Paul Boghossian or Joseph Raz. The problem of the nature and sources of normativity has been investigated not only in morals and in relation to language, but also in other domains, e.g. in law or in the c ontext of the theories of rationality. Supervenience, understood as a special kind of relation between properties and weaker than entailment, has become analytic philosophers’ favorite formal tool since 1980s. It features in the theories pertaining to mental properties, but also in aesthetics or the law. In recent years, the ‘marriage’ of normativity and supervenience has become an object of many philosophical theories as well as heated debates. It seems that the conceptual apparatus of the supervenience theory makes it possible to state precisely some claims pertaining to normativity, as well as illuminate the problems surrounding it. (shrink)

In his work, Jules Coleman has held that the rule of recognition, if conceived of as a shared cooperative activity, should be the gateway through which to incorporate moral constraints on the content of law. This analysis, however, leaves unanswered two important questions. For one thing, we do not know when or even why morality becomes a criterion of legality. And, for another thing, we still do not know what conception of morality it is that we are dealing with. In (...) this article, we will attempt to clarify in greater depth what relations there are between the social practice of law and morality. We will thus see how the cooperative nature of social practices imbues law with a moral force, and how this makes it possible to establish a "weak" connection between law and morality: To see this, we will need to single out some basic features of cooperative social practices, thus setting out a suitable framework for the view just mentioned. (shrink)

Persuasive technologies can adopt several strategies to change the attitudes and behaviors of their users. In this work I synthesize the lessons learned from three empirical case studies on automated persuasion that have been carried out in the last decade in the contexts of: persuasive news recommendations, social robotics, and e-commerce, respectively. In particular, such studies have assessed, in the technological domain, the effects of nudging techniques relying on well known persuasive argumentation schemas and on framing strategies. In discussing the (...) main findings, I will argue that the obtained persuasive effects are due to the fact that such techniques leverage on cognitive mechanisms that refer to the “system 1” types of automatic processes hypothesized in the context of the dual process theory of reasoning. As a consequence of this state of affairs, any automated persuasive systems (used for ethical purposes: e.g. suggesting good health habits) should be able to re-use these types of system 1 strategies in order to gradually take the users in an argumentation territory where system 2 processes can take place. -/- . (shrink)

In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.

Columbia University Press's multivolume _Prison Notebooks_ is the only complete critical edition of Antonio Gramsci's seminal writings in English. Based on the authoritative Italian edition of Gramsci's work, _Quaderni del Carcere_, this comprehensive translation presents the intellectual as he ought to be read and understood, with critical notes that clarify Gramsci's history, culture, and sources; an index of names; and a contextualization of the thinker's ideas against his earlier writings and letters. This set includes notebooks 1 through 8 with (...) all attendant notes and materials and is an indispensible resource for scholars in the humanities and social sciences. (shrink)

In this paper we show that the Hilbert system of agency and ability presented by Dag Elgesem is incomplete with respect to the intended semantics. We argue that completeness result may be easily regained. Finally, we shortly discuss some issues related to the philosophical intuition behind his approach. This is done by examining Elgesem's modal logic of agency and ability using semantics with different flavours.

The theory of the social responsibility of the firm oscillates between two extremes: one that reduces the firm's responsibility to the obtainment of (the greatest possible) profit for its shareholders, and another that extends the firm's responsibility to include a wide range of actors with an interest or "stake" in the firm. The stakeholder theory of the social responsibility of business is more appealing from an ethical point of view, and yet it lacks a solid foundation that would be acceptable (...) to a variety of schools of thought.In this paper I argue that the stakeholder theory could be founded on the concept of the common good. First, I explain the foundations of the theory of the common good, the concept itself, how it relates to the individual good, and its role in the firm. Following that, I explain how the theory of the common good could be applied to the stakeholder theory. Finally, I draw some conclusions. (shrink)

Antonio Gramsci (1891--1937) was one of the most original political thinkers in Western Marxism and an exceptional intellectual. Arrested and imprisoned by the Italian Fascist regime in 1926, Gramsci died before fully regaining his freedom, yet he wrote extensive letters while incarcerated, rich with insight into the physical and psychological tortures of prison. In meticulous detail, Gramsci records how political prisoners, himself included, contend with the fear of illness and death and the rules and regulations that threaten to efface (...) their individuality. Forming an incomparable link between Gramsci's intellectual passion and his emotional vulnerability, _Letters from Prison_ shows a man reconstructing his life while being separated from it, struggling to recapture the primary relationships that once defined his identity. Frank Rosengarten divides more than four hundred Gramsci letters into two companion volumes, complete with a chronology of the thinker's crucial life experiences, biographical notes on his correspondents, and a bibliography of works cited in his letters. (shrink)

Controversies around large-scale development projects offer many cases and insights which may be analyzed through the lenses of corporate social (_ir_)responsibility (CS_I_R) and business ethics studies. In this paper, we confront the CSR narratives and strategies of _WeBuild_ (formerly known as _Salini Impregilo_), an Italian transnational construction company. Starting from the Global Atlas of Environmental Justice (EJAtlas), we collect evidence from NGOs, environmental justice organizations, journalists, scholars, and community leaders on socio-environmental injustices and controversies surrounding 38 large hydropower schemes built (...) by the corporation throughout the last century. As a counter-reporting exercise, we code (un)sustainability discourses from a plurality of sources, looking at their discrepancy under the critical lenses of post-normal science and political ecology, with environmental justice as a normative framework. Our results show how the mismatch of narratives can be interpreted by considering the voluntary, self-reporting, non-binding nature of CSR accounting performed by a corporation wishing to grow in a global competitive market. Contributing to critical perspectives on political CS(I)R, we question the reliability of current CSR mechanisms and instruments, calling for the inclusion of complexity dimensions in and a re-politicization of CS(I)R accounting and ethics. We argue that the fields of post-normal science and political ecology can contribute to these goals. (shrink)

Background Neuroimaging and lesion studies suggested that the dorsolateral prefrontal and posterior parietal cortices mediate visual metacognitive awareness. The causal evidence provided by non-invasive brain stimulation, however, is inconsistent. -/- Objective/hypothesis Here we revisit a major figure discrimination experiment adding a new Kanizsa figure task trying to resolve whether bilateral continuous theta-burst transcranial magnetic stimulation (cTBS) over these regions affects perceptual metacognition. Specifically, we tested whether subjective visibility ratings and/or metacognitive efficiency are lower when cTBS is applied to these two (...) regions in comparison to an active control region. -/- Methods A within-subjects design including three sessions spaced by one-week intervals was implemented. In each session, every participant was administered bilateral cTBS to either prefrontal, control or parietal cortices. Two concurrent tasks were performed, a real and an illusory figure task, stabilising objective performance with use of an adaptive staircase procedure. -/- Results When performing the replicated task, cTBS was found insufficient to disrupt neither visibility ratings nor metacognitive efficiency. However, with use of Kanizsa style illusory figures, cTBS over the dorsolateral prefrontal, but not over the posterior parietal cortex, was observed to significantly diminish metacognitive efficiency. -/- Conclusion(s) Real and illusory figure tasks demonstrated different cTBS effects. A possible explanation is the involvement of the prefrontal cortex in the creation of expectations, which is necessary for efficient metacognition. Failure to replicate previous findings for the real figure task, however, cannot be said to support, conclusively, the notion that these brain regions have a causal role in metacognitive awareness. This inconsistent finding may result from certain limitations of our study, thereby suggesting the need for yet further investigation. (shrink)

Although virtues have gained a firm presence in the theory and practice of corporate management, humility is not ranked as one the chief virtues in the business world. In spite of this, it is an important virtue, contributing to the manager’s moral and professional quality and the development of the company’s human team. This paper explains the basic traits of humility in general and how they manifest in the manager’s life and profession, and shows, within the ethics of virtues, that (...) it is not just a personal desideratum but a fundamental quality of a good manager and good management. (shrink)

This handbook offers a deep analysis of the main forms of legal reasoning and argumentation from both a logical-philosophical and legal perspective. These forms are covered in an exhaustive and critical fashion, and the handbook accordingly divides in three parts: the first one introduces and discusses the basic concepts of practical reasoning. The second one discusses the main general forms of reasoning and argumentation relevant for legal discourse. The third one looks at their application in law as well as at (...) the different areas of legal reasoning. The handbook’s division in three parts reflects its conceptual architecture, since legal reasoning and argumentation are considered in relation to the more general types of reasoning. (shrink)

In this work we present NERVOUS, an intelligent recommender system exploiting a probabilistic extension of a Description Logic of typicality to dynamically generate novel contents in AllMusic, a comprehensive and in-depth resource about music, providing data about albums, bands, musicians and songs. The tool can be used for both the generation of novel music genres and styles, described by a set of typical properties characterizing them, and the reclassification of the available songs within such new genres.

The paper presents the heterogeneous proxytypes hypothesis as a cognitively-inspired computational framework able to reconcile, in both natural and artificial systems, different theories of typicality about conceptual representation and reasoning that have been traditionally seen as incompatible. In particular, through the Dual PECCS system and its evolution, it shows how prototypes, exemplars and theory-theory like conceptual representations can be integrated in a cognitive artificial agent (thus extending its categorization capabilities) and, in addition, can provide useful insights in the context of (...) a computationally grounded science of the mind. (shrink)

This paper presents a practical case study showing how, despite the nowadays limited collaboration between AI and Cognitive Science (CogSci), cognitive research can still have an important role in the development of novel AI technologies. After a brief historical introduction about the reasons of the divorce between AI and CogSci research agendas (happened in the mid’80s of the last century), we try to provide evidence of a renewed collaboration by showing a recent case study on a commonsense reasoning system, built (...) by using insights from cognitive semantics. (shrink)

Dynamic conceptual reframing represents a crucial mechanism employed by humans, and partially by other animal species, to generate novel knowledge used to solve complex goals. In this talk, I will present a reasoning framework for knowledge invention and creative problem solving exploiting TCL: a non-monotonic extension of a Description Logic (DL) of typicality able to combine prototypical (commonsense) descriptions of concepts in a human-like fashion [1]. The proposed approach has been tested both in the task of goal-driven concept invention [2,3] (...) and has additionally applied within the context of serendipity-based recommendation systems [4]. I will present the obtained results, the lessons learned, and the road ahead of this research path. -/- . (shrink)

This work describes an explainable system for emotion attribution and recommendation (called DEGARI (Dynamic Emotion Generator And ReclassIfier) relying on a recently introduced probabilistic commonsense reasoning framework.

Este volumen recoge las ponencias, comunicaciones y coloquios que se ofrecieron en la última reunión organizada por la Asociación Interdisciplinar “José de Acosta” (ASINJA). El tema vertebrador, como indica el título, es el sentido del hombre en el Universo. La toma de conciencia de sí mismo y del Universo en el que se encuentra inmerso, hacen platearse al hombre una serie de preguntas sobre el sentido de las cosas, o sobre el por qué y el para qué de la propia (...) exitencia humana. Estas misma preguntas centran los estudios contenidos en este libro. (shrink)