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
Again, as we have frequently affirmed that he who demonstrates, always
assumes such things as are essentially predicated; but that he who
argues dialectically or topically, not always, but generally assumes
such as are accidentally predicated, and which appear more probable and
known than such as are essentially inherent; it is proper we should
define what is meant by accidental predication; or something predicated
by means of another. Indeed, the term has a diffuse signification:
for, first, a body is said to be white by something else, because by
its superficies; and in this manner vines are white, because their
branches are white. Thus, if accident be predicated of accident, it is
by means of another; as when we say the musician is fair; for the being
a musician is an accident of man, and the being fair of the musician:
and man is the subject of each. The predicate of substance is equally
accidental, when not included in the number of things substantially
inherent; as when we affirm of any particular man that he is red, or
black. But the predication is especially accidental, as often as, by
perverting the order of nature, substance is predicated of accident; as
when we say something white is an animal: for this assertion differs
from that other, _animal is white_. In the latter, the subject
_animal_ is neither inherent in another, nor subsists by another,
but has an essential existence. In the former, what is assumed as a
subject derives its existence from that of which it is the accident.
It is only dialectically, therefore, that we can argue from predicates
as probable and known without any distinction: but in demonstration,
all that are preposterous and accidental must be carefully avoided,
excepting such accidents as being essentially in a subject, admit of an
essential predication; and some of these we have enumerated before.