Kurs ishi mantiq va matematika, mantiq va falsafa hamda Rassel paradokslarini nazariy jihatdan tahlil qiladi. Ishda matematik mantiqning rivojlanishi, an’anaviy va zamonaviy formal til asoslari, predikatlar mantiqi, to‘plam nazariyasidagi paradokslar va ularning tarixiy konteksti yoritilgan.