Ilmu mantik adalah cabang ilmu yang mempelajari kaidah-kaidah berpikir secara benar dan sistematis. Dalam bahasa lain, ilmu ini dikenal sebagai logika. Tujuannya adalah untuk membimbing akal manusia agar dapat berpikir secara lurus, teratur, dan tidak terjebak dalam kesalahan penalaran.

Kata "mantik" berasal dari bahasa Arab al-mantiq, yang pada gilirannya berasal dari kata Yunani logos, yang berarti “ucapan”, “pikiran”, atau “akal”.

Dalam ilmu mantik, biasanya dipelajari hal-hal seperti:

Ilmu ini banyak digunakan dalam filsafat, debat, ilmu agama (terutama dalam tradisi keilmuan Islam klasik), matematika, dan juga pemrograman modern.