Hukm tafakkur shakli sifatida. Hukm predmetga ma’lum bir xossaning, munosabatning xosligi yoki xos emasligini ifodalovchi tafakkur shaklidir.
Hukmning asosiy vazifasi predmet bilan uning xususiyati, predmetlar o‘rtasidagi munosabatlarni ko‘rsatishdir. Ana shuning uchun ham u doimo tasdiq yoki inkor shakldagi fikrdan iborat bo‘ladi. Fikr yuritish jarayonida biz predmet va hodisalarning oddiy, tashqi xususiyatlari bilan birga ularning ichki, zaruriy bog‘lanishlarini, munosabatlarini bilib boramiz. Predmet va hodisalarning xususiyatlarini ketma-ket o‘rganib, ular haqida turli abstraksiyalar hosil qilamiz. Bu abstraksiyalar hukmlar yordamida ifodalanadi. Bilimlarimiz turlicha bo‘lgani uchun, ularni ifodalaydigan hukmlar ham har xil bo‘ladi. Ba’zi hukmlarda aniq, tekshirilgan bilimlar ifodalansa, boshqalarida xususiyatning predmetga xosligi taxmin qilinadi, ya’ni noanik bilimlar ifodalanadi.
Hukmlar nisbatan tugal fikrdir. Unda konkret predmet bilan uning konkret belgisi haqida bilim ifoda qilingan buladi.
Hukmlar voqelikka mos kelish darajasiga ko‘ra chin, xato va noaniq (ehtimol, taxminiy) bo‘ladi. Ob’ektiv voqelikka mos kelgan, uni to‘g‘ri ifodalagan hukmlar chin, mos kelmaganlari xato bo‘ladi. Ayni vaktda chinligini ham, xatoligini ham aniqlab bo‘lmaydigan hukmlar — noaniq hukmlar mavjuddir.
Hukmlar tilda gaplar orqali ifodalanadi. Hukm mantiqiy kategoriya bo‘lsa, gan grammatik kategoriyadir. Hukmlar asosan darak gap orqali ifodalanadi. Faqat darak gaplardagina fikr tasdiq yoki inkor holda bo‘ladi.
Masalan, «Vaqt orkaga qaytmaydi», «Hayot-bu harakat» kabi gaplar hukmni ifoda qiladilar.
Hukm va uning turlari.Hukmlar tuzilishiga ko‘ra oddiy va murakkab bo‘ladi. Oddiy deb tarkibidan yana bir hukmni ajratib bo‘lmaydigan mulohazaga aytiladi. Tarkibidan ikki yoki undan ortiq hukmni ajratish mumkin bo‘lgan mulohazalarga murakkab hukm deyiladi. Masalan, «Mantiq ilmini o‘rganish to‘g‘ri fikrlash madaniyatini shakllantiradi» degan mulohaza oddiy hukmni ifodalaydi. «Mantiq ilmi tafakkur shakllari va qonunlarini o‘rganadi», degan mulohaza murakkab hukmdir. Bu mulohazaning tarkibi ikki qismdan: «Mantiq ilmi tafakkur shakllarini o‘rganadi» va «Mantiq ilmi tafakkur qonunlarini o‘rganadi», degan ikki oddiy hukmdan iborat.
Mulohaza (hukm) tarkibida mantiqiy ega va mantiqiy kesimni ajratib ko‘rsatish mumkin. Mantiqiy ega-sub’ekt (S) fikr qilinayotgan predmet va hodisani bildiradi. Mantiqiy kesim-predikat (R) predmetga xos xususiyatni, munosabatni bildiradi. Predikatda ifodalangan bilimlar hisobiga sub’ekt haqidagi tasavvur boyitiladi. Hukmning sub’ekt va predikati uning terminlari deb ataladi.
Hukmning uchinchi zaruriy elementi mantiqiy bog‘lamadir.U sub’ekt va predikatni bir-biri bilan bog‘laydi, natijada hukm hosil bo‘ladi. Oddiy katiy hukmning formulasi quyidagicha yoziladi: S-P.
Oddiy hukmlar sifati va mikdoriga ko‘ra turlarga bulinadi. Sifatiga ko‘ra tasdiq va inkor hukmlar farqlanadi. Hukmning sifatini mantiqiy bog‘lama belgilaydi. Tasdiq hukmlarda belgining predmetga xosligi, inkor hukmlarda, aksincha, xos emasligi ko‘rsatiladi. Masalan, «A.Oripov O‘zbekiston Respublikasi Madhiyasining muallifidir»-tasdiq hukm, «Matematika ijtimoiy fan emas»-inkor hukm. Mikdoriga ko‘ra oddiy hukmlar yakka, umumiy va juz’iy hukmlarga bo‘linadi. Bunda sub’ektda ifodalangan predmetlarning soni, ya’ni uning hajmidan kelib chiqiladi.
Yakka hukmlarda birorta belgining predmetga xosligi yoki xos emasligi haqida fikr bildiriladi. Masalan: «O‘zbekiston Respublikasi mustaqil davlatdir», «Axmedov tarixchi emas».
Umumiy hukmlarda birorta belgining yakka predmetlar sinfining hammasiga yoki undagi har bir predmetga taalluqli yoki taalluqli emasligi haqida fikr bayon qilinadi. Masalan: «Har bir inson baxtli bo‘lishni xohlaydi», va «Hech bir aqlli odam vaqtini behuda sarflamaydi». Juz’iy hukmlarda birorta belgining predmetlar to‘plamining bir qismiga xos yoki xos emasligi haqida fikr bildiriladi. Masalan: «Ba’zi faylasuflar notiqdir». «Ko‘pchilik talabalar dangasa emas». Juz’iy hukmlarda «ba’zi» so‘zi «hech bulmasa bittasi, balki hammasi» degan ma’noda qo‘llaniladi. Shunga ko‘ra «Ba’zi toshlar tirik mavjudot emas», degan hukm chin bo‘ladi, chunki hech bir tosh tirik mavjudot emas.
Ma’lum ma’noda yakka hukmlarni umumiy hukmlar bilan tenglashtirish mumkin. Chunki har ikki hukmda ham to‘plamdagi predmetlarning har biriga nimadir taalluqli yoki taalluqli emas, deb ko‘rsatiladi. Yakka hukmlarda esa bu to‘plam birgina predmetdan iborat bo‘ladi.
Mulohazalarning to‘g‘ri yoki noto‘g‘riligini aniqlashda va ba’zi boshqa holatlarda oddiy hukmlarning miqdor va sifati bo‘yicha birlashgan klassifikatsiya (asosiy turlari) dan foydalaniladi. Ular quyidagilardan iborat:
1. Umumiy tasdiq hukmlar. Ular bir vaqtning o‘zida ham umumiy, ham tasdiq bo‘lgan fikrni ifodalaydi. Masalan, «Hamma talabalar mantiq ilmini o‘rganadilar». Bu hukmlar lotin alifbosidagi A harfi bilan belgilanadi va «hamma S-Rdir» formulasi orqali ifodalanadi.
2. Umumiy inkor hukmlar bir vaqtning o‘zida ham umumiy, ham inkor bo‘lgan fikrni ifodalaydi. Masalan, «Hech bir ishbilarmon rejasiz ish yuritmaydi». Bu hukm “Hech bir S-P emas” formulasi orqali ifodalanadi va lotincha Ye harfi bilan belgilanadi.
3. Juz’iy tasdiq hukmlar bir vaqtning o‘zida ham juz’iy, ham tasdiq bo‘lgan fikrni ifodalaydi. Masalan, «Ba’zi talabalar mas’uliyatli». U lotincha I harfi bilan belgilanadi va «Ba’zi S-P dir» formulasi orqali ifodalanadi.
4. Juz’iy inkor hukm bir vaqtning o‘zida ham juz’iy, ham inkor bo‘lgan fikrni ifodalaydi. Masalan, «Ba’zi talabalar sport bilan shug‘ullanmaydilar». Uning formulasi «Ba’zi S-P emas» bo‘lib, lotincha O harfi bilan belgilanadi.
Oddiy hukmlardagi terminlar (S va R) tushunchalar orqali ifodalanganligi tufayli ularning hajmiga ko‘ra o‘zaro munosabatlarini aniqlash mumkin. Hukmlarda terminlar (S va R) to‘liq yoki to‘liqsiz hajmda olingan bo‘ladi. Termin to‘liq hajmda olinganda uning hajmi boshqa terminning hajmiga to‘liq mos bo‘ladi yoki mutlaqo mos bo‘lmaydi (ularning hajmi bir-birini istisno qiladi). Termin to‘liqsiz hajmda olingan bo‘lsa, unda uning hajmi boshqasining hajmiga hisman mos keladi yoki undan qisman istisno qilinadi. Oddiy hukmlarda terminlar hajmi quyidagicha bo‘ladi:
A - Umumiy tasdiq hukmlarning sub’ekti hamma vaqt to‘liq hajmda olingan bo‘ladi. Predikati esa ba’zan to‘liq, ba’zan to‘liqsiz hajmda bo‘ladi. Masalan: «Hamma insonlar tirik mavjudotdir».
Bu hukmning sub’ekti — «Inson», predikati — «Tirik mavjudot» tushunchasidir, «Hamma» -umumiylik kvantori. Bu hukmning sub’ekti to‘liq hajmda olingan, chunki unda hamma insonlar to‘g‘risida fikr bildirilgan va bu tushuncha «tirik mavjudot» tushunchasining hajmiga to‘liq kirishadi. Uning predikati to‘liq hajmda olinmagan, chunki unda tirik mavjudotlarning bir qismi-insonlar haqida fikr yuritiladi.
Umumiy tasdiq hukmlarning ba’zilarida S ham, R ham to‘la hajmda bo‘lishi mumkin. Masalan, «Hamma musulmonlar Islom diniga e’tiqod qiladilar»
2.E— Umumiy inkor hukmlarning sub’ekti ham, predikati ham to‘liq hajmda olingan bo‘ladi. Masalan, «Hech bir dindor e’tiqodsiz emas». Bu hukmda S — dindorlarni, R — e’tiqodsizlarni ifodalaydi, hech bir — umumiylik kvantoridir. Bunda har ikki terminning hajmi bir-birini istisno qiladi
3. I — Juz’iy tasdiq hukmlarning sub’ekti hamma vaqt to‘liqsiz hajmda olinadi, predikati esa ba’zan to‘liq ba’zan to‘liqsiz hajmda bo‘ladi. Masalan: «Ba’zi talabalar ingliz tilini biladi» hukmning terminlari quyidagicha: S — talabalar, R — ingliz tilini biladiganlar, ba’zi — mavjudlik kvantori. Bu hukmda S ham R ham to‘liqsiz hajmda olingan bo‘lib, har ikki terminning hajmi bir-biriga kisman mos keladi
4. O — Juz’iy inkor hukmlarning sub’ekti hamma vaqt to‘liqsiz hajmda, predikati esa to‘liq hajmda olinadi. Masalan, «Ba’zi yoshlar hunarmand emas». Bu hukmning terminlari S — yoshlar, R — hunarmand emaslar, ba’zi — mavjudlik kvantori. Hukmning sub’ekti to‘liq hajmda olinmagan, unda yoshlarning bir kismi haqida fikr yuritiladi, xolos. Hukmning predikati esa to‘liq hajmda olingan. Unda hunarmandlarning hammasi haqida fikr bildirilgan .
Yuqoridagi fikrlarni umumlashtirib aytish mumkinki, umumiy hukmlarning sub’ekti hamma vaqt to‘liq hajmda, juz’iy hukmlarning sub’ekti to‘liqsiz hajmda olinadi. Inkor hukmlarning predikati hamma vaqt to‘liq hajmda bo‘ladi. Tasdiq, hukmlarning predikati R Hukmlarda terminlar hajmini aniqlash hatiy sillogizmni to‘g‘ri tuzishda va bevosita xulosa chiqarishda muhim ahamiyatga ega.
Oddiy hukmlarda terminlar hajmini quyidagi sxema
orqali yaqqol ifodalash mumkin. Bunda «+» to‘liq hajmni,
«-» to‘liqsiz hajmni bildiradi.
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 qa’tiy qilib ko‘rsatiladi. Shuning uchun atributiv hukmlarni birorta predmetning sinfga kirishi (mansubligi) yoki kirmasligi (mansub emasligi) haqidagi hukm deb ta’riflasa bo‘ladi.
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 yetarli». Bu istisno qiluvchi hukmdir.