در این کتاب, مباحث اصلی منطق طی 6 فصل با این موضوعات به اختصار تشریح شده است: 'مباحث الفاظ', 'مباحث کلی', 'بحث معرف, به انضمام بحث تقسیم', 'قضایا و احکام آن', 'جهت و چگونگی تالیف آن' و 'صناعت خمس'. منطق گاه از معلوم تصوری به نام 'معرف' بحث میکند که به وسیله آن میتوان به مجهول تصوری دست یافت, و گاه از معلوم تصدیقی به نام 'حجت' بحث میکند که به کمک آن میتوان به مجهول تصدیقی رسید. بحث مربوط به 'حجت' بر دو گونه است؛ گاه صورت تالیف آن مورد بحث قرار میگیرد, و گاه از ماده قضایای آن گفت و گو میشود که بحث 'صناعات خمس' را تشکیل میدهد. و هر یک از دو بحث مزبور 'معرفت' و 'حجت' خود دارای مقدماتی است'.