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. "Mantiq" atamasi yunoncha „“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. Haqiqiy xulosaga yoki mantiqiy haqiqatga asoslangan tushunchalar. Mantiq koʻpincha toʻgʻri yoki toʻgʻri xulosalarni oʻrganish sifatida aniqlanadi. Ushbu kontseptsiyada toʻgʻri va notoʻgʻri xulosalar oʻrtasidagi farq haqida umumiy maʼlumot berish mantiqning vazifasidir. Xulosa-bu xulosa bilan birga binolar toʻplami. Xulosa asosdan kelib chiqsa, yaʼni binolarning haqiqati xulosaning haqiqatligini taʼminlasa, xulosa haqiqiy hisoblanadi. Mantiqni aniqlashning yana bir usuli mantiqiy haqiqatni oʻrganishdir. Mantiqiy haqiqat haqiqatning oʻziga xos shaklidir, chunki u narsalarning qanday ekanligiga, yaʼni qaysi mumkin boʻlgan dunyoning dolzarbligiga bogʻliq emas. Buning oʻrniga, mantiqiy toʻgʻri taklif barcha mumkin boʻlgan olamlarda haqiqatdir. Ularning haqiqati har qanday empirik faktlardan qatʼi nazar, faqat ular tarkibidagi atamalarning maʼnolariga asoslanadi. Bu ikki tushuncha oʻrtasida muhim bogʻliqlik mavjud: agar binolardan xulosaga boʻlgan shartli material mantiqiy jihatdan toʻgʻri boʻlsa, asosdan xulosa chiqarish haqiqiydir. Masalan, „atirgullar qizil, oʻt esa yashil“dan „atirgullar qizil“ degan xulosa toʻgʻri, chunki „atirgullar qizil va oʻt yashil boʻlsa, atirgullar qizil boʻladi“ degan moddiy shart mantiqan toʻgʻri. Mantiq turlari. Raqib mantiqiy tizimlarning koʻpligi oʻrtasida tanlov qilish muammosi juda yaqinda paydo boʻldi. Tarixda uzoq vaqt davomida Aristotel sillogistikasiga mantiq kanoni sifatida qaralgan va Jorj Bul,Bernard Bolzano,Frans Brentano, Gottlob Frege va boshqalarning asarlarigacha ikki ming yildan ortiq vaqt davomida unchalik sezilarli yaxshilanishlar boʻlmagan. Ushbu oʻzgarishlar koʻpincha mantiqning ekspressiv moslashuvchanligini oshirish va uni foydalanishning muayyan sohalariga moslashtirish zarurati bilan bogʻliq edi. Mantiq falsafasining zamonaviy mantiqiy tizimlarning koʻpayishi natijasida paydo boʻlgan markaziy muammo bu tizimlarning bir-biri bilan qanday bogʻliqligini tushuntirishdir. Bu barcha rasmiy tizimlarning nima uchun „mantiq“ nomiga loyiqligi haqidagi savolni keltirib chiqaradi. Yana bir savol shundaki, bu tizimlardan faqat bittasi toʻgʻrimi yoki bitta universal mantiq oʻrniga mantiqiy tizimlarning koʻpligi qanday mumkin. Monizm-bu faqat bitta mantiq toʻgʻri ekanligi haqidagi tezis, plyuralizm esa turli xil muqobil mantiqiy tizimlarni nutqning turli sohalari uchun toʻgʻri boʻlishiga imkon beradi. Bundan tashqari, barcha turli mantiqiy tizimlar asosida yotuvchi va birlashtiruvchi yagona universal mantiq tushunchasi boʻlishi mumkinligi taxmin qilingan. Klassik va klassik boʻlmagan. Rasmiy mantiq doirasida klassik va noklassik mantiq oʻrtasida muhim farq mavjud. Klassik mantiq atamasi birinchi navbatda taklif mantiqi va birinchi tartibli mantiqni anglatadi. Bu koʻpchilik nazariyotchilar tomonidan qabul qilingan va qoʻllaniladigan dominant mantiqiy tizimdir. Ammo mantiq falsafasi klassik boʻlmagan yoki muqobil mantiqlar bilan ham bogʻliq. Ular baʼzan kengaytirilgan mantiq va deviant mantiqlarga boʻlinadi. Kengaytirilgan mantiqlar klassik mantiqning kengaytmalaridir, yaʼni ular klassik mantiqning asosiy formalizmi va aksiomalarini qabul qiladilar, lekin ularni yangi mantiqiy lugʻat bilan kengaytiradilar, masalan modal mantiqda „imkoniyat“ va „zarurat“belgilarini yoki „baʼzan“va"har doim"belgilarini kiritish."vaqtinchalik mantiqda. Deviant mantiqlar esa klassik mantiqning ayrim asosiy taxminlarini rad etadi. Ular klassik mantiqdan farqli aksiomalardan foydalanadilar, ular koʻpincha qaysi xulosalar toʻgʻri ekanligiga nisbatan koʻproq cheklanadi. Ular klassik mantiqqa toʻgʻri kelmaydigan va unga raqib sifatida qaralishi mumkin boʻlgan maʼnoda „deviant“dir.