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