The philosophical and mathematical commentaries of Proclus on the first book of Euclid's elements (Vol. 1 of 2) : $b To which are added, A history of the restoration of Platonic theology, by the latter Platonists: And a translation from the Greek of Proclus's Theological elements — Plato — John Shaqi
The philosophical and mathematical commentaries of Proclus on the first book of Euclid's elements (Vol. 1 of 2) : $b To which are added, A history of the restoration of Platonic theology, by the latter Platonists: And a translation from the Greek of Proclus's Theological elements
Plato · en
this greater or lesser all? We answer, that general affection which
constitutes universal demonstration is always present to that subject,
which when taken away, the predicate is immediately destroyed, because
the first of all its inherent properties.
Thus, for instance, some particular sensible triangle possesses these
properties:--it consists of brass; it is scalene; it is a triangle. The
query is, by which of these we have just now enumerated, this affection
of possessing angles equal to two right is predicated of the triangle?
Take away the brass, do you by this means destroy the equality of its
angles to two right ones? Certainly not:--take away its scalenity, yet
this general affection remains: lastly, take away its triangularity,
and then you necessarily destroy the predicate; for no longer can this
property remain, if it ceases to be a triangle.
But perhaps some may object from this reasoning, such a general
affection extends to figure, superficies, and extremities, since, if
any of these are taken away, the equality of its angles to two right
can no longer remain. It is true, indeed, that by a separation of
figure, superficies, and terms, from a body, you destroy all the modes
and circumstances of its being; yet not because these are taken away,
but because the triangle, by the separation of these, is necessarily
destroyed; for if the triangle could still be preserved without figure,
superficies, and terms, though these were taken away it would still
retain angles equal to two right; but this is impossible. And if all
these remain, and triangle is taken away, this affection no longer
remains. Hence the possession of this equality of three angles to two
right, is primarily and universally inherent in triangle, since it is
not abolished by the abolition of the rest:----such as to consist of
brass; to be scalene, or the like. Neither does it derive its being
from the existence of the rest alone; as figure, superficies, terms;
since it is not every figure which possesses this property, as is
evident in such as are quadrangular, or multangular. And thus it is
preserved by the preservation of triangle, it is destroyed by its
destruction.
11. From the principles already established, it is plain that
demonstration must consist of such propositions as are universal and
necessary. That they must be universal, is evident from the preceding;
and that they must be necessary, we gather probably from hence; that in
the subversion of any demonstration we use no other arguments than the
want of necessary existence in the principles.