Mantiq falsafasi

Haqiqiy xulosaga yoki mantiqiy haqiqatga asoslangan tushunchalar[tahrir | manbasini tahrirlash]
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[tahrir | manbasini tahrirlash]
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.