《春秋》文公十八年传，高阳氏才子八人，有曰“庭坚”者，杜氏注云：“庭坚，即皋陶字。”余按：文五年《传》，楚成大心灭六，公子燮灭蓼，臧文仲曰：“皋陶、庭坚，不祀忽诸！”乃似六、蓼两国之祖一为皋陶，一为庭坚者。不知杜氏别有所据邪？若即因此文而合之，则未有以见其必然也。《史记夏本纪》云：“皋陶之後封於英、六”，亦不言蓼，则似六乃皋陶之後而蓼乃庭坚之後者。《正义》因杜氏之说，遂谓英即蓼，亦恐未然也。且尧、舜、禹，天子也，而《尚书》皆称其名，是唐、虞之时未有字也；九官惟伯夷似字，然舜亦称之为“伯”，是唐、虞之时名字未分，伯夷即其名也，皋陶何以独有字乎？《典》、《谟》之称皋陶多矣，帝称之，同朝之臣称之，史臣称之，皆以皋陶，乃至後世之诗人称之，儒者称之，亦同词焉，从未有一人称为庭坚者，何所见而知庭坚之为皋陶乎？故今阙之。
