وحكم المقتضى: أنه يثبت بطريق الضرورة، فيقدر بقدر الضرورة.
The required implication is established by necessity and is measured only to the extent of that necessity.
Iqtiḍāʾ permits only the minimum unstated premise needed for the text to have a valid meaning. Once that necessity is met, further restrictions or consequences may not be added simply by invoking implication.
Thus the expression “You are divorced” cannot be expanded to three divorces merely by claiming that its legal operation presupposes divorce; the minimum necessary meaning is distinguished from additional numerical effects. Related examples involving an oath about eating also test the limits of what may be supplied.
In the concluding case, the instruction “Observe your waiting period” (iʿtaddī), where made in the pertinent marital setting, presupposes only the divorce necessary for the waiting period, not an arbitrary larger number.
The four modes therefore remain distinct: direct wording, structural implication, linguistically evident rationale, and necessary supplementation.