Two-word expressions are not automatically complete definitions: “rational body” is still an incomplete ḥadd because body is a remote genus. A distinguishing feature is not automatically an essential differentia: ḍāḥik is treated as a distinctive property in the source. Here “incomplete” describes structure, not necessarily uselessness or falsehood.
Opening interactive controls...
Two subtle misconceptions
Definitions in Logic: Complete and Incomplete Ḥadd and Rasm
Two-word expressions are not automatically complete definitions: “rational body” is still an incomplete ḥadd because body is a remote genus. A distinguishing feature is not automatically an essential differentia: ḍāḥik is treated as a distinctive property in the source. Here “incomplete” describes structure, not necessarily uselessness or falsehood.