Mavzu: mantiq bilish nazariyasining tadqiqot ob`yekti reja

Predikatning mazmuniga ko‘ra oddiy hukm turlari. Ular quyidagilardan iborat: atributiv hukmlar, mavjudlik hukmlari va munosabat hukmlari. Atributiv (sifat va xususiyat) hukmlarda biror xususiyatning predmetga xosligi yoki xos emasligi aniq, qat’iy qilib ko‘rsatiladi. SHuning uchun atributiv hukmlarni birorta predmetning sinfga kirishi (mansubligi) yoki kirmasligi (mansub emasligi) haqidagi hukm deb ta’riflasa bo‘ladi.
Masalan: «Hamma daraxtlar o‘simliklardir» va «Hech bir o‘simlik hayvon emas». Birinchi hukmda daraxtlarning o‘simliklar sinfiga kirishi haqida fikr bildirilsa, ikkinchi hukmda o‘simliklar va hayvonlar sinfining o‘zaro hech qanday umumiylikka ega emasligi haqida fikr bildirilgan.
Ikkita, uchta va hokazo predmetlar o‘rtasida muayyan munosabatlarning bo‘lishi yoki bo‘lmasligini ifodalagan hukmlarga munosabat hukmlari deyiladi. Masalan: «Butun bo‘lakdan katta». «Ikki-uchdan kichik son». Birinchi hukmda «kattalik» munosabati butun va bo‘lak o‘rtasida bo‘lishi tasdiqlansa, ikkinchi hukmda uch soni bilan ikki sonining munosabati haqidagi fikr tasdiqlangan.
Munosabat hukmlari sifatiga ko‘ra tasdiq yoki inkor hukm turlariga bo‘linadi. Tasdiqlovchi munosabat hukmlarida predmetlar o‘zaro muayyan munosabatda ekanliklari haqida fikr bildiriladi. Inkor etuvchi munosabat hukmlarida esa predmetlar o‘rtasidagi muayyan munosabatlarning mavjud emasligi haqida fikr bildiriladi.
Munosabat hukmlari miqdoriga ko‘ra ham turlarga bo‘linadi. Xususan, ikki o‘rinli munosabat hukmlari miqdoriga ko‘ra yakka-yakka, umumiy-umumiy, xususiy-xususiy, yakka-umumiy, yakka-juz’iy, umumiy-juz’iy, juz’iy-umumiy turlarga bo‘linadi.
Masalan: «Ukasi akasidan baland» (yakka-yakka); «Gruppamizning har bir studenti fakultetimizdagi hamma o‘qituvchilarni biladi» (umumiy-umumiy); «Gruppamizdagi ba’zi talabalar ba’zi hind kino Yulduzlarini yaxshi biladilar» (juz’iy-juz’iy). «Tarix o‘qituvchisi gruppamizdagi har bir talabani yaxshi biladi» (yakka-umumiy); «Do‘stim ba’zi masalalarni echa oladi» (yakka-juz’iy); «Gruppamizdagi hamma talabalar ingliz tilini o‘rganadilar» (umumiy-yakka); «Gruppamizdagi ba’zi talabalar fransuz tilini o‘rganadilar» (juz’iy-yakka); «Gruppamizdagi ba’zi talabalar «Paxtakor» komandasining har bir o‘yinchisini biladilar» (juz’iy-umumiy).
Uch o‘rinli, to‘rt o‘rinli va hokazo munosabat hukmlari ham Yuqoridagi kabi turlarga bo‘linadilar.
Atributiv va munosabat hukmlaridan boshqa yana mavjudlik hukmlari (Kutubxonada mantiq darsligi bor), ayniyat hukmlari («A - B» ko‘rinishda bo‘lgan) va modal hukmlar (ehtimol yomg‘ir yog‘adi) ni ko‘rsatish mumkin. Ba’zi darsliklarda ular oddiy qat’iy hukm turlari sifatida talqin qilinadi. Biz bu hukm turlarini alohida ko‘rib chiqmaymiz, chunki mavjudlik hukmlarini ko‘pincha atributiv hukmlar ko‘rinishida, ayniyat hukmlarini munosabat hukmlari ko‘rinishida talqin qilish mumkin.
SHuningdek, oddiy hukm turlari sifatida ajratib ko‘rsatuvchi va istisno qiluvchi hukmlar ham farqlanadi. «Gruppamiz talabalaridan faqat 4 kishi musobaqada qatnashadi». Bu ajratib ko‘rsatuvchi hukmdir. «Mantiq tarixi» kursidan boshqa hamma o‘qitiladigan fanlardan darsliklar etarli». Bu istisno qiluvchi hukmdir.
Hukm terminlari birdan ortiq bo‘lsa, murakkab hukm deb ataladi. Murakkab hukmlar «va», «yoki», «agar... unda» kabi mantiqiy bog‘lamalar, inkor qilish va modal terminlarni qo‘llash orqali ikki va undan ortiq oddiy hukmlarning o‘zaro birikishidan hosil bo‘ladi. Mantiqiy bog‘lovchining mazmuniga ko‘ra murakkab hukmlarning quyidagi asosiy turlarini farq qilish mumkin: birlashtiruvchi, ayiruvchi, shartli, ekvivalent.