وعلم المنطق يبحث عن كيفية تأليف المعلومات المخزونة عنده ، ليتوصل بها إلى الربح بتحصيل المجهولات وإضافتها إلى ما عنده من معلومات : فيبحث تارة عن المعلوم التصوري ويسمى (المعرِّف) ، للتوصل به إلى العلم بالمجهول التصوري ، ويبحث أخرى عن المعلوم التصديقي ويسمى (الحجة) ليتوصل به إلى العلم بالمجهول التصديقي.والبحث عن الحجة بنحوين : تارة من ناحية هيئة تأليفها ، وأخرى من ناحية مادة قضاياها ، وهو بحث الصناعات الخمس. ولكل من البحث عن المعرف والحجة مقدمات. فأبحاث المنطق نضعها في ستة أبواب