“Body” is a genus of human but not its nearest genus in this classical hierarchy. “Rational” is the proximate differentia. The formula thus uses a remote genus where the complete definition would use “animal.” Replacing body with animal gives the book’s complete ḥadd.
Opening interactive controls...
Where “rational body” is incomplete
Definitions in Logic: Complete and Incomplete Ḥadd and Rasm
“Body” is a genus of human but not its nearest genus in this classical hierarchy. “Rational” is the proximate differentia. The formula thus uses a remote genus where the complete definition would use “animal.” Replacing body with animal gives the book’s complete ḥadd.