Referat Mulohaza va xulosa chiqarish Reja

Umumiy tasdiq mulohazalar. Ular bir vaqtning o‘zida ham umumiy, ham tasdiq bo‘lgan fikrni ifodalaydi. Masalan, “Hamma talabalar mantiq ilmini o‘rganadilar.” Bu mulohaza lotin alifbosidagi A harfi bilan belgilanadi va “Hamma S – P dir” formulasi orqali ifodalanadi.

Umumiy inkor mulohazalar bir vaqtning o‘zida ham umumiy, ham inkor bo‘lgan fikrni ifodalaydi. Masalan, “Hech bir ishbilarmon rejasiz ish yuritmaydi.” Bu mulohaza “Hech bir S – P emas” formulasi orqali ifodalanadi va lotincha E harfi bilan belgilanadi.

Juz’iy tasdiq mulohazalar bir vaqtning o‘zida ham juz’iy, ham tasdiq fikrni ifodalaydi. Masalan, “Ba’zi talabalar mas’uliyatli.” U lotincha I harfi bilan belgilanadi va “Ba’zi S–Pdir” formulasi orqali ifodalanadi.

uz’iy inkor mulohaza bir vaqtning o‘zida ham juz’iy, ham inkor bo‘lgan fikrni ifodalaydi. Masalan, “Ba’zi talabalar tartibli emas.” Uning formulasi “Ba’zi S–P emas” bo‘lib, lotincha O harfi bilan belgilanadi.

Ajratib ko‘rsatuvchi va istisno qiluvchi mulohazalar. SHunday mulohazalar borki ularda nimadir ajratib ko‘rsatiladi yoki istisno qilinadi. “Guruhimiz talabalaridan faqat 4 kishi musobaqada qatnashadi.” Bu ajratib ko‘rsatuvchi mulohazadir. “Davrada yaqinlarimdan boshqa boshqa hamma bor edi” Bu istisno qiluvchi mulohazadir.Predikatning mazmuniga ko‘ra oddiy mulohaza turlari. Ular quyidagilardan iborat: atributiv mulohazalar, mavjudlik (ekzistensial) mulohazalari va munosabat (relyativ) mulohazalari. Atributiv (sifat va xususiyat) mulohazalarda biror xususiyatning predmetga xosligi yoki xos emasligi aniq, qat’iy ko‘rsatiladi. SHuning uchun atributiv mulohazalarni birorta predmetning sinfga kirishi (mansubligi) yoki kirmasligi (mansub emasligi) haqidagi mulohaza deb ta’riflasa bo‘ladi. Masalan, “Hamma daraxtlar o‘simliklardir” va “Hech bir o‘simlik hayvon emas”.Ikkita, uchta va hokazo predmetlar o‘rtasida muayyan munosabatlarning bo‘lishi yoki bo‘lmasligini ifodalagan mulohazalarga munosabat (relyativ) mulohazalari deyiladi. Masalan: “Butun bo‘lakdan katta”. “Ikki - uchdan kichik son”. Birinchi mulohazada “kattalik” munosabati butun va bo‘lak o‘rtasida bo‘lishi tasdiqlansa, ikkinchi mulohazada “uch” soni bilan “ikki” sonining munosabati haqidagi fikr tasdiqlangan. Atributiv va munosabat mulohazalari bilan bir qatorda yana mavjudlik (ekzistensial) mulohazalari (Kutubxonada mantiq darsligi bor), ayniyat mulohazalari (“Alisher Navoiy “Mahbub ul-qulub” asarining muallifi” ko‘rinishda bo‘lgan) va modal mulohazalar (Ehtimol, yomg‘ir yog‘adi)ni ko‘rsatish mumkin.Mulohazalar o‘rtasidagi munosabatlar. Mulohazalar ham tushunchalar kabi taqqoslanuvchi (umumiy sub’ekt va predikatga ega bo‘lgan) va taqqoslanmaydigan turlarga bo‘linadi. Taqqoslanadigan mulohazalar sig‘ishadigan yoki sig‘ishmaydigan bo‘ladi. Mantiqda ikki mulohaza (r va q) dan birining chinligidan ikkinchisining yolg‘onligi zaruriy kelib chiqadigan bo‘lsa, ular o‘zaro sig‘ishmaydigan mulohazalar deyiladi. Sig‘ishmaydigan mulohazalar qarama-qarshilik (kontrar) va zidlik (kontradiktorlik) munosabatida bo‘ladi. Sig‘ishmaydigan mulohazalar bir vaqtda chin bo‘la olmaydi. Sig‘ishadigan mulohazalar aynan bir fikrni to‘liq yoki qisman ifodalaydi. Sig‘ishadigan mulohazalar o‘zaro ekvivalentlik, mantiqiy bo‘ysunish va qisman mos kelish (subkontrar) munosabatida bo‘ladi. Bu munosabatlarni quyidagi misollarda taxlil qilamiz:Masalan, 1-misol. A₁. “Hamma o‘simliklar shifobaxshdir.”Bu umumiy tasdiq mulohaza bo‘lib, uni umumiy inkor, juz’iy tasdiq va juz’iy inkor mulohaza ko‘rinishlarida quyidagicha ifodalaymiz: E₁. Hech bir o‘simlik shifobaxsh emas.. Ba’zi o‘simliklar shifobaxshdir. O₁. Ba’zi o‘simliklar shifobaxsh emas. Tajribamiz va bilimimizga asoslanib, yuqoridagi mulohazalardan faqat I va O mulohazalarni chin deb baholashimiz mumkin. Mantiq ilmida mulohazalarning chinligini aniqlash uchun ular o‘rtasidagi munosabatlarga asoslaniladi:

1.