Аl вukhari university nodavlat oliy ta’lim muassasasi

FORMAL MANTIQNING PREDMETI
Formal mantiq tafakkurning strukturasini fikrning konkret mazmuni va taraqqiyotidan chetlashgan holda, nisbatan mustaqil ravishda Bunda u yuqorida qayd etib o‘tilgan tafakkur mazmuni va shakli(strukturasi)ning o‘zaro uzviy bog‘liq bo‘lgani holda, bir-biridan nisbiy mustaqil holda mavjud bo‘lishi va Shuning uchun ham tafakkur shaklini(strukturasini) alohida tadqiqot obekti sifatida olib o‘rganish mumkinligi faktiga tayanadiUning diqqat markazida muhokamani to‘g‘ri qurish bilan bog‘liq qoidalar va mantiqiy amallarni muhokama etish yotadi.
Formal mantiqqa to‘g‘ri tafakkur shakllari va qonunlarini o‘rganuvchi falsafiy talimot, deb tarif bersak bo‘ladi.
Morris Koen va Ernest Nagellar fikricha, “Mantiqni turli xil asoslarning adekvatligi va isbotlash kuchi masalasini tadqiq etadi deb aytish mumkin. Lekin ananaga ko‘ra, u isbotlash nimadan tashkil topishini(yani, strukturasini-M.SH.) o‘rganadi, yani etarli va rad etib bo‘lmaydigan asoslar bilan ish ko‘radi”¹⁴⁵. Mazkur qarashning, Aristotel tomonidan yaratilgan mantiq o‘zagini sillogistik nazariya va u bilan bog‘liq isbotlash to‘g‘risidagi talimot tashkil etadi, degan fikr bilan hamohangligini payqab olish qiyin emas.To‘g‘ri, xulosa chiqarish va isbotlash formal mantiqning asosiy muammosi hisoblanadi, chunki u o‘z ichiga tushuncha, mulohazalarni oladi. Ayni paytda, ular maxsus tadqiq qilinmasa, mohiyati ochilmaydi, ko‘p tomonlari nomalumligicha qoladi. Buningsiz zamonaviy mantiq, xususan, predikatlar hisobini tasavvur qilib bo‘lmaydi.
SHuni ham alohida takidlash joizki, formal mantiq hozirgi paytda o‘zining maxsus formallashgan tiliga, to‘g‘ri muhokama yuritish uchun zarur bo‘lgan samarali mantiqiy metodlari va usullariga, konseptual vositalariga ega.
Formal mantiqning boshqa fanlar bilan aloqasi
Formal mantiq tafakkurni o‘rganuvchi boshqa fanlar, ayniqsa, falsafa, psixologiya bilan bog‘langan. Xususan,“psixologiyaga oid bilimlarsiz mantiqiy nazariyalarni xato va anglanmaydigan mulohazalardan soqit qilib bo‘lmaydi”¹⁴⁶.
Mantiqning falsafa umumnazariy masalalari bilan aloqadorligi shunda ko‘rinadiki, “mantiqiy munosabatlar o‘z holicha borliqda mavjud predmet va hodisalar determinatsiyasini(o‘zaro taqozalanganligini-M.SH.) aniqlash uchun etarli emas, lekin u predmetlarning mumkin bo‘lgan turli birikmalari determinatsiyalarining har birida qatnashadi”¹⁴⁷.
Mantiqning bosh maqsadi — asosli xulosa chiqarish turlarini asossiz xulosa chiqarishlardan farqlashdan iborat. Biroq mantiqning vazifasi bu bilangina cheklanmaydi. Lokk davridan buyon mutafakkirlar bilimning umumiy tabiati va inson ongi haqiqatni anglashi mumkin bo‘lgan usullar haqida spekulyativ diskussiyalar olib borishadi. Biz bunday bahs munozaralarni muhim emas deb hisoblaymiz. Metafizika, ratsional psixologiya yoki epistemiologiya va psixologiya tadqiq etadigan masalalar muayyan darajada mavhumdir va noaniqdir. Shuning uchun ham shubha ostida qoladi. Lekin metafizika yani falsafa muhokama yuritishning umumiy asoslarini, qonuniyatlarini tadqiq etishi bilan mantiqqa yaqin turadi, uning qoidalarining zaruriy metodologik asosini tashkil etadi.
Boshqa har qanday fan singari mantiq haqiqatga erishishga qarab yo‘naltirilgan. To‘g‘ri xulosalash malakasi johil kishida ham bo‘lishi mumkin. To‘g‘ri xulosalash haqiqatga erishishning zaruriy qismi hisoblanadi. Bu jarayonda mantiqning ishtiroki tabiiyki fan doirasini muayyan darajada kengaytiradi.
Formal mantiqning matematika, grammatik bilan bog‘liqligi yaxshi malum. Buni matematik mantiq noklassik mantiqning turli yo‘nalishlari mavjudligi tasdiqlaydi. SHuningdek, uni formal mantiqning Qadimgi davrda grammatika, matematika bilan uzviy bog‘liq holda shakllangani, ularning ko‘p umumiy xususiyatlarga egaligi ham ko‘rsatadi. Matematika predmetlarni “hisoblash” va
“chizish”, grammatika ularni o‘z “nomi” bilan atash va gaplarni to‘g‘ri qurish, mantiq gap (til ifodasi) orqali bildirilgan mulohazalarni aniqlashtiradi va to‘g‘ri xulosa chiqarishga o‘rgatadi. Predmet haqida fikr bildirish uchun inson uning qaysi sinfga mansubligi, bu sinfni qanday va qancha predmetlar hosil qilishi (arifmetikaning vazifasi), ularga qanday nom berilishi (grammatika vazifasi) va ular to‘g‘risidagi mulohazalar, xulosalar qanday qurilishi (mantiq vazifasi) to‘g‘risida malumotlarga ega bo‘lishi kerak.