**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 "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.

### 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.

Yana qarang
-----------

### Muhim nazariyotchilar

* Agata Ciabattoni
* Alfred Tarski
* Alonzo Church
* Alvin Plantinga
* Aristotle
* Arthur Prior
* Augustus De Morgan
* Bertrand Russell
* Charles Sanders Peirce
* David Lewis
* Donald Davidson
* Georg Hegel
* George Boole
* George Boolos
* Gordon Clark
* Gottfried Leibniz
* Gottlob Frege
* Hilary Putnam
* Immanuel Kant
* John Buridan
* John Stuart Mill
* Kurt Gödel
* Ludwig Wittgenstein
* Michael Dummett
* Noriko H. Arai
* Peter of Spain
* Rudolf Carnap
* Saul Kripke
* Valeria de Paiva
* Willard Van Orman Quine
* William of Ockham

### Mantiqning falsafiy nazariyalari

* Conceptualism
* Constructivism
* Dialetheism
* Formalism
* Intuitionism
* Realism
* Platonic realism

### Boshqalar

* "Is Logic Empirical?"
* Bas van Fraassen § Singular Terms, Truth-value Gaps, and Free Logic
* Extension and Intension
* Logical connective
* Logical constant
* Quantifier (logic)
* Semantic theory of truth § Tarski's Theory
* Sense and reference
* Supposition theory
* The Foundations of Arithmetic § Development of Frege's own view of a number
* Theory of reference