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)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...) complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

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.

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)

In this chapter, we investigate whether psychopathy is a mental disorder. We argue that addressing this question requires engaging, at least, with three principal issues that have conceptual, empirical, and normative dimensions. First, it must be established whether current measures of psychopathy individuate a unitary class of individuals. By this we mean that persons classifed as psychopaths should share some relevant similarities that support explanation, prediction, and treatment. Second, it must be proven that psychopathy harms the person who has it. (...) Third, it must be established that the harm associated with psychopathy is relevant for the ascription of disorder status. Regarding this latter issue, we argue that psychopathy should be considered a disorder if its harmfulness derives from certain incapacities or limited capacities. These incapacities should affect basic competences that are justifably required for conducting a preferable type of life. Within this framework, we tentatively advance the hypothesis that some normatively justifed conclusions and empirical evidence about psychopathy, that needs nonetheless to be further investigated, might support the claim that people with psychopathy have a mental disorder. (shrink)

Åsa Burman has recently introduced the important notion of telic power and differentiated it from deontic power in an attempt to build a bridge between ideal and non-ideal social ontology. We find Burman’s project promising but we argue that more is to be done to make it entirely successful. First, there is a palpable tension between Burman’s claim that telic power can be ontologically independent of deontic power and her examples, which suggests that these forms of power share the same (...) basis. Second, it is not completely clear how telic power helps non-ideal social ontologists explain oppression, since Burman thinks that both forms of power are transparent to social agents. We offer solutions to both problems. First, we question the thesis that telic power can exist without deontic power. Burman contends that this is possible because some social roles involving telic power can exist independently of institutions, which are––in her opinion––the source of deontic power. Against Burman, we suggest that all social roles involve deontic power, whether or not they are institutional. Second, we argue that while the exercise of deontic power requires a mutual recognition of the social roles of the interacting agents and, therefore, an acceptance of the associated norms, the exercise of telic power does not require acceptance of the relevant norms. This is why invoking telic power is useful in explaining how oppression and injustice can arise. Lastly, we suggest that the relation between teleological normativity and telic power has not been fully clarified by Burman and requires a deeper analysis. (shrink)

This book explains the ethical and conceptual tensions in the use of psychopathy in different countries, including America, Canada, the UK, Croatia, Australia, and New Zealand. It offers an extensive critical analysis of how psychopathy functions within institutional and social contexts. Inside, readers will find innovative interdisciplinary analysis, written by leading international experts. The chapters explore how different countries have used this diagnosis. A central concern is whether psychopathy is a mental disorder, and this has a bearing upon whether it (...) should be used. The book’s case studies will help readers understand the problems associated with psychopathy. Academics and students working in the philosophy of psychiatry, bioethics, and moral psychology will find it a valuable resource. In addition, it will also appeal to mental health professionals working in forensic settings, psychologists with an interest in the ethical implications of the use of psychopathy as a construct and particularly those with a research interest in it. (shrink)

This paper focuses on whether static images can depict motion. It is natural to say that pictures depicting objects caught in the middle of a dynamic action—such as Henri Cartier-Bresson’s (1932) Behind the Gare St. Lazare—are pictures of movement, but, given that pictures themselves do not move, can we make sense of such an idea? Drawing on results from experimental psychology and cognitive sciences, I show that we can. Psychological studies on implicit motion and representational momentum indicate that motion is (...) really perceived in some static images: our visual system is built in order to detect motion, even where it is only implied, and to anticipate the probable outcomes of others’ actions—even when the ‘others’ are only the subject matters of pictures’. I argue that, consequently, a range of popular depiction theories—perceptualist theories of depiction—can accommodate depicted motion. (shrink)

Timothy Smiley’s wonderful paper ‘Rejection’ (1996) is still perhaps not as well known or well understood as it should be. This note first gives a quick presentation of themes from that paper, though done in our own way, and then considers a putative line of objection – recently advanced by Julien Murzi and Ole Hjortland (2009) – to one of Smiley’s key claims. Along the way, we consider the prospects for an intuitionistic approach to some of the issues discussed in (...) Smiley’s paper. (shrink)

First collected in Italy in 1985, _Art's Claim to Truth_ is considered by many philosophers to be one of Gianni Vattimo's most important works. Newly revised for English readers, the book begins with a challenge to Plato, Aristotle, Kant, and Hegel, who viewed art as a metaphysical aspect of reality rather than a futuristic anticipation of it. Following Martin Heidegger's interpretation of the history of philosophy, Vattimo outlines the existential ontological conditions of aesthetics, paying particular attention to the works of (...) Kandinsky, which reaffirm the ontological implications of art. Vattimo then builds on Hans-Georg Gadamer's theory of aesthetics and provides an alternative to a rationalistic-positivistic criticism of art. This is the heart of Vattimo's argument, and with it he demonstrates how hermeneutical philosophy reaffirms art's ontological status and makes clear the importance of hermeneutics for aesthetic studies. In the book's final section, Vattimo articulates the consequences of reclaiming the ontological status of aesthetics without its metaphysical implications, holding Aristotle's concept of beauty responsible for the dissolution of metaphysics itself. In its direct engagement with the works of Gadamer, Heidegger, and Luigi Pareyson, _Art's Claim to Truth_ offers a better understanding of the work of Vattimo and a deeper knowledge of ontology, hermeneutics, and the philosophical examination of truth. (shrink)

In this paper we focus on two claims, put forward by Feyerabend in his later writings , which constitute the metaphysical core of his view of scientific inquiry. The first, that we call the pliability thesis, is the claim that the world can be described by indefinitely many conceptual systems, none of them enjoying a privileged status. The second, that we call the resistance thesis, is the claim that the pliability of the world is limited, i.e., not all the different (...) conceptual systems that can be used to describe the world will be equally successful: the world offers resistance to some attempts to describe it. We show that, in spite of the later Feyerabend’s notorious antirealist leanings, the pliability thesis is fully compatible with a robustly realist view of science, and we suggest that, surprisingly, Feyerabend’s insights concerning the limited pliability of the world turn out to be those of a potential ally of sophisticated versions of scientific realism. (shrink)

A 'self-refutation argument' is any argument which aims at showing that a certain thesis is self-refuting. This study was the first book-length treatment of ancient self-refutation and provides a unified account of what is distinctive in the ancient approach to the self-refutation argument, on the basis of close philological, logical and historical analysis of a variety of sources. It examines the logic, force and prospects of this original style of argumentation within the context of ancient philosophical debates, dispelling various misconceptions (...) concerning its nature and purpose and elucidating some important differences which exist both within the ancient approach to self-refutation and between that approach, as a whole, and some modern counterparts of it. In providing a comprehensive account of ancient self-refutation, the book advances our understanding of influential and debated texts and arguments from philosophers like Democritus, Plato, Aristotle, Epicurus, the Stoics, the Academic sceptics, the Pyrrhonists and Augustine. (shrink)

I review recent work on Phenomenal Conservatism, the position introduced by Michael Huemer according to which if it seems that P to a subject S, in the absence of defeaters S has thereby some degree of justification for believing P.

In this paper, we develop an impure somatic theory of emotion, according to which emotions are constituted by the integration of bodily perceptions with representations of external objects, events, or states of affairs. We put forward our theory by contrasting it with Prinz's pure somatic theory, according to which emotions are entirely constituted by bodily perceptions. After illustrating Prinz's theory and discussing the evidence in its favor, we show that it is beset by serious problems—i.e., it gets the neural correlates (...) of emotion wrong, it isn't able to distinguish emotions from bodily perceptions that aren't emotions, it cannot account for emotions being directed towards particular objects, and it mischaracterizes emotion phenomenology. We argue that our theory accounts for the empirical evidence considered by Prinz and solves the problems faced by his theory. In particular, we maintain that our theory gives a unified and principled account of the relation between emotions and bodily perceptions, the intentionality of emotions, and emotion phenomenology. (shrink)

What are words and how should we individuate them? There are two main answers on the philosophical market. For some, words are bundles of structural-functional features defining a unique performance profile. For others, words are non-eternal continuants individuated by their causal-historical ancestry. These conceptions offer competing views of the nature of words, and it seems natural to assume that at most one of them can capture the essence of wordhood. This paper makes a case for pluralism about wordhood: the view (...) that there is a plurality of acceptable conceptions of the nature of words, none of which is uniquely entitled to inform us as to what wordhood consists in. (shrink)

We present a natural deduction system for dual-intuitionistic logic. Its distinctive feature is that it is a single-premise multiple-conclusions system. Its relationships with the natural deduction systems for intuitionistic and classical logic are discussed.

The crucial problem in the philosophy of psychiatry is to determine under which conditions certain behaviors, mental states, and personality traits should be regarded as symptoms of mental illnesses. Participants in the debate can be placed on a continuum of positions. On the one side of the continuum, there are naturalists who maintain that the concept of mental illness can be explained by relying on the conceptual apparatus of the natural sciences, such as biology and neuroscience. On the other side (...) of the continuum, there are normativists who maintain that the appropriate characterization of the concept of mental illness cannot avoid reference to epistemic, moral and other social values. Although, this article is primarily an introduction to the debate, we stress the importance of the normativist positions. (shrink)

In 1886, Nietzsche felt the need to exercise a retrospective look at the works he had written up to that point. Hence, the writing of a series of prefaces (Vorreden). They can be considered and read as a thematically unified textual body. Rereading them as a unified work allows us to recognise their value as an “auto-pathobiography”. In it, the concepts of health and illness occupy a central position that Nietzschean research has long been questioning. Nevertheless, in reflecting on health (...) and illness, in the Vorreden, Nietzsche also prepares the fundamental epistemological move that will enable him to gradually and increasingly shift his speculative focus from the autoanalytical and biographical to the genealogical plane and authorise him to look at his main object of research, the moral phenomenon, as no other thinker had done before. (shrink)

The aim of this paper is to clarify what kind of normativity characterizes a convention. First, we argue that conventions have normative consequences because they always involve a form of trust and reliance. We contend that it is by reference to a moral principle impinging on these aspects (i.e. the principle of Reliability) that interpersonal obligations and rights originate from conventional regularities. Second, we argue that the system of mutual expectations presupposed by conventions is a source of agreements. Agreements stemming (...) from conventions are “tacit” in the sense that they are implicated by what agents do (or forbear from doing) and without that any communication between them is necessary. To justify this conclusion, we assume that: (1) there is a salient interpretation, in some contexts, of everyone’s silence as confirmatory of the others’ expectations (an epistemic assumption), and (2) the participating agents share a value of not being motivated by hostile attitudes (a motivational assumption). By clarifying the relation between conventions and agreements, the peculiar normativity of conventions is analyzed. (shrink)

Mathematical realists have long invoked the categoricity of axiomatizations of arithmetic and analysis to explain how we manage to fix the intended meaning of their respective vocabulary. Can this strategy be extended to set theory? Although traditional wisdom recommends a negative answer to this question, Vann McGee (1997) has offered a proof that purports to show otherwise. I argue that one of the two key assumptions on which the proof rests deprives McGee's result of the significance he and the realist (...) want to attribute to it. I consider two strategies to deal with the problem --- one of which is outlined by McGee himself (2000) --- and argue that both of them fail. I end with some remarks on the prospects for mathematical realism in the light of my discussion. (shrink)

In this paper we aim to offer a balanced argument to motivate (re)thinking about the mental illness clause within the insanity defence. This is the clause that states that mental illness should have a relevant causal or explanatory role for the presence of the incapacities or limited capacities that are covered by this defence. We offer three main considerations showing the important legal and epistemological roles that the mental illness clause plays in the evaluation of legal responsibility. Although we acknowledge (...) that these advantages could be preserved without having this clause explicitly stated in the law, we resist proposals that deny the importance of mental illness in exculpation. We argue, thus, that any attempt at removing the mental illness clause from legal formulations of the insanity defence should offer alternative ways of keeping in place these advantages. (shrink)

The book provides an overview of the contemporary discussion of the mind-body problem. This discussion takes its modern form during the 17th century in the works of René Descartes. The book covers the most important points of view in modern philosophy of mind. An important thesis of the book is that contemporary debates are still heavily influenced by Descartes’ arguments, especially those related to the nature of consciousness. (Google translate).

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)

Cet ouvrage est issu du colloque Beyond East and West. Hellenistic Commagene in its Local and Global Eurasian Contest, organisé en 2018 à l’Université de Münster. Prenant place dans le cadre d’une collaboration entre le Forschungsstelle Asia Minor et le cluster of excellence « Religion and Politics », ce rassemblement a vu la constitution d’un panel impressionnant de chercheurs issus de différentes disciplines. Le livre qui en résulte se présente sous la forme de 19 contributions réparties en...

This article criticizes Laura Valentini's criterion for distinguishing good and bad idealizations in normative political theory. I argue that, on an attentive reading of her criterion, all ideal theories she discusses must be written off as incorporating bad idealizations. This fact makes Valentini's criterion trivially implausible, for it is argued that there are good idealizations that succeed in promoting the action-guiding goal of ideal theory. Upon rejecting an attempt to salvage the idealizations that Valentini marks off as bad, I develop (...) an alternative criterion for demarcating good and bad idealizations. The criterion holds that the standing of a theory's idealized assumptions depends on whether the stipulated idealizations can be feasibly realized in the non-ideal world, and thus on whether the principles that the theory generates can be made relevant for real-world practice. I also claim that the feasibility criterion better reflects the function of idealization in promoting action-guidance. Unlike Valentini's criterion, the feasibility criterion yields the result that Rawls' theories of domestic and international justice both incorporate bad idealizations. (shrink)

In this paper we show how Dummett-Prawitz-style proof-theoretic semantics has to be modified in order to cope with paradoxical phenomena. It will turn out that one of its basic tenets has to be given up, namely the definition of the correctness of an inference as validity preservation. As a result, the notions of an argument being valid and of an argument being constituted by correct inference rules will no more coincide. The gap between the two notions is accounted for by (...) introducing the distinction between sense and denotation in the proof-theoretic-semantic setting. (shrink)

In the first chapter, we discuss Dummett’s idea that the notion of truth arises from the one of the correctness of an assertion. We argue that, in a first-order language, the need of defining truth in terms of the notion of satisfaction, which is yielded by the presence of quantifiers, is structurally analogous to the need of a notion of truth as distinct from the one of correctness of an assertion. In the light of the analogy between predicates in Frege (...) and open formulas in Tarksi, we concentrate on the semantic status of predicates. We register a dual attitude of Dummett towards Frege’s ascription of reference to predicates. On the one it is needed to endow quantifiers with their appropriate meaning. On the other hand, the introduction of concepts, as semantic correlate of predicates, smuggles a realist flavor in the overall semantic picture. In concluding the excursus (and with it the chapter), we stress Dummett’s will of developing a semantic picture free from this realist trait. In the second chapter, we present the idea of a proof-theoretic semantics. As for Frege true sentences denotes the truth-value True, so here closed' (i.e. categorical) valid argumentations denotes proofs. If a language contains implication-like operators, in order to characterize the condition of validity of a closed argumentation one has to introduce a notion of validity applying to ‘open’ (i.e. hypothetical) argumentations. We argue that this problem is analogous to the one posed by quantifiers in Frege-Tarksi’s style semantics. That is, implication forces one to introduce notion of validity for argumentations, which is more substantial than the correctness of the assertion of their conclusions. As we saw, the corresponding claim in the truth-based approach—that quantifiers require one to introduce a notion of truth, which is more substantial than the one of an assertion being correct—was the source of realism. Hence, Dummett proposes to reduce the semantic contribution of open argumentations to the one of their ‘closed instances’. In the truth-based perspective, this would correspond to the denial of the need of introducing concepts as the semantic correlates of predicates. We argue that Dummett’s fear, that an irreducible notion of function (represented by the need of ascribing validity to open argumentations) would lead to realism, turns out to be ill-founded. In the third chapter, we discuss the role played by the notion of truth in the anti-realist account. The notion of truth is what the anti-realist needs to cope with the so-called paradox of deduction. The analysis of the paradox yields to distinguishing between the truth of a sentence and the truth of a sentence being recognized. In terms of these conceptual couple, we reconsider the relationship between truth and assertion in an anti-realist perspective. Grounds are provided for a thesis (which was already advanced in chapter two), according to which the notion of the assertion of a sentence being correct is primarily connected only with the canonical means of establishing a sentence. The possibility of establishing a sentence by indirect means is conceptually dependent on the practice of establishing logical relationship of dependence among sentences. That is, the notion of a closed valid non-canonical argumentation is of any theoretical relevance only in presence of a notion of validity applying to open argumentations. In the fourth chapter, we discuss the possibility of characterizing in the proof-theoretic-semantics a notion of refutation. We develop an original characterization of refutations starting from an informal inductive specification of the condition of refutations of logically complex sentences. A sub-structural logic, called dual-intuitionistic logic, stands to this notion in the same relationship in which intuitionistic logic stands to the notion of proof so far consdered. All notions developed in chapter 2 have their corresponding (dual) ones in the framework developed. In particular, the distinctions canonical/non-canonical and closed/open argumentations. In the refutation based perspective, elimination rules have priority over introductions and the (only) assumption over the (many) conclusions. In the conclusions, we indicate the ingredients that an anti-realist approach to meaning should incorporate, in order to avoid the difficulties we registered. The core of an alternative view is a different conception of the relationship between categorical and hypothetical notions, in which the validity of open argumentations is not reduced to that of their instances, but rather it is directly defined. As a limit case, one would get a notion of validity applying to closed argumentations. (shrink)

According to constitutivism, the objective authority of practical reason is to be grounded in the constitutive features of agency. In this paper, I offer a brief survey of the basic structure of constitutive argument about objectivity and consider how constitutivism might dispel the worry that it can only ground a conditional kind of authority. I then consider David Enoch’s original shmagency challenge and the response in terms of the inescapability of agency. In particular, I revisit the appeal to inescapability in (...) light of Enoch’s restatement of the challenge in 'Shmagency Revisited'. I argue that the revised challenge still fails but that it helps clarify: first, the distinction between external and internal challenges to constitutivism, and, second, the existence of at least different kinds of inescapability of agency (metaphysical, psychological, and dialectical). I argue that only dialectical inescapability is helpful to show that constitutivism is a viable metanormative theory. I conclude by claiming that an internal challenge to constitutivism is still possible in principle but that the burden of proof has shifted once again to the critics of constitutivism. (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)

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 recurring claim that the construct of psychopathy is value laden often is not qualified in enough detail. The chapters in this part of the volume, instead, investigate in depth the role and significance of values in different aspects of the construct of psychopathy. Following these chapters, but also by offering a background to them, we show how certain values are involved in the characterisation of psychopathy, inform societal needs satisfied by this construct, and have a central role in determining (...) whether psychopathy is a mental disorder. Moreover, we relate this description to our criticism of the view that the entrenchment of the notion of psychopathy with values in principle renders it irreconcilable with sound psychiatric theory and practice. However, we also recognize that the value-ladenness of psychopathy leaves open other important challenges. Meeting them needs addressing interdisciplinary interrelated issues that have empirical, normative, and theoretical dimensions. (shrink)

The harm usually associated with psychopathy requires therapeutically, legally, and ethically satisfactory solutions. Scholars from different fields have, thus, examined whether empirical evidence shows that individuals with psychopathic traits satisfy concepts, such as responsibility, mental disorder, or disability, that have specific legal or ethical implications. The present paper considers the less discussed issue of whether psychopathy is a disability. As it has been shown for the cases of the responsibility and mental disorder status of psychopathic individuals, we argue that it (...) is undecided whether psychopathy is a disability. Nonetheless, based on insights from disability studies and legislations, we propose that interventions to directly modify the propensities of individuals with psychopathic tendencies should be balanced with modifications of the social and physical environments to accommodate their peculiarities. We also suggest how this social approach in some practical contexts that involve non-offender populations might be effective in addressing some of the negative effects of psychopathy. (shrink)

Validity, the central concept of the so-called ‘proof-theoretic semantics’ is described as correctly applying to the arguments that denote proofs. In terms of validity, I propose an anti-realist characterization of the notions of truth and correct assertion, at the core of which is the idea that valid arguments may fail to be recognized as such. The proposed account is compared with Dummett’s and Prawitz’s views on the matter.

Mind reading (i.e. the ability to infer the mental state of another agent) is taken to be the main cognitive ability required to share an intention and to collaborate. In this paper, I argue that another cognitive ability is also necessary to collaborate: representing others’ and ones’ own goals from a third-person perspective (other-centred or allocentric representation of goals). I argue that allocentric mind reading enables the cognitive ability of goal adoption, i.e. having the goal that another agent’s achieve p (...) because and as long as another agent has that goal that p. Having clarified the relevance of mutual goal adoption for acting jointly, I argue that when an intention is shared between several agents, each individual has an intention in favour of the joint action and one in favour of a joint mode of reasoning. This mode of reasoning is allocentric reasoning. Finally, I elaborate on the consequences of this view for the scientific study of human collaboration. (shrink)

According to Originalism, word types are non-eternal continuants which are individuated by their causal-historical lineage and have a unique possible time of origination. This view collides with the intuition that individual words can be added to the lexicon of a language at different times, and generates other problematic consequences. The paper shows that such undesired results can be accommodated without abandoning Originalism.

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)

One of the philosophical discussions stimulated by the recent scientific study of psychopathy concerns the mental illness status of this construct. This paper contributes to this debate by recommending a way of approaching the problem at issue. By relying on and integrating the seminal work of the philosopher of psychiatry Bill Fulford, I argue that a mental illness is a harmful unified construct that involves failures of ordinary doing. Central to the present proposal is the idea that the notion of (...) failure of ordinary doing, besides the first personal experience of the patient, has to be spelled out also by referring to a normative account of idealised conditions of agency. This account would have to state in particular the conditions which are required for moral responsibility. I maintain that psychopathy is a unified enough construct that involves some harms. The question whether the condition involves also a failure of ordinary doing, as this notion is understood in this paper, is not investigated here. (shrink)

We offer a novel picture of mathematical language from the perspective of speech act theory. There are distinct speech acts within mathematics, and, as we intend to show, distinct illocutionary force indicators as well. Even mathematics in its most formalized version cannot do without some such indicators. This goes against a certain orthodoxy both in contemporary philosophy of mathematics and in speech act theory. As we will comment, the recognition of distinct illocutionary acts within logic and mathematics and the incorporation (...) of illocutionary force indicators in the formal language for both goes back to Frege’s conception of these topics. We are, therefore, going back to a Fregean perspective. This paper is part of a larger project of applying contemporary speech act theory to the scientific language of mathematics in order to uncover the varieties and regular combinations of illocutionary acts present in it. For reasons of space, we here concentrate only on assertive and declarative acts within mathematics, leaving the investigation of other kinds of acts for a future occasion. (shrink)