SigPhi · Proclus

The philosophical and mathematical commentaries of Proclus on the first book of

Page 13 of 20

not ignorant of whatever Porphyry the Philosopher has observed in his miscellanies, and whatever many of the Platonists describe. But we think that the present discussions are more agreeable to geometric dissertations, and to Plato himself, who subjects to geometry the objects of cogitation. For these mutually agree among themselves; because the causes, indeed, of geometrical forms, by which cogitation produces demonstrations, pre-exist in demonstration itself: but the particular figures which are divided and compounded, are situated in the receptacle of the phantasy.

CHAP. II.

_What kind of Science Geometry is._ But let us now speak of that science which possesses a power of contemplating the universal forms participated by imaginative matter.

Geometry, therefore, is endued with the knowledge of magnitudes and figures, and of the terms and reasons subsisting in these; together with the passions, various positions and motions which are contingent about these. For it proceeds, indeed, from an impartible point, but descends even to solids, and finds out their multiform diversities.

And again, runs back from things more composite, to things more simple, and to the principles of these: since it uses compositions and resolutions, always beginning from suppositions, and assuming its principles from a previous science; but employing all the dialectic ways. In principles, by the divisions of forms from their genera, and by defining its orations. But in things posterior to principles, by demonstrations and resolutions. As likewise, it exhibits things more various, proceeding from such as are more simple, and returning to them again. Besides this, it separately discourses of its subjects; separately of its axioms; from which it rises to demonstrations; and separately of essential accidents, which it shews likewise are resident in its subjects. For every science has, indeed, a genus, about which it is conversant, and whose passions it proposes to consider: and besides this, principles, which it uses in demonstrations; and essential accidents. Axioms, indeed, are common to all sciences (though each employs them in its peculiar subject matter), but genus and essential accident vary according to the sciential variety. The subjects of geometry are therefore, indeed, triangles, quadrangles, circles, and universally figures and magnitudes, and the boundaries of these. But its essential accidents are divisions, ratios, contacts, equalities, applications, excesses, defects, and the like. But its petitions and axioms, by which it demonstrates every particular are, this, to draw a right line from any point to any point; and that, if from equals you take away equals, the remainders will be equal; together with the petitions and axioms consequent to these. Hence, not every problem nor thing sought is geometrical, but such only as flow from geometric principles. And he who is reproved and convicted from these, is convinced as a geometrician. But whoever is convinced from principles different from these, is not a geometrician, but is foreign from the geometric contemplation. But the objects of the non-geometric investigation, are of two kinds. For the thing sought for, is either from entirely different principles, as we say that a musical enquiry is foreign from geometry, because it emanates from other suppositions, and not from the principles of geometry: or it is such as uses, indeed, geometrical principles, but at the same time perversely, as if any one should say, that parallels coincide. And on this account, geometry also exhibits to us instruments of judging, by which we may know what things are consequent to its principles, and what those are which fall from the truth of its principles: for some things attend geometrical, but others arithmetical principles. And why should we speak of others, since they are far distant from these? For one science is more certain than another (as Aristotle says[99]) that, indeed, which emanates from more simple suppositions, than that which uses more various principles; and that which tells the _why_, than that which knows only the simple existence of a thing; and that which is conversant about intelligibles, than that which touches and is employed about sensibles. And according to these definitions of certainty, arithmetic is, indeed, more certain than geometry, since its principles excel by their simplicity. For unity is void of position, with which a point is endued. And a point, indeed, when it receives position, is the principle of geometry: but unity, of arithmetic. But geometry is more certain than spherics; and arithmetic, than music.

For these render universally the causes of those theorems, which are contained under them. Again, geometry is more certain than mechanics, optics, and catoptrics. Because these discourse only on sensible objects. The principles, therefore, of geometry and arithmetic, differ, indeed, from the principles of other sciences; but the hypotheses of these two, alternately differ and agree according to the difference we have already described. Hence, also, with respect to the theorems which are demonstrated in these sciences, some are, indeed, common to them, but others peculiar. For the theorem which says, _every proportion may be expressed_, alone belongs to arithmetic; but by no means to geometry: since this last science contains things which cannot be expressed[100]. That theorem also, which affirms, that _the gnomons of quadrangles are terminated according to the least_[101], is the property of arithmetic: for in geometry, a minimum cannot be given.

But those things are peculiar to geometry, which are conversant about positions; for numbers have no position: which respect contacts; for contact is found in continued quantities: and which are conversant about ineffable proportions; for where division proceeds to infinity, there also that which is ineffable is found[102]. But things common to both these sciences, are such as respect divisions, which Euclid treats of in the second book; except that proposition which divides a right line into extreme and mean proportion[103]. Again, of these common theorems, some, indeed, are transferred from geometry into arithmetic; but others, on the contrary, from arithmetic into geometry: and others similarly accord with both, which are derived into them from the whole mathematical science. For the permutation, indeed, conversions, compositions, and divisions of ratios are, after this manner, common to both. But such things as are commensurable, arithmetic first beholds; but afterwards geometry, imitating arithmetic. From whence, also, it determines such things to be commensurables of this kind, which have the same mutual ratio to one another, as number to number; because commensurability principally subsists in numbers. For where number is, there also that which is commensurable is found; and where commensurable is, there also number. Lastly, geometry first inspects triangles and quadrangles: but, arithmetic, receiving these from geometry, considers them according to proportion. For in numbers, figures reside in a causal manner. Being excited, therefore, from effects, we pass to their causes, which are contained in numbers. And at one time, we indifferently behold the same accidents, as when every polygon is resolved by us into triangles[104]: but, at another time, we are content with what is nearest to the truth, as when we find in geometry one quadrangle the double of another, but not finding this in numbers, we say that one square is double of another, except by a deficience of unity. As for instance, the square from 7, is double the square from 5, wanting one. But we have produced our discussion to this length, for the purpose of evincing the communion and difference in the principles of these two sciences. Since it belongs to a geometrician to survey from what common principles common theorems are divided; and from what principles such as are peculiar proceed; and thus to distinguish between the geometrical, and non-geometrical, referring each of them to different sciences.

CHAP. III.

_From whence the whole of Geometry originated, how far it proceeds, and in what its Utility consists._ But, beginning still higher, let us contemplate the whole of geometry, from whence it originated, and how far it proceeds in its energies: for thus we shall properly perceive the ornament which it contains.

Indeed, it is necessary to understand that it is extended through the universality of things: that it accommodates its animadversions[105] to all beings; and contains in itself the forms of all things: that, according to its supreme part, and which is endued with the highest power of intelligence, it surveys true beings; and teaches by images the properties of divine ornaments, and the powers of intellectual forms: for it contains the reasons of these also in its peculiar contemplations. And it exhibits what figures are convenient to the god, to primary essences, and to the natures of souls. But, according to its middle cognitions, it evolves cogitative reasons; explains and beholds the variety which they contain; exhibits their existence, and inherent passions; as also, their communities and diversities. From which, indeed, it comprehends, in terminated bounds, the imaginative formations of figures, and reduces them to the essential substance of reasons. But, according to the third propagations of cogitative intelligence, it considers nature, and delivers the manner in which the forms of sensible elements, and the powers which they contain, are previously received according to cause, in the reasons themselves. For it possesses, indeed, the images of universal intelligible genera; but the exemplars of such as are sensible: and completes its own essence, according to such things as are subject to cogitation. And through these, as through proper mediums, it ascends and descends to those universals which truly are, and to sensible forms which are in a state of perpetual formation. But always geometrically philosophising concerning the things which are, it comprehends in all the proportions of virtues, the images of intellectual, animal, and natural concerns.

And it delivers, in an orderly manner, all the ornaments of republics: and exhibits in itself their various mutations. Such then are its energies arising from a certain immaterial power of cognition: but when it touches upon matter, it produces from itself a multitude of sciences; such as geodæsia, mechanics, and perspective: by which it procures the greatest benefit to the life of mortals. For it constructs by these sciences, war-instruments, and the bulwarks of cities; and makes known the circuits of mountains, and the situations of places.

Lastly, it instructs us in measures: at one time of the diversified ways of the earth; and at another, of the restless paths of the deep.

Add too, that it constructs balances and scales, by which it renders to cities a sure equality according to the invariable standard of number. Likewise, it clearly expresses, by images, the order of the whole orb of the earth; and by these, manifests many things incredible to mankind, and renders them credible to all. Such, indeed, as Hiero of Syracuse is reported to have said of Archimedes[106], when he had fabricated a ship furnished with three sails, which he had prepared to send to Ptolemy king of Egypt. For when all the Syracusians together, were unable to draw this ship, Archimedes enabled Hiero to draw it himself, without any assistance from others. But he, being astonished, said, From this day, Archimedes shall be believed in whatever he shall affirm. They also report, that Gelo said the same, when Archimedes discovered the weight of the several materials from which his crown was composed, without dissolving their union. And such are the narrations which many of the ancients have delivered to our memory, who were willing to speak in praise of the mathematics: and, on this account, we have placed before the reader, for the present, a few out of the many, as not foreign from our design of exhibiting the knowledge and utility of geometry.

CHAP. IV.

_On the Origin of Geometry, and its Inventors._ But let us now explain the origin of geometry, as existing in the present age of the world. For the demoniacal Aristotle[107] observes, that the same opinions often subsist among men, according to certain orderly revolutions of the world: and that sciences did not receive their first constitution in our times, nor in those periods which are known to us from historical tradition, but have appeared and vanished again in other revolutions of the universe; nor is it possible to say how often this has happened in past ages, and will again take place in the future circulations of time. But, because the origin of arts and sciences is to be considered according to the present revolution of the universe, we must affirm, in conformity with the most general tradition, that geometry was first invented by the Egyptians, deriving its origin from the mensuration of their fields: since this, indeed, was necessary to them, on account of the inundation of the Nile washing away the boundaries of land belonging to each. Nor ought it to seem wonderful that the invention of this as well as of other sciences, should receive its commencement from convenience and opportunity.

Since whatever is carried in the circle of generation, proceeds from the imperfect to the perfect. A transition, therefore, is not undeservedly made from sense to consideration, and from this to the nobler energies of intellect[108]. Hence, as the certain knowledge of numbers received its origin among the Phœnicians, on account of merchandise and commerce, so geometry was found out among the Egyptians from the distribution of land. When Thales, therefore, first went into Egypt, he transferred this knowledge from thence into Greece: and he invented many things himself, and communicated to his successors the principles of many. Some of which were, indeed, more universal, but others extended to sensibles. After him Ameristus, the brother of Stesichorus the poet, is celebrated as one who touched upon, and tasted the study of geometry, and who is mentioned by Hippias the Elean, as restoring the glory of geometry. But after these, Pythagoras changed that philosophy, which is conversant about geometry itself, into the form of a liberal doctrine, considering its principles in a more exalted manner; and investigating its theorems immaterially and intellectually; who likewise invented a treatise of such things as cannot be explained[109] in geometry, and discovered the constitution of the mundane figures. After him, Anaxagoras the Clazomenian succeeded, who undertook many things pertaining to geometry. And Oenopides the Chian, was somewhat junior to Anaxagoras, and whom Plato mentions in his Rivals, as one who obtained mathematical glory. To these, succeeded Hippocrates, the Chian, who invented the quadrature of the lunula[110], and Theodorus the Cyrenean, both of them eminent in geometrical knowledge. For the first of these, Hippocrates composed geometrical elements: but Plato, who was posterior to these, caused as well geometry itself, as the other mathematical disciplines, to receive a remarkable addition, on account of the great study he bestowed in their investigation. This he himself manifests, and his books, replete with mathematical discourses, evince: to which we may add, that he every where excites whatever in them is wonderful, and extends to philosophy. But in his time also lived Leodamas the Thasian, Archytas the Tarantine, and Theætetus the Athenian; by whom theorems were increased, and advanced to a more skilful constitution.

But Neoclides was junior to Leodamas, and his disciple was Leon; who added many things to those thought of by former geometricians. So that Leon also constructed elements more accurate, both on account of their multitude, and on account of the use which they exhibit: and besides this, he discovered a method of determining when a problem, whose investigation is sought for, is possible, and when it is impossible.

But Eudoxus the Cnidian, who was somewhat junior to Leon, and the companion of Plato, first of all rendered the multitude of those theorems which are called universals more abundant; and to three proportions added three others; and things relative to a section, which received their commencement from Plato, he diffused into a richer multitude, employing also resolutions in the prosecution of these. Again, Amyclas the Heracleotean, one of Plato’s familiars, and Menæchmus, the disciple, indeed, of Eudoxus, but conversant with Plato, and his brother Dinostratus, rendered the whole of geometry as yet more perfect. But Theudius, the Magnian, appears to have excelled, as well in mathematical disciplines, as in the rest of philosophy. For he constructed elements egregiously, and rendered many particulars more universal. Besides, Cyzicinus the Athenian, flourished at the same period, and became illustrious in other mathematical disciplines, but especially in geometry. These, therefore, resorted by turns to the Academy, and employed themselves in proposing common questions. But Hermotimus, the Colophonian, rendered more abundant what was formerly published by Eudoxus and Theætetus, and invented a multitude of elements, and wrote concerning some geometrical places. But Philippus the Mendæan[111], a disciple of Plato, and by him inflamed in the mathematical disciplines, both composed questions, according to the institutions of Plato, and proposed as the object of his enquiry whatever he thought conduced to the Platonic philosophy. And thus far historians produce the perfection of this science. But Euclid was not much junior to these, who collected elements, and constructed many of those things which were invented by Eudoxus; and perfected many which were discovered by Theætetus. Besides, he reduced to invincible demonstrations, such things as were exhibited by others with a weaker arm. But he lived in the times of the first Ptolemy: for Archimedes mentions Euclid, in his first book, and also in others. Besides, they relate that Euclid was asked by Ptolemy, whether there was any shorter way to the attainment of geometry than by his elementary institution, and that he answered, there was no other royal path which led to geometry. Euclid, therefore, was junior to the familiars of Plato, but more ancient than Eratosthenes and Archimedes (for these lived at one and the same time, according to the tradition of Eratosthenes) but he was of the Platonic sect, and familiar with its philosophy: and from hence he appointed the constitution of those figures which are called Platonic[112], as the end of his elementary institutions.

CHAP. V.

_What Mathematical Volumes Euclid composed._ There are, therefore, many other mathematical volumes of this man, full of admirable diligence, and skilful consideration: for such are his Optics[113], and Catoptrics: and such also, are his elementary institutions, which conduce to the attainment of music[114]; and his book concerning divisions[115]. But his geometrical institution of the Elements is especially admirable, on account of the order and election of those theorems and problems, which are distributed through the Elements. For he does not assume all which might be said, but that only which could be delivered in an elementary order. Besides this, he exhibits modes of syllogisms of every kind; some, indeed, receiving credibility from causes, but others proceeding from certain signs; but all of them invincible and sure, and accommodated to science. But, besides these, he employs all the dialectic ways, dividing, indeed, in the inventions of forms; but defining in essential reasons: and again, demonstrating in the progressions from principles to things sought, but resolving in the reversions from things sought to principles.

Besides this, we may view in his geometrical elements, the various species of conversions, as well of such as are simple as of such as are more composite. And again, what wholes may be converted with wholes: what wholes with parts; and on the other hand, what as parts with parts[116]. Besides this, we must say, that in the continuation of inventions, the dispositions and order of things preceding and following, and in the power with which he treats every particular, he is not deceived, as if falling from science, and carried to its contrary, falsehood and ignorance. But because we may imagine many things as adhering to truth, and which are consequent to principles producing science, which nevertheless tend to that error which flows from the principles, and which deceives ruder minds, he has also delivered methods of the perspicacious prudence belonging to these.

From the possession of which, we may exercise those in the invention of fallacies, who undertake this inspection, and may preserve ourselves from all deception. And this book, by which he procures us this preparation, is inscribed ψευδαρίος, or, concerning fallacies[117].

Because he enumerates in order their various modes, and in each exercises our cogitation with various theorems. And he compares truth with falsehood, and adapts the confutation of deception to experience itself. This book, therefore, contains a purgative and exercising power. But the institution of his elementary, skilful contemplation of geometrical concerns, possesses an invincible and perfect narration.

CHAP. VI.

_Concerning the Purport of Geometry._ But, perhaps, some one may enquire in what the design of this treatise consists? To this I answer, that its design is to be distinguished as well according to the objects of enquiry, as according to the learner.

And, indeed, regarding the subject, we must affirm, that all the discourse of geometry is concerning the mundane figures. Because it begins from such things as are simple, but ends in the variety of their constitution. And, indeed, it constitutes each of them separately, but at the same time delivers their inscriptions in a sphere, and the proportions which they contain. On which account some have thought, that the design of each of the books is to be referred to the world; and they have delivered to our memory, the utility which they afford us in the contemplation of the universe. But distinguishing the design with respect to the learner, we must affirm, that its purpose is the institution of elements; and the perfection of the learners cogitative powers in universal geometry. For beginning from these, we are enabled to understand the other parts of this science, and to comprehend the variety which they contain. And, indeed, without these, the discipline of the rest, is to us impossible and incomprehensible.

For such theorems as are most principal and simple, and are most allied to first suppositions, are here collected in a becoming order. And the demonstrations of other mathematicians, use these as most known, and advance from these in their most complicated progressions. For thus Archimedes, in what he has writ concerning the sphere and cylinder, and Apollonius, and the rest of mathematicians, use, as evident principles, the things exhibited in this treatise. Its purpose, therefore, is the institution of learners in the whole geometric science, and to deliver the determinate constitutions of the mundane figures.

CHAP. VII.

_From whence the Name of Elementary Institution originated, and why Euclid is called the Institutor of Elements._ But what gave rise to the name of elementary institution, and of element itself, from which elementary institution was derived?

To this we shall reply, by observing, that of theorems some are usually called elements, but others elementary, and others again are determined beyond the power of these. Hence, an element is that whose consideration passes to the science of other things, and from which we derive a solution of the doubts incident to the particular science we investigate. For as there are certain first principles of speech, most simple and indivisible, which we denominate elements, and from which all discourse is composed; so there are certain principal theorems of the whole of geometry, denominated elements, which have the respect of principles to the following theorems; which regard all the subsequent propositions, and afford the demonstrations of many accidents essential to the subjects of geometric speculation. But things elementary are such as extend themselves to a multitude of propositions, and possess a certain simplicity and sweetness, yet are not of the same dignity with elements; because their contemplation is not common to all the science to which they belong, as is the case in the following theorem, that in triangles, perpendiculars, drawn from their angles to their sides, coincide in one point[118]. Lastly, whatever neither possesses a knowledge extended into multitude, nor exhibits any thing skilful and elegant, falls beyond the elementary power. Again, an element, as Menæchmus says, may have a twofold definition. For that which confirms, is an element of that which is confirmed; as the first proposition of Euclid with respect to the second, and the fourth with regard to the fifth. And thus, indeed, many things may be mutually called elements one of another; for they are mutually confirmed.

Thus, because the external angles of right-lined figures, are equal to four right angles, the multitude of internal ones equal to right angles; and, on the contrary, that from this is exhibited[119].

Besides, an element is otherwise called that into which, because it is more simple, a composite is dissolved. But it must be observed, that every element cannot be called the element of every thing: but such as are more principal are the elements of such as are constituted in the reason of the thing effected; as petitions are the elements of theorems. And, according to this signification of an element, Euclid’s elements are constructed. Some, indeed, of that geometry which is conversant about planes; but others of stereometry. In the same manner, likewise, in arithmetic and astronomy, many have composed elementary institutions. But it is difficult, in each science, to chuse and conveniently ordain elements, from which all the peculiarities of that science originate, and into which they may be resolved. And among those who have undertaken this employment, some have been able to collect more, but others fewer elements. And some, indeed, have used shorter demonstrations; but others have extended their treatise to an infinite length. And some have omitted the method by an impossibility; but others that by proportion; and others, again, have attempted preparations against arguments destroying principles. So that many methods of elementary institution have been invented by particular writers on this subject. But it is requisite that this treatise should entirely remove every thing superfluous, because it is an impediment to science. But every thing should be chosen, which contains and concludes the thing proposed; for this is most convenient and useful in science.

The greatest care, likewise, should be paid to clearness and brevity; for the contraries to these, disturb our cogitation. Lastly, it should vindicate to itself, the universal comprehension of theorems, in their proper bounds: for such things as divide learning into particular fragments, produce an incomprehensible knowledge. But in all these modes, any one may easily find, that the elementary institution of Euclid excels the institutions of others. For its utility, indeed, especially confers to the contemplation of primary figures: but the transition from things more simple to such as are more various, and also that perception, which from axioms possesses the beginning of knowledge, produces clearness, and an orderly tradition: and the migration from first and principal theorems to the objects of enquiry, effects the universality of demonstration. For whatever he seems to omit, may either be known by the same ways, as the construction of a scalene and isosceles triangle[120]: or because they are difficult, and capable of infinite variety, they are far remote from the election of elements, such as the doctrine of perturbate proportions, which Apollonius has copiously handled: or, lastly, because they may be easily constructed from the things delivered, as from causes, such as many species of angles and lines. For these, indeed, were omitted by Euclid, and are largely discoursed of by others, and are known from simple propositions. And thus much concerning the universal elementary institution of geometry.

CHAP. VIII.

_Concerning the Order of Geometrical Discourses._ But let us now explain the universal order of the discourses contained in geometry. Because then, we assert that this science consists from hypothesis[121], and demonstrates its consequent propositions from definite principles (for one science only, I mean the first philosophy, is without supposition, but all the rest assume their principles from this) it is necessary that he who constructs the geometrical institution of elements, should separately deliver the principles of the science, and separately the conclusions which flow from those principles; and that he should render no reason concerning the nature or truth of the principles, but should confirm by reasons, the things consequent to these geometric principles. For no science demonstrates its own principles, nor discourses concerning them; but procures to itself a belief of their reality, and they become more evident to the particular science to which they belong than the things derived from them as their source. And these, indeed, science knows by themselves; but their consequents, through the medium of these. For thus, also, the natural philosopher propagates his reasons from a definite principle, supposing the existence of motion. Thus too, the physician, and he who is skilled in any of the other sciences and arts. For if any one mingles principles, and things flowing from principles into one and the same, he disturbs the whole order of knowledge, and conglutinates things which can never mutually agree; since a principle, and its emanating consequent, are naturally distinct from each other. In the first place, therefore (as I have said), principles in the geometric institution are to be distinguished from their consequents, which is performed by Euclid in each of his books; who, before every treatise, exhibits the common principles of this science; and afterwards divides these common principles into hypotheses, petitions, and axioms. For all these mutually differ; nor is an axiom, petition, and hypothesis the same, according to the demoniacal Aristotle; but when that which is assumed in the order of a principle, is indeed known to the learner, and credible by itself, it is an axiom: such as, that things equal to the same, are mutually equal to each other. But when any one, hearing another speak concerning that of which he has no self-evident knowledge, gives this assent to its assumption, this is hypothesis. For that a circle is a figure of such a particular kind, we presume (not according to any common conception) without any preceding doctrine. But when, again, that which is asserted was neither known, nor admitted by the learner, yet is assumed, then (says he) we call it petition; as the assumption that all right angles are equal. But the truth of this is evinced by those who study to treat of some petition, as of that which cannot by itself be admitted by any one. And thus, according to the doctrine of Aristotle[122], are axiom, petition, and supposition distinguished. But oftentimes, some denominate all these hypotheses, in the same manner as the Stoics call every simple enunciation an axiom. So that, according to their opinion, hypotheses also will be axioms; but, according to the opinion of others, axioms will be called suppositions. Again, such things as flow from principles are divided into problems and theorems. The first, indeed, containing the origin, sections, ablations, or additions of figures, and all the affections with which they are conversant; but the other exhibiting the accidents essential to each figure. For, as things effective of science, participate of contemplation, in the same manner things contemplative previously assume problems in the place of operations.

But formerly some of the ancient mathematicians thought that all geometrical propositions should be called theorems, as the followers of Speusippus and Amphinomus, believing, that to contemplative sciences, the appellation of theorems is more proper than that of problems; especially since they discourse concerning eternal and immutable objects. For origin does not subsist among things eternal: on which account, problems cannot have any place in these sciences; since they enunciate origin, and the production of that which formerly had no existence, as the construction of an equilateral triangle, or the description of a square on a given right line, or the position of a right line at a given point. It is better, therefore (say they), to assert that all propositions are of the speculative kind; but that we perceive their origin, not by production, but by knowledge, receiving things eternal as if they were generated; and on this account we ought to conceive all those theorematically, but not problematically. But others, on the contrary, think that all should be called problems; as those mathematicians who have followed Menæchmus. But that the office of problems is twofold, sometimes, indeed, to procure the thing sought; but at other times when they have received the determinate object of enquiry, to see, either what it is, or of what kind it is, or what affection it possesses, or what its relation is to another.

And, indeed, the assertions of each are right; for the followers of Speusippus well perceive. Since the problems of geometry are not of the same kind, with such as are mechanical. For these are sensibles, and are endued with origin, and mutation of every kind. And, on the other hand, those who follow Menæchmus do not dissent from truth: since the inventions of theorems cannot by any means take place without an approach into matter; I mean intelligible matter. Reasons, therefore, proceeding into this, and giving form to its formless nature, are not undeservedly said to be assimilated to generations. For we say that the motion of our cogitation, and the production of its inherent reasons, is the origin of the figures situated in the phantasy, and of the