A true attribute is not necessarily a distinguishing definition. “Human is an animal” is too broad to define human. “Human is a walking thing” is not a distinctive property because other beings also walk. In the classical model, “rational animal” is offered as a complete essential definition because it includes both the proximate genus and distinguishing essential factor.
Opening interactive controls...
Not every true description is an adequate definition
Definitions in Logic: Complete and Incomplete Ḥadd and Rasm
A true attribute is not necessarily a distinguishing definition. “Human is an animal” is too broad to define human. “Human is a walking thing” is not a distinctive property because other beings also walk. In the classical model, “rational animal” is offered as a complete essential definition because it includes both the proximate genus and distinguishing essential factor.