ilmu logika adalah ilmu yang mempelajari tentang hukum berpikir tepat. 


Ilmu logika terbagi kepada ilmu logika klasik dan modern. Ilmu logika klasik mengacu kepada ilmu logik yang disusun oleh Aristoteles pada 3.5 abad sebelum masehi. Logika Nyaya di India yang disusun oleh Maharesi Akspada Gotama, juga termasuk kepada Logika Klasik. Namun Nyaya tidak begitu populer, tidak banyak orang yang mempelajarinya. Sedangkan Logika Aristoteles telah menjadi acuan para filsuf dan ilmuwan. Oleh karena itu Aristoteles disebut sebagai Guru Besar Ilmu Logika.