At 998b22 of his Metaphysics, Aristotle argues that being cannot be a genus. Thomas Aquinas gives his version of the argument in Summa Contra Gentiles, Book I, ch. 25, para. 6. I find the presentation of the doctor angelicus clearer than that of the philosophus. After quoting Thomas' argument, I will offer a rigorous reconstruction and explanation of it. The argument issues in an important conclusion, one highly relevant to my running battle with the partisans of the 'thin' conception of being.
The Anton C. Pegis translation reads as follows:
Now, that being cannot be a genus is proved by the Philosopher in the following way. If being were a genus we would have to find a difference to contract it to a species. But no difference shares in the genus in such a way that the genus is included in the notion of the difference, for thus the genus would be included twice in the definition of the species. Rather, the difference is outside what is understood in the nature of the genus. But there can be nothing that is outside that which is understood by being, if being is included in the concept of the things of which it is predicated. Thus, being cannot be contracted by any difference. Being is, therefore, not a genus. (127)
Quod autem ens non possit esse genus, probatur per Philosophum in hunc modum: Si ens esset genus, oporteret differentiam aliquam inveniri, per quam traheretur ad speciem; nulla autem differentia participat genus, ita scilicet quod genus sit in ratione differentiae; quia sic genus poneretur bis in diffinitione speciei. Sed oportet differentiam esse praeter id quod intellegitur in ratione generis. Nihil autem potest esse quod sit praeter id quod intelligitur per ens, si ens sit de intellectu eorum de quibus praedicatur; et sic per nullam differentiam contrahi potest. Relinquitur ergo quod ens non sit genus.
I think it best to reconstruct the argument as a reductio ad absurdum. In such a style of proof one attempts to derive a contradiction (a logical absurdity) from an assumption together with premises that are believed by the producer and the consumers of the argument to be incontrovertible. The emergence of a contradiction shows that the assumption is false.
