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

Brogaard and Salerno (2005, Nous, 39, 123–139) have argued that antirealism resting on a counterfactual analysis of truth is flawed because it commits a conditional fallacy by entailing the absurdity that there is necessarily an epistemic agent. Brogaard and Salerno's argument relies on a formal proof built upon the criticism of two parallel proofs given by Plantinga (1982, "Proceedings and Addresses of the American Philosophical Association", 56, 47–70) and Rea (2000, "Nous," 34, 291–301). If this argument were conclusive, antirealism resting (...) on a counterfactual analysis of truth should probably be abandoned. I argue however that the antirealist is not committed to a controversial reading of counterfactuals presupposed in Brogaard and Salerno's proof, and that the antirealist can in principle adopt an alternative reading that makes this proof invalid. My conclusion is that no reductio of antirealism resting on a counterfactual analysis of truth has yet been provided. (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.

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.

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)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (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)

In this paper, I will discuss the various ways in which intentions can be said to be conditional, with particular attention to the internal conditions on the intentions’ content. I will first consider what it takes to carry out a conditional intention. I will then discuss how the distinctive norms of intention apply to conditional intentions and whether conditional intentions are a weaker sort of commitments than the unconditional ones. This discussion will lead to the idea of what I call (...) the ‘deep structure’ of intentions. Roughly, this is the idea that the conditional nature of our intentions is only partially made explicit in the expressions we use to communicate our intentions and in the explicit form of our thinking about and reasoning with them. Most conditions that qualify our intentions are part of a deep functional structure that can be evinced by observing the actual psychological functioning of intentions and by considering the rational requirements that they engage. I will argue that the deep structure of intentions is characteristically conditional. Genuinely unconditional intentions are only limiting instances of conditional intentions and their contribution to agency can only be understood in light of this fact. I will conclude by showing that the characteristic conditional structure of intentions is intimately related to distinctive features of human agency, especially to its unity over time. (shrink)

Este livro é um 'ancestral' em pré-print do meu livro de 2006, Introdução à Teoria da Predicação em Aristóteles (ISBN 978-85-268-0716-1), publicado pela Editora da Unicamp (ver https://www.academia.edu/6912408/Introdu%C3%A7%C3%A3o_%C3%A0_teoria_da_predica%C3%A7%C3%A3o_em_Arist %C3%B3teles). O ancestral foi felizmente muito citado, mesmo depois da aparição do livro definitivo em 2006. -/- This is an ancestor (in pré-print) of my 2006 Book, 'Introdução à Teoria da Predicação em Aristóteles' (ISBN 978-85-268-0716-1), published by Editora da Unicamp (see https://www.academia.edu/6912408/Introdu%C3%A7%C3%A3o_%C3%A0_teoria_da_predica%C3%A7%C3%A3o_em_Arist %C3%B3teles). The ancestor was cited by many, even after the definitive book (...) appeared in 2006. (shrink)

This paper discusses the contrast between scientific knowledge and opinion as it is presented by Aristotle in Posterior Analytics A.33. Aristotle's contrast is formulated in terms of understanding or not understanding some "necessary items". I claim that the contrast can only be understood in terms of explanatory relevance. The "necessary items" are middle terms (or explanatory factors) that are necessary for the fully appropriate explanation. This approach gives a coherent interpretation of each step in the chapter.

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)

Many readers of Kant’s ethical writings take him to be primarily concerned with offering guidelines for action. At the least, they write about Kant as if this were the purpose of his ethical writings. For example, Christine Korsgaard, in her influential article Kant’s Analysis of Obligation: The Argument of Groundwork I, writes that, ‘‘the argument of Groundwork I is an attempt to give what I call a ‘motivational analysis’ of the concept of a right action, in order to discover what (...) that concept applies to, that is, which actions are right.’’ Similar comments are not hard to find in the secondary literature. This, however, is a fundamentally misguided way of reading Kant, since he repeatedly asserts that we do not need to do moral philosophy in order to discover which actions are right. We already know how to behave morally and do not need philosophers to tell us this. ‘‘Common human reason,’’ Kant argues, ‘‘knows very well how to distinguish in every case that comes up what is good and what is evil, what is in conformity to duty or contrary to duty.’’ Because people with pre-philosophical understanding know how to act morally, the purpose of moral philosophy cannot be to provide us with a set of rules for correct behavior. If we take Kant’s claims about common human reason seriously, then his aim in the Groundwork of the Metaphysics of Morals cannot be to discover which actions are right. (shrink)

My object is Aristotle's discussion of principle of non-contradiction in the first stretch of Metaphysics IV.4. My main focus rests on the connections between Aristotle's discussion of the principle and some key notions of his (explicit or implied) semantics.

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.).

I discuss in this paper Aristotle’s definition of nature in Physics 192b 20-23. I intend to prove that this definition has to be taken as a set of three (not only two) conditions: the first condition just establishes that nature is a sort of cause; the second condition concerns the relationship between nature and the natural thing that has it as a cause; the third condition concerns the relationship between nature and the properties that natural things have from nature’s causality.

I discuss three kinds of relationship between ends and means (or "things that promote ends") in the Aristotelian ethical theory, in order to clarify how moral virtues and phronesis are related both in adopting ends and in determining means for virtuous actions. Phronesis seems to be mainly charged with determining means for an end given by the moral virtues, but it must involve some conception of ends too. Phronesis cannot be parasitic on moral virtue concerning the conception of ends, for (...) otherwise it will lack intrinsic moral value. I argue that the intrinsic moral value of phronesis can be better understood through a certain kind of relation between means and ends that has not received much attention. (shrink)

I argue that Aristotle’s teleology in natural science (more specifically, in biology) is not incompatible with his admissions of the “brute necessity” of the movements of matter. Aristotle thinks that the brute necessity emerging from the movements of matter is not sufficient to explain why living beings are what they are and behave the way they behave. Nevertheless, Aristotle takes this brute necessity to be a sine qua non condition in biological explanations. The full explanation of the features of living (...) beings requires the hylomorphic model, in which the brute necessity belonging to the matter is subordinated to the teleological causality of the form. The model for which I argue is pretty much Balme’s “cybernetic”. However, I explore some aspects of Aristotle’s texts that have not received much attention in the recent literature. (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 discuss the argument Aristotle ascribes to Parmenides at Physics 186a23-32. I discuss (i) the reasons why Aristotle considers it as eristic and inconclusive and (i) the solution (lusis) Aristotle proposes against it.

Crispin Wright has given an explanation of how a first time warrant can fall short of transmitting across a known entailment. Formal epistemologists have struggled to turn Wright’s informal explanation into cogent Bayesian reasoning. In this paper, I analyse two Bayesian models of Wright’s account respectively proposed by Samir Okasha and Jake Chandler. I argue that both formalizations are unsatisfactory for different reasons, and I lay down a third Bayesian model that appears to me to capture the valid kernel of (...) Wright’s explanation. After this, I consider a recent development in Wright’s account of transmission failure. Wright suggests that his condition sufficient for transmission failure of first time warrant also suffices for transmission failure of supplementary warrant. I propose an interpretation of Wright’s suggestion that shield it from objections. I then lay down a fourth Bayesian framework that provides a simplified model of the unified explanation of transmission failure envisaged by Wright. (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).

We often effortlessly take the perceptual perspective of others: we represent some aspect of the environment that others currently perceive. However, taking someone's perspective can interfere with one's perceptual processing: another person's gaze can spontaneously affect our ability to detect stimuli in a scene. But it is still unclear whether our cognitive evaluation of those judgements is also affected. In this study, we investigated whether social perspective-taking can influence participants' metacognitive judgements about their perceptual responses. Participants performed a contrast detection (...) task with a task-irrelevant avatar oriented either congruently or incongruently to the stimulus location. By “blindfolding” the avatar, we tested the influence of social perspective-taking versus domain-general directional orienting. Participants had higher accuracy and perceptual sensitivity with a congruent avatar regardless of the blindfold, suggesting a directional cueing effect. However, their metacognitive efficiency was modulated only by the congruency of a seeing avatar. These results suggest that perceptual metacognitive ability can be socially enhanced by sharing perception of the same objects with others. (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)

A number of experiences have demonstrated how digital solutions are effective in improving quality of life (QoL) and health outcomes for older adults. Smart Health Age-Friendly Environments (SHAFE) is a new concept introduced in Europe since 2017 that combines the concept of Age-Friendly Environments with Information Technologies, supported by health and community care to improve the health and disease management of older adults and during the life-course. This chapter aims to provide an initial overview of the experiences available not only (...) in Europe, based on the research work of the participants of the International Interdisciplinary Network on Health and Well-being in an Age-Friendly Digital World (NET4Age-Friendly), which could be of interest to preventive, health and social authorities. The chapter reports good practices, pain points, and bottlenecks that may require a collaborative, interdisciplinary research approach to facilitate the transformations towards smart, sustainable, health and age-friendly cities and communities. (shrink)

There are three ways to control our future conduct: by causing it, by manipulating our future selves, or by taking future-directed decisions. I show that the standard accounts of future-directed decisions fail to do justice to their distinctive contribution in intentional diachronic agency. The standard accounts can be divided in two categories: First, those that conflate the operation of decisions with that of devices for either physical constraint or manipulative self-management. Second, accounts that, although they acknowledge the non-manipulative nature of (...) decisions, offer too restrictive a view of source of their effectiveness over time. I argue that a comprehensive view of decisions must acknowledge that there is a variety of ways in which they can be effective, which range from the exercise of rational authority to the reliance on sub-agential psychological propensities. What keeps all of these mechanisms together as possible explanations of the role of decisions in supporting diachronic intentional agency is that these mechanisms operate under a common regulative ideal of diachronic agency: the agent’s reliance on the continuous sense of the stability of the choiceworthiness of the action, regardless of her prior decision to perform it. In light of this regulative ideal, the contribution of effective decisions to diachronic agency is thus in principle dispensable although usually necessary for limited beings like us. (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)

Kant and Leibniz are interested in explaining how a number of individuals can come together and form a single unified composite substance. Leibniz does not have a convincing account of how this is possible. In his pre-critical writings and in his later metaphysics lectures, Kant is committed to the claim that the idea of a world is the idea of a real whole, and hence is the idea of a composite substance. This metaphysical idea is taken over into his ethical (...) writings and becomes the idea of a realm of ends. I explain why a realm of ends, should be thought of as both a unum per se and as a real whole. A realm of ends is a whole of individuals unified by laws they have given themselves, that is, it is a community of autonomous individuals. Only such a community can be thought of as a composite individual. Such a whole will be real rather than ideal because the source of the unity of the whole is intrinsic to the whole, for what gives unity to the realm are laws and the sources of the laws are the individual members of the whole. It will be a unum per se because both the laws and the individuals constituting the realm are incomplete without one another. If this reading is correct, this requires a fundamental reevaluation of Kant’s notion of autonomy. To be autonomous is not, primarily, to be understood in terms of ruling oneself, but instead must be thought of primarily in terms of being a generative source of laws for an ideal community. (shrink)

In this chapter I draw the conclusions of my investigation into phenomenal conservatism. I argue that phenomenal conservatism isn’t actually plagued by serious problems attributed to it by its opponents, but that it neither possesses all the epistemic merits that its advocates think it has. I suggest that phenomenal conservatism could provide a more satisfactory account of everyday epistemic practices and a more robust response to the sceptic if it were integrated with a theory of inferential justification. I also identify (...) questions and issues relevant to the assessment of phenomenal conservatism to be investigated in further research. (shrink)

Some Presentists—according to whom everything is present—identify instants of time with propositions of a certain kind. However, the view that times are propositions seems to be at odds with Presentism: if there are times then there are past times, and therefore things that are past; but how could there be things that are past if everything is present? In this paper, we describe the Presentist view that times are propositions ; we set out the argument that Presentism is incompatible with (...) the view that times are propositions ; and then we describe three possible responses to that argument on behalf of Presentists who identify times with propositions. We argue that each of these responses comes with significant costs. Finally, we describe a fourth possible response—according to which times are irreducibly higher-order entities—which appears to avoid the costs of the other three. We also describe and respond to two objections to the higher-order strategy. (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)

Este artigo é um 'ancestral' de vários argumentos que desenvolvi depois em múltiplos outros artigos. Defendo que a teoria da ciência dos Segundos Analíticos não é incompatível com as ciências naturais tais como desenvolvidos nos tratados científicos de Aristóteles.

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)

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)

Translation of Aristotle's Metaphysics V.1-8 with a few notes.

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)

I discuss the role of translatability in philosophical justification. I begin by discussing and defending Thomas Reid’s account of the role that facts about comparative linguistics can play in philosophical justification. Reid believes that common sense offers a reliable but defeasible form of justification. We cannot know by introspection, however, which of our judgments belong to common sense. Judgments of common sense are universal, and so he argues that the strongest evidence that a judgment is a part of common sense (...) is that it is to be found in all languages. For Reid, then, evidence that a certain distinction is to be found in all languages is evidence that the distinction is part of common sense rather than being a common local prejudice. From such a perspective, empirical work in comparative linguistics can play a defeasible justificatory role in philosophical arguments. I contrast Reid’s position with the more radical position of defenders of the Natural Semantic Metalanguage approach, such as Anna Wierzbicka, who argues that only judgments that are translatable into all natural languages are justifiable. I show how such a position is rooted in an implausible view, although one common among cognitive scientists and linguistics, about the nature of concepts, which does not allow for novel concepts. (shrink)

R. Feldman defends a general principle about evidence the slogan form of which says that ‘evidence of evidence is evidence’. B. Fitelson considers three renditions of this principle and contends they are all falsified by counterexamples. Against both Feldman and Fitelson, J. Comesaña and E. Tal show that the third rendition––the one actually endorsed by Feldman––isn’t affected by Fitelson’s counterexamples, but only because it is trivially true and thus uninteresting. Tal and Comesaña defend a fourth version of Feldman’s principle, which––they (...) claim––has not yet been shown false. Against Tal and Comesaña I show that this new version of Feldman’s principle is false. (shrink)

It is often argued, most recently by Samuel Scheffler, that we should reconcile with our mortality as constitutive of our existence: as essential to its temporal structure, to the nature of deliberation, and to our basic motivations and values. Against this reconciliatory strategy, I argue that there is a kind of immortal existence that is coherently conceivable and potentially desirable. First, I argue against the claim that our existence has a temporal structure with a trajectory that necessarily culminates in an (...) ending. This claim is based on two false assumptions: that a life as a whole calls for narrative structure, and that narratives necessarily require closure as temporal endings. Second, I reject the proposal that temporal finitude is constitutive of the basic elements of diachronic agency, including the nature of deliberation and of our values. I argue that only finitude as scarcity of opportunities is constitutive of these elements. Additionally, scarcity might be present in an endless existence. Therefore, it is not incoherent to conceive of a recognizable and potentially desirable immortality that grounds the core features of diachronic agency. Thus, against the reconciliatory strategy, I conclude that we might never fully reconcile with mortality. Although we might embrace our inescapable mortality as essential to a fuller range of features of our existence, we can still justifiably regret our missing on an immortal existence. (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)

Kathryn Paxton George's recent publication, Animal, Vegetable, or Woman?, is the culmination of more than a decade's work and encompasses standard and original arguments against the feminist-vegetarian connection. This paper demonstrates that George's key arguments are deeply flawed, antithetical to basic feminist commitments, and beg the question against fundamental aspects of the debate. Those who do not accept the feminist-vegetarian connection should rethink their position or offer a non-question-begging defense of it.

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)

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.

According to Jim Pryor’s dogmatism, if you have an experience as if P, you acquire immediate prima facie justification for believing P. Pryor contends that dogmatism validates Moore’s infamous proof of a material world. Against Pryor, I argue that if dogmatism is true, Moore’s proof turns out to be non-transmissive of justification according to one of the senses of non-transmissivity defined by Crispin Wright. This type of non-transmissivity doesn’t deprive dogmatism of its apparent antisceptical bite.

This paper examines what Aristotle could have meant in Nicomachean Ethics 1106b 14-16, when he says that moral virtue is more exact than craft. Aristotle’s meaning cannot be that moral knowledge is more exact than technical knowledge. Neither the practical knowledge that an agent has about the precepts guiding his actions nor the philosophical knowledge framed in a moral theory could be described as “more exact than craft- knowledge”. My point is that Aristotle’s meaning is better understood if he is (...) taken to be talking about the requirements for doing virtuously a virtuous action. Being successful at doing a virtuous action is “more exact” than being successful at making a good craft-product in the sense that more criteria for successfulness are required. (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)

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 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)

This paper introduces the Monstrous Conclusion, according to which, for any population, there is a better population consisting of just one individual (the Monster). The Monstrous Conclusion is deeply counterintuitive. I defend a version of Prioritarianism as a particularly promising population axiology that does not imply the Monstrous Conclusion. According to this version of Prioritarianism, which I call Asymptotic Prioritarianism, there is diminishing marginal moral importance of individual welfare that can get close to, but never quite reach, some upper limit. (...) I argue that Asymptotic Prioritarianism faces a theoretical cost, that I call the Absolute Priority Principle. However, the Absolute Priority Principle is an extreme version of what I call the Trade-off Condition, an already noteworthy problem facing other (more widely endorsed) versions of Prioritarianism. I conclude that it is better for a theory to imply the Absolute Priority Principle and avoid the Monstrous Conclusion than to imply the Monstrous Conclusion and the Trade-off Condition. The potential for Asymptotic Prioritarianism is substantial. (shrink)