The discussion of whether psychopaths are morally responsible for their behaviour has long taken place in philosophy. In recent years this has moved into scientific and psychiatric investigation. Responsibility and Psychopathy discusses this subject from both the philosophical and scientific disciplines, as well as a legal perspective.

The concept system around 'quantity' and 'quantity value' is fundamental for measurement science, but some very basic issues are still open on such concepts and their relation. This paper argues that quantity values are in fact individual quantities, and that a complementarity exists between measurands and quantity values. This proposal is grounded on the analysis of three basic 'equality' relations: (i) between quantities, (ii) between quantity values and (iii) between quantities and quantity values. A consistent characterization of such concepts is (...) obtained, which is then generalized to 'property' and 'property value'. This analysis also throws some light on the elusive concept of magnitude. (shrink)

Constitutivism argues that the source of the categorical force of the norms of rationality and morality lies in the constitutive features of agency. A systematic failure to be guided by these norms would amount to a loss or lack of agency. Since we cannot but be agents, we cannot but be unconditionally guided by these norms. The constitutivist strategy has been challenged by David Enoch. He argues that our participation in agency is optional and thus cannot be a source of (...) categorical demands. In this paper, I defend the viability of constitutivism by showing that agency is indeed a special ‘inescapable’ enterprise. Agency has the largest jurisdiction, and it is closed under rational assessment. This inescapability does not exempt constitutivism from raising the question whether agents have reason to be agents, but this question has to be taken up within agency. If this question is answered affirmatively, then—I argue—the criteria of practical correctness are self-ratifying in a non-circular way. This is sufficient to show the viability of the constitutivist strategy. Whether agents have conclusive reasons to be agents, however, is a matter to be addressed in the terms of particular versions of constitutivism. (shrink)

The aim of this paper is to address the semantic issue of the nature of the representation I and of the transcendental designation, i.e., the self-referential apparatus involved in transcendental apperception. The I think, the bare or empty representation I, is the representational vehicle of the concept of transcendental subject; as such, it is a simple representation. The awareness of oneself as thinking is only expressed by the I: the intellectual representation which performs a referential function of the spontaneity of (...) a thinking subject. To begin with, what exactly does Kant mean when he states that I is a simple and empty representation? Secondly, can the features of the representation I and the correlative transcendental designation explain the indexical nature of the I? Thirdly, do the Kantian considerations on indexicality anticipate any of the semantic elements or, if nothing else, the spirit of the direct reference theory? (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

This paper criticizes phenomenal conservatism––the influential view according to which a subject S’s seeming that P provides S with defeasible justification for believing P. I argue that phenomenal conservatism, if true at all, has a significant limitation: seeming-based justification is elusive because S can easily lose it by just reflecting on her seemings and speculating about their causes––I call this the problem of reflective awareness. Because of this limitation, phenomenal conservatism doesn’t have all the epistemic merits attributed to it by (...) its advocates. If true, phenomenal conservatism would constitute a unified theory of epistemic justification capable of giving everyday epistemic practices a rationale, but it wouldn’t afford us the means of an effective response to the sceptic. Furthermore, phenomenal conservatism couldn’t form the general basis for foundationalism. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

The article has the aim to show that Kant’s “standard” conception of the highest good does not represent his last word about the problem. Kant moves from a conception of the highest good close connected with the metaphysical tradition and with the aim of a new, moral justification of traditional metahysical concepts such as God and immortality of the soul. This view does find many difficulties and oscillations in the Critiques, looking for different formulations of a moral “proof” for the (...) metaphysical concepts, grounded upon the need of justice and of a rational solution to the question of theodicy. The failure of this project is apparent with the essay on theodicy. In the last decade of Kant’s intellectual activity, the expression “highest good” occurs few times and the concept looses its systematic relevance, as shown by the last works up to the Opus postumum. (shrink)

There are two standard conceptions of the functioning of and rationale for the diachronic will, i.e., for an agent's capacity to settle on her future conduct in advance. According to the pragmatic-instrumentalist view, the diachronic will benefits us by increasing the long-term satisfaction of our rational preferences. According to the cognitive view, it benefits us by satisfying our standing desire for self-knowledge and self-understanding. Contrary to these views, I argue for a constitutive view of the diachronic will: the rationale for (...) it is that it makes possible to engage in activities with a radically novel temporal structure, activities that are not merely continuous over time, but temporally integrated and unified. These activities are essential to our form of life and to our existence as temporally unified agents. The instrumental and cognitive benefits, if any, are merely secondary to the ontological ones. (shrink)

The analytical notion of ‘scientific style of reasoning’, introduced by Ian Hacking in the middle of the 1980s, has become widespread in the literature of the history and philosophy of science. However, scholars have rarely made explicit the philosophical assumptions and the research objectives underlying the notion of style: what are its philosophical roots? How does the notion of style fit into the area of research of historical epistemology? What does a comparison between Hacking’s project on styles of thinking and (...) other similar projects suggest? My aim in this paper is to answer these questions. Hacking has denied that his project of styles of thinking falls into the field of historical epistemology. I shall challenge his remark by tracing out the connections of the notion of style with historical epistemology and, more in general, with a tradition of thought born in France in the beginning of twentieth-century. (shrink)

In set theory, a maximality principle is a principle that asserts some maximality property of the universe of sets or some part thereof. Set theorists have formulated a variety of maximality principles in order to settle statements left undecided by current standard set theory. In addition, philosophers of mathematics have explored maximality principles whilst attempting to prove categoricity theorems for set theory or providing criteria for selecting foundational theories. This article reviews recent work concerned with the formulation, investigation and justification (...) of maximality principles. (shrink)

In this paper, I discuss whether there are genuinely *diachronic* constraints of practical rationality, that is, pressures on combinations of practical attitudes over time, which are not reducible to mere synchronic rational pressures. Michael Bratman has recently argued that there is at least one such diachronic rational constraint that governs the stability of intentions over time. *Pace* Bratman, I argue that there are no genuinely diachronic constraints on intentions that meet the stringent desiderata set by him. But I show that (...) there are at least two synchronic rational constraints with distinctive and important, although only indirect, diachronic dimensions. Neither of them, however, supports the practical conservatism in the face of normative underdetermination that, according to Bratman, is part and parcel of the diachronic rationality of intention stability. (shrink)

Arbitrariness is a distinctive feature of human language, and a growing body of comparative work is investigating its presence in animal communication. But what is arbitrariness, exactly? We propose to distinguish four notions of semiotic arbitrariness: a notion of opaque association between sign forms and semiotic functions, one of sign‐function mapping optionality, one of acquisition‐dependent sign‐function coupling, and one of lack of motivatedness. We characterize these notions, illustrate the benefits of keeping them apart, and describe two reactions to our proposal: (...) abandoning arbitrariness‐talk in favor of the newly introduced conceptual vocabulary, or feeding the distinctions back into the parent concept. (shrink)

In this paper we argue that an account of proof-theoretic harmony based on reductions and expansions delivers an inferentialist picture of meaning which should be regarded as intensional, as opposed to other approaches to harmony that will be dubbed extensional. We show how the intensional account applies to any connective whose rules obey the inversion principle first proposed by Prawitz and Schroeder-Heister. In particular, by improving previous formulations of expansions, we solve a problem with quantum-disjunction first posed by Dummett. As (...) recently observed by Schroeder-Heister, however, the specification of an inversion principle cannot yield an exhaustive account of harmony. The reason is that there are more collections of elimination rules than just the one obtained by inversion which we are willing to acknowledge as being in harmony with a given collection of introduction rules. Several authors more or less implicitly suggest that what is common to all alternative harmonious collection of rules is their being interderivable with each other. On the basis of considerations about identity of proofs and formula isomorphism, we show that this is too weak a condition for a given collection of elimination rules to be in harmony with a collection of introduction rules, at least if the intensional picture of meaning we advocate is not to collapse on an extensional one. (shrink)

A common feature of all versions of constitutivism is the “simple constitutivist move” to the effect that engagement in any enterprise requires respecting the constitutive standards of the enterpri...

Since the appearance of Prior’s tonk, inferentialists tried to formulate conditions that a collection of inference rules for a logical constant has to satisfy in order to succeed in conferring an acceptable meaning to it. Dummett proposed a pair of conditions, dubbed ‘harmony’ and ‘stability’ that have been cashed out in terms of the existence of certain transformations on natural deduction derivations called reductions and expansions. A long standing open problem for this proposal is posed by quantum disjunction: although its (...) rules are intuitively unstable, they pass the test of existence of expansions. Although most authors view instabilities of this kind as too subtle to be detected by the requirement of existence of expansions, we first discuss a case showing that this requirement can indeed detect instabilities of this kind, and then show how the expansions for disjunction-like connectives have to be reformulated to rule out quantum disjunction. We show how the alternative pattern for expansions can be formulated for connectives and quantifiers whose rules satisfy a scheme originally developed by Prawitz and Schroeder-Heister. Finally we compare our proposal with a recent one due to Jacinto and Read. (shrink)

This chapter discusses the structure of our temporally extended agency. We do not have the power to act directly at a distance, so any of our temporally extended projects must be sustained over its temporal unfolding by momentary actions. We need both the capacity to organize these momentary steps in light of a synoptic overview of the extended activity as a whole and to sustain our motivation to continue to pursue the extended activity. Hence, the distinctive mode in which we (...) act over time is that of ’planning agency,’ which requires a form of temporal identification that goes beyond mere psychological continuity. I then discuss the differences in internal structure between merely continuous and integrated activities, and between telic and atelic ones. I provide a taxonomy of the different kinds of temporal goods and values and how these structures might bear on the risk of crisis of meaning in our temporal existence. I then touch briefly on the issue of how our mortality might make a difference to the structure of what we find valuable and how it relates to the temporal features of our agency. In the closing section, I discuss the effects of the moving temporal location of the agent (with her local executive powers) relative to her extended pursuits, including the asymmetries generated by the distinction between past and future stages of the activity and the moving horizon of what the agent can anticipate and (indirectly) control. (shrink)

This essay tries to rethink Benjamin’s notion of “aura” through the consideration of two authors such as G. Didi-Huberman and D. Costello. The aim is not to distinguish between auratic and postauratic (or non-auratic) works of art, but to rethink the problem of aesthetic perception in the age of mechanical reproduction. More specifically, Costello and Didi-Huberman point out the relation between “aura” and “subjectivity”: on the one hand, the intersubjective (and ethical) nature of an “authentic” (i.e., auratic) experience; on the (...) other hand, the presence of the aura nowadays in the “interplay of gazes” between the (subject-)work and the (subject-)spectator. Works of art are indeed characterized by a “two-fold” or aesthetic “transcendence” – they are at once both inside and outside my world – which enables them to resist the reification into reproducible commodity. (shrink)

It is assumed sometimes that the input of a measurement, and therefore the entity with which a measuring system interacts, is a quantity value, possibly the (true) measurand value, and from this hypothesis the model of ideal measurement as an identity process is formulated. In this paper we show that this position is based on an inappropriate superposition of quantities and quantity values, and therefore should be discarded.

This paper aims at revealing the originality of Max Weber’s conception of the logical category of “historicity”, suggesting that in his writings on the methodology of the social sciences we can find a stimulating and forerunner contribution to the analysis of some logical and formal problems concerning the relationship between human knowledge and the chaos of reality (what we might call, ante-litteram, “science of chaos”). In particular, considering that in Weber’s conception scientific knowledge finds no facts “to grasp” in the (...) natural world, but rather a chaos of unique and infinitely divisible events, the analysis will be focused on the following aspects: (a) Weber’s separation of causal imputation from the notion of necessary (natural) law; (b) the importance attached to “probability judgments” with different degrees of certainty; (c) the proclaimed irreducibility of individual events to scientific models, laws, and (ideal)-types; (d) the effects imputed to the differentiation of the point of view of a scientific observer. (shrink)

A selection of recent philosophical texts—in Italian translation—dealing with the mereology of material objects and the nature of their boundaries. Introduction by L. Morena. Papers by R. M. Chisholm, P. M. Simons, B. Smith, A. Stroll, A. C. Varzi.

1.1.1 In a recent series of papers, G.A. Cohen has presented an egalitarian interpretation of the Difference Principle (hereafter, DP).1 According to this principle—first introduced by Rawls in A Theory of Justice2—inequalities in the distribution of primary goods3 are legitimate only to the extent that they maximize the prospects of the least advantaged members of society. Cohen argues that, once it is properly applied, DP does not legitimate any departure from equality. According to him, the distribution that maximizes the prospects (...) of the least advantaged is the equal distribution. Cohen has offered two kinds of argument in support of the egalitarian conclusion. According to the first argument, differential incentives are not necessary in order to maximize efficiency. According to the second argument, principles of distributive justice apply not only to the basic structure of society but also to the choices made by individuals within those rules. Therefore, talented people should not seek to maximize the gains they can get on the market, thereby making more social product available for the less well off. 4 In this paper, I focus only on Cohen’s first argument. The interesting feature of this argument is that it is presented as an internal criticism of Rawls’ theory of justice. My present concern is to understand to what extent the DP embodies an idea of equality and it is thus amenable to the egalitarian interpretation. I will argue that the first argument fails and that DP allows for the inequalities generated by the use of incentives. The assessment of the second argument merits a separate discussion that I intend to take up in a sequel to this paper. For the time being, I take not stance on the effect of the refutation of the first egalitarian argument on the success of the second one. In this work, I am rather concerned with articulating a novel.. (shrink)

Requiring only a background in elementary calculus and elementary mechanics, this book starts with the basics, introduces the most important developments in classical statistical mechanics over the last thirty years, and guides readers to ...

Arbitrariness is a distinctive feature of human language, and a growing body of comparative work is investigating its presence in animal communication. But what is arbitrariness, exactly? We propose to distinguish four notions of semiotic arbitrariness: a notion of opaque association between sign forms and semiotic functions, one of sign-function mapping optionality, one of acquisition-dependent sign-function coupling, and one of lack of motivatedness. We characterize these notions, illustrate the benefits of keeping them apart, and describe two reactions to our proposal: (...) abandoning arbitrariness-talk in favor of the newly introduced conceptual vocabulary, or feeding the distinctions back into the parent concept. (shrink)

In “Some Remarks on Extending and Interpreting Theories with a Partial Truth Predicate”, Reinhardt [21] famously proposed an instrumentalist interpretation of the truth theory Kripke–Feferman ( $\mathrm {KF}$ ) in analogy to Hilbert’s program. Reinhardt suggested to view $\mathrm {KF}$ as a tool for generating “the significant part of $\mathrm {KF}$ ”, that is, as a tool for deriving sentences of the form $\mathrm{Tr}\ulcorner {\varphi }\urcorner $. The constitutive question of Reinhardt’s program was whether it was possible “to justify the (...) use of nonsignificant sentences entirely within the framework of significant sentences”. This question was answered negatively by Halbach & Horsten [10] but we argue that under a more careful interpretation the question may receive a positive answer. To this end, we propose to shift attention from $\mathrm {KF}$ -provably true sentences to $\mathrm {KF}$ -provably true inferences, that is, we shall identify the significant part of $\mathrm {KF}$ with the set of pairs $\langle {\Gamma, \Delta }\rangle $, such that $\mathrm {KF}$ proves that if all members of $\Gamma $ are true, at least one member of $\Delta $ is true. In way of addressing Reinhardt’s question we show that the provably true inferences of suitable $\mathrm {KF}$ -like theories coincide with the provable sequents of matching versions of the theory Partial Kripke–Feferman ( $\mathrm {PKF}$ ). (shrink)

How psychopaths and their capacity for moral action are viewed is not only philosophically interesting but is also important and relevant for policy. The philosophical discussion of psychopathy has focussed upon the psychological faculties that are prerequisites for moral responsibility and empirical findings regarding psychopathy that are relevant to philosophical accounts of moral understanding and motivation. However, there are legitimate worries about whether psychopathy is a robust scientific construct, and there are risks attached to reifying psychopathy or other psychiatric constructs. (...) We defend the concept of psychopathy by pointing out the relevance of empirical studies about it for our ordinary practices of ascribing moral responsibility and folk psychological accounts of moral understanding and motivation. (shrink)

Human mental workload is arguably the most invoked multidimensional construct in Human Factors and Ergonomics, getting momentum also in Neuroscience and Neuroergonomics. Uncertainties exist in its characterization, motivating the design and development of computational models, thus recently and actively receiving support from the discipline of Computer Science. However, its role in human performance prediction is assured. This work is aimed at providing a synthesis of the current state of the art in human mental workload assessment through considerations, definitions, measurement techniques (...) as well as applications, Findings suggest that, despite an increasing number of associated research works, a single, reliable and generally applicable framework for mental workload research does not yet appear fully established. One reason for this gap is the existence of a wide swath of operational definitions, built upon different theoretical assumptions which are rarely examined collectively. A second reason is that the three main classes of measures, which are self-report, task performance, and physiological indices, have been used in isolation or in pairs, but more rarely in conjunction all together. Multiple definitions complement each another and we propose a novel inclusive definition of mental workload to support the next generation of empirical-based research. Similarly, by comprehensively employing physiological, task-performance, and self-report measures, more robust assessments of mental workload can be achieved. (shrink)

This paper concerns the role of the unconscious in technology. The central thesis is that there exists an experience of non-acceptance and failed incorporation of technology, which (a) does not depend on the technical engineering dimension of the artifact but (b) instead concerns the relationship between the human unconscious and the artifact. This thesis is supported and developed through the analysis of a case study – that is, the creation and development of the first version of Google Glass. The failure (...) of the first version of Google Glass is explained in terms of the non-acceptance of this technology. This paper presents an analysis of users’ experiences and comments as a basis for interpreting the relationship between the unconscious and technology. Their non-acceptance of this technology is explained and further clarified from a postphenomenological point of view, utilizing the concept of “technological uncanny.” The analysis suggests that antimediation can be understood as a form of noise. In fact, as non-acceptance, antimediation directly concerns the relationship between contingency and control. (shrink)

I investigate the structure of pro-tempore disjunctive intentions: intentions directed at two or more eventually incompatible goals that are nonetheless kept open for the time being, while the agent is waiting to acquire more information to determine which option is better. These intentions are the basic tool for balancing, in our planning agency, rigidity and flexibility, stability and responsiveness to changing circumstances. They are a pervasive feature of intentional diachronic agency and contribute to secure dynamic consistency in our plans. I (...) show how they differ from simple disjunctive intentions, where the agent is indifferent between the options. I argue that pro-tempore disjunctive intentions meet the distinctive pressures of intentions and that, contrary to the initial impressions, they are both stable and successful at settling practical matters. In closing, I argue that pro-tempore disjunctive intentions are all-out intentions that are more explanatorily powerful than Holton's "partial" intentions. (shrink)

This paper offers an overview of the ways agents might extend over time and the characteristic structure of extended human agency. Agency can extend in two distinct but combinable modes: the ontological, which gives rise to simple continuous agents; and the conceptual, which gives rise to agents who conceive of and care about distal times, and have minimal planning abilities. Our extended form of agency combines both. But we are still limited by the temporal locality in the operation of our (...) psychological and executive powers. To account for this locality, I introduce the notion of 'temporal selves,' as the loci of immediacy in the agent's determination of their psychology, conduct, and practical standpoint. I argue that the passage of time generates, by itself, the threat of temporal alienation from distant temporal selves. A genuinely extended agency requires temporal identification: the sharing, by separate temporal selves, of a temporally extended and integrated practical standpoint. This temporal identification cannot be produced simply by temporal identity as continuity. What is required is temporal identity in the mode of unity and integration. This identity does not precede temporal identification but is co-constituted with it. I offer a preliminary account of the structure of the units of integration for agents who aspire to persist in the mode of unity and integration. I close with a cautionary note: the complex structure of integration, although familiar in everyday life, is often missed by standard philosophical accounts, which tend to focus on simple models of extended agency. (shrink)

L’articolo affronta la questione della persistenza degli artefatti e propone una soluzione alternativa a quelle convenzionaliste. Sebbene si riconosca che i criteri di persistenza degli artefatti sono diversi da quelli adoperati per le entità di genere naturale, si sostiene che questi criteri possono essere fissati evitando l’introduzione di elementi convenzionali. Al centro di questa proposta, si trova la nozione di sostituzione prolungante. La cornice di partenza generale è la teoria dei continuanti elaborata da David Wiggins. Tuttavia, svolgono un ruolo centrale (...) le riflessioni di Maurizio Ferraris a proposito della documentalità. Queste riflessioni sono utilizzate per precisare la nozione di type artefattuale che consente di superare il convenzionalismo di Wiggins relativo agli artefatti. Infine, l’efficacia di questa proposta viene mostrata affrontando uno dei luoghi classici della metafisica degli artefatti, il rompicapo della nave di Teseo. (shrink)

Tracciare un percorso netto e polivalente che contribuisca a chiarificare – o, almeno, a comprendere – adeguatamente un’esperienza estetica è un’impresa, come già ricordava Jauss in Ästhetische Erfahrung und literarische Hermeneutik, tutt’altro che isolabile dall’ausilio di tradizioni e contesti di varia provenienza. Rimodulando a più riprese gli approcci e partendo da posizioni a priori non squalificanti (ma, non per questo, “deboli”) ci si rende conto che la questione non pertiene solo – co...