Aristotle: Mathematical Science

This paper has two specific goals. The first is to demonstrate that the theorem in MetaphysicsΘ 9, 1051a24-27 is not equiva-lent to Euclid’s Proposition 32 of book I (which contradicts some Aristotelian commentators, such as W. D. Ross, J. L. Heiberg, and T. L. Heith). Agreeing with Henry Mendell’s analysis, I ar-gue that the two theorems are not equivalent, but I offer different reasons for such divergence: I propose a pedagogical-philosoph-ical reason for the Aristotelian theorem being shorter than the Euclidean (...) one (and the previous Aristotelian versions). Aristotle wants to emphasize the deductive procedure as a satisfactory method to discover scientific knowledge. The second objective, opposing some consensus about geometrical deductions/theo-rems in Aristotle, is to briefly propose that the theorem, exactly as we found it in Metaphysics and without any emendation to the text (therefore opposing Henry Mendell’s suggested amend-ments), allows the ancient philosopher to demonstrate that universal mathematical knowledge is in potence in geometrical figures. This tentatively proves that Aristotle emphasizes that geometrical deduction is sufficient to actualize mathematical knowledge. (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)

In Metaphysics M.2, 1077a9-14, Aristotle appears to argue against the existence of Platonic Forms on the basis of there being certain universal mathematical proofs which are about things that are ‘beyond’ the ordinary objects of mathematics and that cannot be identified with any of these. It is a very effective argument against Platonism, because it provides a counter-example to the core Platonic idea that there are Forms in order to serve as the object of scientific knowledge: the universal of which (...) theorems of universal mathematics are proven in Greek mathematics is neither Quantity in general nor any of the specific quantities, but Quantity-of-type-x. This universal cannot be a Platonic Form, for it is dependent on the types of quantity over which the variable ranges. Since for both Plato and Aristotle the object of scientific knowledge is that F which explains why G holds, as shown in a ‘direct’ proof about an arbitrary F (they merely disagree about the ontological status of this arbitrary F, whether a Form or a particular used in so far as it is F), Plato cannot maintain that Forms must be there as objects of scientific knowledge - unless the mathematics is changed. (shrink)

ARISTOTLE'S PHYSICS 3.3 contains interesting evidence of an open debate in mathematics, concerning the interchangeability of the notions of diastēma and logos in the theory of harmonics. Because of the standard interpretation of the passage, however, this reference to harmonics has gone unnoticed: a slightly different understanding is proposed in this paper, which restores the relevance of the passage and its place in the contemporary debate.

Aristotle’s way of conceiving the relationship between mathematics and other branches of scientific knowledge is completely different from the way a contemporary scientist conceives it. This is one of the causes of the fact that we look at the mathematical passage we find in Aristotle’s works with the wrong expectation. We expect to find more or less stringent proofs, while for the most part Aristotle employs mere analogies. Indeed, this is the primary function of mathematics when employed in a philosophical (...) context: not a demonstrative tool, but a purely analogical model. In the case of the geometrical examples discussed in this paper, the diagrams are not conceived as part of a formalized proof, but as a work in progress. Aristotle is not interested in the final diagram but in the construction viewed in its process of development; namely in the figure a geometer draws, and gradually modifies, when he tries to solve a problem. The way in which the geometer makes use of the elements of his diagram, and the relation between these elements and his inner state of knowledge is the real feature which interests Aristotle. His goal is to use analogy in order to give the reader an idea of the states of mind involved in a more general process of knowing. (shrink)

The passage has been an object of scholarly debate: the lack of independent sources on the mathematical construction described by Aristotle, the terseness of the formulation and the resulting syntactical ambiguities make the exact interpretation of the text quite difficult, as already noted by Philoponus. What does it mean that the gnomons are ‘placed round the one and without’ (περὶ τὸ ἓν καὶ χωρίς)? And in what sense is this an indication of the even being ‘cut off, enclosed (ἐναπολαμβανόμενον), and (...) limited (περαινόμενον) by the odd’? The aim of the present paper is to discuss the available interpretations of the passage and to propose a new one. (shrink)

By examining Klein’s discussion of the difference between Plato and Aristotle regarding the ontology of number, this article aims to spells out the significanceof that debate both in itself and for the development of the later mathematical sciences. This is accomplished by explicating and expanding Klein’s account of the differences that exist in the understanding of number presented by these two thinkers. It is ultimately argued that Klein’s analysis can be used to show that the transition from the ancient to (...) the modern number concept has some roots in this disagreement between Plato and Aristotle regarding number. This, in turn, sets up that dispute as an essential part of the background to the more general break between ancient and modern conceptuality, the uncovering of whichis Klein’s main concern. (shrink)

By examining Klein’s discussion of the difference between Plato and Aristotle regarding the ontology of number, this article aims to spells out the significanceof that debate both in itself and for the development of the later mathematical sciences. This is accomplished by explicating and expanding Klein’s account of the differences that exist in the understanding of number presented by these two thinkers. It is ultimately argued that Klein’s analysis can be used to show that the transition from the ancient to (...) the modern number concept has some roots in this disagreement between Plato and Aristotle regarding number. This, in turn, sets up that dispute as an essential part of the background to the more general break between ancient and modern conceptuality, the uncovering of whichis Klein’s main concern. (shrink)

The aim of the paper is to show that the iterative (local and atemporal) meaning of the adverb ἀεί has a function of primary importance in Aristotle’s system, and that its use is strictly connected with the technical use of the same term in mathematics.

I discuss the issue whether Aristotle's philosophy of science allows the use of mathematical premises or mathematical tools in general for explanaing phenomena in the natural sciences. I thereby discuss the concept of "metabasis eis allo genos" as it appears in Posterior Analytics I.7.

This book examines Aristotle's critical reaction to the mathematical cosmology of Plato's Academy, and traces the aporetic method by which he developed his own ...