غير التفات الى انه كلى وغير كلى هذا يسمى الكلى الطبيعى ويقصد به طبيعة الشىء وحقيقته وهذا الكلى يتحد مع افراده خارجا كما ذكر سابقا الثانى فانه لاحظ العقل مفهوم الوصف بالكلى وحده وهو ان يلاحظ العقل مفهوم ما لا يمتنع فرض صدقه على كثيرين وهذا يسمى الكلى المنطقى والثالث انه يلاحظ العقل المجموع من الوصف والموصوف بان يلاحظ الموصوف بوصف الكلية هذا يسمى الكلى العقلى لانه لا وجود له الّا فى العقل لاتصاف فيه بوصف العقل فان كل موجود فى الخارج لا بد ان يكون جزئيا حقيقا وذكرت هذه الاعتبارات الثلاث لاجل توضيح موضوع علم الاصول على مذهب صاحب الكفاية اما موضوع علم الاصول على مذهب صاحب القوانين فهى الادلة الاربعة بعد الفراغ عن دليليتها.

واشكل عليه صاحب الفصول بانه لو كان موضوع علم الاصول هى الادلة الأربعة مع الوصف الدليلية فتخرج مباحث الحجة بالكلية عن مباحث علم الاصول لان البحث فيها عن نفس الدليلية لا عن عوارضها وتدخل فى المبادى التصديقية واعلم ان المبادى تنقسم الى تصورية وتصديقية اما التصورية فهى التى توجب معرفة الموضوعات والمحمولات واما التصديقية فهى التى توجب التصديق بثبوت المحمولات لموضوعات وبعبارة اخرى ان المبادى التصديقية هى الادلة التى توجب التصديق بثبوت المحمولات للموضوعات اذا عرفت ما ذكر.

فاعلم انه اذا كان موضوع علم الاصول الأدلة الاربعة مع الوصف الدليلية فيكون البحث عن الادلة التى تثبت الدليلية الدليل والحجية للشيء عن المبادى التصديقية لا عن العوارض الذاتية وقد علم ان المراد من المبادى التصورية هو ما يتوقف عليه تصور الموضوع واجزائه وجزئياته والمراد من الاجزاء ما يتوقف عليه وجود الشىء مثلا وجود الصلاة ليتوقف على الركوع والسجود والقيام والقعود هكذا والمراد من الجزئيات هى افراد الموضوع كصلاة الظهر والعصر والمغرب.

وايضا يكون لعلم الاصول المبادى الخاصة وتسمّى بالمبادى الاحكامية وهى