Mantiq falsafasi

Mantiq falsafasi --- mantiqning ko'lami va tabiatini o'rganadigan falsafa sohasi.U mantiq tomonidan ko'tarilgan falsafiy muammolarni,masalan,mantiq nazariyalarida va ularni qo'llashda ko'pincha bilvosita ishlaydigan prezaziyalarni o'rganadi.Bu mantiqni qanday aniqlash kerakligi va turli mantiqiy tizimlar bir-biri bilan qanday bog'langanligi haqidagi savollarni o'z ichiga oladi.U mantiq tomonidan qo'llaniladigan fundamental tushunchalarning tabiatini va mantiqning boshqa fanlar bilan aloqasini o'rganishni o'z ichiga oladi.Umumiy tavsifga ko'ra,falsafiy mantiq mantiq falsafasining falsafiy muammolarga mantiqiy usullarni qo'llashni o'rganadigan qismi bo'lib,ko'pincha modal mantiq kabi kengaytirilgan mantiqiy tizimlar shaklida.Ammo boshqa nazariyotchilar mantiq falsafasi va falsafiy mantiq o'rtasidagi farqni boshqacha ko'rsatadilar yoki umuman yo'q.Metallogiya mantiq falsafasi bilan chambarchas bog'liqdir,chunki mantiqiy tizimlarning izchillik va to'liqlik kabi xususiyatlarini o'rganadi.
Akademik adabiyotlarda mantiq tabiatining turli tavsiflari mavjud.Mantiq ko'pincha fikrlash qonunlari,to'g'ri fikrlash,to'g'ri xulosa chiqarish yoki mantiqiy haqiqatni o'rganish sifatida qaraladi.Bu rasmiy fan bo'lib,xulosalar mavzudan neytral tarzda,ya'ni muhokama qilinadigan aniq mavzudan mustaqil ravishda qanday qilib binolardan kelib chiqishini o'rganadi.Mantiqning tabiatini o'rganishning shakllaridan biri turli mantiqiy rasmiy tizimlar o'rtasidagi umumiyliklarga va ularning mantiqiy bo'lmagan rasmiy tizimlardan qanday farq qilishiga qaratilgan.Bu boradagi muhim mulohazalar,ko'rib chiqilayotgan rasmiy tizim fundamental mantiqiy sezgilarga mos keladimi yoki to'liqmi.Mantiqning turli xil tushunchalari mantiqni to'g'ri xulosani yoki mantiqiy haqiqatni o'rganish sifatida belgilaydimi-yo'qligiga qarab farqlanishi mumkin.Mantiq tushunchalari orasidagi yana bir farq sintaksis yoki semantika nuqtai nazaridan to'g'ri xulosa va mantiqiy haqiqat mezonlari aniqlanganligiga asoslanadi.
Ko'pincha mantiqning turli xil turlari ajralib turadi.Mantiq odatda rasmiy mantiq sifatida tushuniladi va ushbu maqolaning aksariyat qismida shunday ko'rib chiqiladi.Rasmiy mantiq faqat rasmiy tilda ifodalangan argumentlar shakli bilan qiziqadi va deduktiv xulosalarga e'tibor qaratadi.Boshqa tomondan,norasmiy mantiq deduktiv bo'lmagan argumentlarni o'z ichiga olgan tabiiy tilda mavjud bo'lgan argumentlarning ancha keng doirasiga murojaat qiladi.Argumentlarning to'g'riligi ularning shakli yoki mazmuni yoki konteksti kabi boshqa omillarga bog'liq bo'lishi mumkin.XX-asrda turli xil mantiqiy rasmiy tizimlar yoki mantiqlar ishlab chiqilgan bo'lib,ularni tasniflash,bir-biri bilan qanday bog'liqligini ko'rsatish va qanday qilib ko'p qirrali bo'lishi mumkinligi muammosini hal qilish mantiq falsafasining vazifasidir.Mantiqlar bitta universal haqiqiy mantiqdan farqli o'laroq. Ushbu mantiqlarni klassik mantiqqa bo'lish mumkin, odatda birinchi tartibli mantiq, kengaytirilgan mantiq va deviant mantiqlar bilan aniqlanadi.Kengaytirilgan mantiqlar klassik mantiqning asosiy formalizmi va aksiomalarini qabul qiladi,lekin ularni yangi mantiqiy lug'at bilan kengaytiradi.
Mantiq falsafasi mantiqning asosiy tushunchalarining tabiati va falsafiy oqibatlarini ham o'rganadi.Bu haqiqat muammosini,ayniqsa,mantiqiy haqiqat muammosini o'z ichiga oladi,bu faqat ishlatiladigan mantiqiy atamalarning ma'nolariga qarab haqiqat sifatida belgilanishi mumkin. Yana bir savol,binolar va xulosalarning tabiati,ya'ni ularni fikr,mulohazalar yoki jumlalar sifatida tushunish kerakmi va ular qanday qilib oddiyroq tarkibiy qismlardan tuzilganligi bilan bog'liq.Binolar va xulosa birgalikda xulosani tashkil qiladi,u haqiqatni saqlovchi yoki yangi va ehtimol yolg'on ma'lumotlarni kiritishiga qarab deduktiv va amplativ bo'lishi mumkin.Mantiqdagi asosiy masala deduktiv xulosaning haqiqiy yoki noto'g'ri ekanligi.Haqiqiylik ko'pincha zarurat nuqtai nazaridan aniqlanadi,ya'ni xulosa faqat va agar asoslarning to'g'ri bo'lishi mumkin bo'lmasa va xulosa noto'g'ri bo'lsa,haqiqiy hisoblanadi.Boshqa tomondan, noto'g'ri xulosalar va dalillar o'z xulosalarini tasdiqlay olmaydi.Ular rasmiy yoki norasmiy mantiqqa tegishli ekanligiga qarab rasmiy yoki norasmiy noto'g'ri deb tasniflanishi mumkin Mantiq asosan aniqlovchi qoidalar bilan,ya'ni argumentning to'g'ri yoki noto'g'riligini qaysi xulosa qoidalari aniqlaydi,degan savol bilan shug'ullangan.So'rovning alohida mavzusi mantiqning strategik qoidalariga taalluqlidir:ma'lum binolar to'plamini hisobga olgan holda mo'ljallangan xulosaga qanday erishishni tartibga soluvchi qoidalar,ya'ni u erga kelish uchun qanday xulosalar chiqarish kerak.
Mantiq metafizikasi mantiq qonunlari va ob'ektlarining metafizik holati bilan bog'liq.Bu sohadagi muhim bahs mantiq ongdan mustaqil boʻlgan faktlarga asoslanadi,deb hisoblaydigan realistlar bilan mantiq qonunlari tildan foydalanishni tartibga soluvchi konventsiyalarga asoslangan deb hisoblaydigan konventsionalistlar kabi antirealistlar oʻrtasida boʻladi.Mantiq turli fanlar bilan chambarchas bog'liq.Ontologiya bilan bog'liq asosiy masala mantiqdan foydalanish bilan bog'liq ontologik majburiyatlarga taalluqlidir,masalan;;alohida atamalar va ekzistensial kvantlar bilan.Matematikadagi muhim savol-barcha matematik haqiqatlarni to'plamlar nazariyasi bilan birga mantiq aksiomalariga asoslash mumkinmi? Boshqa tegishli sohalarga kompyuter fanlari va psixologiya kiradi.
Mantiqning tabiati[tahrir | manbasini tahrirlash]
"Mantiq" atamasi yunoncha "logos"so'zidan kelib chiqqan", bu aql,nutq yoki til kabi turli xil hislar bilan bog'liq.Mantiq nima va uni qanday aniqlash kerakligi haqida ko'plab kelishmovchiliklar mavjudi.Umuman olganda,mantiqqa turli xil xususiyatlar beriladi,masalan,u asoslar va xulosalar o'rtasidagi munosabatni o'rganadi va buni mavzuga bog'liq bo'lmagan holda bajaradi. Mantiq falsafasining muhim vazifasi rasmiy tizim mantiq deb hisoblanishi kerak bo'lgan mezonlarni o'rganishdir.Turli xil mantiq tushunchalari uni haqiqiy xulosaga yoki mantiqiy haqiqatga asoslangan deb tushunishadi. To'g'ri xulosa va mantiqiy haqiqat mezonlari o'zlari turli yo'llar bilan aniqlanishi mumkin: sintaktik yoki semantik mulohazalar asosida.