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 moderen’ diperkembangkan. Yang akhir ini sering kali juga disebut ‘logika moderen’ atau ‘logika matematis’. Dan yang dimaksudkan dengan logika moderen 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. Logika moderen itu tidak diuraikan dalam buku ini.