Sextus Empiricus Pyrrhoniae Hypotyposes 2.13.163

[163] One may also make similar observations on the so- called ‟categorical” syllogisms, which are chiefly used by the Peripatetics. ¹ Thus, for example, in the argument—‟The just is fair, but the fair is good, therefore the just is good,” ² either it is agreed and pre-evident that ‟the fair is good,” or it is disputed and is non-evident. But if it is non-evident, it will not be granted in the process of deduction, and consequently the syllogism will not be conclusive; while if it is pre-evident that whatsoever is fair is also without exception good, at the moment of stating that this particular thing is fair the fact that it is good is likewise implied, so that it is enough to put the argument in the form ‟The just is fair, therefore the just is good,” and the other premiss, in which it was stated that ‟the fair is good,” is redundant.