Mantiq Bajardi: Musajonov Boqijonn bet-90 reja

07

Turli xil deviant mantiqlar taklif qilingan. Asosiy paradigmalardan biri bu intuitivistik mantiq bo'lib, u istisno qilingan o'rta qonunini rad etadi. Intuitivizm Gollandiyalik matematiklar L.E.J. tomonidan ishlab chiqilgan. Brouwer va Arend Xeyting matematikaga konstruktiv yondashuvini asoslash uchun, bunda matematik ob'ektning mavjudligini faqat uni qurish orqali isbotlash mumkin. Intuitivizmni Gerxard Gentzen, Kurt Gödel, Maykl Dummet va boshqalar davom ettirdilar.

Deviant tizim

08

Mantiq turli sohalarda o'rganiladi. Ko'pgina hollarda, bu uning rasmiy usulini uning doirasidan tashqarida bo'lgan muayyan mavzularga, masalan, axloq yoki informatikaga qo'llash orqali amalga oshiriladi. Boshqa hollarda, mantiqning o'zi boshqa fan bo'yicha tadqiqot mavzusiga aylanadi. Bu turli yo'llar bilan sodir bo'lishi mumkin, masalan, fundamental mantiqiy tushunchalarning falsafiy taxminlarini o'rganish, matematik tuzilmalar orqali mantiqni sharhlash va tahlil qilish yoki rasmiy mantiqiy tizimlarning mavhum xususiyatlarini o'rganish va solishtirish.

Tadqiqot sohalar

09

Mantiq falsafasi — mantiqning koʻlami va tabiatini oʻrganuvchi falsafiy fan. U mantiqda yashirin bo'lgan ko'plab taxminlarni, masalan, uning asosiy tushunchalarini yoki ular bilan bog'liq metafizik taxminlarni qanday aniqlashni o'rganadi.

Mantiq falsafasi va falsafiy mantiq

10

Matematik mantiq - bu matematika ichidagi mantiqni o'rganadigan fan. Asosiy kichik sohalarga modellar nazariyasi, isbotlar nazariyasi, toʻplamlar nazariyasi va hisoblash nazariyasi kiradi.
Matematik mantiq sohasidagi tadqiqotlar odatda mantiqning rasmiy tizimlarining matematik xususiyatlarini ko'rib chiqadi.
Matematik mantiq

11

Informatika fanida mantiq hisoblash nazariyasining bir qismi sifatida o'rganiladi. Hisoblash bilan bog'liq bo'lgan mantiqning asosiy sohalariga hisoblash nazariyasi, modal mantiq va toifalar nazariyasi kiradi. Dastlabki kompyuter texnikasi lambda hisobi kabi mantiq gʻoyalariga asoslangan edi.
Kompyuter olimlari, shuningdek, mantiqdan hisoblashdagi muammolarga va aksincha tushunchalarni qo'llaydilar
Hisoblash mantiqi

12

Rasmiy semantika tilshunoslik va falsafaning kichik sohasi bo'lib, tabiiy tildagi ma'noni tahlil qilish uchun mantiqdan foydalanadi. Bu lingvistik iboralarning denotatlarini tavsiflashga va bu denotatlar ularning qismlari ma'nolaridan qanday tuzilganligini tushuntirishga intiladigan empirik sohadir. Ushbu soha Richard Montague va Barbara Partee tomonidan 1970- yillarda ishlab chiqilgan va faol tadqiqot yo'nalishi bo'lib qolmoqda. Markaziy savollar doira, majburiylik va lingvistik modallikni o'z ichiga oladi.
Tabiiy tilning formal semantikasi

E'tibor uchun rahmat