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)

I argue that these inconsistencies in wording and practice reflect the existence of two distinct Aristotelian views of inquiry, one peculiar to the Posterior Analytics and the other put forward in the Physics and practiced in the Physics and in other treatises. Although the two views overlap to some degree (e.g. both regard a rudimentary understanding of the subject as an essential first stage), the view of the syllogism as the workhorse of scientific investigation and the related view of inquiry (...) as a search for the ‘missing middle terms’ turn out to be ideas peculiar to the Analytics. Conversely, the techniques of analysis and differentiation highlighted in the Physics account receive only cursory attention in the Analytics. However, when we consider the character of Aristotle’s own inquiries, on both scientific and philosophical topics, it becomes clear that it is the Physics rather than the Posterior Analytics that gives us Aristotle’s considered view the path to knowledge. (shrink)

Although there are many questions to be asked about philosophy of mathematics, the fundamental questions to be asked will be questions about what the mathematical object is in view of being and what the mathematical reasoning is in view of knowledge. It is clear that other problems will develop in parallel within the framework of the answers to these questions. For this reason, when we approach Aristotle's philosophy of mathematics over these two basic problems, we come up with the concept (...) of abstraction. In our work, I will try to explain the mathematical abstraction that Aristotle has developed to understand mathematical philosophy. (shrink)

The article comments on the epistemological foundations of medieval Arabic science and philosophy, as presented in five earlier communications, and attempts to draw some guidelines for the study of its social history. At the very beginning the notion of "Islam" is discounted as a meaningful explanatory category for historical investigation. A first part then looks at the applied sciences and notes three major characteristics of their epistemological approach: they were functionalist and based on experience and observation. The second part looks (...) at the theoretical sciences and notes that their epistemology was based on geometrical as well as (b) syllogistic modes of proof, and that the particular approach of scientists and philosophers was determined by (c) whether the motivations of each were scientific or non-scientific (e.g., religious, dogmatic, eristic, etc.). A third part concludes that for medieval Arabic-writing scholars with a scientific motivation the epistemological bases of their work were common to scientists to all cultures, and that the causes of advance or decline of Arabic science and philosophy have to be sought in social factors. In this regard three factors are presented as instrumental: (a) the level of patronage and wealth in any given society within the medieval Islamic world, (b) the cultural attitude of ideological laissezfaire in Sunni Islam which neither imposed nor adopted authoritative solutions in scientific and philosophical issues, and (c) the temporal and local specificity of scientific activity that makes the social contextualization of each science necessary in historical work. (shrink)

Three distinctly different interpretations of Aristotle’s notion of a sullogismos in Prior Analytics can be traced: (1) a valid or invalid premise-conclusion argument (2) a single, logically true conditional proposition and (3) a cogent argumentation or deduction. Remarkably the three interpretations hold similar notions about the logical relationships among the sullogismoi. This is most apparent in their conflating three processes that Aristotle especially distinguishes: completion (A4-6)reduction(A7) and analysis (A45). Interpretive problems result from not sufficiently recognizing Aristotle’s remarkable degree of metalogical (...) sophistication to distinguish logical syntax from semantics and, thus, also from not grasping him to refine the deduction system of his underlying logic. While it is obvious that Aristotle most often uses ‘sullogimos’ to denote a valid argument of a certain kind, we show that at Prior Analytics A4-6, 7, 45 Aristotle specifically treats a sullogismos as an elemental argument pattern having only valid instances and that such a pattern then serves as a rule of deduction in his syllogistic logic. By extracting Aristotle’s understanding of three proof-theoretic processes, this paper provides new insight into what Aristotle thinks reasoning syllogistically is and, moreover, it resolves three problems in the most recent interpretation that takes a sullogismos to be a deduction. (shrink)