Logika dalam Pengembangan Ilmu Pengetahuan

Logika adalah ilmu yang mempelajari tentang aturan-aturan, asas-asas, hukum-hukum dan metode atau prosedur dalam mencapai pengetahuan secara rasional dan benar. Logika memberikan prinsip-prinsip yang harus diikuti agar dapat berfikir valid menurut aturan yang berlaku. Logika dapat dibagi menjadi dua cabang utama, yaitu logika formal dan logika informal. Logika formal adalah cabang logika yang mempelajari tentang aturan-aturan penalaran yang bersifat formal, yaitu penalaran yang tidak bergantung pada konteks bahasa atau situasi tertentu. Logika formal juga disebut sebagai logika simbolik atau logika matematika. Logika informal mempelajari tentang aturan-aturan penalaran yang bersifat informal, yaitu penalaran yang bergantung pada konteks bahasa atau situasi tertentu.