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.
Pikiran manusia pada hakekatnya mencari dan berusaha untuk memperoleh kebenaran. Karena itu pikiran tersebut juga merupakan suatu proses. Dalam proses tersebut haruslah diperhatikan kebenaran bentuk (formal) untuk dapat berpikir logis. Kebenaran ini hanyalah menyatakan serta mengandaikan adanya jalan, cara, teknik serta hukum-hukum yang perlu diikuti. Semua hal ini diselidiki serta dirumuskan dalam logika, khususnya logika formal yang merupakan pokok uraian dalam buku ini. Namun demikian kebenaran tersebut perlu digandengkan dengan kebenaran isi (material)nya.