Mantiq ilmining predmeti, asosiy qonunlari. Tushuncha tafakkur shakli sifatida

Induktiv  mantiq–noklassik  mantiq  yo‗nalishlaridan  biri  bo‗lib,  unda 

induksiya,  shu  jumladan  matematik  induksiya,  faktlar  etishmovchiligi  sharoitida, 

chinlik  ehtimoli  qanday  bo‗lishidan  qatiy  nazar,  muammoni  hal  etish  yo‗lida 

muayyan  mulohazalar  hosil  qilishga  imkon  beradi,  degan  xulosaga  kelinadi.ga 

muayyan  matematik induksiya. Induktiv mantiq prinsiplari XX asr olimlari L. E. 

Brauer va A. Geytinglar tomonidan ishlab chiqilgan.  

Klassik  mantiqqa  asoslangan  matematikada     

XA  (x)  ifoda  quyidagicha 

o‗qiladi: «Hamma   X  A xossasiga ega». Klassik mantikqa ko‗ra, agar bu ifodalar 

arifmetika aksiomalariga mos kelsa, to‗g‗ri (chin) deb qabul qilinadi. Matematika 

uchta  musbat  sonlarning  bir  butuni  h  dan  tuzilgan,  uni  A  (h)ning  tashkil  topish 

usuli  qiziqtirmaydi.  Intuitiv  mantiqda  bu  sonning  tuzilish  usuli  malum 

bo‗lgandagina  AxA  (X)  ifodasi  chin  (to‗g‗ri)  hisoblanadi.  A  ning  to‗g‗riligidan 

(chinligidan)  V  ning  to‗g‗riligini  bevosita  keltirib  chiqarish  metodi  ishlab 

chiqilgandagina, implikatsiya (a   v) chin (to‗g‗ri) hisoblanadi.