"Logika Formal" (logic) utawa "Logika Minor", kang nyinaoni asas-asas, kaidah-kaidah, aturan-aturan utawa ukum-ukum mikir kang kudu ditaati supaya dhéwé bisa mikir kanthi tepat/bener lan nyandhak kabeneran. Ukum-ukum logika iku rélevan lan wigati kanggo kabèh ngèlmu kawruh liyané, déné kanggo kawruh filsafat yaiku sarana (instrumèn) kang kudu dhéwé kuwasani luwih ndhisik, sadurungé dhéwé njerokaké kawruh filsafat iku.