Most interpretations of Aristotle’s Posterior Analytics believe that the term ‘ameson’ is used to describe the principles or foundations of a given system of justification or explanation as epistemically prior to or more fundamental than the other propositions in the system. Epistemic readings (as I shall call them) arguably constitute a majority in the secondary literature. This predominant view has been challenged by Robin Smith (1986) and Michael Ferejohn (1994; 2013), who propose interpretations that should be classified as non-epistemic according (...) to the definition above. My aim in this article is purely negative. I intend to show that these non-epistemic interpretations are liable to serious objections and are in conflict with some important features of Aristotle’s theory of demonstration. (shrink)

Aristotle presents four causes in Posterior Analytics 2.11, but where we expect matter we find instead the confusing formula, ‘what things being the case, necessarily this is the case’, and an equally confusing example. Some commentators infer that Aristotle is not referring to matter, others that he is but in a non-standard way. I argue that APo. 94a20-34 presents not matter, but determination by general features or facts, including facts about something’s genus. The closest connection to matter is Aristotle’s view (...) that the relation between genus and species is analogous to that between matter and a hylomorphic compound. (shrink)

In his account of epistēmē, the highest level of understanding attainable in philosophical inquiry, Aristotle articulates standards for the ideal explanations that confer this level of understanding. I argue that Aristotle's key standard for epistēmē is of central importance for the biological homology concept. The explanatory shortcoming that results from violating this standard has been vaguely articulated in recent literature on homology; Aristotle's account offers a more neutral and precise formulation of the shortcoming and its antidote. Further, the risk for (...) this shortcoming has heightened with recent accounts of homology grounded in genetics, increasing the contemporary relevance of Aristotelian epistēmē. (shrink)

In Prior Analytics 1.27–30, Aristotle develops a method for finding deductions. He claims that, given a complete collection of facts in a science, this method allows us to identify all demonstrations and indemonstrable principles in that science. This claim has been questioned by commentators. I argue that the claim is justified by the theory of natural predication presented in Posterior Analytics 1.19–22. According to this theory, natural predication is a non-extensional relation between universals that provides the metaphysical basis for demonstrative (...) science. (shrink)

This paper examines Aristotle's discussion of the priority of actuality to potentiality in geometry at Metaphysics Θ9, 1051a21–33. Many scholars have assumed what I call the "geometrical construction" interpretation, according to which his point here concerns the relation between an inquirer's thinking and a geometrical figure. In contrast, I defend what I call the "geometrical analysis" interpretation, according to which it concerns the asymmetrical relation between geometrical propositions in which one is proved by means of the other. His argument as (...) so construed is ultimately based on the asymmetrical relation between the corresponding geometrical facts. Then I explore this ontological priority in geometry by drawing attention to a parallel passage, Posterior Analytics II.11, 94a24–35, where Aristotle explains the relation between the same geometrical propositions in connection to material causation. (shrink)

The paper examines Posterior Analytics II 11, 94a20-36 and makes three points. (1) The confusing formula ‘given what things, is it necessary for this to be’ [τίνων ὄντων ἀνάγκη τοῦτ᾿ εἶναι] at a21-22 introduces material cause, not syllogistic necessity. (2) When biological material necessitation is the only causal factor, Aristotle is reluctant to formalize it in syllogistic terms, and this helps to explain why, in II 11, he turns to geometry in order to illustrate a kind of material cause that (...) can be expressed as the middle term of an explanatory syllogism. (3) If geometrical proof is viewed as a complex construction built on simpler constructions, it can in effect be described as a case of purely material constitution. (shrink)

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)

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)

This article focusses on the generality of the entities involved in a geometric proof of the kind found in ancient Greek treatises: it shows that the standard modern translation of Greek mathematical propositions falsifies crucial syntactical elements, and employs an incorrect conception of the denotative letters in a Greek geometric proof; epigraphic evidence is adduced to show that these denotative letters are ‘letter-labels’. On this basis, the article explores the consequences of seeing that a Greek mathematical proposition is fully general, (...) and the ontological commitments underlying the stylistic practice. (shrink)

This is a translation, made by myself, of the paper to be published in Portuguese in the journal Discurso, 2020, in honour of the late professor Oswaldo Porchat. I discuss what Aristotle was trying to encode when he said that the object of scientific knowledge is necessary, or that what we know (scientifically) cannot be otherwise etc. The paper is meant as a continuation of previous papers—orientated towards a book on the Posterior Analytics—and thus does not discuss in much detail (...) key passages, as the very definition of scientific knowledge in APo I.2, or passages from APo I.4 and I.6 (for these, I refer to my previous papers). This paper is mainly focused on Aristotle’s references to his notion of scientific knowledge both in other passages from the APo and in other treatises. I intend to show that there is a progressive, intrinsic relation between the two requirements by which scientific knowledge is defined. It is not true that each of these requirements stems from a different source. The Causal-Explanatory requirements gives Aristotle the general heading. Then, the Necessity Requirement ranges over the explanatory relation between explanans and explanandum and thereby specifies what sort of cause is sctricly required for having scientific knowledge of a given explanandum. Now, Aristotle was also concerned with the necessary truth of the elemental predications that constitute a demonstration. My claim that the Necessity Requirement ranges over the explanatory relation does not ignore that concern, and does not deny it. My claim is that Aristotle’s main focus, and main concern, consists in stressing that the explanatory factor to be captured in scientific knowledge of a given explanandum is such that cannot be otherwise. (shrink)

This argues for a reading of PA I.1, 639b11-640a9 as a continuous argument, which I divide into 3 main sections. Aristotle’s point in the first section is that teleological explanations should precede non-teleological explanations in the order of exposition. His reasoning is that the ends cited in teleological explanations are definitions, and definitions—which are not subject to further explanation—are appropriate starting points, insofar as they prevent explanations from going on ad infinitum. Moreover, I argue that Aristotle proceeds in the following (...) two sections to criticize certain non-teleological accounts offered by his predecessors on the grounds that they are explanatorily defective: I take Aristotle’s complaints to be that those accounts—unlike teleological explanations—neither begin from appropriate starting points nor entail the phenomena that they purport to explain. Along the way, I am defending an alternative way of understanding what "hypothetical necessity" refers to, for Aristotle. Comments are welcome! (shrink)

The spiritual torsion and material complexity so characteristic of Baroque aesthetics is something that extends to (or perhaps, better, issues from) the intension of the term itself. This much is evident in the sense that, since the twentieth century, various projects have proposed such notions as a medical-baroque, a postcolonial-baroque, and a digital-baroque. Beyond any given object of analysis, then, in this way the Baroque adduces the concepts by which any inquiry into objects might take place. As such, the Baroque (...) can be said to be that which signals the ongoing relation of thought to the world, of ‘the inside’ to ‘the outside’ (while at the same time problematising the priority of either side over the other). Indeed, following certain post-Kantian readings of Leibnizian philosophy, the Baroque is to be regarded not so much as something to be understood but rather as a frenzied development of the understanding itself. (shrink)

In the vein of a renewed interest in diagrammatic reasoning, this paper challenges an opposition between logic diagrams and formal languages that has traditionally been the common view in philosophy of logic and linguistics. We examine, from a philosophical point of view, what we call five dogmas of logic diagrams. These are as follows: (1) diagrams are non-linguistic; (2) diagrams are visual representations; (3) diagrams are iconic, and not symbolic; (4) diagrams are non-linear; (5) diagrams are heterogenous, and not homogenous. (...) Using historical examples, we argue that none of these dogmas is an adequate criterion to distinguish logic diagrams from formal languages. Instead, we advocate that there is a common core between linguistic and diagrammatic representation and reasoning. (shrink)

Nos Segundos Analíticos I. 14, 79a16-21 Aristóteles afirma que as demonstrações matemáticas são expressas em silogismos de primeira figura. Apresento uma leitura da teoria da demonstração científica exposta nos Segundos Analíticos I (com maior ênfase nos capítulo 2-6) que seja consistente com o texto aristotélico e explique exemplos de demonstrações geométricas presentes no Corpus. Em termos gerais, defendo que a demonstração aristotélica é um procedimento de análise que explica um dado explanandum por meio da conversão de uma proposição previamente estabelecida. (...) Em uma estrutura silogística, a proposição previamente estabelecida é a premissa maior e o termo mediador deve ser comensurado ao explanandum. O conjunto da premissa maior e da premissa menor (o explanans) é coextensivo ao explanandum, mas há uma assimetria intensional entre o explanans e o explanandum, de modo que apenas o primeiro explique o último. Por fim, defendo que o elemento identificado no termo mediador deve ser o mais apropriado para explicar precisamente o que certo explanandum é. (shrink)