Систематическое изложение учений формальной логики, рассматривает следующие темы: предмет и задача логики, законы мышления, учение о понятии, логические действия над понятиями, суждение и его состав, субьект и предикат суждения, установление точного логического смысла суждений, преобразования формы суждений, сопоставление суждений, умозаключения, виды силлогизмов, несиллогистические умозаключения, индукция и ее виды, индукция и дедукция, гипотезы, умозаключения по аналогии, доказательство и его строение.