I discuss Aristotle's anomalous terminology in Physics A.1 (involving "universals" and "particulars") and its coherence with Aristotle's notion of scientific demonstration.

Translation of Aristotle's Physics I-II into Portuguese, with commentaries. Tradução para o português dos livros I e II da Física de Aristóteles, com comentários.

Aristotle contrasts episteme and doxa through the key notions of universal and necessary. These notions have played a central role in Aristotle’s characterization of scientific knowledge in the previous chapters of APo. They are not spelled out in APo I.33, but work as a sort of reminder that packs an adequate characterization of scientific knowledge and thereby gives a highly specified context for Aristotle’s contrast between episteme and doxa. I will try to show that this context introduces a contrast in (...) terms of explanatory claims: on the one hand, episteme covers those claims which capture explanatory connections that are universal and necessary and thereby deliver scientific understanding; on the other hand, doxa covers the explanatory attempts that fail at doing so. (shrink)

Trata-se de tradução do Hípias Maior de Platão para o Português, com algumas notas de elucidação e justificação das opções.

Joint attention customarily refers to the coordinated focus of attention between two or more individuals on a common object or event, where it is mutually “open” to all attenders that they are so engaged. We identify two broad approaches to analyse joint attention, one in terms of cognitive notions like common knowledge and common awareness, and one according to which joint attention is fundamentally a primitive phenomenon of sensory experience. John Campbell’s relational theory is a prominent representative of the latter (...) approach, and the main focus of this paper. We argue that Campbell’s theory is problematic for a variety of reasons, through which runs a common thread: most of the problems that the theory is faced with arise from the relational view of perception that he endorses, and, more generally, they suggest that perceptual experience is not sufficient for an analysis of joint attention. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

I discuss the exact meaning of the thesis according to which the object of scientific knowledge is necessary. The thesis is expressed by Aristotle in the Posterior Analytics, in his definition of scientific knowledge. The traditional interpretation understands this definition as depending on two parallel and independent requirements, the causality requirement and the necessity requirement. Against this interpretation, I try to show, through the examination of several passages that refer to the definition of scientific knowledge, that the necessity requirement specifies (...) more exactly the causality requirement: what cannot be otherwise is the explanatory relation between the explanandum and the cause by which it is what it is. (shrink)

What can the philosophy of agency learn from Nguyen’s book on games? The most important lesson concerns, to use Nguyen’s terms, the ‘layered’ structure of our agency and the ‘fluidity’ requ...

This is an introductory handbook for some of the main themes around the notion of predication in Aristotle. It does not aim at being exhaustive, but only sketches some important lines about the subject; it contains an introductory essay, besides the translation (into Portuguese) and commentary of basic texts (such as Posterior Analytics I-22, Categories 1-5, Interpretation 1-6 etc.).

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)

This book discusses Aristotle’s notions of essence and substance as they are developed in Metaphysics ZH. I examine Aristotle's argument at length and defends an unorthodox interpretation according to which his motivation is to provide an answer against a conflation between criteria for existential priority (delivering substances as primary beings) and criteria for explanatory priority (delivering essences as primary principles).

Pictures are created objects that have the function of generating a perceptual experience. In this sense, they are “experiential artifacts” (Terrone forthcoming). The experience elicited by pictures – usually visual (but for non-visual pictorial experience see e.g. Lopes 1997) – is a composite perceptual experience, in which the “perception” of the depicted scene (which is not in front of us) is generated by and experienced along the perception of the marked surface (the object that is actually in front of us). (...) This experience is usually called a “pictorial experience”. A philosophical analysis of such an experience amounts to answering the following questions: How should we describe the phenomenology of pictorial experience? What is it like to experience pictures? How should the “perception” of the depicted scene be characterized? Is it really a form of perception? How does it relate to the perception of the marked surface? (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)

Evolutionary aesthetics (EA) investigates the origins and evolution of aesthetic preferences and artistic behaviors, along with the underlying capacities that support these preferences and behaviors. EA is a multidisciplinary approach that intersects various disciplines – e.g. evolutionary psychology, biology, neurosciences, art history, archeology, anthropology, philosophical aesthetics – providing a comprehensive framework for understanding the deep-rooted biological and evolutionary underpinnings of human aesthetic preferences and artistic expressions. Central to EA, in fact, is the exploration of when, how and why aesthetic preferences (...) and artistic behaviors originated in human history, as well as understanding whether these behaviors are evolutionary adaptations, by-products of evolutionary processes, or nonbiological cultural products (Killin 2021; Richards 2022). (shrink)

The controversy that between 1908 and 1912 saw Benedetto Croce and Giovanni Gentile opposed, on one side, and Federigo Enriques, on the other, did not actually have a conclusive episode, but its end was perceived, for its results on culture, on society and teaching in Italy, as a "defeat" of Enriques. A more careful examination of the events and of the historical context in which it took place seems, however, to clearly demonstrate that we can speak not of a personal (...) defeat of the great mathematician from Livorno, but rather of a defeat of the commendable attempts at cultural and social modernization of Italy in an international perspective, of which Enriques was not the only actor but certainly the most exposed. Such intentions were crushed by the myopic provincial conservatism of the Italian neo-idealism, favored by the fascist regime, concerned only with affirming in the world an alleged autarkic national cultural superiority, based on the traditional literary-humanistic culture, ignoring the progress of the new technical-scientific thought, placed in an international context. Sunto_ La polemica che dal 1908 al 1912 vide contrapposti da una parte Benedetto Croce e Giovanni Gentile e dall’altra Federigo Enriques non ebbe, in realtà, un episodio conclusivo, ma la sua fine è stata percepita, per i suoi esiti sulla cultura, sulla società e sull’insegnamento in Italia, come una “sconfitta” dell’Enriques. Un esame più attento delle vicende e del contesto storico nel quale si svolse sembra, invece, dimostrare chiaramente di poter parlare non di una sconfitta personale del grande matematico livornese, quanto piuttosto di una sconfitta dei lodevoli tentativi di ammodernamento culturale e sociale dell’Italia in una prospettiva internazionale, di cui Enriques non fu l’unico attore ma sicuramente quello più esposto. Tali propositi furono schiacciati dal miope conservatorismo provinciale del neoidealismo italiano, favorito dal regime fascista, preoccupato unicamente di affermare nel mondo una pretesa superiorità culturale nazionale autarchica, basata sulla tradizionale cultura letterario-umanistica, ignorando il progresso del nuovo pensiero tecnico-scientifico, per sua natura, invece, inserito in un contesto internazionale. (shrink)

According to the perceptual view of language comprehension, listeners typically recover high-level linguistic properties such as utterance meaning without inferential work. The perceptual view is subject to the Objection from Context: since utterance meaning is massively context-sensitive, and context-sensitivity requires cognitive inference, the perceptual view is false. In recent work, Berit Brogaard provides a challenging reply to this objection. She argues that in language comprehension context-sensitivity is typically exercised not through inferences, but rather through top-down perceptual modulations or perceptual learning. (...) This paper provides a complete formulation of the Objection from Context and evaluates Brogaards reply to it. Drawing on conceptual considerations and empirical examples, we argue that the exercise of context-sensitivity in language comprehension does, in fact, typically involve inference. (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)

At some point in the Incessu Animalium, Aristotle appeals to some geometrical claims in order to explain why animal progression necessarily involves the bending (of the limbs), and this appeal to geometrical claims might be taking as violating the recommendation to avoid “kind-crossing” (as found in the Posterior Analytic). But a very unclear notion of kind-crossing has been assumed in most debates. I will argue that kind-crossing in the Posterior Analytics does not mean any employment of premises from a discipline (...) other than that to which the explanandum belongs. Kind-crossing was meant to cover a specific sort of employment of premises from a different discipline, namely, the case in which premises from a discipline X are taken as the most important explanatory factor that delivers the fullest appropriate explanation of an explanandum within discipline Y. If this is so, the employment of geometrical premises in the Incessu Animalium is not an instance of the prohibited kind-crossing, but something that is in line with the theory of the Posterior Analytics. (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)

In Posterior Analytics 71b9 12, we find Aristotle’s definition of scientific knowledge. The definiens is taken to have only two informative parts: scientific knowledge must be knowledge of the cause and its object must be necessary. However, there is also a contrast between the definiendum and a sophistic way of knowing, which is marked by the expression “kata sumbebekos”. Not much attention has been paid to this contrast. In this paper, I discuss Aristotle’s definition paying due attention to this contrast (...) and to the way it interacts with the two conditions presented in the definiens. I claim that the “necessity” condition ammounts to explanatory appropriateness of the cause. (shrink)

One type of argument to sceptical paradox proceeds by making a case that a certain kind of metaphysically “heavyweight or “cornerstone” proposition is beyond all possible evidence and hence may not be known or justifiably believed. Crispin Wright has argued that we can concede that our acceptance of these propositions is evidentially risky and still remain rationally entitled to those of our ordinary knowledge claims that are seemingly threatened by that concession. A problem for Wright’s proposal is the so-called Leaching (...) worry: if we are merely rationally entitled to accept the cornerstones without evidence, how can we achieve evidence-based knowledge of the multitude of quotidian propositions that we think we know, which require the cornerstones to be true? This paper presents a rigorous, novel explication of this worry within a Bayesian framework, and offers the Entitlement theorist two distinct responses. (shrink)

In this chapter I shall address the question as to whether there exists a universal and atemporal justification for the claims made by a community that adopts a particular style of reasoning. I shall present a case study in which a claim made in the laboratory style of reasoning has no universal and atemporal justification. As I shall explain, Hacking justifies his belief that unobservable entities exist on the ground that they can be regularly manipulated by experimenters in order to (...) find out and produce various phenomena (experimental realism); he also maintains that no belief that our theories are true is required in order to be realist about unobservable entities. I shall argue that his justification is relative to the laboratory style of reasoning. Ultimately, from this case study I shall draw the important conclusion that the styles of reasoning project implies epistemic relativism. In the first part of this chapter, I shall analyse Hacking’s experimental realism in the light of the styles of reasoning project. I shall start by making these points: Hacking’s theory anti-realism denies the possibility of ranking styles of reasoning in terms of their capacity to explain phenomena; furthermore, Hacking is not successful in showing that his entity realism is justified for a community that does not adopt the laboratory style of reasoning. It will follow that the styles of reasoning project is in conflict with the claim that we know about unobservable entities. (shrink)

In Prior Analytics I.30, Aristotle seems too much optmistic about finding out the principles of sciences. For he seems to say that, if our empirical collection of facts in a given domain is exhaustive or sufficient, it will be easy for us to find out the explanatory principles in the domain. However, there is a distance between collecting facts and finding out the explanatory principles in a given domain. In this paper, I discuss how the key expression in the sentence (...) at 46a25 should be interpreted: “the true characteristics of things” (“τῶν ἀληθῶς ὑπαρχόντων τοῖς πράγμασιν”). I argue that, on a more accurate interpretation of the expression, Aristotle’s point would cease to look like a piece of naïve or even silly optimism. (shrink)

Affective experiences such as pains, pleasures, and emotions have affective phenomenology: they feel pleasant. This type of phenomenology has a loopy regulatory profile: it often motivates us to act a certain way, and these actions typically end up regulating our affective experiences back. For example, the pleasure you get by tasting your morning coffee motivates you to drink more of it, and this in turn results in you obtaining another pleasant gustatory experience. In this article, we argue that reflexive imperativism (...) is the only intentionalist account of affective phenomenology—probably, the only account at all—that is able to make sense of its loopy regulatory profile. (shrink)

This chapter has two main sections. In the first section I briefly sketch Immanuel Kant’s moral theory as laid out in his Groundwork of the Metaphysics of Morals (1785). I explain Kant’s claim that morality must be grounded on what he calls a categorical imperative and examine his three formulations of this categorical imperative. In the second section I explain the distinction between “deontological” and “teleological” ethical theories. Kantian ethics is often presented as the paradigm example of a deontological ethical (...) theory, but I question whether Kant’s ethics should be understood as purely deontological. (shrink)

I have two aims in this paper. First, I argue that, in Aristotle’s theory of the four causes, there is a basic and common feature by which all causes are causes: they all work in a triadic framework in which they explain why a given attribute holds of a given underlying thing. Secondly, I argue against a version of “compatibilism” according to which each kind of cause is complete in its own domain and does not compete with any other kind. (...) I claim that there are priority relations according to which some kinds of cause are subordinated to others, even if these relations do not hold in every cases. (shrink)

Translation of Aristotle's Posterior Analytics I into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2003/4, was preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.

Paul Feyerabend, one of the most original and nonconformist epistemologists of the 20th century, is known for describing science as an essentially anarchic enterprise characterized by different, sometimes contradictory, methods, approaches and ways of reasoning. But it was through his reflections on art and myth that he developed an even more radical view: there are different forms of human thought, each characterized by a different rationality and reality, and science is only one of them. And in intellectual history there is (...) only change, but not progress. (shrink)

The analytical notions of ‘thought style’, ‘paradigm’, ‘episteme’ and ‘style of reasoning’ are some of the most popular frameworks in the history and philosophy of science. Although their proponents, Ludwik Fleck, Thomas Kuhn, Michel Foucault, and Ian Hacking, are all part of the same philosophical tradition that closely connects history and philosophy, the extent to which they share similar assumptions and objectives is still under debate. In the first part of the paper, I shall argue that, despite the fact that (...) these four thinkers disagree on certain assumptions, their frameworks have the same explanatory goal – to understand how objectivity is possible. I shall present this goal as a necessary element of a common project -- that of historicising Kant's a priori. In the second part of the paper, I shall make an instrumental use of the insights of these four thinkers to form a new model for studying objectivity. I shall also propose a layered diagram that allows the differences between the frameworks to be mapped, while acknowledging their similarities. This diagram will show that the frameworks of style of reasoning and episteme illuminate conditions of possibility that lie at a deeper level than those considered by thought styles and paradigm. (shrink)

I discuss in this paper the six requirements Aristotle advances at Posterior Analytics A-2, 71b20-33, for the premisses of a scientific demonstration. I argue that the six requirements give no support for an intepretation in terms of “axiomatization”. Quite on the contrary, the six requirements can be consistently understood in a very different picture, according to which the most basic feature of a scientific demonstration is to explain a given proposition by its appropriate cause.

Public participation in scientific research has gained prominence in many scientific fields, but the theory of participatory research is still limited. In this paper, we suggest that the divergence of values and goals between academic researchers and public participants in research is key to analyzing the different forms this research takes. We examine two existing characterizations of participatory research: one in terms of public participants' role in the research, the other in terms of the virtues of the research. In our (...) view, each of these captures an important feature of participatory research but is, on its own, limited in what features it takes into account. We introduce an expanded conception of norms of collaboration that extends to both academic researchers and public participants. We suggest that satisfying these norms requires consideration of the two groups' possibly divergent values and goals, and that a broad characterization of participatory research that starts from participants' values and goals can motivate both public participants’ role in the research and the virtues of the research. The resulting framework clarifies the similarities and differences among participatory projects and can help guide the responsible design of such projects. (shrink)

I discuss Aristotle's treatment of essence and definition in Metaphysics VII.4. I argue that it is coherent and perfectly in accord with its broader context. His discussion in VII.4 offers, on the one hand, minimal criteria for what counts as definition and essence for whatever kind of object, but also, on the other hand, stronger criteria for a primary sort of definition and essence—and thereby it serves the interest of book VII in pointing to the explanatory power of the essence (...) of composite substances. (shrink)

In this contribution I will retrace the main stages of my research on the objectification problem in quantum mechanics by highlighting some personal memories of my supervisor, the theoretical physicist Giovanni Morchio. The central aim of my MSc thesis was to ask whether the hypothesis of objectification, which is currently added to the formalism, is not, at least in one case, deducible from it and in particular from the dynamics of the temporal evolution. The case study we were looking for (...) had to: 1) represent a situation similar to that in which a macroscopic system such as a measurement apparatus, following interaction with a system, assumes a well-defined state (which or for example represents the fact that the result of a measurement is a particular value), i.e becomes objective 2) represent a fact in nature in which it is not clear whether its explanation can be derived from the formalism of quantum mechanics or whether a hypothesis of objectification is necessary for its explanation. Proving that such a fact can be deduced from the time evolution of quantum mechanics allowed us to conclude that there are cases in which the hypothesis of objectification is superfluous or, in other words, obtainable from the formalism. (shrink)

Coherentism in epistemology has long suffered from lack of formal and quantitative explication of the notion of coherence. One might hope that probabilistic accounts of coherence such as those proposed by Lewis, Shogenji, Olsson, Fitelson, and Bovens and Hartmann will finally help solve this problem. This paper shows, however, that those accounts have a serious common problem: the problem of belief individuation. The coherence degree that each of the accounts assigns to an information set (or the verdict it gives as (...) to whether the set is coherent tout court) depends on how beliefs (or propositions) that represent the set are individuated. Indeed, logically equivalent belief sets that represent the same information set can be given drastically different degrees of coherence. This feature clashes with our natural and reasonable expectation that the coherence degree of a belief set does not change unless the believer adds essentially new information to the set or drops old information from it; or, to put it simply, that the believer cannot raise or lower the degree of coherence by purely logical reasoning. None of the accounts in question can adequately deal with coherence once logical inferences get into the picture. Toward the end of the paper, another notion of coherence that takes into account not only the contents but also the origins (or sources) of the relevant beliefs is considered. It is argued that this notion of coherence is of dubious significance, and that it does not help solve the problem of belief individuation. (shrink)

Translation of Aristotle's Metaphysics IV and VI, with notes. The translation is preliminary and intended as a provisional teaching tool to be also used in seminars and discussions with peers in order to reach a more elaborated version.

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.

I discuss what Aristotle means when he say that scientific demonstration must proceed from necessary principles. I argue that, for Aristotle, scientific demonstration should not be reduced to sound deduction with necessary premises. Scientific demonstration ultimately depends on the fully appropriate explanatory factor for a given explanandum. This explanatory factor is what makes the explanandum what it is. Consequently, this factor is also unique. When Aristotle says that demonstration must proceed from necessary principles, he means that each demonstration requires the (...) principle that is the necessary one for the fully appropriate explanation of its explanandum. This picture also provides a key to understand Aristotle's thesis that scientific explanation depends on essences: it is the essence of the attribute to be explained that should be stated as the fully appropriate explanatory factor. (shrink)

Minimal entities are, roughly, those that fall under notions defined by only deflationary principles. In this paper I provide an accurate characterization of two types of minimal entities: minimal properties and minimal facts. This characterization is inspired by both Schiffer's notion of a pleonastic entity and Horwich's notion of minimal truth. I argue that we are committed to the existence of minimal properties and minimal facts according to a deflationary notion of existence, and that the appeal to the inferential role (...) reading of the quantifiers does not dismiss this commitment. I also argue that deflationary existence is language-dependent existence—this clarifies why minimalists about properties and facts are not realists about these entities though their language may appear indistinguishable from the language of realists. (shrink)

Tradução preliminar em pré-print. A Tradução definitiva é a de 2009.

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)

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)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

These are commentaries to the translation into Portuguese of Nicomachean Ethics VI, found in the same volume of Dissertatio.

Experiences like pains, pleasures, and emotions have affective phenomenal character: they feel pleasant or unpleasant. Imperativism proposes to explain affective phenomenal character by appeal to imperative content, a kind of intentional content that directs rather than describes. We argue that imperativism is on the right track, but has been developed in the wrong way. There are two varieties of imperativism on the market: first-order and higher-order. We show that neither is successful, and offer in their place a new theory: reflexive (...) imperativism. Our proposal is that an experience P feels pleasant in virtue of being constituted by a Command with reflexive imperative content, while an experience U feels unpleasant in virtue of being constituted by a Command with reflexive imperative content : More of P!Less of U! If you need a slogan: experiences have affective phenomenal character in virtue of commanding us Get more of me! Get less of me! (shrink)

Paul Guyer is well known for defending the claim that freedom, understood as the capacity to set ends, is Kant’s fundamental value. In contrast, I have developed a reading of Kant’s ethics that places autonomy and community at the heart of Kant’s ethics. At the heart of my account is a conception of autonomy understood as what I call the capacity for sovereignty. I argue that these two positions can be made compatible. To do this involves making a distinction between (...) the concepts of dignity and value and arguing that although autonomy, understood as the capacity for sovereignty, is the source of the dignity of humanity, this is compatible with the claim that the ultimate value for Kant is freedom understood as the capacity to set ends. To explain how this is possible I appeal to Wilfrid Sellars Kantian account of the moral point of view in Science and Metaphysics. (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)

Tradução para o Português de Ethica Nicomachea VI.

I examine Aristotle’s definition of scientific knowledge in Posterior Analytics 71b 9-12 and try to understand how it relates to the sophistical way of knowing and to "kata sumbebekos knowledge". I claim that scientific knowledge of p requires knowing p by its appropriate cause, and that this appropriate cause is a universal (katholou) in the restricted sense Aristotle proposes in 73b 26-27 ff., i.e., an attribute coextensive with the subject (an extensional feature) and predicated of the subject in itself (an (...) intensional feature). Kata sumbebekos knowledge, on the other hand, can occur even when the predicate of a conclusion is coextensive with its subject and is proved by a convertible meson which is not the most appropriate from an explanatory standpoint. (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)