This book investigates Aristotle’s views on abstraction and explores how he uses it. In this work, the author follows Aristotle in focusing on the scientific detail first and then approaches the metaphysical claims, and so creates a reconstructed theory that explains many puzzles of Aristotle’s thought. Understanding the details of his theory of relations and abstraction further illuminates his theory of universals. Some of the features of Aristotle’s theory of abstraction developed in this book include: abstraction is a relation; perception (...) and knowledge are types of abstraction; the objects generated by abstractions are relata which can serve as subjects in their own right, whereupon they can appear as items in other categories. The author goes on to look at how Aristotle distinguishes the concrete from the abstract paronym, how induction is a type of abstraction which typically moves from the perceived individuals to universals and how Aristotle’s metaphysical vocabulary is "relational.’ Beyond those features, this work also looks at how of universals, accidents, forms, causes and potentialities have being only as abstract aspects of individual substances. An individual substance is identical to its essence; the essence has universal features but is the singularity making the individual substance what it is. These theories are expounded within this book. One main attraction in working out the details of Aristotle’s views on abstraction lies in understanding his metaphysics of universals as abstract objects. This work reclaims past ground as the main philosophical tradition of abstraction has been ignored in recent times. It gives a modern version of the medieval doctrine of the threefold distinction of essence, made famous by the Islamic philosopher, Avicenna. (shrink)

Aristotle ends Metaphysics books M–N with an account of how one can get the impression that Platonic Form-numbers can be causes. Though these passages are all admittedly polemic against the Platonic understanding, there is an undercurrent wherein Aristotle seems to want to explain in his own terms the evidence the Platonist might perceive as supporting his view, and give any possible credit where credit is due. Indeed, underlying this explanation of how the Platonist may have formed his impression, we discover (...) Aristotle's own understanding of what we today might call the mathematical structure of nature. Mathematicals are, to Aristotle, abstractions of order, symmetry, and definiteness, which are in turn aspects of the formal cause of goodness and beauty. This is a lens through which an Aristotelian could view modern mathematical physics as an important aspect of natural philosophy, and which is foundational for an Aristotelian philosophy of mathematics. (shrink)

La filosofía de las matemáticas de Aristóteles es una investigación acerca de tres asuntos diferentes pero complementarios: el lugar epistemológico de las matemáticas en el organigrama de las ciencias teoréticas o especulativas; el estudio del método usado por el matemático para elaborar sus doctrinas, sobre todo la geometría y la aritmética; y la averiguación del estatuto ontológico de las entidades matemáticas. Para comprender lo peculiar de la doctrina aristotélica es necesario tener en cuenta que su principal interés está en poner (...) en relación la matemática con la filosofía primera u ontología y la física, y salvaguardar el campo de conocimiento propio de cada una de ellas. (shrink)

Modern logicians have sought to unlock the modal secrets of Aristotle's Syllogistic by assuming a version of essentialism and treating it as a primitive within the semantics. These attempts ultimately distort Aristotle's ontology. None of these approaches make full use of tests found throughout Aristotle's corpus and ancient Greek philosophy. I base a system on Aristotle's tests for things that can never combine (polarity) and things that can never separate (inseparability). The resulting system not only reproduces Aristotle's recorded results for (...) the apodictic syllogistic in the Prior Analytics but it also generates rather than assumes Aristotle's distinctions among 'necessary', 'essential' and 'accidental'. By developing a system around tests that are in Aristotle and basic to ancient Greek philosophy, the system is linked to a history of practices, providing a platform for future work on the origins of logic. (shrink)

Although Aristotle does not explicitly address persistence, his account of persisting may be derived from a careful consideration of his account of change. On my interpretation, he supposes that motions are mereological unities of their potential temporal parts – I dub such mereological unities ‘lasting’. Aristotle’s persisting things, too, are lasting, I argue. Lasting things are unlike enduring things in that they have temporal parts; and unlike perduring things in that their temporal parts are not actual, but rather are potential. (...) Lasting, that is Aristotle’s persisting, is thus a distinctive alternative to enduring and perduring. I assess this alternative showing it to be attractive. (shrink)

In a series of recent papers, Emily Katz has argued that on Aristotle's view mathematical sciences are in an important respect no different from most natural sciences: They study sensible substances, but not qua sensible. In this paper, I argue that this is only half the story. Mathematical sciences are distinctive for Aristotle in that they study things ‘from’, ‘through’ or ‘in’ abstraction, whereas natural sciences study things ‘like the snub’. What this means, I argue, is that natural sciences must (...) study properties as they occur in the subjects from which they are originally abstracted, even where they reify these properties and treat them as subjects. The objects of mathematical sciences, on the other hand, can be studied as if they did not really occur in an underlying subject. This is because none of the properties of mathematical objects depend on their being in reality features of the subjects from which they are abstracted, such as bodies and inscriptions. Mathematical sciences are in this way able to study what are in reality non-substances as if they were substances. (shrink)

In Metaphysics B.2 and M.2, Aristotle gives a series of arguments against Platonic mathematical objects. On the view he targets, mathematicals are substances somehow intermediate between Platonic forms and sensible substances. I consider two closely related passages in B2 and M.2 in which he argues that Platonists will need intermediates not only for geometry and arithmetic, but also for the so-called mixed mathematical sciences, and ultimately for all sciences of sensibles. While this has been dismissed as mere polemics, I show (...) that the argument is given in earnest, as Aristotle is committed to its key premises. Further, the argument reveals that Annas’ uniqueness problem is not the only reason a Platonic ontology needs intermediates. Finally, since Aristotle’s objection to intermediates for the mixed mathematical sciences is one he takes seriously, so that it is unlikely that his own account of mathematical objects would fall prey to it, the argument casts doubt on a common interpretation of his philosophy of mathematics. (shrink)

There is little agreement about Aristotle’s philosophy of geometry, partly due to the textual evidence and partly part to disagreement over what constitutes a plausible view. I keep separate the questions ‘What is Aristotle’s philosophy of geometry?’ and ‘Is Aristotle right?’, and consider the textual evidence in the context of Greek geometrical practice, and show that, for Aristotle, plane geometry is about properties of certain sensible objects—specifically, dimensional continuity—and certain properties possessed by actual and potential compass-and-straightedge drawings qua quantitative and (...) continuous. For their part, the objects of stereometry are potential sensible three-dimensional figures qua quantitative and continuous. (shrink)

Frege argues that number is so unlike the things we accept as properties of external objects that it cannot be such a property. In particular, (1) number is arbitrary in a way that qualities are not, and (2) number is not predicated of its subjects in the way that qualities are. Most Aristotle scholars suppose either that Frege has refuted Aristotle's number theory or that Aristotle avoids Frege's objections by not making numbers properties of external objects. This has led some (...) to conclude that Aristotle's accounts of arithmetical and geometrical objects differ substantially. I close this supposed gap by showing that Aristotle's arithmetical objects, like geometrical objects, are just certain sensible things qua certain properties they in fact possess. Specifically, numbers are pluralities qua quantitative or relational properties like ten units or ten. I show that this view is resistant to the Fregean concerns about arbitrariness and numerical predication. (shrink)

The paper is a study of the logic of existence, negation, and order in the Neoplatonic tradition. The central idea is that Neoplatonists assume a logic in which the existence predicate is a comparative adjective and in which monadic predicates function as scalar adjectives that nest the background order. Various scalar predicate negations are then identifiable with various Neoplatonic negations, including a privative negation appropriate for the lower orders of reality and a hyper-negation appropriate for the higher. Reversion to the (...) One can then be explained as the logical inference of hyper-negations from mundane knowledge. Part I develops the relevant linguistic and logical theory, and Part II defends Wolfson and the scalar interpretation against the more traditional Aristotelian understanding of Whittaker and others of reversion as intensional abstraction. (shrink)

Aristotle’s philosophy of geometry is widely interpreted as a reaction against a Platonic realist conception of mathematics. Here I argue to the contrary that Aristotle is concerned primarily with the methodological question of how universal inferences are warranted by particular geometrical constructions. His answer hinges on the concept of abstraction, an operation of “taking away” certain features of material particulars that makes perspicuous universal relations among magnitudes. On my reading, abstraction is a diagrammatic procedure for Aristotle, and it is through (...) imagined variation of diagrams that one can universalize spatial inferences. In order to shift the discussion of Aristotle’s work on geometry from ontological to methodological questions, I argue in the first section that geometrical properties for Aristotle are necessary accidents of the particulars, canonically diagrams, in which they inhere. I then consider a line of research that shows how diagrams in ancient geometry are not illustrations of the textual proof but are in part constitutive of geometrical inference, an insight I claim can shed light on Aristotle’s philosophical project. Next I substantiate this assertion by giving an alternative interpretation of abstraction according to which it is a diagrammatic procedure that allows a part of a particular diagram to stand in for a universal. In the last section, I consider Aristotle’s account of mathematical cognition, arguing that there is evidence for the view that imagination is necessary both for the construction of figures, and for their presentation as abstractions subject to universal inference. (shrink)

Both literalism, the view that mathematical objects simply exist in the empirical world, and fictionalism, the view that mathematical objects do not exist but are rather harmless fictions, have been both ascribed to Aristotle. The ascription of literalism to Aristotle, however, commits Aristotle to the unattractive view that mathematics studies but a small fragment of the physical world; and there is evidence that Aristotle would deny the literalist position that mathematical objects are perceivable. The ascription of fictionalism also faces a (...) difficult challenge: there is evidence that Aristotle would deny the fictionalist position that mathematics is false. I argue that, in Aristotle's view, the fiction of mathematics is not to treat what does not exist as if existing but to treat mathematical objects with an ontological status they lack. This form of fictionalism is consistent with holding that mathematics is true. (shrink)

The principal differences between the contemporary philosophic traditions which have come to be known loosely as analytic philosophy and phenomenology are all related to the central issue of the interplay between predication and perception. Frege's critique of psychologism has led to the conviction within the analytic tradition that philosophy may best defend rationality from relativism by detaching logic and semantics from all dependence on subjective intuitions. On this interpretation, logical analysis must account for the relationship of sense to reference without (...) having recourse to a description of how we identify particulars through their perceived features. Husserl' s emphasis on the priority and objective import of perception, and on the continuity between predicative articulations and perceptual discriminations, has yielded the conviction within the phenomenological tradition that logical analysis should always be comple mented by description of pre-predicative intuitions. These methodological differences are related to broader differences in the philosophic projects of analysis and phenomenology. The two traditions have adopted markedly divergent positions in reaction to the critique of ancient and medieval philosophy initiated by Bacon, Descartes, and Hobbes at the beginning of the modern era. The analytic approach generally endorses the modern preference for calculative rationality and remains suspicious of pre-modern categories, such as formal causality and eidetic intuition. Its goal is to give an account of human intelligence that is compatible with the modern interpretation of nature as an ensemble of quantifiable entities and relations. (shrink)

For Aristotle, the shape of a physical body is perceptible per se (DA II.6, 418a8-9). As I read his position, shape is thus a causal power, as a physical body can affect our sense organs simply in virtue of possessing it. But this invites a challenge. If shape is an intrinsically powerful property, and indeed an intrinsically perceptible one, then why are the objects of geometrical reasoning, as such, inert and imperceptible? I here address Aristotle’s answer to that problem, focusing (...) on the version of it that he presents in De caelo III.8. I argue that if we grant that Aristotle conceived of the shape of a sensible body as some kind of causal power, then the satisfactory resolution of that challenge pushes us to interpret him as having conceived of it as being, more specifically, an impure power—that is, as a property that is not only intrinsically powerful but also, in some way, intrinsically non-powerful as well. This is a notable result not only insofar as it illuminates Aristotle’s conception of shape but also insofar as it contributes to our knowledge of Aristotle’s theory of dunameis and his ontology more broadly. (shrink)