Logika formal adalah studi tentang prinsip-prinsip penalaran deduktif dengan fokus pada bentuk dan struktur argumen, bukan pada isinya. Logika ini menggunakan aturan simbolis dan aturan inferensi yang ketat untuk mengevaluasi validitas argumen, yaitu memastikan bahwa kesimpulan pasti benar jika premis-premisnya benar, tanpa memandang kebenaran empiris dari premis tersebut