Formal mantiqning predmeti va qonunlari

tarli asos qonuni. Bizning u yoki bu fakt, jarayon, hodisa haqidagi fikrimiz chin yoki xato bo’lishi mumkin. Chin fikrni biz uni chinligini ya'ni voqelikga mos kelishini ko’rsatishimiz lozim. Masalan, o’qituvchi o’quvchilarga ta'lim berish jarayonida o’zi ifodalayotgan fikrlarni asoslab berishi lozim. Shundagina u o’quvchilar uchun ishonarli bo’ladi.
Fikrning asosli bo’lishi talabi yetarli asos qonuniga ifodalanadi. Har qanday fikr chin hisoblanadi, agar u yetarli asosiga ega bo’lsa. Agar V mavjud bo’lsa uning asosi A ham mavjud bo’ladi. Borliqdagi barcha narsa va hodisalar o’zining asosiga ega bo’ladi. Mantiqiy fikrlash jarayonida, fikrimizning ifodalashda mana shu asosni ko’rsatish muhim rol o’ynaydi.
Insonning shaxsiy tajribasi fikrning yetarli asosga ega bo’lishini ta'minlaydi. Ba'zi mulohazalarning chinligi uni bevosita voqelik bilan taqqoslash bilan tasdiqlanadi. Lekin ba'zi hollarda insonning shaxsiy tajribasi ma'lum bir fikrlarni asoslashga yetarli bo’lmaydi. Shu sababli u bu o’rinda boshqalar tajribasiga tayaniladi.
Fan-texnika taraqqiyoti natijasida inson o’z fikrini asoslashda qonunlar, aksiomalar, tamoyil, qoidalarda ifodalangan butun insoniyat tajribasiga murojaat qiladi. Ilmiy qonun va aksiomalarning chinligi insoniyat tajribasida isbotlangan, shuning uchun qayta tasdiq talab etmaydi. Shu sababli bu qonun va aksiomalar doirasiga kiruvchi alohida holatlarni qayta isbotlash zarurati yo’q. Fan-texnika yutug’iga asoslanib biz har qanday hodisani tajribada sinab tasdiqlamaymiz. Demak, har qanday fikrning yetarli asosi avval isbotlangan, hamda undan mantiqan yuqoridagi fikr kelib chiqadigan chin fikr hisoblanadi. Agar A mulohazaning chinligidan V mulohazaning chinligini kelib chiqsa A mulohaza V mulohaza uchun asos bo’ladi. Oqibatning asosga bog’liqligi ob'ektiv borliqning tafakkurda in'ikosi hisoblanadi, shu jumladan xodisalar o’rtasidagi sabab – oqibat aloqadorligi ham. Lekin bu in'ikos bevosita bo’lmaydi. Ba'zi hollardagina mantiqiy asos hodisalar sababi bilan mos kelishi mumkin. Ko’p hollarda esa bunday bo’lmaydi ham. Shu sababli asos bilan natija o’rtasidagi bog’liqlikni sabab-oqibat bog’lanishidan faqlash lozim.
Asoslilik – mantiqiy tafakkurning muhim xususiyatlaridandir. Barcha holatlarda biz ma'lum bir fikrni bildirganda, suhbatdoshlarimizni ishontirishga harakat qilganda shu fikrni chinligini isbotlash uchun yetarli asoslar keltiramiz. Fan har doim ilgari surilgan g’oya va ta'limotlarni isbotlab beradi. Agar shu g’oya ta'limotlarni isbotlash uchun yetarli asos bo’lmasa u chin deb qabul qilinmaydi. Din esa o’z aqida va ta'limotlarini hech qachon tajribada isbotlab bermaydi. Ularga ishonish diniy e'tiqodni o’zidan kelib chiqadi.
Mantiqdagi yetarli asos qonuni har xil irimlarni ham oqlamaydi. Masalan, yo’lda ketayotgan kishini yo’lini qora mushuk kesib o’tsa, go’yoki uni falokat kutishi bu uydirma hisoblanadi. Bunday irimlar ko’p hollarda tasodiflarga asoslanadi.
Etarli asos qonuni muhim nazariy va amaliy ahamiyatga ega. Formal mantiq qonunlari (tafakkur qonunlari) fikrlash jarayonida demak fikrimizning aniq, izchil, ziddiyatsiz, asosli bo’lishini ta'minlar ekan. Ularni har biri bir-biri bilan uzviy bog’liq. Ulardan uzluksiz foydalanish kundalik turmush tarzida ham mulohazalarni chin bo’lishi uchun xizmat qiladi.