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

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)

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)

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)

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

It is often argued that future-directed decisions are effective at shaping our future conduct because they give rise, at the time of action, to a decisive reason to act as originally decided. In this paper, I argue that standard accounts of decision-based reasons are unsatisfactory. For they focus either on tie-breaking scenarios or cases of self-directed distal manipulation. I argue that future-directed decisions are better understood as tools for the non-manipulative, intrapersonal division of deliberative labor over time. A future-directed decision (...) to ϕ gives rise to a defeasible exclusionary reason to ϕ. This reason is grounded on the default authority that is normally granted to one’s prior self as an “expert” deliberator. I argue that this kind of exclusionary reason is the only one that can account for the effectiveness of future-directed decisions at shaping our diachronic agency without violating our autonomy over time. (shrink)

In this paper we focus on transmission and failure of transmission of warrant. We identify three individually necessary and jointly sufficient conditions for transmission of warrant, and we show that their satisfaction grounds a number of interesting epistemic phenomena that have not been sufficiently appreciated in the literature. We then scrutinise Wright’s analysis of transmission failure and improve on extant readings of it. Nonetheless, we present a Bayesian counterexample that shows that Wright’s analysis is partially incoherent with our analysis of (...) warrant transmission and prima facie defective. We conclude exploring three alternative lines of reply: developing a more satisfactory account of transmission failure, which we outline; dismissing the Bayesian counterexample by rejecting some of its assumptions; reinterpreting Wright’s analysis to make it immune to the counterexample. (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)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (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).

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.

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.

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)

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)

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

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)

Translation of Aristotle's Posterior Analytics II into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2002 (with a new printing in 2004), 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.

Translation of Aristotle's Metaphysics I-III into Portuguese, with a few notes and introduction. The translation, which was made at 2007, is 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.

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)

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)

Translation of Aristotle's Metaphysics Lambda into Portuguese.

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)

Tradução dos livros Z e H da Metafísica de Aristóteles, com introdução e notas. Translation of Aristotle's Metaphysics Books VII and VIII into Portuguese, with Introduction and Notes.

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)

Translation of passages of Aristotle's De Anima into Portuguese. The passages are these: I.1, I.4 (the 'Rylean passage'); II.1-6; III.1-8. The translation is preliminary.

I discuss an important feature of the notion of cause in Post. An. 1. 13, 78b13–28, which has been either neglected or misunderstood. Some have treated it as if Aristotle were introducing a false principle about explanation; others have understood the point in terms of coextensiveness of cause and effect. However, none offers a full exegesis of Aristotle's tangled argument or accounts for all of the text's peculiarities. My aim is to disentangle Aristotle's steps to show that he is arguing (...) in favour of a logical requirement for a middle term's being the appropriate cause of its explanandum. Coextensiveness between the middle term and the attribute it explains is advanced as a sine qua non condition of a middle term's being an appropriate or primary cause. This condition is not restricted either to negative causes or to middle terms in second‐figure syllogisms, but ranges over all primary causes qua primary. (shrink)

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.

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

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)

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)

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

Commentary on Aristotle's Metaphysics Lambda. It accompanies the translation of Aristotle's Metaphysics Lambda into Portuguese in the same volume of the journal.

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.

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)

In this paper, I present an interpretation of Wittgenstein's remarks on the experience of wonder at the existence of the world. According to this interpretation, Wittgenstein's feeling of wonder stems from perceiving the existence of the world as an absolute miracle, that is, as a fact that is in principle beyond explanation. Based on this analysis, I will suggest that Wittgenstein's experience is akin to what has been described by other authors such as Coleridge, Pessoa, Heidegger, Scheler, Sartre, and Hadot, (...) among many others. Through a comparison between Wittgenstein and Coleridge on the experience of existence, I shall highlight some core features of this experience, chief among them the use of the notion of nothingness in clarifying what is understood in the experience, the role of intuition, and the presence of a specific pathos. As a whole, this paper aims to provide a contribution to the project of a phenomenology of the experience of existence and intends to create a bridge for a dialogue between Wittgenstein and the phenomenological tradition on the enigma of existence. (shrink)

Collective volume with papers by alumni and students from the Campinas Aristotle Group.

The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.

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)

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.

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.

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.

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

Translation of Aristotle's Parts of Animals Book I into Portuguese, with full commentaries.

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)

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.

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

Translation of Aristotle’s Metaphysics IX and X (Theta & Iota) into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2004, is 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.

This chapter argues in favour of three interrelated points. First, I argue that demonstration (as expression of scientific knowledge) is fundamentally defined as knowledge of the appropriate cause for a given explanandum: to have scientific knowledge of the explanandum is to explain it through its fully appropriate cause. Secondly, I stress that Aristotle’s notion of cause has a “triadic” structure, which fundamentally depends on the predicative formulation (or “regimentation”) of the explanandum. Thirdly, I argue that what has motivated Aristotle to (...) choose the syllogism as a demonstrative tool was precisely the fact that syllogisms are apt to express causal relations in their triadic structure. Instead of complaining against Aristotle’s preference for the syllogisms as demonstrative tools, I argue that Aristotle was fully aware of the advantages of regimenting the explanandum into a predication. One of these advantages is to abandon a purely extensional standpoint and to highlight the importance of the notion of relevancy in explanation. (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)