(ت ٣٤٠ هـ) (١) التفريق بين الاستثناء والتخصيص (٢)، وجواز تأخير بيان المجمل، وعدم جواز تأخير بيان ما يمكن استعمال حكمه (٣).
والتفريق بين الدليل والعلة (٤) وتجويز التعليل بالعلة المتعدّية وعدم تجويز ذلك بالعلة القاصرة (٥).
وهذا عدا ما كان يذره من التعريفات وبيان صفات المصطلحات، ومحترزاتها، والفرق فيما بينها وبين غيرها، مما جاء في كتابه كثيراً.
وفي القرن الخامس نضج علم أصول الفقه، واتضحت مناهجه، وظهرت فيه أمّهات الكتب الأصولية، كما ظهرت فيه طائفة من كتب الجدل وترتيب الحجاج، ووضع الاعتراضات والإجابات عنها، حول القواعد والضوابط الأصولية، كالكافية في الجدل لأبي المعالي إمام الحرمين
