_Concerning Petitions and Axioms._

[1]Since the principles of geometry are triply divided into Hypotheses, Petitions, and Axioms, the difference between these we have explained in the preceding books. But we now intend to discourse more accurately of petition and axiom, as especially necessary to our present design. For hypotheses, which are also called definitions, we have already explained. It is common, therefore, as well to axioms as to petitions, to require no demonstration, and no geometrical faith: but to be received as manifest, and to become the principles of the rest. But they differ mutually from each other, in the same manner in which we have distinguished theorems from problems. For as in theorems we propose to perceive and know that which follows a subject; but in problems we are ordered to compare and do something: in the same manner also in axioms, we must receive whatever is manifest of itself, and easily apprehended by our untaught conceptions; but in petitions we must receive whatever is easy to be done and compared, (since in admitting these, thought is not fatigued) and whatever requires no variety, and no kind of construction. Hence evident and indemonstrable cognition, and unconstructed assumption, distinguish petitions from axioms. Just as demonstrative cognition, and an assumption of things sought, together with construction, separates theorems from problems. For it is every where requisite, that principles in simplicity, indemonstrability, and self-evidence, should excel things posterior to principles. For universally (says Speusippus) of the things which cogitation pursues, some of its energies it produces without a various progression, prepares them for future enquiry, and has a more evident apprehension of these than of visible objects: but others which it is not able immediately to follow, by a transition proceeding from their nature, these it endeavours by _consequence_ to pursue. Thus for example, _to draw a right line from one point to another_, it receives as evident, and easy to be done. For since in this case the line is composed from the indeclinable flux of a point, and at the same time advances in an orderly progression, because it no where more or less declines, it necessarily falls in another point. Again, if one extremity of a right line abiding, the other is moved about it, it will describe a circle without any labour. But if any one wishes to describe a helix of one revolution, it requires a more various operation. For it is generated by various motions. Likewise if any one wishes to construct an equilateral triangle, he will require a certain method for its construction. For the geometrical intellect says, when I understand a right line, which abides according to one of its extremities, but is moved about it according to the other, and at the same time conceive a point, which is moved in the line from the abiding extreme, I have described a helix of one revolution. For when at the same time both the extremity of the right line, which describes the circle, and the point which is moved in the right line, arrive at the same point, and coincide, they produce for me such a helix. And again, when I describe equal circles, and draw right lines from the common section to the centre of the circles, and a right line from one centre to the other, I shall have an equilateral triangle. The production of these, therefore, is very remote from a simple apprehension, and primary notion. For we are content to pursue the progressions of their origin. Hence it happens that these are compared with greater ease or difficulty, and are exhibited with many or fewer mediums, according to the habit of those who enter on this undertaking: but that they require demonstration and construction, on account of the property of the things sought, which wants the evidence of petitions and axioms.

Petition, therefore, and axiom, are simple and easy to be apprehended. But petition, indeed, commands us to fabricate, and provide a certain matter, in order to the assignation of the _symptom_, which possesses an easy and simple apprehension: but axiom pronounces a certain essential accident, of itself known to the hearers. As that _fire is hot_, or any other of those manifest truths, he who doubts of which, we consider as either wanting sense or punishment. Hence, petition and axiom are of the same genus; but they differ in the above-mentioned manner. For each is an indemonstrable principle, but this after one mode, and that after another, as we have already observed. But some think that all these should be called petitions, in the same manner as all problems, _things sought_. For Archimedes beginning his book of _Equiponderants_, _we desire it may be granted_ (says he) _that things equally heavy, from equal lengths, will equally ponderate_; though some would rather chuse to call this an axiom. But others call all these axioms, in the same manner as they denominate every thing a theorem, which requires demonstration. For, according to the same proportion, as it seems they pass from proper names to such as are common. Nevertheless, as a problem differs from a theorem, so petition from axiom: though both these last are indemonstrable, and the former require demonstration. And the one, indeed, is assumed as easy to be done, but the other is granted as easy to be known by the common consent of all men. After this manner, therefore, Geminus distinguishes petitions from axioms.

But others will perhaps say, that petitions are indeed proper to the geometrical matter: but that axioms are common to the universal theory, which is conversant about the _how-much_, and _the how-many_. For the geometrician knows _that_ which requires _that all right angles are equal_, and _that every finite right line may be produced straight forwards_: but _that_ which says, _things equal to one and the same are equal to each other_, is a common conception, which not only the arithmetician employs, but every one endued with science, accommodating that which is common to his own particular matter. But Aristotle (as we have before observed[2]) says, that petition, since it is demonstrable, is not granted by the hearer, yet is received as a principle: but that axiom is of itself indemonstrable, and that this is confessed by all, according to habit, though some, for the sake of disputation, have doubted its evidence. Since then, there are these three differences, according to the first, which by operating, and knowledge only distinguishes petition from axiom, it is manifest that which says _all right angles are mutually equal, is not a petition_. Nor the fifth, which says, _if a right line falling on two right lines makes the internal angles towards the same parts less than two right, those right lines infinitely produced, shall coincide towards the parts in which the angles less than two right subsist_. For these are neither assumed in construction, nor do they command any thing to be done: but they exhibit a certain _symptom_, inherent in right angles, and in right lines, departing from angles less than two right. But, according to the second difference, that will not be an axiom which says, that _two right lines cannot comprehend space_, which some at present consider as an axiom. For this is proper to the geometric matter, as likewise that which affirms _that all right angles are equal_. But according to the third difference, which is Aristotelic, all those which produce their own credibility by a certain demonstration, are petitions; but whatever are indemonstrable, are axioms. Apollonius, therefore, in vain endeavours to deliver the demonstrations of axioms: for Geminus very properly observes, that some have attempted demonstrations of indemonstrables, and have endeavoured from more unknown mediums, to prove things manifest to all, into which error Apollonius has fallen, who wishes to prove the axiom true, which says, _that things equal to one, and the same, are equal to each other_: but that others assume in the place of indemonstrables, things requiring demonstration. As is the case with Euclid himself, in the fourth and fifth petition. For some say, that this last, as ambiguous, requires demonstration. Indeed, is it not ridiculous, that theorems should be assigned as indemonstrable, the converse of which are demonstrable? For that the internal angles of coincident right lines are less than two right, Euclid himself shews in the theorem, which says, _that two angles of every triangle, however taken, are less than two right_: besides, it may be perspicuously shewn, that not every thing equal to a right angle is a right angle. Hence, says Geminus, the converse of these are not to be granted indemonstrable. It seems therefore, according to the ordination of this man, that there are, indeed, three petitions: but that the other two, and the converse of these, require demonstrating science: and that in the axioms, the one which says, that two right lines cannot comprehend space, is superfluously added, since its credibility must be derived from demonstration. And thus much concerning the difference of petitions and axioms. Again, of axioms, some are proper to arithmetic, but others to geometry; and others are common to both: for that which says, _every number is measured by unity_, is an arithmetical axiom. But that which says _equal right lines agree amongst themselves_, as also this which affirms _that every magnitude is divisible in infinitum_, are geometrical axioms: but the one which says _that things equal to the same, are mutually equal_, and all of this kind are common to both. However, it must be observed, that each science uses such as the last, according to its proper subject; as geometry in magnitudes, but arithmetic in numbers. In like manner of petitions, some are peculiar to particular sciences, but others are common to all. For you must call the petition which requires to be granted, _that a number may be divided into the least parts_, peculiar to arithmetic: but this, _that every finite straight line may be produced straight forwards_, peculiar to geometry; and the one which desires us to grant, _that quantity may be infinitely increased_, common to both; for this passion is equally found to reside in number and magnitude.

PETITIONS or POSTULATES.