Pokok yang akan diuraikan dalam buku ini biasanya disebut logika tradisional, logika minor, atau logika formal. Logika tradisional merupakan pokok yang sudah lazim dibicarakan dalam ilmu logika, sebelum logika simbolis modern diperkembangkan. Yang dimaksud dengan logika modern ialah logika yang menggunakan teknik-teknik simbolis dan metode-metode matematis. Kepada logika itu diberi bentuk yang sejauh mungkin sama dengan bentuk ilmu-ilmu tersebut.