MANTIQ fan sifatida

1. Mantiqning predmeti

2. Mantiqning vujudga kelishi va rivojlanishi

3. Mantiq tili

4. Tafakkur shakllari va qonuniyatlari

1. Mantiq mavzusi

Kalit so'zlar: mantiq, tafakkur, hissiy bilish, mavhum fikrlash.

Mantiq (yunoncha: logos — soʻz, tushuncha, sabab) — toʻgʻri fikrlash shakllari va qonuniyatlari haqidagi fan. Tafakkur mexanizmini qator fanlar: psixologiya, gnoseologiya, kibernetika va boshqalar o‘rganadi.Ilmiy mantiqiy tahlilning predmeti tafakkur shakllari, texnikasi va qonuniyatlari bo‘lib, ular yordamida inson o‘zini tevarak-atrofdagi olamni va o‘zini idrok etadi. Tafakkur voqelikni bilvosita ideal obrazlar shaklida aks ettirish jarayonidir.

Haqiqatni bilishga hissa qo'shadigan fikrlash shakllari va usullari. Shaxs dunyo hodisalari haqidagi bilimlarni faol, maqsadli bilish jarayonida oladi: sub'ekt - shaxsning voqelik bo'laklari bilan ob'ekt o'zaro ta'siri. Bilish tadqiqotchini to'g'ri xulosalar chiqarishga olib keladigan bir necha darajalar, bir qator shakllar va usullar bilan ifodalanadi, bunda dastlabki bilimlarning haqiqati xulosalarning haqiqatini nazarda tutadi.

Biz bilamizki, birinchi daraja hissiy bilimdir. U sezgilar, ularni anglash va sintez qilish asosida amalga oshiriladi. Sensor bilishning asosiy shakllarini eslaylik:

1) sezgi;

2) idrok etish;

3) taqdimot.

Idrokning bu darajasi bir qancha muhim metodlarga ega bo’lib, ular orasida sezgilarni tahlil qilish va tizimlashtirish, taassurotlarni yaxlit tasvirga joylashtirish, ilgari olingan bilimlarni esda saqlash va esda saqlash, tasavvur qilish va boshqalar kiradi.Sezgi bilish tashqi, individual xususiyatlar haqida bilim beradi. va hodisalarning sifatlari. Inson narsa va hodisalarning chuqur xossalari va mohiyatini, dunyo va jamiyatning mavjudlik qonuniyatlarini anglashga intiladi. Shuning uchun u o'zini qiziqtirgan muammolarni mavhum nazariy darajada o'rganishga murojaat qiladi. Bu darajada mavhum bilishning quyidagi shakllari rivojlanadi:

a) tushuncha;

b) hukm;

c) xulosa chiqarish.

Bilishning ushbu shakllariga murojaat qilganda, shaxs mavhumlik, umumlashtirish, xususiydan abstraktsiya, muhimni ajratib olish, ilgari ma'lum bo'lganlardan yangi bilimlarni olish va boshqalar kabi usullarni boshqaradi.

Mavhum fikrlash va hissiy-majoziy aks ettirish va dunyoni bilish o'rtasidagi farq. Hissiy bilish natijasida shaxs bevosita tajribadan olingan bilimlarni hislar, kechinmalar, taassurotlar va hokazolar asosida ideal obrazlar shaklida rivojlantiradi.Mavhum tafakkur ob'ektlarning alohida tomonlarini o'rganishdan qonuniyatlarni tushunishga o'tishni belgilaydi; umumiy aloqalar va munosabatlar. Idrokning bu bosqichida voqelikning parchalari hissiy-obyektiv olam bilan bevosita aloqa qilmasdan, ularni abstraktsiyalar bilan almashtirish orqali qayta ishlab chiqariladi. Yagona ob'ektdan va vaqtinchalik holatdan mavhumlanib, tafakkur ulardagi umumiy va takroriy, muhim va zaruriy narsalarni ajratib ko'rsatishga qodir.

Abstrakt tafakkur til bilan uzviy bog‘liqdir. Til - fikrlarni tuzatishning asosiy vositasi. Lingvistik shaklda nafaqat substantiv ma'nolar, balki mantiqiy ma'nolar ham ifodalanadi. Til yordamida inson fikrlarini shakllantiradi, ifodalaydi va etkazadi, bilimlarni qayd etadi.

Bizning fikrlashimiz voqelikni bilvosita aks ettirishini tushunish muhimdir: mantiqiy ketma-ketliklar orqali bir-biriga bog'langan bilimlar seriyasi orqali ob'ektiv-sezgi dunyosi bilan bevosita aloqa qilmasdan yangi bilimlarga erishish mumkin bo'ladi.

Mantiqning bilishdagi ahamiyati ishonchli bilimlarni faqat formal-mantiqiy yo‘l bilan emas, balki dialektik yo‘l bilan ham chiqarish imkoniyatlaridan kelib chiqadi.

Mantiqiy harakatning vazifasi, eng avvalo, o'ziga xos ma'nolardan qat'i nazar, doimo to'g'ri xulosalarga olib keladigan fikrlashning shunday qoidalari va shakllarini kashf etishdan iborat.

Mantiq bir hukmdan ikkinchisiga izchil o'tishga olib keladigan va izchil fikrlash tizimini tashkil etuvchi fikrlash tuzilmalarini o'rganadi. U muhim uslubiy funktsiyani bajaradi. Uning mohiyati ob'ektiv bilimlarni olish uchun mos bo'lgan tadqiqot dasturlari va texnologiyalarini ishlab chiqishdir. Bu esa insonni ilmiy va nazariy bilimlarning asosiy vositalari, usullari va usullari bilan qurollantirishga yordam beradi.

Mantiqning ikkinchi asosiy funktsiyasi analitik-tanqidiy bo'lib, uni amalga oshirish fikrlashda xatolarni aniqlash va fikrni qurishning to'g'riligini nazorat qilish vositasi sifatida ishlaydi.

Mantiq gnoseologik vazifalarni ham bajarishga qodir. Tafakkurning rasmiy aloqalari va elementlarini qurishda to'xtamasdan, mantiqiy bilim til ifodalarining ma'nosi va ma'nosini etarli darajada tushuntira oladi, biluvchi sub'ekt va kognitiv ob'ekt o'rtasidagi munosabatni ifodalaydi, shuningdek, mantiqiy-dialektik rivojlanishini ochib beradi. ob'ektiv dunyo.

Vazifalar va mashqlar

1. Yonlarida raqamlar (0, 1, 4, 5, 6, 8) joylashgan bir xil kub uch xil holatda joylashgan.

									5	0	4
0	4	5

Idrokning hissiy shakllaridan (sezish, idrok etish va g'oya) foydalanib, har uch holatda ham kubning pastki qismida qaysi raqam borligini aniqlang.

2. Svetlana, Larisa va Irina universitetda turli xorijiy tillarni o'rganmoqda: nemis, ingliz va ispan tillari. Ularning har biri qaysi tilni o'rganayotganini so'rashganida, ularning do'sti Marina qo'rqinchli javob berdi: "Svetlana ingliz tilini o'rganmoqda, Larisa ingliz tilini o'rganmaydi va Irina nemis tilini o'rganmaydi". Ma'lum bo'lishicha, bu javobda faqat bitta gap to'g'ri, ikkitasi yolg'on. Har bir qiz qaysi tilni o'rganadi?

3. Ivanov, Petrov, Stepanov va Sidorov - Grodno aholisi. Ularning kasblari - kassir, shifokor, muhandis va politsiyachi. Ivanov va Pertov qo'shnilar, ular har doim mashinada birga borishadi. Petrov Sidorovdan katta. Ivanov har doim shaxmatda Stepanovni mag'lub etadi. Kassir har doim ishga piyoda boradi. Politsiyachi shifokorning yonida yashamaydi. Muhandis va militsioner o'rtasidagi yagona uchrashuv birinchisi ikkinchisini yo'l harakati qoidalarini buzgani uchun jarimaga tortganida edi. Politsiyachi shifokor va muhandisdan katta. Kim kim?

4. Musketyor do'stlari Atos, Portos, Aramis va d'Artagnan arqon tortish bilan zavqlanishga qaror qilishdi. Portos va d'Artagnan Atos va Aramisni osongina ortda qoldirdi. Ammo Portos Atos bilan birlashganda, d'Artagnan va Aramis ustidan qiyinroq g'alaba qozondi. Va Portos va Aramis Atos va d'Artagnanga qarshi jang qilganda, hech kim arqonni tortib olmadi. Mushketyorlar kuchga qarab qanday taqsimlanadi?

Bilim darajalari va shakllari o‘rtasidagi bog‘liqlikning mantiqiy diagrammasini tuzing.

2. Mantiqning vujudga kelishi va rivojlanishi

Kalit so`zlar: deduksiya, formal mantiq, induktiv mantiq, matematik mantiq, dialektik mantiq.

Mantiqning paydo bo'lish sabablari va shartlari. Mantiqning paydo bo'lishining eng muhim sababi antik dunyoda allaqachon intellektual madaniyatning yuqori darajada rivojlanishidir. Jamiyat taraqqiyotning ushbu bosqichidagi voqelikning mavjud mifologik talqini bilan qanoatlanmaydi, u tabiat hodisalarining mohiyatini oqilona talqin qilishga intiladi. Asta-sekin spekulyativ, lekin ayni paytda ko'rgazmali va izchil bilimlar tizimi paydo bo'ladi.

Mantiqiy tafakkurni rivojlantirish va uni nazariy jihatdan taqdim etish jarayonida o'sha vaqtga kelib sezilarli yuksaklikka erishgan ilmiy bilimlar alohida rol o'ynaydi. Xususan, matematika va astronomiya sohasidagi muvaffaqiyatlar olimlarni tafakkurning tabiatini o'rganish va uning oqim qonuniyatlarini o'rnatish zarurligi haqidagi g'oyaga olib keladi.

Mantiqni shakllantirishning eng muhim omillari ijtimoiy amaliyotda fikr bildirishning faol va ishonarli vositalarini siyosiy sohada, sud ishlarida, savdo munosabatlarida, ta'lim, ta'lim faoliyatida va boshqalarda tarqatish zarurati edi.

Mantiqning fan sifatida asoschisi, formal mantiqning yaratuvchisi qadimgi yunon faylasufi, ensiklopedik tafakkurning qadimgi olimi Aristotel (miloddan avvalgi 384 - 322 yillar) hisoblanadi. “Organon: Topika”, “Tahlilchilar”, “Germenevtika” va boshqalar kitoblarida mutafakkir tafakkurning eng muhim kategoriyalari va qonuniyatlarini ishlab chiqadi, dalillar nazariyasini yaratadi, deduktiv xulosalar tizimini shakllantiradi. Deduksiya (lotincha: xulosa chiqarish) umumiy qonuniyatlar asosida alohida hodisalar haqida haqiqiy bilim olish imkonini beradi. Aristotel birinchi bo‘lib tafakkurning o‘zini faol substansiya, bilish shakli sifatida tekshirib, uning voqelikni adekvat aks ettirish shartlarini tavsiflab berdi. Aristotelning mantiqiy tizimi ko'pincha an'anaviy deb ataladi, chunki u aqliy faoliyat shakllari va usullari haqidagi asosiy nazariy qoidalarni o'z ichiga oladi. Aristotel ta'limoti mantiqning barcha asosiy bo'limlarini o'z ichiga oladi: tushuncha, hukm, xulosa, mantiq qonunlari, isbot va rad etish. Taqdimotning chuqurligi va muammoning umumiy ahamiyati tufayli uning mantig'i klassik deb nomlanadi: haqiqat sinovidan o'tib, u bugungi kunda ham dolzarb bo'lib qolmoqda va ilmiy an'anaga kuchli ta'sir ko'rsatmoqda.

Mantiqiy bilimlarni rivojlantirish. Antik mantiqning keyingi rivojlanishi stoik faylasuflarining ta'limoti bo'lib, ular falsafiy va axloqiy masalalar bilan birgalikda mantiqni "dunyo logosining o'sishi", uning yerdagi, insoniy shakli deb hisoblaydilar. Stoiklar Zenon (miloddan avvalgi 333 - 262), Krisipp (miloddan avvalgi 281 - 205 yillar) va boshqalar mantiqni mulohazalar (takliflar) va ulardan xulosalar tizimi bilan to'ldirdilar, murakkab mulohazalar asosida xulosalar sxemalarini taklif qildilar, kategorik apparatni boyitdilar. va fan tili. "Mantiq" atamasining paydo bo'lishi shu davrga to'g'ri keladi (miloddan avvalgi III asr). Mantiqiy bilimlar stoiklar tomonidan klassik mujassamlashdan biroz kengroq bo'lgan. U tafakkur shakllari va operatsiyalari haqidagi ta’limotni, munozara san’ati (dialektika), notiqlik mahorati (ritorika) va til haqidagi ta’limotni birlashtirgan.

Hozirgi zamonda Yevropada tabiatshunoslik bilimlarining (mexanika, geografiya va boshqalar) keng tarqalishi davrida deduktiv xulosalar tizimini induktiv tafakkur tamoyillari bilan to’ldirish zarurati paydo bo’ldi. Amaliyot va hayotdan to‘plangan empirik, faktik materiallar, maxsus holatlarni taqqoslash va umumlashtirish orqali shunday qurish mumkin bo‘ldiki, ular umumiy xarakterdagi haqiqiy hukmlarga olib keladi. Alohida narsalar haqidagi bilimlar ularning mavjudligining umumiy qonuniyatlari mavjudligi haqidagi g'oyani (lotincha: inductio) "taklif qilishi" mumkin. Tafakkurning ilmiy qolip sifatidagi bu xususiyati, sxolastik fikrlashdan farqli o'laroq, ingliz faylasufi va tabiatshunosi Frensis Bekonning (1561 - 1626) "Yangi organon yoki tabiatni talqin qilishning haqiqiy ko'rsatmalari" asarida qayd etilgan. Shu tariqa u induktiv mantiqning asoschisi bo‘ldi.

Ilmiy bilishning o‘ziga xos xususiyatlari yangi davr fransuz mutafakkiri Rene Dekart (1596 – 1650) tomonidan ratsionalistik metodologiyada o‘z aksini topgan. “Aqlni to‘g‘ri yo‘naltirish va fanlarda haqiqatni topish usuli haqida ma’ruza” va “Aqlni boshqarish qoidalari” asarlarida u bilishning eng muhim usullarini: aksiomatik, analitik va sintetik, shuningdek, bilishning oxirida shakllantiradi. , tizimli usul. Ratsionalistik metodologiyani amalga oshirishning eng yuqori shakli, Dekartning fikricha, matematikadir. Mantiq yangi haqiqatlarni olish va bilimlarni oshirish yo'llarini kashf etishga qodir bo'lgan bilish metodologiyasi rolini o'ynaydi.

Matematik (yoki ramziy) mantiqning asosiy g'oyalari nemis mutafakkiri G.V.Leybnits (1646 - 1716) tomonidan "Kombinatorika san'ati to'g'risida", "Umumjahon hisobidagi tajriba", "Sillogik shakllarni matematik aniqlash to'g'risida" asarlarida taklif qilingan. ”, va hokazo.U an’anaviy mantiq masalalarini ishlab chiqadi (etarli sabab qonunini shakllantiradi, mantiq kategoriyalarini tizimlashtirish ustida ishlaydi va hokazo), lekin tilni rasmiylashtirish, mantiqiy fikrlash uslubini matematiklashtirishga ko’proq e’tibor beradi. Shu vaqtdan boshlab mantiq tabiiy tilda ishlatilmaydigan maxsus belgi-ramzlardan foydalana boshladi. Leybnits birinchi boʻlib mantiq qonunlari va matematika qonunlari oʻrtasidagi muvofiqlik asosida arifmetizatsiyalangan mantiqiy xulosa chiqarish imkoniyatlarini oʻrgandi. Bu nazariy ilmiy mulohazalarni matematik hisob-kitoblarga olib kelishga qaratilgan bo'lib, buning yordamida har qanday nizoni hal qilish va haqiqatga erishish mumkin.

An'anaviy mantiq o'rnini aqliy faoliyatning analitik texnikasida amalga oshiriladigan qoidalar va teoremalarning qat'iy formulalarida aqliy shakllarni qamrab olgan matematik mantiq egallaydi.

19-asrda ramziy mantiq mantiqiy bilimlarning eng jozibali sohasiga aylanadi. Matematik mantiqning eng mashhur vakillari orasida ingliz matematigi D.Bul (1815 – 1864) ajralib turadi. U o'zining "Mantiqning matematik tahlili" va "Tafakkur qonunlarini o'rganish" asarlarida munosabatlar (operatsiyalar) sifatida aniq elementlarning (sinflarning) algebraik hisobiga asos soladi. Bul g'oyalar, ob'ektlar va mavhum tizimlar o'rtasidagi munosabatlarni imo-ishora tiliga tarjima qilishga harakat qildi. Mantiqiy algebra uchta amal yordamida mantiqiy masalalarni yechishdir: a) sinflarni qo'shish (A U B), sinfni ko'paytirish (A ∩ B) va sinflarni qo'shish (A'). Bool algebrasi amaliy holatlarda, masalan, beton o'rni sxemalarini talqin qilishda, kompyuterda dasturlashda hisob-kitoblarda va hokazolarda ham qo'llanilishi mumkin edi.

Rasmiy va ramziy mantiq. Formal (an'anaviy) mantiq, uning tadqiqot predmeti bo'lib, tafakkurning o'ziga xos mazmuniga bevosita tayanmasdan, tafakkurning asosiy shakllarini (tushuncha, mulohaza, xulosa), qonunlarni o'rganishdir. Formal mantiq tarixiy jarayondan, harakatning amaliy va kognitiv usullarini ishlab chiqishdan abstraktlashtiradi.

Ramziy (matematik) mantiqni rasmiy, uning rasmiylashtirilgan qismi sifatida taqdim etish mumkin. U o'zining asosiy vazifasini matematik formulalar, aksiomalar va natijalardan foydalangan holda mantiqiy hisob-kitoblarni qurish deb biladi. Belgilar va maxsus belgilar tizimida tafakkur shakllarini belgilaydi.

Zamonaviy rasmiy mantiq aqliy operatsiyalarni o'rganish va mantiqiy shakllarni nazariy bilimlarning umumiy qonuniyatlariga o'tkazishni o'z ichiga oladi. Zamonaviy ramziy mantiq mantiqiy bilimlarning mustaqil yo'nalishi bo'lib, u nafaqat nazariy, balki amaliy ahamiyatga ega. Shunday qilib, murakkab hisoblash operatsiyalaridan tashqari, u tilshunoslikda (bir tildan ikkinchi tilga tarjima qilishda), texnik sohada (qurilmalarni boshqarishda), kompyuter dasturlashda va boshqalarda keng qo'llaniladi.

Formal va dialektik mantiq. Formal-mantiqiy sxemalar, ta'bir joiz bo'lsa, bilish mumkin bo'lgan ob'ektlarning mohiyatiga befarq (ahamiyatsiz). Mohiyat - ob'ektning mazmunini ifodalovchi ichki sifat va xususiyatlar yig'indisidir. Narsalarning mohiyatiga kirib borishning eng muhim usullari - bu ularning xususiyatlarining qarama-qarshi birligini aniqlash, ularni rivojlanishida va boshqa ob'ektlar bilan munosabatlarida hisobga olishdir. Bunday bilish jarayonida ahamiyatsiz, tasodifiy, konsentratsiyali bilimlardan atributiv xususiyatlarni abstraktsiya qilish muhim ahamiyatga ega.

Rasmiy mantiqdan farqli o'laroq, dialektik mantiq o'z predmeti sifatida voqelik bo'laklarining, shu jumladan mantiqiy shakl va qonuniyatlarning paydo bo'lishi va rivojlanishini o'rganishga ega. Bu fikrlashni rivojlantirish haqidagi bilimdir. Dialektik mantiqning asosini qator tamoyillar tashkil etadi: a) rivojlanish prinsipi, b) istorizm prinsipi, v) yaxlitlik prinsipi, d) konkretlik prinsipi va boshqalar.Dialektik mantiqning markaziy tushunchasi dialektik ziddiyatdir. .

Dialektik mantiq, butun mantiq taraqqiyotining butun davri davomida o'z bilimlarini to'playdigan va umumlashtiruvchi nemis klassik falsafasida tizimlashtirilgan shaklda taqdim etilgan. I. Kantning (1724 - 1804) "Sof aql tanqidi" va "Hukm kuchi tanqidi" asarlarida aprior bilimning kelib chiqishi, mazmuni va ob'ektiv ahamiyatini belgilovchi transsendental mantiqning asoslanishi olib borilgan. tashqariga. Gegel falsafasida (1770 - 1831) kontseptsiyani o'z-o'zini bilish va o'z-o'zini rivojlantirishning universal shakli sifatida dialektik mantiqning ob'ektiv-idealistik tizimi o'z yakunini topdi. U o'zining "Mantiq fani" asarida tafakkurning rasmiy mantiqiy qonuniyatlarini "neontologik" deb tanqid qilibgina qolmay, balki mantiqiy bilimlarning tubdan boshqacha mazmunini - tafakkur dialektikasiga asoslangan qonunlar, tushunchalar va xulosalarni asoslab beradi. ob'ektiv ruh.

Dialektik mantiqni tushunishning yangi bosqichi K. Marks (1818 - 1883) va F. Engels (1820 - 1895) nomlari bilan bog'liq. F.Engelsning “Anti-Dyuring”, “Tabiat dialektikasi”, K.Marks “Kapital” va boshqa asarlarida rivojlanayotgan shakllarning talqini “oʻz-oʻzidan rivojlanayotgan kontseptsiya”ning oʻziga xosligiga asoslanadi. ob'ektiv (moddiy) dunyoning o'zida dialektik o'zgarishlarni aniqlash. Tabiat va jamiyat ularning nuqtai nazaridan dialektik tafakkur qonuniyatlarini tushunish uchun asosdir. Marksistik dialektikada materialistik pozitsiyadan kelib chiqqan holda dialektikaning uchta eng muhim qonuni (qarama-qarshiliklarning birligi va kurashi qonuni, miqdor va sifat oʻzgarishlarining oʻzaro oʻzgarishi qonuni, inkorni inkor etish qonuni), asosiy tamoyillari shakllantirilgan. va materialistik dialektikaning kategoriyalari.

Agar formal mantiq fikrlash shakllarini aniq bir mavzu bilan bevosita bog‘lanmagan holda, umumlashgan va mavhum shaklda eng muhim xususiyatlarni tahlil qilish orqali anglasa, dialektik mantiq tasavvur qilinadigan ob’yektlarning mohiyatini o‘rganishga urg‘uni ob’yektlar tahliliga o‘tkazadi. harakat, rivojlanish va o'zaro bog'liqlikdagi jarayonlar. Bunday holda, ahamiyatsiz, tasodifiy xususiyatlar yo'q qilinadi va bekor qilinadi, muhimlari esa ta'kidlanadi va yangilanadi.

Biroq, dialektik va formal mantiqqa qarshi turish mumkin emas. Ular bir xil ob'ektni - inson tafakkurini o'rganadilar, ikkalasining ham predmeti aqliy faoliyat naqshlari. Tafakkur asosiy sifatida rasmiy mantiqiy qonunlarga ham, rivojlanayotgan dialektik qonunlarga ham bo'ysunadi. Formal mantiq qonuniyatlarini tushunmasdan va hisobga olmasdan dialektik fikr yuritish mumkin emas. Ya’ni, zamonaviy mantiqiy bilimlar o‘z tarkibiga ikkita o‘zaro bog‘liq va nisbatan mustaqil fanlarni: formal mantiq (ramzli mantiq uning bir qismi hisoblanadi) va dialektik mantiqni o‘z ichiga oladi, degan xulosaga kelish mumkin. Qolaversa, har qanday to‘g‘ri tafakkur, ilmiy-nazariy bilimlarni qurishda mantiqning fundamental ahamiyatini anglash tabiat, jamiyat va inson tafakkuridagi qarama-qarshiliklarni aniqlash orqali hodisalar va tafakkur tuzilmalarining mohiyatini uzluksiz o‘rganishni taqozo etadi.

Vazifalar va mashqlar

1. Matematik harakatlar ketma-ketligidan foydalanib, raqamlarni taxmin qilish sirini oching. Har qanday raqamni o'ylab ko'ring, undan 1 ni ayiring, natijani 2 ga ko'paytiring, hosil bo'lgan mahsulotdan o'zingiz o'ylagan raqamni ayiring va natijani xabar qiling. Do'stingiz tomonidan o'ylab topilgan raqamni qanday taxmin qilish mumkin?

2. Agar 9 litr va 4 litrli idishlar bo'lsa, 6 litr suvni qanday o'lchash mumkin:

3. Qadimgi ritorikada eng muhim besh bosqichdan iborat nutqni qurish sxemasi ishlab chiqilgan. Ularni mantiqiy ketma-ketlikda joylashtiring:

talaffuz, so'z, ixtiro, reja, yodlash.

4. Mantiqiy bilimlarning rivojlanish tarixini ochib beruvchi batafsil mantiqiy diagramma yoki jadval tuzing.

3. Mantiq tili

Kalit so'zlar: til, semiotika, semantik kategoriyalar, sun'iy til, termin.

Til ishora tizimi sifatida. Mantiqning predmeti tafakkur qonuniyatlari va shakllaridir. Fikrlash ideal haqiqatdir. Inson ongida sodir bo'ladigan hamma narsani bevosita ob'ektivlashtirish yoki moddiylashtirish mumkin emas. Fikrni ifodalashning maxsus vositalaridan foydalanmasdan, uni etarli darajada o'rganib bo'lmaydi. Biz tez-tez savol beramiz: qanday jarayonlar yordamida insonning aqliy faoliyatini tushunish mumkin? Bu, birinchi navbatda, til orqali va til orqali. Inson tafakkuri til, nutq bilan uzviy aloqada amalga oshiriladi va lisoniy iboralar yordamida boshqalarga yetkaziladi. Shuning uchun mantiq tafakkurni tildagi o'ziga xos fiksatsiyaga asoslangan holda o'rganadi.

Til (eng umumiy shaklda) odamlar tomonidan muloqot va bilish uchun foydalaniladigan har qanday belgi-axborot tizimidir. Til funktsional jihatdan axborotni saqlash, qayta ishlash va uzatish qobiliyatiga ega. Bundan tashqari, til inson uchun ob'ektiv dunyoni, uning bo'laklarini, shuningdek, sub'ektiv voqelikni, his-tuyg'ularni, taassurotlarni va boshqalarni aks ettirish uchun zarur vosita bo'lib, shaxsga ularni o'rganish jarayonini adekvat ravishda qurish imkonini beradi.

Mantiq o'zining asosiy va bevosita vazifalarini fikrning lingvistik ifodalarini o'rganishda ko'radi. Semiotika tilni belgilar tizimi sifatida o'rganadi, uning tuzilishi va qo'llanilishining o'ziga xos xususiyatlarini ochib beradi. Uning bo'limlaridan biri - sintaksis tilning o'ziga xos xususiyatlari, tuzilishi, shakllanish va o'zgarish usullarini, tizim belgilari o'rtasidagi munosabatlarni tahlil qiladi. Masalan, tenglik munosabatlari (3 + 2 = 5), implikatsiya munosabatlari (“Cogitoergosum”), isbotlash munosabatlari (Pifagor teoremasining isboti) va boshqalar.

Pragmatika semiotikaning bir bo'limi sifatida tizim belgilari va ularning iste'molchilari o'rtasidagi munosabatlarni, amaliy ahamiyatli munosabatlarni o'rganadi. Ular iqtisodiy, estetik, ma'naviy-ruhiy ehtiyojlar va boshqalar sabab bo'lishi mumkin. va mantiq bilan eng kam ishtirok etadilar. Masalan, muayyan nutqiy vaziyatda (boshqaruv, buyurtma, telefon orqali suhbat va boshqalar) samarali foydalanish maqsadida eng katta ruxsat etilgan qisqartmalar yoki soddalashtirishlar bilan lingvistik iboralarni qurish.

Munosabatning yana bir turi borki, ularsiz na tilning qurilishi, na uning amaliy amalga oshirilishini tasavvur qilib bo‘lmaydi. Bu semantik munosabatdir: tizim belgilari va ular belgilagan ob'ektlar o'rtasidagi munosabat, sub'ekt va uning nomi (mos yozuvlar nazariyasi), belgilar va ular almashtiradigan tilning semantik ifodasi mazmuni o'rtasidagi munosabat (nazariya). ma'nosi). Ushbu bo'lim semantika deb ataladi. Semantik kategoriyalar bir belgi bilan almashtirilganda oʻz maʼnosini saqlab qolgan lisoniy maʼno va murojaatlar sinfini bildiradi. Masalan, agar “2” belgisi “3” belgisi bilan almashtirilsa yoki, aytaylik, “+” belgisi “-” belgisi bilan almashtirilsa, 3 + 2 = 5 bayonoti mazmunli bo'lib qoladi. Haqiqatni yo'qotsa-da, u semantik jihatdan aniq bo'lib qoladi. An'anaviy mantiq tilida semantik kategoriyalarning uchta umumiy sinfi mavjud: nom, funktor, bayon.

Tabiiy va sun'iy tillar. Mantiq nafaqat o'rganadi, balki lingvistik belgilar tizimidan ham foydalanadi. Jamiyatda til ikki shaklda mavjud. Bu, birinchidan, tabiiy til ma'lumotni qabul qilish, to'plash, uzatish va saqlashga bo'lgan ehtiyojni qondirishga imkon beradigan tarixiy va milliy shakllangan tovush (nutq) va grafik (yozma) belgilar - signallardir. Tabiiy tilning eng keng tarqalgan turi milliy (xalq) tilidir. Tilning ikkinchi shakli sun'iy tildir. Bu ilmiy va boshqa ma'lumotlarni saqlash va qulay foydalanish va uzatish uchun maxsus yaratilgan ma'lum bir belgilar tizimi sifatida tushuniladi. Sun'iy tillar orasida matematika, fizika, kimyo, kompyuter dasturlash tillarining rasmiylashtirilgan tillari va boshqalar mavjud bo'lib, ular o'z terminologiyasi va simvolizmiga ega.

Shuni esda tutish kerakki, tabiiy tilda fikr shaklini (ko'p ma'noli, amorfizm, metatil va boshqalar) adekvat, aniq va bir ma'noda etkazishga to'sqinlik qiluvchi bir qator xususiyatlar mavjud. Shuning uchun fikr tuzilishini to'g'ri aks ettirish uchun oddiy tildagi so'zlar o'ziga xos ramziy atamalar bilan almashtiriladi. Shuning uchun mantiq tabiiy tildan (mantiqiy iboralarni va mantiqiy bilimlarning nazariy qurilishini tavsiflash usuli) ham, sun’iy tildan ham (aqliy operatsiyalarni belgilash uchun belgilar, formulalar va ularning birikmalari majmui) foydalanadi.

Mantiqiy atamalar va belgilar. O'rganilayotgan ob'ektlarning xususiyatlarini, ular o'rtasidagi munosabatlarni tasvirlash va mantiqiy shaklni o'rnatish uchun faqat tabiiy tildan foydalanish etarli emas. Maxsus terminologiyani ishlab chiqish (termin qat'iy ma'noga ega bo'lgan so'z), metallingvistik o'zaro ta'sirlarni o'rnatish, shuningdek, ularga yagona ramziylik va imzo yozishmalarini berish kerak. Misol uchun, matematika tilida 5 ta asosiy kategoriya mavjud: son, harakat, munosabat, chap qavs va o'ng qavs (operatsion ketma-ketlik va harakatlar to'liqligi kabi). Mantiqiy atamalar orasida bir qator atamalar ajralib turadi:

Ism - bu muayyan fikr mavzusini bildiruvchi so'z yoki ibora. Mavzu turli xil narsalar, jarayonlar, munosabatlar va boshqalarni anglatadi. Masalan, inson, insonparvarlik, faoliyat va boshqalar. Ismlar quyidagilarga bo'linadi:

a) oddiy va murakkab (tavsiflovchi): masalan, mos ravishda - Belarus Respublikasining er va poytaxti);

b) individual (o'z) va umumiy (masalan, Vasil Bykov va qonun, mos ravishda).

Berilgan nom bilan bogʻliq boʻlgan predmetlar yigʻindisi denotatsiya, ularga xos boʻlgan (obʼyektlar) semantik maʼnosini tashkil etuvchi belgilar va xususiyatlar yigʻindisi esa maʼno (tushuncha) deb ataladi.

Bayonot - bu to'g'ri yoki noto'g'ri fikrni o'z ichiga olgan lingvistik ibora. Masalan, "Napoleon Frantsiya imperatori edi". Bu grammatik jihatdan to‘g‘ri, semantik jihatdan aniqlangan, aniq ifodalangan, to‘liq bildiruvchi gap. Masalan, "Bosh sonlar ikki turga bo'linadi". Bayonot haqiqat yoki yolg'on bo'lishi mumkin. Bu uning mantiqiy qadriyatlari. Misol uchun, "Quyosh Marsdan kattaroq" degan gap to'g'ri, ammo bu bayonotdagi nomlarni qayta joylashtirish noto'g'ri ma'noga olib keladi.

Gapda yangi mazmunli gaplar hosil qilish vositasi sifatida xizmat qiluvchi ifoda funktor deyiladi. Funktor ism ham, gap ham emas. Bu xizmat tilining shakllanishi bo'lib, u orqali argumentlar deb ataladigan yangi bayonot hosil bo'ladi. Masalan, a = b bo'lsa, u holda 2a = 2b, 2 + 3 = 5. Bu misollarda funktorlar matematik bog'lanishning belgilaridir: “=” va “+”. Funktorlar bitta argumentli (O'rmon yashil rangga aylandi), ikkita argumentli bo'lishi mumkin ("Ma'nosi yolg'ondan xavfliroq", 3 + 4 va boshqalar). An'anaviy mantiqda ikki argumentli funktorlar ko'pincha mantiqiy birlashmalar (mantiqiy bog'lovchilar) deb ataladi.

Fanda funktsiya tushunchasi x va y o'zgaruvchan kattaliklar o'rtasidagi muvofiqlik sifatida keng qo'llaniladi. Matematikada y = f(x) ifoda sifatida yoziladi. Mantiqda bu tushuncha ham mavjud, nominal va taklif funksiyasi tushunchalari katta ahamiyatga ega.

Nomlangan funksiya bu oʻzgaruvchilarni oʻz ichiga olgan ifoda boʻlib, ular oʻrniga mos argumentlar almashtirilganda nomga aylanadi. Nominal funktsiyaga misol sifatida "kosmonavt x", "birodar y" iboralari bo'lishi mumkin. Ya'ni, x va y o'zgaruvchilari almashtirilganda, bu iboralar ob'ektning belgilanishi, nomi, narsaning nomi va boshqalarga aylanadi.

Taklif funksiyasi tegishli qiymatlarga ega bo'lgan o'zgaruvchilar o'rniga qo'yilganda semantik jihatdan aniqlangan bayonot shakllanadigan bayonot shaklini ifodalaydi. Masalan, x y dan katta, x ortiqcha qiymat qonunini kashf etdi. Argumentlari nomlar bo‘lgan taklif funksiyasi predikat deyiladi. Masalan, R kompaniyaning prezidenti. Ob'ektning xususiyatini bildiruvchi va bitta o'zgaruvchiga - ismga ega bo'lgan predikat bir o'rinli predikat deyiladi (A sifatni bildiradi). Ikki yoki undan ortiq o'zgaruvchiga ega bo'lgan ikkita (n - mahalliy) predikatlar ismlar o'rtasidagi munosabatni bildiradi - o'zgaruvchilar: "a sevadi", "a in va c o'rtasida" va hokazo.

Mantiqda o'zgaruvchilarning turli darajadagi bog'lanishlarini operatorlar orqali ifodalash zarurati tug'iladi. Eng keng tarqalgan operatorlar a) umumiy miqdor ko'rsatkichi bo'lib, u "har bir x uchun bu haqiqat ..." tamoyiliga ko'ra butun hodisalar sinfiga xos xususiyat, sifat, munosabatlar mavjudligini bildiradi. Masalan, bunday miqdor ko'rsatkichi "Falsafiy kitoblar sizga har bir mavzuni tushuntiradi" (Horace) iborasini o'z ichiga oladi. b) hodisalarning butun sinfining ma'lum bir qismiga ma'lum xususiyatlar yoki munosabatlarning tarqalishini bildiruvchi ekzistensial kvant. Masalan, “Ichki jasorat bor – vijdon jasorati” (S. Smiles) iborasida borliq miqdor ko‘rsatkichi mavjud. Mavjudlik kvanti formulasi quyidagicha ifodalanadi: “x bor, buning uchun...”.

Umumiy qabul qilingan va eng ko'p qo'llaniladigan mantiqiy terminologiyani umumlashtirib, uni rasmiylashtirilgan shaklda olish kerak:

1) ism - A, B, C va boshqalar;

2) funktorlar (mantiqiy konstantalar) –

Ú - "yoki";

® - "agar, keyin";

" - "agar va faqat agar";

ù, ¯¯¯ - "bu haqiqat emas";

- "zarur";

à - "ehtimol"

3) mavzu o'zgaruvchilari - a, b, c;

4) taklif o‘zgaruvchilari – p, q, r, s;

5) nominal funktsiya - a (x);

6) taklif funksiyasi - x P(x);

7) bashorat qiluvchi - P, Q, R; birlik predikat - P (x): (x P xususiyatga ega); ikki o'rinli predikat P (x; y): (x va y P bilan bog'liq);

8) qavslar - (;);

9) umumiy miqdor ko‘rsatkichi - “x (har bir x uchun bu to‘g‘ri...);

10) mavjudlik kvantifikatori - $ x (x borki, bu haqiqat...).

Shunday qilib, tilning kognitiv qiymatini, uning aqliy jarayonlar bilan bog'liqligini tushunib, mantiqiy terminologiyani va mantiqiy formulalarda qo'llaniladigan asosiy belgilarning mohiyatini o'zlashtirish kerak.

Vazifalar va mashqlar

1. Yashirin son va harflar ketma-ketligidan foydalanib, bo'sh kvadratlarga etishmayotgan raqamlar va harflarni to'ldiring.

3. Quyidagilarni aks ettiruvchi lingvistik iboralar tuzing:

a) dalillar munosabati; b) oqibat munosabati, c) mazmunli, lekin yolg‘on gap; d) nominal funktsiya; e) mavjudlikni miqdoriy jihatdan aniqlash.

4. Formallashgan va tabiiy mantiqiy tillarning qiyosiy tavsifini olib boring.

5. Taklif va nominal funksiyalarni chin gaplarga aylantiring: a) x - y sababi; b) x - tub son; c) A – Belarusiyadagi shahar; d) X “U” romanining muallifi; e) a va b o'rtasida c joylashgan; e) agar p bo'lsa, q.

4. Tafakkur shakllari va qonuniyatlari

Kalit so'zlar: fikr shakli, mantiqiy qonun, mantiqiy natija.

Mantiqiy fikrlashning asosiy shakllari. Fikrning mantiqiy shakli - bu fikrning tarkibiy qismlarini bog'lash usuli, umumiy tizimli aloqalarni shakllantirish (fikrlarni taqdim etish sxemalari) nuqtai nazaridan tuzilishi. Mantiqiy shaklni aniqlash uning diagrammasini qurish, mazmunini rasmiylashtirishni anglatadi, chunki mantiqiy shakl fikrlashning berilgan fikr mazmuniga bog'liq bo'lmagan tomonidir. Turli tushunchalar, mulohazalar va xulosalar aqliy faoliyatning o'ziga xos shakllari sifatida ifodalanishi mumkin. Rasmiy mantiqning asosiy tamoyillaridan biriga asoslanib, fikrning to'g'riligi (mulohazalar, xulosalar) faqat uni loyihalashning to'g'riligiga bog'liq, ya'ni. fikrning tarkibiy qismlarining to'g'ri bog'lanishidan, bog'lanishidan.

Ob'ektning o'ziga xos xususiyatlarini ajratib ko'rsatish, shuningdek, ko'plab ob'ektlarga xos bo'lgan umumiy xususiyatlar asosida, ob'ekt tushunchasi uning tasnifi, muhim belgilari haqida fikr yuritishda shakllanadi, bu esa bir vaqtning o'zida uni ob'ektdan ajratib turadi. boshqa sinf ob'ektlarining xususiyatlari. Shunday qilib, ob'ektning (ob'ektlar sinfining) aniq belgilangan, sanab o'tilgan belgilari o'rtasidagi turli bog'lanishlar tushuncha shaklida ifodalanadi. Kvadrat tushunchasi, masalan, quyidagi xususiyatlarni o'z ichiga oladi: geometrik shakl, to'rtburchak, barcha tomonlar teng, barcha burchaklar 90 daraja.

Tafakkur ob'ektlari o'rtasida sifat va miqdor munosabatlarini o'rnatadigan va ularni bayonot yoki inkor ko'rinishida mustahkamlaydigan fikrlash shakli hukm deyiladi. Masalan, shaxsning ishlab chiqarish faoliyati orqali ne’matlarga munosabati “Inson mehnat faoliyati jarayonida moddiy va ma’naviy ne’matlar yaratadi” degan hukmda ifodalanishi mumkin. Mazmuniga ko'ra, hissiy-baholash va boshqa jihatlarga ko'ra bir-biridan farq qiladigan hukmlar doimo yagona yagona fikr shakliga (tuzilmasiga) tushirilishi mumkin. Rasmiy mantiq nuqtai nazaridan uning barcha qismlarini bog'lash usuli bir xil bo'ladi. Agar hukm tarkibiga kiradigan tushunchalarni S (fikr mavzusi), ya'ni nima (kim haqida) mulohaza yuritilayotgani) va P (predikat - bayon, belgi yoki belgining xususiyatlarining ifodasi) belgilari bilan belgilasak. mavzu (S)). Agar biz ularning bog'lanish usulini mantiqiy bog'lovchi "bo'ladi" (demak, shuning uchun va hokazo) shaklida taqdim qilsak, biz har qanday hukm uchun umumiy mantiqiy shaklga ega bo'lamiz: S - P (Barcha S - P). Masalan, "Har bir inson baxtga loyiqdir", "Daryo - yerning suv yo'li" va "Uchburchak burchaklarining yig'indisi 180 gradus" degan gaplarning tuzilishi, mazmunli bo'lishiga qaramay, asosan bir xil, semantik polifoniya. Ularda biz S (odam, daryo, uchburchak burchaklarining yig'indisi), P (baxtga loyiq, yerning suv arteriyasi, 180 daraja) va tasdiqlovchi mantiqiy bog'lovchini ajratib ko'rsatishimiz mumkin, bu misollarda nazarda tutilgan, ammo lingvistik jihatdan. ifodalanmagan.

Oldingi mulohazalar-asoslarni birlashtirishning u yoki bu usuli tufayli yangi bilimlarni o'rnatishga olib keladigan yanada murakkab fikrlash shakli - bu xulosa. Bunday holda, hukmlar-asoslar (binolar) o'rtasida aniq, aniq mantiqiy aloqa o'rnatiladi, unga rioya qilish har doim yangi haqiqiy xulosa-natijaga olib keladi. Masalan: “Hamma ilmiy bilimlarning o‘z o‘rganish predmeti bor” va “Madaniyatshunoslik ilmiy bilimdir” degan ikkita hukm (gap)ga ega bo‘lish orqali qanday bilimlarni olish mumkin? Bu erda xulosa (xulosa) aniq - "Madaniyatshunoslikning o'z tadqiqot mavzusi bor". Bunday to‘g‘ri mulohazalar tarkibida qanday gaplar almashtirilmasin, agar asoslar to‘g‘ri bo‘lsa, xulosa chiqarish qoidalariga amal qilinsa, xulosa (yangi bilim) ham to‘g‘ri bo‘ladi.

Demak, mantiqiy shakl, birinchidan, o`zining sof shaklida tafakkur predmetining o`ziga xos xususiyatlari, xossalari va munosabatlarini aks ettiruvchi o`ziga xos lisoniy tuzilmadir.

Ikkinchidan, uni tuzatish uchun asosiy atamalar va belgilar yuqorida keltirilgan ma'lum bir rasmiylashtirilgan tildan foydalaniladi.

Uchinchidan, tafakkurning shu va boshqa tuzilmalarini (mantiqiy shakllarni) mazmunli ifodalanishidan qat’iy nazar o‘rganish fan sifatida mantiqning eng muhim vazifalaridan biri bo‘lib, fikrlash jarayonlarining shakllanish va oqim qonuniyatlarini o‘rnatishga imkon beradi.

Mantiqiy qonun va mantiqiy natija. Mantiqiy qonun va mantiqiy oqibat tushunchalari mantiqiy shakl tushunchasi bilan bog'liq. Fikrlash jarayonida fikr elementlarining to‘g‘ri bog‘lanishi tafakkur qonunlari – mantiqiy qonunlar bilan belgilanadi. Mantiqiy qonun - bu o'ziga xos mazmunidan qat'i nazar, o'z haqiqatini saqlaydigan ifodadir. Shunday qilib, “Agar barcha x uchun bu to‘g‘ri bo‘lsa, x P ekanligi to‘g‘ri bo‘lsa, unda P bo‘lmagan birorta ham x yo‘q” degan gap, qanday o‘ziga xos mazmunga ega bo‘lishidan qat’i nazar, har qanday holatda ham to‘g‘ri bo‘ladi (qonun bo‘lsin). Masalan, ismlarni ushbu lingvistik formulaga almashtirsak, biz quyidagilarni olamiz: "Agar hamma odamlar uchun ong borligi to'g'ri bo'lsa, unda ongga ega bo'lmagan birorta ham odam yo'q".

Qonun tafakkur elementlarining ichki, barqaror, muhim va zaruriy aloqasini ifodalaydi. Mantiq qonunlarining mavjudligi tufayli, mavjud va tasdiqlangan, haqiqiy hukmlardan yangi bilimlarni olish ishonchli tarzda haqiqatga olib keladi.

Mantiq qonunlarini 1) formal-mantiqiy va 2) dialektikga bo'lish kerak. Birinchisi fikrlashning rasmiy to'g'riligini aks ettiradi, ikkinchisi - ob'ektiv ravishda o'zgaruvchan voqelik naqshlarini aks ettiradi. Rasmiy mantiqiy qonunlar shuni ta'kidlaydiki, to'g'ri tuzilgan fikrlar sxemasi xulosalar haqiqati uchun zaruriy shartdir. Aks holda, agar bu qoidaga rioya qilinmasa, u holda noto'g'ri xulosa (noto'g'ri oqibat) haqiqiy hukmlardan ham mumkin.

Asosiy rasmiy mantiqiy qonunlar ko'rib chiqiladi:

1. o'ziga xoslik qonuni: fikrlash jarayonida har bir fikr o'zi bilan bir xil bo'lishi kerak. ((p → p): agar p bo'lsa, u holda p). "Har bir inson - erkak", "Duralex, sedlex" (qattiq qonun, lekin qonun).

2. qarama-qarshilik qonuni: bir-biriga to‘g‘ri kelmaydigan ikkita hukmdan biri noto‘g‘ri. Ya'ni, ikki fikr bir vaqtning o'zida yolg'on bo'lolmaydi, agar ulardan biri ikkinchisini inkor etsa. Bundan tashqari, biz bir vaqtning o'zida va ma'lum bir munosabatda bo'lishi mumkin bo'lgan bir xil ob'ekt haqida gapiramiz. "Ba'zi olimlar tan olishni xohlaydilar" va "Ba'zi olimlar tan olishni xohlamaydilar".

3. chiqarib tashlangan o‘rta qonuni: gapning o‘zi yoki inkori to‘g‘ri bo‘ladi: (p Úùr): (p yoki not-p). “Birinchi kurs talabalarining ayrimlari iqtisodiy faoliyatga jalb qilingan. Birorta ham birinchi kurs talabasi iqtisodiy faoliyat bilan shug‘ullanmaydi”. Ya'ni, ikkita qarama-qarshi fikr bir vaqtning o'zida haqiqat bo'lishi mumkin emas, ulardan biri noto'g'ri. Uchinchi variant yo'q. Qor oq yoki oq emas.

4. yetarli sabab qonuni: fikrda yetarli sabab bo‘lsa, to‘g‘ri bo‘ladi. (p → q); (p mavjud, chunki q mavjud). Fikrni isbotlash, u asosli, muhim, asosiy dalillarga asoslansagina yuzaga keladi. Mana bir misol: “Uchburchak teng yonli boʻlishi uchun uning barcha burchaklari teng boʻlishi zarur va yetarlidir”.

Fikrlash qonunlari mantiqiy oqibat deb ataladigan narsaning ko'rinishidir. Mantiqiy oqibat - bu binolar (hukmlar) va ulardan kelib chiqadigan xulosalar (xulosalar) o'rtasida mavjud bo'lgan aqliy munosabatlar. Mantiqiy implikatsiya fikrni printsip bo'yicha qurishning o'ziga xos modeli bo'lib xizmat qiladi: agar bizning p gapimiz mantiqiy ravishda q mulohazasiga ergashsa va bu bayonot p → q sifatida to'g'ri bo'lsa, shu asosda yangi ùq → ùp mulohazasi ham to'g'ri bo'ladi. . Ya'ni, p → q gapning haqiqati ùq → ùr gapining haqiqatligini kafolatlaydi. Mantiqiy implikatsiyaning asosiy printsipi shundan iboratki, umumiyroq sxemaning to'g'riligi kamroq umumiy sxemaning to'g'riligini kafolatlaydi, lekin aksincha emas.

Vazifalar va mashqlar

1. Siz tanlagan kasbiy faoliyatingizdan fikrlashning asosiy mantiqiy shakllariga misollar keltiring:

a) tushuncha; b) hukm; c) xulosa chiqarish.

2. Quyidagi gaplar mantiq qonunlarining ko`rinishimi?

a) etarli sabab: "Insonning tana harorati ko'tarilgan, shuning uchun u kasal", "Bu fikr to'g'ri tuzilgan, shuning uchun u haqiqatdir";

b) chiqarib tashlangan uchinchisi: "Barcha talabalar mantiqni o'rganadi yoki hech kim mantiqni o'rganmaydi", "Sud qarori qonuniymi yoki yo'qmi"?

Mantiq - bu to'g'ri fikrlash va real dunyoni tushunish usullari va vositalarini o'rganadigan fan. U tabiiy, izchil fikrlash jarayonlarini ifodalaydi, ular yordamida ob'ektlar va hodisalar o'rtasida yuzaga keladigan sabab-natija munosabatlarini ko'rish va aniqlash mumkin.

Ilgari olingan ma'lumotlarni o'z vaqtida tahlil qilish va qo'llash uchun bizga mantiqiy fikrlash kerak. Bu bizga turli muammolarni hal qilishda yordam beradi (uyga eng qisqa yo'lni tuzishdan tortib keng ko'lamli biznes-rejani ishlab chiqishgacha). Mantiqiy fikrlash asosiyni ikkilamchidan ajratish, aloqalarni topish va vaziyatni to'liq tahlil qilish imkonini beradi.

Mantiq tufayli biz turli hodisalarning sabablarini keltira olamiz, muhim muammolarni hal qilishga ongli ravishda yondashamiz va o'z fikrlarimizni malakali baham ko'ramiz.

Fikrlash - bu tashqi dunyodan olingan ma'lumotlarni qayta ishlash jarayoni. Har qanday ma'lumotni qabul qilganda, odam uni ma'lum bir tasvir shaklida taqdim eta oladi, ob'ekt yaqinida bo'lmasa, uni tasavvur qiladi.

Mantiqiy fikrlashning quyidagi asosiy turlari ajratiladi:

1. Vizual jihatdan samarali- muammoni hal qilish natijasida inson ilgari olingan tajriba va bilimlarga asoslanib, uni o'z fikrlariga aylantira oladi. Avvaliga odam vaziyatni kuzatadi, keyin sinov va xato orqali muammoni hal qilishga harakat qiladi, shundan so'ng nazariy faoliyat shakllanadi. Ushbu turdagi fikrlash nazariya va amaliyotni teng ravishda qo'llashni o'z ichiga oladi.
2. Vizual-majoziy– fikrlash vakillik orqali yuzaga keladi. Bu maktabgacha yoshdagi bolalar uchun eng xosdir. Muammoni hal qilish uchun bolalar ko'pincha xotirada bo'lishi mumkin bo'lgan yoki tasavvur bilan yaratilgan tasvirlardan foydalanadilar. Shuningdek, fikrlashning ushbu turiga ob'ektlarni yoki ularning tasvirlarini (chizma, diagramma) kuzatish asosida qaror qabul qilish kerak bo'lgan faoliyat turi bilan bog'liq bo'lgan odamlar ega.
3. Abstrakt-mantiqiy- fikrlashning bu turi alohida tafsilotlarga qiziqmaydi, uni butun fikrlash jarayoni qiziqtiradi. Kelajakda muhim muammolarni hal qilishda muammolardan qochish uchun erta bolalikdan mavhum-mantiqiy fikrlashni rivojlantirish muhimdir. Tafakkurning bu turi uchta asosiy shaklda namoyon bo'ladi: tushuncha, hukm va xulosa.

Kontseptsiya bir yoki bir nechta bir xil ob'ektlarni birlashtiradi, ularni muhim belgilarga ko'ra ajratadi. Ushbu fikrlash shakli bolalarda erta yoshda rivojlanishi, barcha ob'ektlarga ta'riflar berish va ularning ma'nosini izohlash kerak.

Hukm oddiy yoki murakkab bo'lishi mumkin. Bu ob'ektni tasdiqlash yoki uning boshqa ob'ektlar bilan aloqasini inkor etish bo'lishi mumkin. Oddiy hukmga oddiy iboralar misol bo'la oladi: "Masha bo'tqani yaxshi ko'radi", "Onam Anyani yaxshi ko'radi", "Mushuk miyovlaydi" va boshqalar. Bolalar atrofdagi dunyoni o'rganishni boshlaganlarida aynan shunday o'ylashadi.

Xulosa - bu sodir bo'layotgan voqealarning mantiqiy tahlili bo'lib, u bir nechta hukmlarga asoslanadi.

Har bir shaxs maxsus masalalar, boshqotirmalar, krossvordlar va boshqotirmalarni yechish orqali tafakkurning mantiqiy turini mustaqil ravishda rivojlantirishi mumkin.

Mantiqiy aqliy operatsiyalar

Mantiqiy aqliy operatsiyalar quyidagilardan iborat:

• taqqoslashlar,
• abstraktsiyalar,
• umumlashtirishlar
• spetsifikatsiya,
• tahlil,
• sintez.

tomonidan taqqoslashlar Muvaffaqiyatsizligimiz sababini tushunishimiz va keyinchalik muammoga va uning yaratilgan sharoitlariga tegishli e'tibor berishimiz mumkin.

Abstraktsiya jarayoni bir ob'ektning diqqatini boshqa o'zaro chambarchas bog'liq ob'ektlardan chalg'itish imkonini beradi. Abstraktsiya ob'ektni ko'rish, uning mohiyatini aniqlash va ushbu ob'ektga o'z ta'rifini berish imkonini beradi. Abstraksiya insonning aqliy faoliyatini bildiradi. Bu bizga hodisani tushunishga, uning eng muhim xarakterli xususiyatlariga to'xtalib o'tishga imkon beradi. Muammolardan mavhum bo'lish orqali inson haqiqatni bilib oladi.

Umumlashtirish umumiy belgilar asosida o'xshash ob'ektlar va hodisalarni birlashtirishga imkon beradi. Odatda umumlashtirish qoidalarni umumlashtirish yoki tuzish uchun ishlatiladi.

kabi fikrlash jarayoni spetsifikatsiya umumlashtirishga mutlaqo zid. U voqelikni to'g'ri anglash uchun xizmat qiladi, tafakkurni hodisalarni haqiqiy idrok etishdan ajratishga yo'l qo'ymaydi. Konkretlashtirish bizning bilimimizga mavhum tasvirlarni olishga imkon bermaydi, ular haqiqatda foydasiz bo'ladi.

Bizning miyamiz har kuni foydalanadi tahlil biz uchun zarur bo'lgan ob'ekt yoki hodisaning qismlariga batafsil bo'linish uchun. Hodisa yoki ob'ektni tahlil qilish orqali biz uning eng zarur elementlarini aniqlashimiz mumkin, bu bizga ko'nikma va bilimlarimizni yanada oshirishga yordam beradi.

Sintez aksincha, kichik tafsilotlardan nima sodir bo'layotganining umumiy rasmini yaratishga imkon beradi. Uning yordami bilan siz bir nechta individual faktlarni ko'rib chiqish orqali hozirgi voqealarni taqqoslashingiz mumkin. Sintezga misol qilib boshqotirmalarni keltirish mumkin. Mozaikani yig'ishda biz uning u yoki bu qismini tasavvur qilamiz, keraksiz narsalarni chetga surib, kerakli narsalarni qo'shamiz.

Mantiqni qo'llash

Mantiqiy fikrlash inson faoliyatining deyarli barcha sohalarida (gumanitar fanlar, iqtisod, ritorika, ijodiy faoliyat va boshqalar) qo'llaniladi. Masalan, matematika fanlari yoki falsafada ular qat'iy va rasmiylashtirilgan mantiqdan foydalanadilar. Boshqa sohalarda mantiq butun vaziyat uchun asosli xulosa chiqarish uchun zarur bo'lgan foydali bilimlar manbai bo'lib xizmat qiladi.

Inson mantiqiy ko'nikmalarni qo'llashga harakat qiladi ongsiz darajada. Ba'zi odamlar buni yaxshiroq engishadi, boshqalari esa yomonroq. Ammo har qanday holatda, mantiqimizdan foydalanib, biz u bilan nima qilishimiz mumkinligini bilishimiz kerak:

1. Muammoni hal qilish uchun kerakli usulni tanlang;
2. Tezroq o'ylang;
3. Fikrlaringizni sifatli ifoda eting;
4. O'z-o'zini aldashdan saqlaning;
5. Xulosalarida boshqa odamlarning xatolarini toping va tuzating;
6. Suhbatdoshingizni haq ekanligingizga ishontirish uchun kerakli dalillarni tanlang.

To'g'ri mantiqiy fikrlashni rivojlantirish uchun siz nafaqat xohish, balki ushbu masalaning asosiy tarkibiy qismlari bo'yicha tizimli o'qitishingiz kerak.

Mantiqiy fikrlashni o'rganish mumkinmi?

Olimlar mantiqning asosiy tushunchalarini o'zlashtirishga yordam beradigan bir nechta jihatlarni aniqlaydilar:

• Nazariy tayyorgarlik - ta'lim muassasalarida beriladigan bilimlar. Bularga mantiqning asosiy tushunchalari, qonunlari va qoidalari kiradi.
• Amaliy o'rganish - bu hayotda qo'llanilishi kerak bo'lgan ilgari olingan bilimlar. Shu bilan birga, zamonaviy ta'lim maxsus testlardan o'tishni va insonning intellektual rivojlanish darajasini ochib beradigan muammolarni hal qilishni o'z ichiga oladi, ammo paydo bo'ladigan hayotiy vaziyatlarda mantiqni qo'llamasdan.

Mantiqiy fikrlash ketma-ket qurilishi kerak, to'g'ri xulosalar chiqarishga va muhim qarorlar qabul qilishga yordam beradigan dalillar va voqealarga asoslangan. Mantiqiy fikrlash qobiliyati yaxshi rivojlangan odamda tezkor reaktsiyalar va analitik faollikni talab qiladigan jiddiy masalalarni hal qilishda hech qanday muammo bo'lmaydi.

Bu qobiliyatni bolalikdan rivojlantirish kerak, ammo uzoq muddatli mashg'ulotlar orqali kattalar mantiqiy fikrlash qobiliyatlarini ham egallashlari mumkin.

Zamonaviy psixologiyada insonning kuzatish, fikrlash va intellektual qobiliyatlarini rivojlantiradigan ko'plab mashqlar mavjud. Samarali mashqlardan biri bu "Mantiqlik".

Mashqning asosiy g'oyasi - hukmlar o'rtasidagi bog'liqlikni va chiqarilgan xulosaning mantiqiyligini to'g'ri aniqlash. Masalan: “Barcha mushuklar miyovlashi mumkin. Vaska - mushuk, demak u miyovlay oladi” - bu gap mantiqiy. “Gilos qizil. Pomidor ham qizil, demak u meva”. Bu xulosada aniq xato bor. Har bir mashq o'zingiz uchun yagona to'g'ri qaror qabul qilish imkonini beradigan mantiqiy zanjirni qurishga imkon beradi.

Mantiq. Darslik Gusev Dmitriy Alekseevich

Kirish, Yoki mantiq nima va u nima uchun kerak?

Har qanday fan bilan tanishishni boshlaganimizda, avvalo, u nimani o‘rganadi, nimaga bag‘ishlangan, nima bilan shug‘ullanadi, degan savollarga javob beramiz. Mantiq tafakkur haqidagi fandir. Ammo psixologiya, pedagogika va boshqa ko‘plab fanlar tafakkur bilan shug‘ullanadi. Demak, mantiq tafakkur bilan bog’liq barcha savol va muammolar bilan, uning barcha sohalari yoki tomonlari bilan emas, balki faqat ba’zilari bilan shug’ullanadi. Fikrlashda mantiqni nima qiziqtiradi?

Har birimiz yaxshi bilamizki, inson tafakkurining mazmuni cheksiz xilma-xildir, chunki siz har qanday narsa haqida, masalan, dunyoning tuzilishi va Yerdagi hayotning kelib chiqishi haqida, insoniyatning o'tmishi va uning kelajagi haqida o'ylashingiz (o'ylashingiz) mumkin. , o'qilgan kitoblar va tomosha qilingan filmlar haqida, bugungi mashg'ulotlar va ertangi dam olish haqida va hokazo.

Ammo eng muhimi shundaki, bizning fikrlarimiz bir xil qonunlar asosida paydo bo'ladi va quriladi, bir xil tamoyillarga bo'ysunadi, bir xil naqsh yoki shakllarga mos keladi. Bundan tashqari, tafakkurimiz mazmuni, yuqorida aytib o'tilganidek, cheksiz xilma-xil bo'lsa, unda bu xilma-xillik ifodalangan shakllar juda oz.

Bu fikrni tushuntirish uchun oddiy misol keltiramiz. Keling, mazmunan butunlay boshqacha bo'lgan uchta bayonotni ko'rib chiqaylik:

1. Barcha xoch baliqlari baliqdir;

2. Barcha uchburchaklar geometrik figuralardir;

3. Barcha stullar mebel qismlari.

Turli xil mazmunga qaramay, bu uchta bayonot umumiy narsaga ega, ularni nimadir birlashtiradi. Nima? Ularni mazmunan emas, balki shakl bilan birlashtiradi. Tarkib jihatidan farq qilsa-da, ular shakl jihatidan o'xshashdir: axir, bu uchta bayonotning har biri naqsh yoki shaklga ko'ra tuzilgan - "Barcha A lar B ga teng", bu erda A va B har qanday ob'ektlardir. Bayonotning o'zi aniq "Barcha A lar B ga teng" hech qanday tarkibdan mahrum (U aniq nima haqida gapiradi? Hech narsa!). Ushbu bayonot sof shakl bo'lib, siz taxmin qilganingizdek, har qanday tarkib bilan to'ldirilishi mumkin, masalan: Hamma qarag'aylar daraxtlardir; Barcha shaharlar aholi punktlari hisoblanadi; Barcha maktablar ta'lim muassasalaridir; Barcha yo'lbarslar yirtqichlardir va boshqalar.

Yana bir misol keltiraylik. Turli mazmundagi uchta bayonotni olaylik:

1. Kuz kelsa, barglar tushadi;

2. Ertaga yomg'ir yog'sa, ko'chada ko'lmak bo'ladi;

3. Agar modda metall bo'lsa, u elektr o'tkazuvchandir.

Mazmun jihatidan har xil bo'lsa-da, bu uchta bayonot bir xil shaklga muvofiq tuzilganligi bilan bir-biriga o'xshashdir: "Agar A bo'lsa, B". Ushbu shakl uchun juda ko'p turli xil mazmunli bayonotlarni tanlash mumkinligi aniq, masalan: Agar siz testga tayyorgarlik ko'rmasangiz, yomon baho olishingiz mumkin; Agar uchish-qo'nish yo'lagi muz bilan qoplangan bo'lsa, samolyotlar ucha olmaydi; Agar so'z gap boshida kelsa, u bosh harf bilan yozilishi kerak va boshqalar.

Shunday qilib, biz tafakkurimiz mazmunan cheksiz xilma-xil ekanligini payqadik, ammo bu xilma-xillik faqat bir nechta shakllarga mos keladi. Demak, mantiqni tafakkur mazmuni qiziqtirmaydi (bu bilan boshqa fanlar shug‘ullanadi), u faqat fikrlash shakllarini o‘rganadi, uni nima qiziqtirmaydi. Nima biz boshqacha o'ylaymiz Qanaqasiga deb o'ylaymiz, shuning uchun ham ko'pincha deyiladi rasmiy mantiq. Shunday qilib, masalan, agar bayonotning mazmuni Barcha chivinlar hasharotlardir normal, tushunarli, mazmunli va bayonotdir Barcha Cheburashkalar musofirlardir ma'nosiz, bema'ni, bema'ni bo'lsa, unda mantiq uchun bu ikki bayonot ekvivalentdir: axir, u fikrlash shakllari bilan bog'liq va bu ikki bayonotning shakli bir xil edi - "Barcha A lar B ga teng".

Shunday qilib, fikrlash shakli- bu bizning fikrlarimizni ifodalash usuli yoki ular qurilgan sxema. Fikrlashning uchta shakli mavjud.

1. Kontseptsiya- ob'ekt yoki ob'ektning xususiyatini bildiruvchi fikrlash shakli (tushunchalarga misollar: qalam, o'simlik, samoviy jism, kimyoviy element, jasorat, ahmoqlik, beparvolik va h.k.).

2. Hukm- bu bir-biriga bog'liq bo'lgan va biror narsani tasdiqlaydigan yoki inkor etuvchi tushunchalardan iborat fikrlash shakli (hukmlarga misollar: Barcha sayyoralar samoviy jismlardir; Ba'zi maktab o'quvchilari kambag'al talabalardir; Barcha uchburchaklar kvadrat emas va h.k.).

3. Xulosa fikrlash shakli bo'lib, unda ikki yoki undan ortiq dastlabki hukmlardan yangi hukm yoki xulosa kelib chiqadi. Xulosalarga misollar:

Barcha sayyoralar harakatlanmoqda.

Yupiter - bu sayyora.

Yupiter harakatlanmoqda.

Temir elektr o'tkazuvchandir.

Mis elektr o'tkazuvchandir.

Merkuriy elektr o'tkazuvchandir.

Temir, mis, simob metallardir.

Barcha metallar elektr o'tkazuvchandir.

Fikrlarimizning butun cheksiz olami tushunchalar, hukmlar va xulosalarda ifodalanadi. Ushbu uchta fikrlash shakli haqida kitobning boshqa sahifalarida batafsil to'xtalib o'tamiz.

Fikrlash shakllaridan tashqari, mantiq ham shug'ullanadi fikrlash qonunlari, ya'ni bunday qoidalarga rioya qilish, mazmunidan qat'i nazar, har doim mulohaza yuritishni to'g'ri xulosalarga olib keladi va yolg'ondan himoya qiladi (agar dastlabki hukmlar to'g'ri bo'lsa). Tafakkurning to'rtta asosiy qonuni (yoki mantiq qonunlari) mavjud. Bu erda biz faqat ularni sanab o'tamiz (nomi) va fikrlashning barcha shakllarini ko'rib chiqqandan keyin ularning har birini batafsil ko'rib chiqamiz.

1. Identifikatsiya qonuni.

2. Qarama-qarshilik qonuni.

3. Chiqarilgan o'rta qonuni.

4. Etarli sabab qonuni.

Ushbu qonunlarning buzilishi turli mantiqiy xatolarga, qoida tariqasida, noto'g'ri xulosalarga olib keladi. Ba'zan bu qonunlar ataylab emas, beixtiyor, bilmasdan buziladi. Bu holatda yuzaga keladigan xatolar deyiladi paralogizmlar. Biroq, ba'zida bu suhbatdoshni chalg'itish, uni chalkashtirib yuborish va unga qandaydir yolg'on fikrni isbotlash uchun ataylab amalga oshiriladi. Yolg'on fikrlarni tashqi to'g'ri isbotlash uchun mantiqiy qonunlarni ataylab buzish deyiladi. sofizm, bu quyida muhokama qilinadi.

Shunday qilib, Mantiq to'g'ri fikrlash shakllari va qonuniyatlari haqidagi fandir.

Mantiq 5-asr atrofida paydo bo'lgan. Miloddan avvalgi e. Qadimgi Yunonistonda. Uning yaratuvchisi mashhur qadimgi yunon faylasufi va olimi Arastu (miloddan avvalgi 384-322 yillar) hisoblanadi. Ko'rib turganingizdek, mantiqning yoshi 2,5 ming yil bo'lsa-da, u hali ham amaliy ahamiyatini saqlab qoladi. Qadimgi dunyoning ko'plab fanlari va san'ati abadiy o'tmishda qoladi va biz uchun faqat antik davr yodgorliklari sifatida qiziqarli bo'lgan "muzey" ahamiyatini ifodalaydi. Ammo qadimgi odamlarning bir nechta asarlari asrlar davomida saqlanib qolgan va bugungi kunda biz ulardan foydalanishda davom etmoqdamiz. Bularga Evklid geometriyasi (biz maktabda o'rganadigan narsa) va Aristotel mantig'i kiradi, bu ham ko'pincha deyiladi. an'anaviy mantiq.

19-asrda u paydo bo'ldi va tez rivojlana boshladi ramziy matematik yoki zamonaviy mantiq, bu 19-asrdan ancha oldin ilgari surilgan g'oyalarga asoslangan. Nemis matematigi va faylasufi Gotfrid Leybnits (1646-1716), algebra tiliga o'xshash universal ramziy til yordamida ideal (ya'ni, mazmundan butunlay ozod) mantiqiy shaklga to'liq o'tishni amalga oshirish haqida. Leybnits isbotni matematik hisob sifatida ifodalash imkoniyati haqida gapirdi. Irlandiyalik mantiqchi va matematik Jorj Bul (1815-1864) xulosa chiqarishni mantiqiy tengliklarni yechish natijasi sifatida talqin qilgan, buning natijasida xulosa chiqarish nazariyasi algebraning bir turi shaklini olgan bo'lib, oddiy algebradan faqat sonlar yo'qligi bilan farqlanadi. koeffitsientlar va vakolatlar. Shunday qilib, ramziy mantiq va an'anaviy mantiq o'rtasidagi asosiy farqlardan biri shundaki, ikkinchisi to'g'ri fikrlashni tasvirlash uchun oddiy yoki tabiiy tildan foydalanadi; ramziy mantiq esa xuddi shu mavzuni (to'g'ri fikrlashni) sun'iy, maxsus, rasmiylashtirilgan tillarni qurish orqali o'rganadi yoki ular ham deyiladi. hisob.

An'anaviy va ramziy mantiq, ko'rinib turganidek, turli fanlar emas, balki bir xil fanning rivojlanishidagi ketma-ket ikki davrni ifodalaydi: an'anaviy mantiqning asosiy mazmuni ramziy mantiqqa kirdi, unda takomillashtirildi va kengaytirildi, garchi uning ko'p qismi o'zgargan bo'lsa ham. qayta ko'rib chiqilishi kerak.

Endi mantiq nima uchun kerak, hayotimizda qanday rol o'ynaydi degan savolga javob beraylik. Mantiq bizga o'z fikrlarimizni to'g'ri shakllantirishga va ularni to'g'ri ifodalashga, boshqalarni ishontirishga va ularni yaxshiroq tushunishga, o'z nuqtai nazarimizni tushuntirishga va himoya qilishga, fikrlashda xatolardan qochishga yordam beradi. Albatta, mantiqsiz qilish juda mumkin: har qanday muammolarni hal qilish uchun faqat sog'lom fikr va hayotiy tajriba etarli. Misol uchun, mantiqni bilmagan har bir kishi quyidagi mulohazalardan o'z o'rnini topishi mumkin:

Harakat abadiydir.

Maktabga borish - bu harakat.

Shuning uchun maktabga borish abadiydir.

Har bir inson "harakat" so'zini turli ma'nolarda qo'llash natijasida noto'g'ri xulosaga kelganligini payqaydi (birinchi fikrda u keng, falsafiy ma'noda, ikkinchisida - tor, mexanik ma'noda qo'llaniladi) . Biroq, fikrlashda xatolarni topish har doim ham oson emas. Ushbu misolni ko'rib chiqing:

Mening barcha do'stlarim ingliz tilida gaplashadi.

Amerikaning hozirgi prezidenti ham ingliz tilini biladi.

Shuning uchun Amerikaning hozirgi prezidenti mening do'stim.

Har qanday odam bu mulohazada qandaydir ushlash borligini, unda nimadir noto'g'ri yoki noto'g'ri ekanligini ko'radi. Lekin nima? Mantiq bilan tanish bo'lmagan har bir kishi, ehtimol, bu erda qanday xatolikka yo'l qo'yilganligini aniq aniqlay olmaydi. Mantiq bilan tanish bo'lgan har bir kishi darhol bu holatda xatoga yo'l qo'yilganligini aytadi - "oddiy sillogizmda o'rta atamaning taqsimlanmaganligi". Yoki bu misol:

Arktik doiradagi barcha shaharlarda oq tunlar bor.

Sankt-Peterburg Arktika doirasidan tashqarida joylashgan emas.

Binobarin, Sankt-Peterburgda oq tunlar yo'q.

Ko'rib turganimizdek, ikkita haqiqiy hukmdan noto'g'ri xulosa kelib chiqadi. Bu mulohazada ham xatolik borligi aniq, qandaydir xato bor. Lekin qaysi biri? Mantiqdan bexabar odam uni darhol topa olishi dargumon. Va mantiqiy madaniyatga ega bo'lgan har bir kishi bu xatoni darhol aniqlaydi - "oddiy sillogizmda kattaroq atamaning kengayishi".

Ushbu kitobni o'qib chiqqandan so'ng, siz nafaqat bunday fikrlashda mantiqiy qonunlar qanday buzilganligini, balki boshqa ko'plab qiziqarli va foydali ma'lumotlarni ham bilib olasiz.

Shunday qilib, sog'lom fikr va hayotiy tajriba odatda turli xil qiyin vaziyatlarda harakat qilish uchun etarli. Ammo mantiqiy madaniyatni sog‘lom fikrimizga, hayotiy tajribamizga qo‘shsak, bundan umuman yutqazmaymiz, aksincha, yutamiz. Albatta, mantiq hech qachon barcha muammolarni hal qilmaydi, lekin u hayotda albatta yordam berishi mumkin.

Sog'lom fikr ko'pincha amaliy yoki deyiladi intuitiv mantiq. U o'z-o'zidan hayotiy tajriba jarayonida, taxminan 6-7 yoshda, ya'ni maktab yoshida yoki undan ham oldin shakllanadi va biz hammamiz uni o'zlashtiramiz. Shunday qilib, masalan, so'zning o'zi "mantiq", ehtimol, bu kitobni o'qishni boshlashdan ancha oldin sizga tanish bo'lgan. Hayotda biz kabi iboralarga tez-tez duch kelamiz "Mantiqiy fikrlash", "mantiqsiz harakat", "temir mantiq" va hokazo. Biz hech qachon mantiqni o'rganmagan bo'lsak ham, biz mantiqiy, mantiqiy yoki mantiqsiz haqida gapirganda, nima haqida gapirayotganimizni hali ham to'liq tushunamiz.

Ushbu misolni ko'rib chiqing: mantiq bilan tanish bo'lmagan har bir kishi bayonotning mantiqiy noto'g'riligini va hatto bema'niligini sezadi: Men yangi shim kiyib ketyapman, siz esa gimnaziyaga borasiz. Va hamma quyidagi bayonot to'g'ri va mazmunli bo'lishini aytadi: Men shim kiyib yuraman, siz esa shortikda yurasiz yoki: Men gimnaziyaga boraman, siz esa litseyga borasiz. Mantiqni o'rganganimizda, biz yuqoridagi misolda o'ziga xoslikning mantiqiy qonuni buzilganligini bilib olamiz, chunki u ikki xil (teng bo'lmagan yoki bir-biriga o'xshash bo'lmagan) vaziyatni aralashtirib yuboradi: qandaydir kiyimda yurish va biror joyga borish. Ma'lum bo'lishicha, o'ziga xoslik qonuni bilan tanishishdan oldin ham biz undan amalda foydalanamiz, biz bu haqda bilamiz, faqat bilvosita, intuitiv. Xuddi shu tarzda, bayonotda shaxsiyat qonuni buziladi: Bugun tushlik paytigacha shu ustundan xandaq qazamiz. Biror kishi o'ziga xoslik qonuni va uning turli va ko'p sonli buzilishlari haqida hech narsa bilmasa ham, u, shunga qaramay, bu bayonotda qandaydir mantiqiy xato borligiga e'tibor beradi (hatto u qaysi biri ekanligini aniqlay olmasa ham) ).

Xuddi shu tarzda, har qanday odam, ehtimol, quyidagi bayonotlarda qandaydir mantiqiy qoidabuzarliklarni sezishi mumkin emas: U yozma ravishda og'zaki ruxsat olmadi; Ertaga kechqurun tongda jo'nab ketamiz; U keksa yoshdagi yosh qiz edi va hokazo. Bu xatoni mantiqiy qarama-qarshilik qonunining buzilishi deb tasniflash hamma ham mumkin emas. Biroq, biz bu qonun haqida hech narsa bilmagan bo'lsak ham, biz uning buzilishini sezamiz yoki his qilamiz.

Va nihoyat, kundalik hayotda har birimiz ko'pincha quyidagi iboralarni eshitamiz va ishlatamiz: Nega sizga ishonishim kerak? Buni qanday isbotlaysiz? Nimaga asoslanib? O'zini oqla! Motivatsiya qiling! Buni aytganda, biz yetarli sababning mantiqiy qonunidan foydalanamiz. Mantiqni o'rganmagan har bir kishi, ehtimol, bu qonun bilan tanish emas va bu haqda hech narsa eshitmagan. Biroq, ko'rib turganimizdek, ushbu mantiqiy qonunni bilmaslik uni amaliy yoki intuitiv ravishda ishlatishimizga to'sqinlik qilmaydi.

Bu misollar shuni ko'rsatadiki, hamma odamlar mantiqni o'rgangan yoki o'rganmagan bo'lishidan qat'i nazar, malakali. Shunday qilib, biz mantiqni nazariy jihatdan o'rganishni boshlashdan ancha oldin amalda foydalanamiz.Savol tug'iladi: agar biz uni allaqachon bilgan bo'lsak, nega mantiqni o'rganishimiz kerak?

Bu savolga javob berar ekanmiz, shuni aytish mumkinki, ona tilimizda ham xuddi shunday bo‘ladi: amalda biz uni hayotimizning 2,5-3 yoshida ishlata boshlaymiz va uni faqat maktab yoshidanoq o‘rgana boshlaymiz. Nega biz maktabda ona tilimizni o'rganamiz, agar maktabdan ancha oldin biz bu tilda yaxshi gapiramiz? 2,5-3 yoshda biz tilni intuitiv yoki ongsiz ravishda ishlatamiz: uni amalda o'zlashtirganimizdan so'ng, biz nafaqat bo'lish va qo'shimchalar haqida, balki so'zlar va harflar haqida, hatto hayotda biz hech narsa bilmaymiz. Biz doimo tildan foydalanamiz. Biz bularning barchasini maktab (yoki katta maktabgacha) yoshida o'rganishni boshlaganimizdagina bilib olamiz, buning natijasida tildan intuitiv foydalanishimiz asta-sekin ongli foydalanishga aylanadi - biz uni ancha yaxshi gapira boshlaymiz.

Mantiq bilan ham xuddi shunday: uni intuitiv ravishda o'zlashtirib, uni har kuni amalda qo'llagan holda, biz mantiqdan o'z-o'zidan foydalanishni ongli foydalanishga aylantirish, uni yanada yaxshiroq o'zlashtirish va undan samaraliroq foydalanish uchun uni fan sifatida o'rganamiz.

Farishtalar qo'rqishadi kitobidan muallif Beytson Gregori

XVII. Xullas, NEGA SIZGA METAFORA KERAK? (ICB) Bu kitob meni mexnat ziyofatlaridan, ijtimoiy tadbirlardan qochishga majbur qildi, u erda do'stona notanish odamlar bahorda kitob ustida ishlashga vaqt sarflayotganimni bilsalar, uning mazmuni haqida so'rashadi. Avvaliga men ularga aytib beraman

“Fan va texnologiya falsafasi” kitobidan muallif Stepin Vyacheslav Semenovich

Kashfiyot mantig’i va gipotezani asoslash mantig’i Pozitivistik an’analar doirasida ishlab chiqilgan nazariya taraqqiyotining standart modelida kashfiyot mantiqi va asoslash mantig’i keskin ajratilgan va bir-biridan qarama-qarshi qo’yilgan. Bu qarama-qarshilikning aks-sadolari

"Falsafa: Universitetlar uchun darslik" kitobidan muallif Mironov Vladimir Vasilevich

Kirish: Falsafa nima?

“Olim va ustoz suhbatlari” kitobidan muallif Zelichenko Aleksandr

Suhbat 5. Dunyoning surati haqida - nima uchun kerak, u nima va unga qanday qarash kerak. Ustoz! Avvaliga siz menga har qanday, hatto bir-biriga o'xshamaydigan g'oyalar tinch-totuv yashayotgan dunyoning g'alati rasmini ko'rsatishga va'da bergan edingiz. O'ylaymanki, men bu qanday rasm ekanligini tushuna boshladim. VA

"Falsafa asoslari" kitobidan muallif Kanke Viktor Andreevich

Kirish Falsafa nima? "Falsafa" so'zining ma'nosi Sivilizatsiya yurishida o'zining xususiyatlari bilan ajralib turadigan, ba'zan juda g'alati bo'lgan ko'plab davrlar va asrlar bo'lgan. Ammo bu fonda ham ixtiro o'zining yangiligi bilan hayratlanarli, unchalik ko'p emas, lekin

“Falsafaga kirish” kitobidan muallif Frolov Ivan

KIRISh: FALSAFA NIMA Falsafa bilim va ma'naviy madaniyatning eng qadimiy sohalaridan biridir. Miloddan avvalgi 7—6-asrlarda paydo boʻlgan. e. Hindiston, Xitoy, Qadimgi Yunonistonda u keyingi barcha asrlarda odamlarni qiziqtirgan barqaror ong shakliga aylandi. Faylasuflarning chaqiruvi

"Simpsonlar" kitobidan falsafa sifatida Halwani Raja tomonidan

3. Meggi nima uchun kerak: Jimlik ovozi, Sharq va G'arb Erik Bronson Meggi Simpsonni hech kim hisobga olmadi. Va nega birdan? Ko'pincha e'tibordan chetda qolgan qullik muxlisi Smitersga shubha soyasi tushdi. Gomer bundan ham shubhaliroq bo'lishi mumkin

Sevimlilar kitobidan. Mif mantig'i muallif Golosovker Yakov Emmanuilovich

"Mantiq qonunlariga ko'ra" kitobidan muallif Ivin Aleksandr Arkhipovich

2-bob MANTIQ NIMA? “NUTIQIMIZNING MAJBUR KUCHI...” L.Tolstoyning “Ivan Ilichning o‘limi” hikoyasida mantiqqa bevosita bog‘liq bo‘lgan epizod bor.Ivan Ilich o‘lib ketayotganini ko‘rib, doim umidsizlikda edi. Qandaydir yorug'lik uchun alamli qidiruvda, u

“Negadir bu haqda gapirishim kerak...” kitobidan: Sevimlilar muallif Gershelman Karl Karlovich

"Qirolning yangi fikri" kitobidan [Kompyuterlar, fikrlash va fizika qonunlari haqida] Penrose Rojer tomonidan

Nega tortishishning kvant nazariyasi kerak? Miya va fikrlash haqida o'rganishimiz uchun oldingi bobda o'rganmaganimiz nima qoldi? Garchi biz allaqachon biz idrok qilayotgan narsaning yo'nalishi asosidagi ba'zi umumiy jismoniy printsiplarni qisqacha ko'rib chiqdik.

"Falsafa himoyachisi" kitobidan muallif Varava Vladimir

238. Nima uchun falsafa hali ham zarur? Bu savolga oqilona javob berishning iloji yo'q, chunki bu erda biz doimo falsafa izlayotgan odamning noma'lum chuqurligi haqida gapiramiz. Bu nozik va ifodalab bo'lmaydigan daraja; bu yerda talqinlarning cheksiz ko'pligi mavjud

Ko'ngilochar falsafa kitobidan [O'quv qo'llanma] muallif Balashov Lev Evdokimovich

Dialektika, mantiq va falsafa nima? Petka Chapaevdan so'radi: - Vasiliy Ivanovich, dialektika, mantiq va falsafa nima? - Xo'sh, sizga qanday tushuntiraman? Siz ikkita odamni ko'rasiz. Biri iflos, ikkinchisi toza. Ularning qaysi biri hammomga boradi? - Kir. - Yo'q. Bu iflos, chunki

“Ommaviy falsafa” kitobidan. Qo'llanma muallif Gusev Dmitriy Alekseevich

“Kirish. Falsafa nima? 1. Men falsafa, faylasuflar haqida nimalarni bilaman va ular haqida qanday fikrdaman?Bu vazifa falsafadan birinchi seminar darsida talaba yozma ishiga taklif qilingan. Ish yozish uchun 20 daqiqadan ortiq vaqt ajratilmaydi. Mumkin variant

Muallifning kitobidan

Mavzu 1. Falsafa nima va u nima uchun kerak? 1. “Hamma narsa haqidagi ilm”2. “Men donishmand emasman, faqat faylasufman”3. Falsafa va falsafiy tadqiqotlar4. "ABC"

Muallifning kitobidan

1. Falsafa zarurmi? (pozitivizm) Nemis klassik falsafasi 19-asrning o'rtalarida paydo bo'lgan Yangi asr falsafiy tafakkurining gullagan davri edi. biror narsa rivojlanishining har qanday eng yuqori nuqtasini doimo kuzatib boradigan davr bilan almashtirildi. Ushbu yangi bosqichni pasayish deb atash mumkin

Har bir kattalar ko'pincha mantiq, mantiqiy, mantiqsiz va hokazo so'zlarni eshitadi va ishlatadi. Siz va tez-tez eshitishingiz mumkin: sog'lom fikrning mantiqi. Kundalik hayotda bu ongni, tabiiy mantiqning o'ziga xosligini, fikrlashda juda qo'pol xatolardan qochishni belgilaydi va bu erda mantiq har doim foydalidir. Mantiq - fikrlash haqidagi fan .

Mantiq esa ilm sifatida ancha oldin Qadimgi Hindistonda shakllangan, keyin esa Qadimgi Yunoniston, Qadimgi Misr, Qadimgi Rimga ko'chib o'tgan. Bundan tashqari, Yaqin Sharq va Yevropa mamlakatlarida mantiq har birida alohida, bir-biridan mustaqil ravishda shakllangan. Hindistonda mantiqiy bilimlarni rivojlantirish an'analari Xitoy, Tibet, Mo'g'uliston, Koreya, Yaponiya va Indoneziya mutafakkirlari tomonidan qabul qilingan. Mantiq va tafakkur ta’limoti Vizantiya, Armaniston, Gruziya, Ukraina va Rossiyada mantiqning rivojlanishiga ta’sir ko‘rsatdi. Binobarin, mantiq haqidagi bilimlar tafakkur o'z tadqiqotining predmetiga aylanganda paydo bo'ladi va rivojlanadi. Ikki ming yildan ko'proq vaqt oldin individual mantiqiy masalalar birinchi navbatda Qadimgi Hindiston va Qadimgi Xitoyda, keyin esa Evropada mutafakkirlar tomonidan o'rganilgan. Mantiq falsafiy bilimlar bag‘rida rivojlanib, doimo falsafaning ajralmas qismi bo‘lib ishlagan va shundan keyingina asta-sekin ajralib, mustaqil tarmoqqa aylangan. Mantiq bilimlarining rivojlanishiga ko`pgina sabablar, asosan, nazariy tafakkurga asoslangan, xulosa va dalillarni talab qiluvchi turli fanlarning rivojlanishi, notiqlik san`atining rivojlanishi yordam berdi.

Ming yillik tarix davomida mantiq uchta katta davrni bosib o'tdi: antik mantiq (miloddan avvalgi V - III asrlar); sxolastik mantiq (XIII asr o'rtalari - XIV asr o'rtalari), zamonaviy mantiq (19-asr o'rtalaridan hozirgi kungacha). Haqiqat mezonlari va bilim qoidalarini shakllantirish uchun mantiqiy tushunchani birinchi marta Demokrit kiritdi va bilim mezonlari va qoidalari bo'yicha ishni "Mantiq to'g'risida yoki qonunlar to'g'risida" deb nomladi. Demokrit risolasi, boshqa ko'plab asarlar kabi, hozirgi zamonga etib bormagan. Qadimgi Yunonistonning idealist faylasuflari ham mantiq masalasini o'rgandilar. Faylasuf Sokrat mantiqiy usullarning mohiyati va ahamiyati: induksiya va deduksiya haqida mulohazalarini bildirgan. Suqrot izdoshi boʻlgan mashhur faylasuf Aflotun tushunchalarning taʼriflari va boʻlinishini aniqlab berdi, hukmning mantiqiy shaklini tahlil qildi, ularni tafakkurning asosiy elementlari deb hisobladi va mantiqning asosiy qonunlarini shakllantirishga harakat qildi. Donolik va notiqlikning birinchi professional o'qituvchilari hisoblangan qadimgi yunon sofistlari (Protagor, Gippiy va boshqalar) mantiq bilimlarining shakllanishiga ma'lum darajada ta'sir ko'rsatdilar. Sofistlar sofistik deb ataladigan noyob usullardan foydalangan holda har qanday pozitsiyaning haqiqati va yolg'onligini isbotlashni o'z zimmalariga oldilar, ya'ni. ataylab buzish va fikrlarni qurish qoidalarini buzish. Keyin mashhur faylasuf Aristotel sofistlarni "xayoliy donolik" o'qituvchilari deb atadi.

Mantiqning haqiqiy yaratuvchisi Aristoteldir. Yaratilgan fan mantiq emas, balki analitika deb ataldi. Bu yerda sillogizmlar xulosa chiqarishning maxsus shakli sifatida atroflicha tahlil qilinadi, dalillarning mohiyati, tushunchalarni belgilash va ajratish usullari hamda ularning fandagi mazmuni ochib beriladi. Keyinchalik, “Mavzular”, “Kategoriyalar”, “Sofistik raddiyalar” asarlarida va keyinchalik (miloddan avvalgi 1-asrda) Aristotel izdoshlari Aristotelning barcha mantiqiy risolalarini “Organon” (yunoncha – asbob, asbob, degan maʼnoni anglatadi) umumiy nomi ostida birlashtirganlar. bilim). Aristotel o'zining asosiy falsafiy asari "Metafizika"da bir qator muhim mantiqiy muammolarni ko'rib chiqdi. Bu erda rasmiy mantiqning uchta asosiy qonuni bayon etilgan: o'ziga xoslik qonuni, qarama-qarshilik qonuni va chiqarib tashlangan o'rta qonuni. Mantiq qonunlari va qoidalarida ifodalangan fikrlarning bog'lanishi o'zboshimchalik bilan emas, balki narsalarning o'zi bilan bog'liqligi bilan shartlangan deb hisoblangan.

Aristotel, idealistlar Sokrat va Platondan farqli o'laroq, mantiqning falsafiy masalalarida Demokritning materialistik pozitsiyasini himoya qildi, garchi bu pozitsiya to'liq mos kelmasa ham. Umumiy falsafiy kategoriyalarni tahlil qilib, u materializm va idealizm o'rtasidagi tebranishlarni ko'rsatdi. Aristotelning o'zi mantiq atamasini ishlatmagan. Mantiq tushunchasi birinchi marta 3-2-asrlarda ilmiy muomalaga kiritilgan. Miloddan avvalgi e) stoiklar. Zenon, Xrizip va Seneka faylasuflari mantiqni falsafaning bir qismi deb bilishgan. Aristotelning mantiqiy ta'limotini rivojlantirgan holda, stoiklar kategoriyali sillogizmni o'rganish bilan cheklanib qolmay, birinchi navbatda shartli va di'yunktiv hukmlarni qamrab oluvchi xulosalar bilan shug'ullanishgan va zamonaviy matematik mantiqqa kiritilgan bir qator toifalarni o'rganganlar: implikatsiya, dis'yunksiya, birikma va boshqalar.

Oʻrta asrlarda (12-asr oʻrtalaridan) Aristotelning ikkinchi kashfiyoti arab manbalari orqali sodir boʻlgan. Mantiqiy tadqiqotlar qayta boshlangan va mantiq atamasi ishlatila boshlagan birinchi risolalardan biri Per Abelardning “Dialektika”sidir. Aynan sxolastikalar Aristotel mantiqiga zaruriy bilimlar rolini qo‘shdilar va propedevtika sifatida fan ta’lim strukturasiga mustahkam kirdi va Schullogik (maktab mantig‘i) bo‘ldi. Qadimgi va sxolastik mantiq endi an'anaviy yoki formal mantiq nomi bilan birlashtiriladi. Mantiqning keyingi rivojlanishi feodalizm tubida kapitalistik ijtimoiy munosabatlarning paydo bo'lishi va eksperimental bilimlarning shakllanishi bilan bog'liq.

Kapitalistik munosabatlar davrining haqiqati deduktiv shakllanish sxemalariga mos kelmadi va adekvat tushuntirishga ega emas edi. Yangi mantiqni yaratish zarurati tug'ildi. Yangi mantiqning rivojlanishida ingliz faylasufi va tabiatshunosi Frensis Bekon, fransuz faylasufi va matematigi Rene Dekorte, nemis faylasufi va matematigi Gotfrid Leybnits beqiyos rol o'ynagan. Ingliz materializmining asoschisi Frensis Bekon tabiatni o‘rganish yo‘lidagi asosiy to‘siq sifatida o‘rta asr sxolastikasiga ishtiyoq bilan qarshi chiqdi, Aristotelning deduktiv usulini samarasiz deb tanqid qildi va aksincha, mantiqning asosiy falsafiy ta’limotini shakllantirdi. “Yangi organon” risolasida u induktiv mantiq asoslarini belgilab berdi. U induktiv usulda induktiv mantiqqa ustunlik berishni ko‘rib, deduksiyaga va Aristotel sillogistikasiga qarshi edi. Bilishning bevosita vazifasi voqelik ob'ektlari va hodisalarining sababiy munosabatlarini ochib berishdir, deb hisoblagan Frensis Bekon hodisalar o'rtasidagi sabab-oqibat munosabatlarini aniqlash usullarini ishlab chiqdi. Keyinchalik usullarni yanada rivojlantirishni Herschel, Whewell va Jon St. Millem. To'g'ri, induktiv mantiqqa bo'lgan ehtiyoj 13-asrda aniq e'tirof etilgan va ifodalangan va uning haqiqiy asoschisi Verulam Lordi, mashhur Frensis Bekon emas, balki fransisk rohib Rojer Bekon edi. Tajribali bilimlarni himoya qilib, Rojer Bekon ta'kidladi: "Bilishning ikki yo'li mavjud: bilim va tajriba orqali. Dalil savolning yechimini beradi, lekin yechimning haqiqati tajriba bilan tasdiqlanmaguncha ishonch hosil qilmaydi”. Aristotel davrida "fikrlaringizni bir-biringizga moslashtiring" deb talab qilgan. "O'z fikringizni hokimiyat bilan ushlang" - bu O'rta asrlarning shiori. "Ularni faktlar bilan yarashtirishadi" - bu kapitalistik munosabatlar davrining asosiy talabiga aylandi. Davr talabiga javoban, ayniqsa induktiv mantiq deb nomlanmagan narsa yaratildi. Keyinchalik ma'lum bo'ldiki, Frensis Bekon induksiyani deduksiyaga mutlaqo noto'g'ri qarama-qarshi qo'ygan, induksiyaning kognitiv ahamiyatini oshirib yuborgan va deduksiyaning ahamiyatini pasaytirgan. 19-asrda Ingliz faylasufi va mantiqchisi Jon Styuart Mill Frensis Bekonning hodisalarning sababiy bog'lanishining induktiv usullari sohasidagi tadqiqotlarini tizimlashtirdi, induktiv mantiqni - hodisalarni kuzatish va tushuntirish mantiqini yaratdi, uning "Sillogistik va induktiv mantiq tizimi" ajoyib qo'shimcha bo'ldi. eski bino. Ma’lum bo‘ldiki, mantiqning ikki tarmog‘i (deduktiv va induktiv) o‘rtasida hech qanday qarama-qarshilik yo‘q, biri ikkinchisini to‘ldiradi, lekin hech birini ikkinchisi bilan almashtirib bo‘lmaydi.

Faylasuf Rene Dekart «Usul haqida so‘z...» risolasida o‘rta asr sxolastik mantiqdan voz kechib, Frensis Bekonga ergashib, amaliyotga xizmat qiladigan, insonning tabiat ustidan hukmronligini kuchaytiradigan shunday falsafa va mantiq shakllanishini yoqladi. Dekartning asosiy vazifasi ilmiy metod yaratish edi. Agar Frensis Bekon induksiyani metod sifatida ilgari surgan bo'lsa, Rene Dekart matematik isbotlar pozitsiyasiga asoslanib, deduksiyani afzal ko'rgan. Port-Royaldagi monastirdan Rene Dekartning izdoshlari Antuan Arno va Peer Nikol "Port-Royal mantiqi" deb nomlanuvchi mantiq darsligini yozdilar. Darslikning vazifalaridan biri mantiqni sxolastik buzilishlardan ozod qilish bo‘lib, aslida ular an’anaviy mantiq doirasidan chiqib, ilmiy bilimlar metodologiyasiga, kashfiyot mantiqiga alohida e’tibor berganlar. Mantiq kognitiv vosita sifatida qaraldi. Shu bilan birga, mantiqdagi islohotni Gotfrid Leybnits davom ettirdi, u matematik hisoblarga o'xshash, universal mantiqiy tilga asoslangan va tabiiy tillardan aniqligi va aniqligi bilan ajralib turadigan ongni hisoblash g'oyasini taklif qildi. bayonotlar. Shunday qilib, Gotfrid Leybnits matematik (simvolik) mantiqning yaratuvchisiga aylandi, mantiqiy konstantalarni belgilash uchun belgilarni birinchi bo‘lib ishlatdi. Mantiqiy o'zgaruvchilarni belgilash uchun belgilar, ma'lumki, Aristotel tomonidan kiritilgan. Mantiqning to'rtinchi asosiy qonuni - etarli sabab qonuni (asos) - Gotfrid Leybnits tomonidan ishlab chiqilgan va shu bilan deduktiv nazariyalar tamoyillarini shakllantirishga asos solgan, asosan matematik mantiqning asosiy bo'limlarini - klassik taklif mantiqiy va predikatni belgilaydi. mantiq deduktiv mantiqning zamonaviy asosidir. An'anaviy mantiqni birinchi marta nemis faylasufi Immanuil Kant formal deb atagan bo'lib, formal mantiqni fikrlash mazmuniga hech qanday aloqador bo'lmagan va undan mustaqil bo'lgan fikrlashning sof shakllari haqidagi fan deb hisoblab, mantiqiy shakllar va tafakkur qonunlarini apriori e'lon qilgan (berilgan). har qanday tajribadan oldin) inson ongining tayyor shaklda berilgan shakllari.shakl. Dialektik mantiqni Georg Hegel shakllantiradi. u Karl Marks tomonidan muvaffaqiyatli qo'llanilgan.

19-asrning ikkinchi yarmida, undan ham koʻproq 20-asrda fanning turli sohalarida kashfiyotlar yogʻdi, mantiq oʻzgardi. Bir qator faylasuflar zamonaviy mantiqning rivojlanishiga katta hissa qo'shdilar. Matematik mantiqni yaratuvchilardan biri Jorj Bul oʻz tadqiqotlarini algebra va mantiq oʻrtasidagi oʻxshashlikka asoslanib, tegishli mantiqiy hisobni ishlab chiqdi, unda matematikaning qonunlari va amallarini (sinflar qoʻshish, koʻpaytirish va hokazo) qoʻlladi. Algebraik mantiqiy usul an’anaviy silogistikada e’tiborga olinmagan yangi turdagi xulosalarni aniqlash, kommutativlik, assotsiativlik va taqsimlanish qonuniyatlarini batafsil tahlil qilish imkonini berdi. O'zaro ta'sirlarning mantiqiy tahlilini yaratuvchisi Avgust de Morgan taklif mantiqi va sinf mantiqining asosiy tamoyillarini shakllantirdi va matematik mantiqda "de Morgan qonunlari" deb nomlangan qonunlarni shakllantirdi. Gottlib Frege mantiqiy semantikaning asoslarini yaratdi va matematikani mantiqqa ko'tarish g'oyasini asoslash uchun kengaytirilgan predikatlar hisobiga asoslangan rasmiylashtirilgan arifmetika tizimini qurdi. Semiotikaning (belgilarning umumiy nazariyasi) asoschisi faylasuf Charlz-Sanders Pirs belgilarni tasnifladi: kult belgilari, indekslar va belgilar, moddiy implikatsiya qonuniyatlarini shakllantirdi va mantiqda kvantlovchilarni kashf etdi. Faylasuf Alfred-Nort Uaytxed Bertran Rassel bilan hamkorlikda “Matematika asoslari” nomli uch jildlik asarida matematik mantiq tamoyillarini ishlab chiqadi va takomillashtiradi. Platon Poretskiy Rossiyada birinchi boʻlib matematik mantiq kursini ishlab chiqdi va oʻqidi, J. Buul, Vilm Jevons, Emil Shrederlarning mantiq algebrasi sohasidagi yutuqlarini umumlashtirib, rivojlantirdi. Zamonaviy mantiqning rivojlanishiga muhim hissa: mantiqiy semantika, to'plamlar nazariyasi, xususan, Lvov-Varshava maktabi vakillari Konstantin Twardowski, Yakov Lukasievich, Stepan Lesnevskiy, Andrey Tarski va boshqalar. To‘g‘ri, sovet davrida XX asrning 40-yillarining ikkinchi yarmidan boshlab, rasmiy mantiq ba’zan e’tibordan chetda qoldi, hatto metafizik usul sifatida tanqid qilindi. zamonaviy mantiq oliy o‘quv yurtlarida va hatto o‘rta maktablarda ham o‘quv fani sifatida munosib o‘rin egallaydi. Zamonaviy mantiq, xususan, propozitsion mantiq va predikat mantiqi, ba'zan kamsituvchi tarzda logistika deb ataladi. Va shunga qaramay, olimlar tomonidan zamonaviy mantiq rivojlanishiga muhim hissa qo'shildi: Evgeniy Voishvillo, Vasiliy Asmus, Dmitriy Gorskiy, Mixail Kondakov, ukrainalik olimlar Miroslav Popovich, Stanislav Pazynich, Stepan Krimskiy, Vasiliy Kremen, Sergey Vasilyev, Anatoliy Konverskiy, Vladimir Titov, Mixail Trebin va boshqalar.

Mantiq eng qadimiy fanlardan biridir. Ko'p asrlar davomida mantiq tafakkur jarayonini o'rganadi, tafakkur asosidagi qonuniyatlarni ochib beradi. Biroq, tafakkur nafaqat mantiq, balki boshqa ko'plab turli xil bilim sohalari tomonidan o'rganiladi. Miya yarim sharlarida sodir bo'ladigan jarayonlarni bilish nuqtai nazaridan fikrlashni o'rganish yuqori asabiy faoliyat fiziologiyasi tomonidan amalga oshiriladi. Psixologiyaning predmeti - bu odamlarda tushuniladigan turli xil aqliy faoliyat shakllari. Neyrofiziologiya, lingvistika, informatika, semantika, semiotika, kibernetika va boshqa ko'plab fan sohalari ham tafakkurning turli tomonlarini o'rganadi. Har bir fan sohasi tafakkurni muayyan jihatda tadqiq qiladi, mantiq esa mavhum tafakkurni o‘ziga xos hodisa sifatida o‘rganadi, demak, mantiqda tafakkur, eng avvalo, insonning voqelikni bilish vositasi sifatida qaraladi. Demak, mantiq inson tafakkuri jarayonida dunyoning aks etish shakllari, tamoyillari va qonuniyatlarini tekshiradi.

Mantiq tushunchasini, birinchidan, ob'ektiv voqelikni aks ettirishda fikrlash jarayoni bo'ysunadigan muayyan qoidalar majmui sifatida, ikkinchidan, fikrlash shakllari, qoidalari, tamoyillari, qonunlari va usullari haqidagi fan sifatida talqin qilish mumkin. amalga oshirildi; bajarildi. Demak, mantiq - bu fikrlarni to'g'ri qurish qonuniyatlari va shakllari haqidagi fan. Nazariy va amaliy faoliyatda inson o‘zining fikrlashi, aqliy faoliyatning ayrim masalalarini mulohaza yuritishda to‘g‘ri ishtirok etgandagina muayyan muammolarni muvaffaqiyatli hal qilishi mumkin. Va fikrlash to'g'ri bo'lishi uchun u hech bo'lmaganda ma'lum, zaruriy talablarni qondirishi kerak: aniqlik, izchillik, dalil. Muayyan fikrlash aniq, aniq fikrlash bo'lib, u shubhalar va murakkab uydirmalarga yo'l qo'ymaydi, ya'ni ongli yoki ongsiz ravishda bir fikrni boshqasiga almashtirishdan (tezisni almashtirish) va hokazolardan xoli bo'ladi. har qanday fikr yoki hukmning haqiqat yoki yolg'onligini aniqlash uchun bog'lanish zarur bo'lgan fikrlar o'rtasidagi aloqalarni buzadigan qarama-qarshiliklar. Dalillarga asoslangan fikrlash - bu haqiqatni oddiygina shakllantirmasdan, balki haqiqatni haqiqat deb tan olish kerak bo'lgan asoslarni ko'rsatadigan tafakkur, ya'ni haqiqiy bilimga samarali erishishning optimalligi va mantiqiyligini ko'rsatadi. Bunday holda, haqiqatni tan olish emas, balki haqiqatga erishish texnologiyasi muhim ahamiyatga ega. Mantiq qonunlari, tamoyillari va qoidalarining muhim xususiyatlaridan biri, ularning amalga oshirilishi inson tafakkurining aniq, izchil va ko'rgazmali bo'lishi uchun ishonchli vosita sifatida zarur, ya'ni. to'g'ri, ular faqat oldindan o'rnatilgan nazariy haqiqatlar asosida shakllantirilishi mumkin, ya'ni. mantiq fani tafakkurning ma'lum qoidalari borligi uchun emas, aksincha, tafakkur qoidalari bilish uchun ahamiyatli bo'lgani uchungina mavjud bo'ladi; mantiq fanidan qat'i nazar, aslida shunday fikrlash shakllari mavjudki, ular doimo ko'p asrlar davomida inson tomonidan kundalik hayotida muvaffaqiyatli foydalanilgan. Aynan shu fikrlash shakllari mantiqni fan sifatida o‘rganish predmetini tashkil etadi.

O'xshatish orqali, fan sifatida mantiq predmeti haqidagi fikrlarni to'liqroq oydinlashtirish uchun grammatikaning ishlashini misol qilib keltirishimiz mumkin. Ma'lumki, grammatika haqiqatda mavjud bo'lgan barcha dialektlarni, til va nutq qonunlarini sinchkovlik bilan aniqlaydi va o'rganadi, lekin hech qachon til shakllarining etnik xususiyatlarini yaratish maqsadini qo'ymaydi. Shunga o'xshash protsedura mantiqda uchraydi. Mantiq insonning to'g'ri tafakkurini amalga oshirish shakllarini kashf etadi va keyin batafsil o'rganadi.

To'g'ri fikrlash uchun uchta atributiv shartga rioya qilish kerak: aniqlik, izchillik va dalil. Aynan mana shu uchta talab insonning fikrlashi, ular aytganidek, mantiqiy bo'lishiga imkon beradi. Biroq, to'g'ri fikr yuritish talablari etarli va o'z-o'zidan fikrlashda qandaydir iblis kuch sifatida hukmronlik qilmaydi. Bu buzilmas tamoyillarning o'zi birinchi navbatda tafakkur normalari yoki qonunlari ma'nosiga ega bo'ladi, chunki printsiplardan qat'i nazar va ular mantiq fani tomonidan birinchi marta shakllantirilishidan oldin, inson tafakkurining tabiatiga ko'ra norma va qonunlar muvaffaqiyatli va noyob tarzda rivojlanadi. yo'l. Binobarin, mantiqiy, to'g'ri fikrlash uchta tamoyilga javob beradigan fikrlash deb hisoblanishi mumkin: aniqlik, izchillik, dalil. Bu mantiqiy va to'g'ri deb da'vo qiladigan fikrlash har doim aniqlik tamoyiliga mos kelishi va aniqlikning o'zi faqat izchillikda amalga oshirilishi mumkinligi bilan izohlanadi. Biroq, fikrlashning aniqligi va izchilligi dalilsiz bo'lishi mumkin emas. Isbotlash jarayonining o‘zi esa inson tafakkurining aniqlik va izchillik talablarisiz amalga oshirilmaydi. Mantiqning predmeti - madaniyat (texnologiya), to'g'ri fikrlash san'ati. Biroq, bu ta'rif amaliy mantiqqa taalluqlidir va nazariy fan sifatida mantiqning immanent muammolariga taalluqli emas. Mantiq predmetining nazariy mohiyatini shakllantirish uchun mantiqiy shakl kabi fundamental tushunchaning mohiyatini oydinlashtirish zarur.

LOGIKA

Hozirgi vaqtda mantiq tarmoqlangan va ko'p qirrali fan bo'lib, u quyidagi asosiy bo'limlarni o'z ichiga oladi: fikrlash nazariyasi (ikki versiyada: deduktiv fikrlash nazariyasi va ishonchli fikrlash nazariyasi), metallogik va mantiqiy metodologiya. Mantiq rivojining hozirgi bosqichida bu barcha sohalardagi tadqiqotlar ch. O. va birinchi navbatda mantiqiy semiotika doirasida amalga oshiriladi.

Ikkinchisida lingvistik iboralar so'zda joylashgan ob'ektlar sifatida qaraladi. uch turdagi ob'ektlarni o'z ichiga olgan belgi holati - lingvistikaning o'zi (belgi), u belgilagan ob'ekt (belgining ma'nosi) va belgilarning tarjimoni. Shunga muvofiq tilni nisbatan mustaqil uchta nuqtai nazardan olib borish mumkin: tilning mantiqiy sintaksisi, ya`ni belgining belgi bilan munosabatini o'rganish; tilning mantiqiy semantikasini, ya'ni belgining u bildirayotgan ob'ektga munosabatini o'rganish; va mantiqiy pragmatika, ya'ni tarjimonning belgiga munosabatini o'rganish.

Mantiqiy sintaksisda til va uning asosida qurilgan mantiqiy nazariyalar ularning formal (struktura) tomonidan o`rganiladi. Bu yerda mantiqiy nazariyalar tillarining alifbolari aniqlanadi, alifbo belgilaridan turli murakkab til konstruksiyalarini yasash qoidalari - atamalar, formulalar, xulosalar, nazariyalar va hokazolar ko‘rsatilgan. Til iboralari majmuasining sintaktik bo‘linishi funktor va argumentlar, konstantalar va o'zgaruvchilar olib boriladi, ifodaning mantiqiy shakli tushunchasi aniqlanadi, mantiqiy predmet va mantiqiy predikat tushunchalari aniqlanadi, turli mantiqiy nazariyalar tuziladi va ularda ishlash usullari tahlil qilinadi.

Mantiqiy semantikada til va mantiqiy nazariyalar mazmuni tomondan o‘rganiladi; TILI konstruksiyalari nimanidir ifodalabgina qolmay, balki ta’riflash (bor) bo‘lganligi sababli, mantiqiy semantikada ma’no nazariyasi va ma’no nazariyasi o‘rtasida farqlanadi. Birinchisi, belgilar qanday ob'ektlarni bildiradi va ular buni qanday aniq bajaradilar degan savolga javob beradi. Xuddi shunday, ma’no nazariyasi lisoniy iboralarning semantik mazmuni nimadan iborat va ular bu mazmunni qanday tasvirlaydi, degan savolga javob beradi.

Fan sifatida mantiq uchun mantiqiy atamalar alohida ahamiyatga ega, chunki axborot bilan bizning intellektual ishimizning butun protsessual tomoni pirovardida ushbu atamalarning ma'nosi (ma'nosi) bilan belgilanadi. Mantiqiy atamalarga bog‘lovchi va operatorlar kiradi. Birinchisi orasida predikativ bog'lovchilar "bo'ladi" va "yo'q" va taklif bog'lovchilari (mantiqiy bog'lovchilar) ajralib turadi: bog'lovchilar - "va" ("a", "ammo"), "yoki" ("yoki"), "agar , keyin", iboralar - "bu haqiqat emas", "agar va faqat agar" ("o'shanda va faqat keyin", "zarur va etarli") va boshqalar. Ikkinchisi orasida shakllantiruvchi iboralar ajralib turadi - "hamma" ("hamma", "har qanday"), "ba'zi" ("mavjud", "har qanday"), "zarur", "ehtimol", "tasodifiy" va boshqalar. va nom hosil qiluvchi operatorlar - "bunday ob'ektlar to'plami", "o'sha ob'ekt" va boshqalar.

Mantiqiy semantikaning markaziy tushunchasi haqiqat tushunchasidir. Mantiqda u sinchkovlik bilan tahlil qilinadi, chunki usiz mantiqiy nazariyani aniq izohlab bo'lmaydi, demak, uni batafsil o'rganish va tushunish mumkin emas. Hozirgi zamon mantiqining kuchli rivojlanishi asosan haqiqat kontseptsiyasining batafsil rivojlanishi bilan aniqlanganligi aniq. Haqiqat tushunchasi bilan chambarchas bog'liq bo'lgan yana bir muhim semantik tushuncha - izohlash tushunchasi, ya'ni fikrlash olami deb ataladigan ob'ektlarning ma'lum bir sinfi bilan bog'liq bo'lgan ma'nolarni lingvistik iboralarga maxsus izohlash funktsiyasi orqali berish tartibi. Tilning mumkin bo'lgan amalga oshirilishi qat'iy belgilangan juftlikdir , bu yerda Ü - mulohaza yuritish va I - izohlovchi, koinot elementlariga nom berish, i-mahalliy predikatorlar - olamning tartiblangan i-ok elementlari to'plami, l-mahalliy predmet funksiyalari - i-ki elementlarni xaritalash. koinotni elementlarga aylantiradi. Formulalar bilan bog'liq iboralarga ularning haqiqat shartlariga muvofiq ikkita ma'no beriladi - "to'g'ri" yoki "noto'g'ri".

Xuddi shu toifadagi jumlalar turli xil amalga oshirish bilan bog'lanishi mumkin. G jumlalar to'plamiga kiritilgan har biri "to'g'ri" qiymatini qabul qiladigan amalga oshirishlar G uchun model deb ataladi. Model tushunchasi, ayniqsa, maxsus semantik nazariya - model nazariyasida o'rganiladi. Shu bilan birga, har xil turdagi modellar ajralib turadi - algebraik, to'plam-nazariy, o'yin nazariyasi, ehtimollik-nazariy va boshqalar.

Sharhlash tushunchasi mantiq uchun eng katta ahamiyatga ega, chunki u orqali ushbu fanning ikkita markaziy tushunchasi - mantiqiy qonun tushunchalari (qarang Mantiqiy qonun ) va mantiqiy implikatsiya (qarang Mantiqiy natija ).

Mantiqiy semantika mantiqning mazmunli qismi bo‘lib, uning kontseptual apparati muayyan sintaktik, sof formal konstruksiyalarni nazariy asoslash uchun keng qo‘llaniladi. Buning sababi shundaki, fikrning umumiy mazmuni mantiqiy (mantiqiy jihatdan ifodalangan) va (tasviriy atamalarda ifodalangan) bo'linadi va shuning uchun iboralarning mantiqiy shaklini ajratib ko'rsatish orqali biz, umuman olganda, hech qanday mavhumlik qilmaymiz. mazmuni. Bunday chalg'itish, ya'ni fikrlarning rasmiy tomonini ko'rib chiqish, faqat mantiqda o'rganiladigan ularning mantiqiy mazmunini sof shaklda ajratib olishning bir usuli hisoblanadi. Bu holat Kantdan kelgan mantiqni sof rasmiy intizom sifatida qabul qilib bo'lmaydi. Aksincha, mantiq chuqur mazmunli fan bo'lib, unda har bir mantiqiy protsedura mazmunli mulohazalar orqali o'zining nazariy asoslanishini oladi. Shu munosabat bilan, zamonaviy mantiqqa nisbatan qo'llaniladigan "rasmiy mantiq" aniq emas. So'zning haqiqiy ma'nosida tadqiqotning faqat rasmiy jihati haqida gapirish mumkin, ammo bu kabi rasmiy mantiq haqida emas.

Muayyan mantiqiy muammolarni ko'rib chiqishda ko'p hollarda lingvistik iboralarni ishlatadigan tarjimonning niyatlarini ham hisobga olish kerak. Masalan, argumentatsiya, munozara, munozara nazariyasi kabi mantiqiy nazariyani ko'rib chiqish bahs ishtirokchilarining maqsad va niyatlarini hisobga olmasdan turib mumkin emas. Ko'p hollarda bu erda qo'llaniladigan polemika usullari bahslashayotgan tomonlardan birining o'z raqibini noqulay ahvolga solib qo'yish, uni chalkashtirib yuborish va muhokama qilinayotgan muayyan muammoni o'ziga yuklash istagiga bog'liq. Bu masalalarning barchasini ko'rib chiqish til tahliliga alohida yondashuv - "mantiqiy pragmatika" mazmunini tashkil qiladi. Mantiqning eng asosiy sohasi deduktiv fikrlash nazariyasidir. Hozirgi vaqtda ushbu bo'lim o'zining apparat (sintaktik, formal) qismida turli deduktiv nazariyalar - hisoblar shaklida taqdim etilgan. Bunday apparatni qurish ikki xil ma'noga ega: birinchidan, nazariy, chunki u mantiqning ma'lum qonunlarini va to'g'ri fikrlash shakllarini aniqlashga imkon beradi, buning asosida ma'lum bir mantiqiy nazariyada to'g'ri fikrlashning boshqa barcha mumkin bo'lgan qonunlari va shakllari mavjud. asoslash mumkin; ikkinchidan, sof amaliy (pragmatik), chunki ishlab chiqilgan apparat zamonaviy ilmiy bilimlar amaliyotida aniq nazariyalarni aniq qurish, shuningdek, falsafiy va umumiy ilmiy tushunchalarni, bilish usullarini va boshqalarni tahlil qilish uchun ishlatilishi mumkin va qo'llaniladi. .

Bayonotlarni tahlil qilish chuqurligiga qarab, taklif hisoblari (qarang Taklif mantiqi) va kvantlash nazariyalari - predikat hisoblari (qarang Predikatlar mantiqi) mavjud. Birinchisida, mulohazalarni tahlil qilish oddiy jumlalarni aniqlashning aniqligi bilan amalga oshiriladi. Boshqacha qilib aytganda, taklif hisoblarida bizni oddiy gaplarning ichki tuzilishi qiziqtirmaydi. Predikat hisoblarida mulohazalarni tahlil qilish sodda gaplarning ichki tuzilishini hisobga olgan holda amalga oshiriladi.

Miqdorli o'zgaruvchilarning turlariga qarab, har xil tartibdagi predikat hisoblari farqlanadi. Shunday qilib, birinchi darajali predikatlar hisobida faqat miqdoriy o'zgaruvchilar individual o'zgaruvchilardir. Ikkinchi tartibli predikatlar hisobida turli lokalizatsiyaning xossalari, munosabatlari va maqsad funktsiyalari uchun o'zgaruvchilar kiritiladi va ular miqdoriy belgilana boshlaydi. Uchinchi va undan yuqori darajali predikat hisoblari shunga mos ravishda tuziladi.

Mantiqiy nazariyalarning yana bir muhim bo'limi mantiqiy bilimlarni ifodalash uchun turli kategoriyali tarmoqlarga ega tillardan foydalanish bilan bog'liq. Shu munosabat bilan biz Frege-Russell tipidagi (predikatlar hisobining ko'p variantlari), sillogistik (turli xil sillogistika, shuningdek, yagona sillogistikaning zamonaviy shakli bo'lgan Lesnevskiy) yoki algebraik tillarda qurilgan nazariyalar haqida gapirishimiz mumkin. mantiqning turli algebralari va sinf algebralari - mantiqiy algebra, Jegalkln algebrasi, de Morgan algebrasi, Hao Vang algebrasi va boshqalar). Turli toifali tarmoqlarga ega tillarda tuzilgan ko'plab nazariyalar uchun ularning o'zaro tarjima qilish qobiliyati ko'rsatilgan. Keyingi paytlarda mantiqiy tadqiqotlarda yangi matematik apparatga asoslangan kategoriya-nazariy til - kategoriyalar nazariyasi faol foydalanila boshlandi.

Mantiqiy nazariyalarda qoʻllaniladigan xulosalar va dalillarni qurish usuliga (qarang: Mantiqiy xulosa ) koʻra, ular aksiomatik hisob, tabiiy deduksiya hisobi va ketma-ketlik hisobiga boʻlinadi (qarang: Ketma-ketlik hisobi). Aksiomatik tizimlarda deduksiya tamoyillari aksiomalar roʻyxati va xulosa chiqarish qoidalari bilan berilgan boʻlib, ular baʼzi isbotlangan bayonotlardan (teoremalardan) boshqa isbotlangan gaplarga oʻtish imkonini beradi. Tabiiy (tabiiy) xulosa chiqarish tizimlarida deduksiya tamoyillari ba'zi faraziy qabul qilingan bayonotlardan boshqa gaplarga o'tish imkonini beruvchi qoidalar ro'yxati bilan beriladi. Nihoyat, ketma-ket hisob-kitoblarda ayirma tamoyillari deduktivlik haqidagi ba'zi bayonotlardan (ular ketma-ketlik deb ataladi) boshqa xulosalarga o'tishga imkon beradigan qoidalar bilan belgilanadi.

Mantiqda u yoki bu hisobni qurish mantiqiy tadqiqotlarning rasmiy yo'nalishini tashkil etadi, uni har doim mazmunli mulohazalar bilan to'ldirish, ya'ni tegishli semantikani qurish (tarjima) maqsadga muvofiqdir. Ko'pgina mantiqiy hisoblar uchun bunday semantika mavjud. Ular har xil turdagi semantika bilan ifodalanadi. Bu haqiqat jadvallari deb ataladigan bo'lishi mumkin. analitik jadvallar, Beta-jadvallar (qarang Semantik jadvallar), algebraning har xil turlari, semantikaning mumkin bo'lgan dunyolari, holatlar tavsifi va boshqalar. Aksincha, mantiqiy tizim dastlab semantik tarzda tuzilgan taqdirda, tegishli ma'lumotlarni rasmiylashtirish masalasi tug'iladi. mantiq, masalan, aksiomatik tizim shaklida.

Bayonotlarning xarakteriga va pirovardida mantiqda o'rganiladigan narsalar munosabatlarining turlariga ko'ra, mantiqiy nazariyalar klassik va noklassik bo'linadi. Bunday bo'linishning asosi tegishli mantiqni qurishda ma'lum mavhumlik va g'oyalarni qabul qilishdir. Klassik mantiqda, masalan, quyidagi abstraktsiyalar va ideallashtirishlar qo'llaniladi: a) noaniqlik printsipi, unga ko'ra har bir fikr to'g'ri yoki noto'g'ri bo'ladi, b) kengaytma printsipi, ya'ni bir xil ma'noga ega bo'lgan iboralar uchun ruxsat.

tushunish, ularni har qanday kontekstda erkin almashtirish, bu klassik mantiqda ularni faqat iboralarning ma'nosi emas, balki ularning ma'nosi qiziqtirishini ko'rsatadi; c) mohiyatan konstruktiv bo'lmagan ob'ektlar haqida fikr yuritishga imkon beradigan haqiqiy cheksizlik, d) ekzistensiallik printsipi, unga ko'ra fikrlash olami bo'sh bo'lmagan to'plam bo'lishi kerak va har bir to'g'ri koinotda referent bo'lishi kerak.

Ushbu abstraktsiyalar va idealizatsiyalar nuqtai nazarni, biz maqsadni ko'radigan va baholaydigan burchakni tashkil qiladi. Biroq, hech qanday mavhumlik va idealizatsiyalar to'plami uni to'liq qamrab olmaydi. Ikkinchisi har doim bizning nazariy tuzilmalarimizdan ko'ra boyroq, moslashuvchanroq bo'lib chiqadi, bu esa asl printsiplarning erkin o'zgarishini oqlaydi. Shu munosabat bilan, ushbu tamoyillarning har qandayini to'liq yoki qisman rad etish bizni klassik bo'lmagan mantiq sohasiga olib boradi. Ikkinchisi orasida: ko'p qiymatli mantiqlar, xususan, ehtimollik va loyqa mantiqlar, ularda ikki tomonlama qiymat printsipidan voz kechish; intuitiv mantiq va konstruktiv mantiq, potentsial amalga oshirishning mavhumligi doirasida fikrlashni o'rganadi; kengaytirilmagan (intensional) mantiqiy konstantalarga ega boʻlgan gaplarni koʻrib chiqadigan modal mantiqlar (aletik, temporal, deontik, epistemik, aksiologik va boshqalar), tegishli mantiqlar, parakonsistent mantiqlar, savol mantiqlari; ekzistensiallik tamoyillaridan voz kechilgan ekzistensial taxminlardan xoli mantiqlar va boshqalar.

Yuqoridagilardan ko'rinib turibdiki, mantiq tafakkurning nazariy qonuniyatlarini beruvchi fan sifatida bir martalik narsa emas. Aksincha, har safar yangi abstraktsiyalar va idealizatsiyalarni qabul qilishni talab qiladigan ob'ektlarning yangi sohasini o'rganishga o'tish bilan, fikrlash jarayoniga ta'sir qiluvchi yangi omillarni hisobga olgan holda, bu nazariyaning o'zi o'zgaradi. Bu. Mantiq rivojlanayotgan fandir. Ammo aytilganlar yana bir narsani ko'rsatadi, ya'ni tafakkur qonunlarining ma'lum bir nazariyasi mantig'ining tarkibi ma'lum ontologik taxminlarni qabul qilish bilan bevosita bog'liqdir. Shu nuqtai nazardan qaraganda, mantiq nafaqat tafakkur nazariyasi, balki borliq nazariyasi hamdir (ontologiya nazariyasi).

Zamonaviy mantiqning muhim bo'limi. Ikkinchisi mantiqiy nazariyalar bilan bog'liq turli muammolarni ko'rib chiqadi. Bu erda asosiy savollar mantiqiy nazariyalar ega bo'lgan xususiyatlar haqida: izchillik, to'liqlik, hal qilish tartib-qoidalarining mavjudligi, dastlabki deduktiv tamoyillarning mustaqilligi, shuningdek, nazariyalar o'rtasidagi turli munosabatlar va boshqalar. Shu ma'noda, metallogika go'yo, uning konstruktsiyalari bo'yicha mantiqning o'zini aks ettirishi. Barcha metateorik tadqiqotlar maxsus terminologiya va metateorik deduktiv vositalar bilan boyitilgan oddiy tabiiy tildan foydalanadigan maxsus metatilda olib boriladi.

Mantiqiy metodologiya zamonaviy mantiqning yana bir sohasidir. Odatda, metodologiya umumiy ilmiy fanlarga bo'linadi, ular doirasida ilmiy bilimlarning barcha sohalarida qo'llaniladigan kognitiv usullar, shuningdek, alohida fanlar metodologiyasi o'rganiladi: deduktiv fanlar metodologiyasi, empirik fanlar metodologiyasi, shuningdek, ilmiy bilimlarning metodologiyasi. ijtimoiy va gumanitar bilimlar. Ushbu bo'limlarning barchasida mantiqiy metodologiya tadqiqotning o'ziga xos jihati sifatida ishtirok etadi. Shunday qilib, umumiy metodologiyada mantiqiy jihatlar tushunchalarni ishlab chiqish va shakllantirish, ularning turlarini va kontseptual konstruktsiyalar bilan ishlashning turli usullarini (bo'linish, tasniflash), atamalarning ta'riflari va boshqalar kabi kognitiv usullarni o'rganishni o'z ichiga oladi.

Ayniqsa, deduktiv fanlar metodologiyasi sohasida katta muvaffaqiyatlarga erishildi. Bu mantiqning o'zini deduktiv apparat shaklida qurish va shu kabi deduktiv intizomni asoslash uchun ushbu apparatdan foydalanish bilan bog'liq edi. Bularning barchasi sezilarli darajada yangi kognitiv usullarni ishlab chiqishni va yangi uslubiy tushunchalarni joriy qilishni talab qildi. Bu yerda olib borilgan ishlar jarayonida, masalan, funktsiyalar tushunchasini shunday umumlashtirish mumkin ediki, u haqiqatda umumiy uslubiy, gnoseologik tushunchalar toifasiga o'tadi. Endi bizda nafaqat sonli funktsiyalarni, balki har qanday boshqa xarakterdagi funktsiyalarni ham ko'rib chiqish imkoniyati mavjud, bu esa tilning funktsional tahlilini lingvistik iboralarni o'rganishning etakchi usuliga aylantirish imkonini berdi. Axiomatizatsiya va bilimlarni rasmiylashtirish usuli kabi bilishning muhim usullarini juda ehtiyotkorlik va qat'iylik bilan ishlab chiqish mumkin edi. Birinchi marta bilishning nazariy-dalil (deduktiv) usullarini aniq va eng muhimi, xilma-xil shaklda belgilash, nazariyalar tarkibiga kiruvchi ayrim atamalarning boshqalar orqali ifodalanishi va aniqlanishi nazariyasini ishlab chiqish va Hisoblash funksiyasi tushunchasini turli yo'llar bilan aniqlang.

Hozirgi vaqtda empirik fanlar metodologiyasining mantiqiy muammolari faol ishlab chiqilmoqda. Bu soha gipotezalarni qurish va tekshirish (xususan, gipotetik-deduktiv usul), har xil turdagi asosli mulohazalarni tahlil qilish (induksiya va analogiya) va o'lchov nazariyasi bo'yicha tadqiqotlarni o'z ichiga oladi. Bu erda bilimlarning empirik va nazariy darajalari, tushuntirish va bashorat qilish tartiblari va operativ ta'riflar o'rtasidagi bog'liqlik bo'yicha qiziqarli natijalarga erishildi. Empirik nazariyalarning turli modellari ularning mantiqiy tuzilishini aniqlashtirish uchun tuzilgan.

Umumiy metodologik va mantiqiy tamoyillarga dialektik mantiq doirasida o'rganiladigan bilim qonunlari va tamoyillari kiradi. Ko'p hollarda ular bilim yo'lida qanday kutilmagan hodisalarga duch kelishimiz haqida ogohlantiruvchi belgilar sifatida ishlaydi. Empirik, shuningdek, ijtimoiy va gumanitar bilimlar metodologiyasi sohasida mutlaq va nisbiy haqiqat katta ahamiyatga ega; tarixiy bilimlar sohasida tarixiy va mantiqiyning mos kelishiga bo'lgan talab muhim ahamiyatga ega bo'lib, bu haqiqatda tarixiy fanlar sohasiga o'tkaziladigan bilimlarning etarliligi uchun odatiy talabni anglatadi. So'nggi paytlarda dialektik mantiqning ma'lum xususiyatlari rasmiylashtirilgan deduktiv tizimlarni qurishga urinishlar boshlandi.

Ming yillar davomida mantiq maktab va universitet ta’limida majburiy fan bo‘lgan, ya’ni o‘zining umumiy madaniy vazifasini – tafakkur propedevtikasini bajargan. Zamonaviy mantiq bu didaktik va tarbiyaviy funktsiyani to'liq saqlab qoldi. Biroq, zamonaviy mantiqning kuchli apparatining yaqinda rivojlanishi uni muhim amaliy intizomga aylantirdi. Shu munosabat bilan biz asosiy narsani ta'kidlaymiz

Aforizmlarning jamlangan ensiklopediyasi