Mantıqqa kirish fani inson tafakkuri va mantiqiy xulosalar chiqarish qobiliyatini rivojlantirishga xizmat qiladi. Bu fan Aristotel asos solgan formal mantiqdan boshlab, zamonaviy matematik mantiqqacha bo'lgan oraliqdagi tushunchalarni o'z ichiga oladi