Mexanizatsiyalash m u h a n d isl a r iin st it u t I

an’anaviy  (klassik)  mantiq 
deb 
ataladi. An’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, 
toldirish va undagi zamonaviy mantiqning asosini tashkil etuvchi 
g‘oyalarni  yanada  rivojlantirish  natijasida  vujudga  kelgan  man­
tiqiy nazariyalarning  majmuyidir.
Zamonaviy  mantiq 
atamasi  XIX  asrning  oxiri  —  XX  asr­
ning  boshlarida  mantiq  ilmi  rivojining  hozirgi  bosqichi 
n 
i  ifo- 
dalash  uchun  qollaniladi.  Bu  bosqich  yana  matematik  mantiq 
va  simvolik  mantiq  terminlari  bilan  ham  ataladi. 
Matematik
 
mantiq 
terminining  qollanishi  uning  zamonaviy  mantiq  bi­
lan  qollaydigan  usullariga  ko‘ra 
o ‘xshashliklarini 
bildiradi. 
«Simvolik  mantiq»  termini  esa  zamonaviy  mantiqda  mantiqiy 
tahlil  qilish  maqsadida  maxsus  yaratilgan  formallashgan  tillar 
qollanishini ko‘rsatadi.
Biz formal mantiqni o‘rganamiz.