Adetince, mantıq, felsefeniñ bir saası olaraq incelene. On sekizinci asırnıñ ortasından başlap mantıq, riyaziyatnıñ, soñki vaqıtları ise informatikanıñ araştırma predmeti ola. İlim olaraq, mantıq, fikirler ve delillerniñ qurulışını araştıra ve sınıflaştıra, olarnıñ kodifikatsiyasınıñ shemalarını azırlay. Demek ki, mantıqnıñ araştırma predmeti, ihtimallıq ve sebeplik aqqında fikirlerni kirsetip, pek büyük ola bile.