Logika berasal dari bahasa Latin, Logos yang berarti perkataan atau
akal. Istilah arabnya Mantiq.Logika adalah ilmu yang mempelajari metode can
hukum-hukum yang digunakan untuk membedakan penalaran yang benar dan
yang salah.
Mantiq adalah ilmu yang menggerakkan pikiran kepada jalan yang Lurus
dalam memperoleh kebenaran.Sebagai ilmu, logika lahir atas Jasa aristoteles,
Sebagai perintisnya adalah kaum Sofis, Socrates, dan Plato.Karya-karya
Aristoteles tentang logika ini adalah: Organon, Categoriae, De Interpretiae,
Analitica Priora, Topika, dan De Sophisticis Elenchis.
Pada abad XII-XV muncul logika modern yang dipeloport oleh Petrus
Hisoanus, Roger Bacon, Roymyndus lulus dan Wilhelm cham, yang berbeda
tafam clengun Logika Aristoteles.Penemuan baru pada abad XVII dan XVII
Ketika Francis Bacon Mengembangkan metode induftif (Empirisme).Tokoh
yang mengembangkan logika Modern: George Boole, Bertand Rusel, dan G.
Frege.
C. Pembagian Logika
Logika Modern (dimulai pada abad XIII) logika dari obfeknya logika
Formal (AL-mantiq as-Slwort) + Minor.Logika material (Al-Mantiq al-Madki")
- Mayor Metode berpikir deduktif, dipergunakan dalam logika formal, yang
Mempelajari dasar hukum dan rumus berpikir br. induktif, dipergunakan dalam
Logika material yang Mempelajari dasar pemikiran rasional dengan empirik .