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