Sebagai ilmu, logika adalah sebuah ilmu pengetahuan yang objek materialnya adalah berpikir dengan penalaran, sementara, objek formal logika adalah penalaran yang ditinjau dari segi ketepatannya