Bu mantiq konstruktiv matematikaga asoslanib, intuitiv mantiq qoidalarini tanqidiy o‘rganish asosida paydo bo‘lgan
Hozirgi zamon noklassik mantig‘ining bir tarmog‘i bo‘lib, fikrlashni «chin», «xato», «qisman chin», «qisman xato», kabi tushunchalar orqali ifodalaydi.
Fikrlash qonunlari va shakllarining rivojlanishini o‘rgatadi
To‘g‘ri tafakkur shakllari va qonunlarini o‘rganuvchi falsafiy fan