T o sh k e n t irrig a tsiy a va q ishloq xo‘ja L ig in I

an’anaviy  (klassik)  mantiq 
deb 
ataladi. A n’anaviy mantiq to‘g‘ri tafakkurlashni asosan tabiiy tilga 
tayangan holda  o‘rgangan.
Noan’anaviy  (noklassik)  mantiq 
— klassik  mantiqni  tanqid  qi­
lish  va  takomillashtirish  bilan  birga,  uni  mukammallashtirish, 
to‘ldirish va undagi zamonaviy mantiqning asosini tashkil etuvchi 
g‘oyalarni  yanada  rivojlantirish  natijasida  vujudga  kelgan  m an­
tiqiy nazariyalarning  majmuyidir.
Zamonaviy  mantiq 
atamasi  XIX  asrning  oxiri  —  XX  asr­
ning  boshlarida  mantiq  ilmi  rivojining  hozirgi  bosqichini  ifo- 
dalash  uchun  qo‘llaniladi.  Bu  bosqich  yana  matematik  mantiq 
va  simvolik  mantiq  term inlari  bilan  ham  ataladi. 
Matematik
 
mantiq 
term inining  qo'llanishi  uning  zamonaviy  mantiq  bi­
lan  qo‘llaydigan  usullariga  ko‘ra  o'xshashliklarini  bildiradi. 
«Simvolik  mantiq»  term ini  esa  zamonaviy  mantiqda  mantiqiy 
tahlil  qilish  maqsadida  maxsus  yaratilgan  formallashgan  tillar 
qo‘llanishini  ko'rsatadi.
Biz formal  mantiqni o‘rganamiz.