|
Induktiv mantiq – noklassik mantiq yo‘nalishlaridan biri bo‘lib, unda induksiya, shu jumladan, matematik induksiya, faktlar etishmovchiligi sharoitida, chinlik ehtimoli qanday bo‘lishidan qat’i 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 mantiqqa 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 ma’lum 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.
Do'stlaringiz bilan baham: |
