Hassin recently proposed the “Yes It Can” (YIC) principle to describe the division of labor between conscious and unconscious processes in human cognition. According to this principle, unconscious processes can carry out every fundamental high-level cognitive function that conscious processes can perform. In our commentary, we argue that the author presents an overly idealized review of the literature in support of the YIC principle. Furthermore, we point out that the dissimilar trends observed in social and cognitive psychology, with respect to (...) published evidence of strong unconscious effects, can better be explained by the way how awareness is defined and measured in both research fields. Finally, we show that the experimental paradigm chosen by Hassin to rule out remaining objections against the YIC principle is unsuited to verify the new default notion that all high-level cognitive functions can unfold unconsciously. (shrink)

Savage et al. argue for musicality as having evolved for the overarching purpose of social bonding. By way of contrast, we highlight contemporary predictive processing models of human cognitive functioning in which the production and enjoyment of music follows directly from the principle of prediction error minimization.

According to virtue epistemology, the main aim of education is the development of the cognitive character of students (Pritchard, 2014, 2016). Given the proliferation of technological tools such as ChatGPT and other LLMs for solving cognitive tasks, how should educational practices incorporate the use of such tools without undermining the cognitive character of students? Pritchard (2014, 2016) argues that it is possible to properly solve this ‘technology-education tension’ (TET) by combining the virtue epistemology framework with the theory of extended cognition (...) (EXT) (Clark and Chalmers, 1998). He argues that EXT enables us to consider tools as constitutive parts of the students’ cognitive system, thus preserving their cognitive character from technologically induced cognitive diminishment. The first aim of this paper is to show that this solution is not sufficient to solve the TET. Second, I aim to offer a complementary and more encompassing framework of tool-use to address the TET. Then, I apply it to the educational uses of ChatGPT as the most notable example of LLM, although my arguments can be extended to other generative AI systems. To do so, in Sect. 1.1, I present Pritchard’s framework of cognitive character and virtue epistemology applied in education, to which I am committed in this treatment. In Sects. 2 and 3, I respectively illustrate Pritchard’s (2014) solution to the TET, and I highlight the general limitations of his proposal. Thus, in Sect. 4.1 I characterize ChatGPT as a computational cognitive artifact using Fasoli’s (2017, 2018) taxonomy of cognitive artifacts. In Sect. 4.2, I introduce my proposal, which combines Pritchard’s account of virtue epistemology with Fasoli’s (2017, 2018) taxonomy of cognitive artifacts to address the TET. Finally, in Sect. 5.1, I present some epistemically virtuous uses of ChatGPT in educational contexts. To conclude, I argue in favor of a multidisciplinary approach for analyzing educational activities involving AI technologies such as ChatGPT. (shrink)

Given the metaphysical and explanatory stalemate between Embedded and Extended cognition, different authors proposed moral arguments to overcome such a deadlock in favor of EXT. Farina and Lavazza attribute to EXT and EMB a substantive moral content, arguing in favor of the former by virtue of its progressiveness and inclusiveness. In this treatment, I criticize four of their moral arguments. In Sect. 2, I focus on the argument from legitimate interventions and on the argument from extended agency. Section 3 concerns (...) the argument from better protection and the argument from better treatment. Sections 4 and 5 are dedicated to counterarguments against each respectively. By distinguishing between EXT and the extended view, I argue that it is sufficient to use this second version for directly addressing and evaluating moral problems on normative grounds, independently of the causal or constitutive cognitive influence of the external resource on the agents’ minds. Moreover, I argue that the arguments and assumptions used by EXT theorists do not foster values of progressiveness and inclusiveness. To conclude, in Sect. 6, I show that the analysis of each argument converges on the conclusion that EXT does not have substantive moral content and implications per se, since they always depend on further assumptions. (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)

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)

This paper provides an analysis of how concepts pertinent to legal contracts can influence certain aspects of their digital implementation through smart contracts, as inspired by recent developments in distributed ledger technology. We discuss how properties of imperative and declarative languages including the underlying architectures to support contract management and lifecycle apply to various aspects of legal contracts. We then address these properties in the context of several blockchain architectures. While imperative languages are commonly used to implement smart contracts, we (...) find that declarative languages provide more natural ways to deal with certain aspects of legal contracts and their automated management. (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.

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.

This paper develops its exegetical claim by building mainly on a reconstruction of a central argument in the Critique of Pure Reason and supporting it with material from Kant’s other critical works. It argues that Kant’s philosophy does not permit us any judgment about things in themselves whatsoever. This could be called a form of ignorance, albeit a unique one. On the developed reading, Kant claims that there cannot be any objectively valid judgment about things in themselves, and since so-called (...) judgments without objective validity are actually no judgments at all, there is no judgment about things in themselves available to us – not even a negative one. The paper considers the theses and antitheses of the antinomies, analytic judgments, and the practical postulates as potential candidates for such judgments, each of which fail the objectivity test. It ends by concluding that we should read Kant’s critical writings in such a way that they do not feature any judgments about things in themselves and suggests one way to do so: putative judgments of this sort could be read as higher-order judgments about the concept of a thing in itself. (shrink)

Los fetos, los animales, los cristos malapartianos y pasolinianos nos recuerdan, por encima de todo, que la diagnosis del final de Europa y de su cultura dos veces milenaria comienza con el eclipse del llanto, con la desaparición de la piedad. Porque, a fin de cuentas, de las lágrimas de Aquiles sobre la cabeza canosa de Príamo nació todo. Pasolini y Malaparte sienten intensamente este colapso de la civilización y responden de maneras sorprendentemente afines. Esta contribución inicia una verificación sobre (...) la relación entre los dos escritores más heterodoxos del Novecientos italiano. (shrink)

Recent years have yielded many discussions on how to endow autonomous agents with the ability to make ethical decisions, and the need for explicit ethical reasoning and transparency is a persistent theme in this literature. We present a modular and transparent approach to equip autonomous agents with the ability to comply with ethical prescriptions, while still enacting pre-learned optimal behaviour. Our approach relies on a normative supervisor module, that integrates a theorem prover for defeasible deontic logic within the control loop (...) of a reinforcement learning agent. The supervisor operates as both an event recorder and an on-the-fly compliance checker w.r.t. an external norm base. We successfully evaluated our approach with several tests using variations of the game Pac-Man, subject to a variety of “ethical” constraints. (shrink)

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 article aims to explore the debate on human enhancement from the perspective of the evolutions of responsibility paradigms, and in particular from the perspective of the so-called Responsible Research and Innovation approach. The aim is not to explore the arguments pro or contra the ethical legitimacy and/or technical feasibility of human enhancement, but rather exploring if, and how, the RRI perspective can shape the debate on human enhancement.In particular, the human enhancement debate will be read through the lenses of (...) four main responsibility paradigms that we sketch by examining both, the historical and conceptual evolution of the responsibility idea and the dynamics of its ascription. In order to provide a useful scheme for interpreting human enhancement, RRI will be characterised as a distinctive responsibility model that can subsequently be used to frame the debate on HE with a particular emphasis on its normative implications, as well as on its social and political significance. (shrink)

This paper provides a computational framework, based on defeasible logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-Pörn account of organised interaction, which describes this interaction within a multi-modal logical setting. This work focuses in particular on the notions of counts-as link and on those of attempt and of personal and direct action to realise states of affairs. We show how standard defeasible logic (DL) can be extended to represent these concepts: the resulting system preserves some basic (...) properties commonly attributed to them. In addition, the framework enjoys nice computational properties, as it turns out that the extension of any theory can be computed in time linear to the size of the theory itself. (shrink)

In this paper, I shall discuss the assumption that Kant’s method in the Critique of Pure Reason is a transcendental analysis of experience. In order to do this, I will consider the conception of transcendental analysis that Marburg Neo-Kantianism powerfully introduced into Kant interpretation. I shall first develop a general model of transcendental analysis in the Marburg sense. I shall then ask whether this is a suitable model for the interpretation of the first Critique. Kant’s distinction between the analytic and (...) synthetic method in the Prolegomena seems to contradict this, given that it is a distinction between two different mathematical methods of demonstration. However, I shall argue that any such reading is incompatible with the Critique, and that transcendental analysis is indeed a legitimate interpretative model for understanding Kant. I shall finally turn to Strawson’s conception of descriptive metaphysics, which has strong affinities to Kant and the Marburg school. Most importantly, Strawson helps us to understand three significant aims at which transcendental analysis is directed. Finally, comparing transcendental analysis to dominant conceptions of analysis in philosophy, I shall argue that it constitutes a variety of philosophical analysis sui generis. (shrink)

After a brief reconstruction of the principle of precaution’s juridical rising, I will discuss in short the question of the juridical nature of the same principle and then examine some of its extra-juridical implications, showing how the intrinsic logic of the principle of precaution implies a strict connection with the needs and proper forms of a conception of democracy as participative.

While the legal concept of a subject of rights is eminently an abstraction, Ricoeur’s philosophical challenge seeks to rethink its identity within the philosophy of action, in correlation with the ideas of capacity, attestation, and recognition. The terminology Ricoeur employs presents some significant marks of this theoretical stance, as he speaks of a “veritable” or a “real” subject of rights as distinguished from the purely formal one. I argue that Ricoeur’s approach to the legal subject attains its highest meaning in (...) connection with the renewal of the semantics of responsibility in a prospective sense. In particular, I contend that Ricoeur’s idea of a “veritable” subject of rights deploys its full theoretical potential in relation to a prospective idea of responsibility in contrast to the “static” perspective of the ascription of rights and duties. Reciprocally, a prospective idea of responsibility deploys its full meaning in relation to a subject of rights not reduced to a legal abstraction since, as far as narrative identity is implied, this subject is and has to be an embodied one. I shall show that the thesis advocating a projection of responsibility towards the future may have some significant theoretical implications, in particular in relation to the effect of techno-scientific development in areas such as Artificial Intelligence. (shrink)

Cette contribution entend examiner la place que la référence au droit, et plus largement au phénomène juridique, occupe dans la dernière phase de la réflexion de Ricœur autour du sujet capable. Le droit joue en effet un rôle d’une importance croissante dans l’articulation de l’anthropologie capacitaire définie dans la “petite éthique” à travers une reconfiguration profonde de ses catégories fondamentales, notamment celle de sujet de droit et celle de responsabilité. Les implications d’un tel renouveau théorique seront prises en compte, tant (...) pour l’articulation interne de la pensée du dernier Ricœur que pour leurs potentielles retombées dans la théorie du droit contemporaine. (shrink)

Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue 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. The proposed technique alleviates most of the problems related to logical omniscience. The proof theory given shows how our approach helps in the maintenance of intention-consistency in agent systems (...) like BDI. (shrink)