كتاب شفاء الغليل في بيان الشبه والمخيل ومسالك التعليل

فنقول: دلالة [الألفاظ على الشيء] أما أن تكون بطريق التعليل، أو اللغة، أو العرف؛ ولا يحكم بالإحالة على العرف إلا إذا امتنع إحالته على اللغة والتعليل: لأن التنبيه بطريق التعليل من اللغة، كما أنه بطريق الوضع من اللغة.

وأما دعوى كونه مستعملاً من جهة العرف [فهذا تحكم] يصار إليه إذا حصل الفهم وامتنع له مدرك وضعي. وفي مسئلتنا، أمكن الإحالة بالتنبيه على التعليل: لظهور [إيجاب التوقير من الآية، وظهور كون التأفيف مناقضاً له بالعقل والعرف، وظهور] كون الضرب مشتملاً على ذلك الإيذاء وزيادة. فهذه مقدمات أولية استند إليها العلم بتحريم الضرب، وهو القياس بعينه.

أما قوله: ليس لفلان حبة [فإنه] ينفي ما فوقه باللفظ؛ لأن ما فوقه حبة وحبات، وفي الحبات حبة، فلو كان له حبات، لكان كلاماً خلفاً، فهو من حيث الوضع دل عليه، لا دلالة له على ما دون الحبة. ولكن ما دون الحبة لا يوصف بالملك، فينتفي لذلك لا للفظ.