Hukm - bu ob'ektlarning mavjudligi, ular va ularning xususiyatlari o'rtasidagi bog'lanishlar, shuningdek, ob'ektlar o'rtasidagi munosabatlar haqida biror narsani tasdiqlovchi yoki rad etadigan fikrlash shakli.
Hukmlarga misollar: “Volga Kaspiy dengiziga quyiladi”, “A. S. Pushkin "Bronza otliq", "Ussuri yo'lbarsi Qizil kitobga kiritilgan" she'rini yozgan.
Hukmning tuzilishi
Hukm quyidagi elementlarni oʻz ichiga oladi: mavzu, predikat, bogʻlovchi va miqdor.
- Mavzu (lot. subjektum - "zamin") - bu hukmda nima deyilgan, uning predmeti ("S").
- Predikat (lot. praedicatum - "dedi") - sub'ekt atributining aksi, hukm predmeti haqida aytilgan narsalar ("P").
- Link - bu mavzu ("S") va predikat ("P") o'rtasidagi munosabat. Predikatda ifodalangan har qanday xususiyat sub'ektining mavjudligini / yo'qligini aniqlaydi. U chiziqcha belgisi yoki “bor” (“yo‘q”), “bor”, “bor”, “mohiyat” va h.k. so‘zlari bilan nazarda tutilishi ham, ko‘rsatilishi ham mumkin.
- Kontivator (miqdor so’zi) hukm predmeti tegishli bo’lgan tushuncha doirasini belgilaydi. Mavzu oldida turadi, lekin u ham bo'lmasligi mumkinhukm. "Hammasi", "ko'p", "ba'zi", "hech", "hech" kabi so'zlar bilan ko'rsatilgan.
Toʻgʻri va yolgʻon hukmlar
Hukmda tasdiqlangan/inkor etilgan narsalarning belgilari, xususiyatlari va munosabatlarining mavjudligi haqiqatga mos kelganda hukm haqiqiy hisoblanadi. Masalan: "Barcha qaldirg'ochlar qushlar", "9 2 dan ortiq" va hokazo.
Agar hukmdagi gaplar toʻgʻri boʻlmasa, biz yolgʻon hukm bilan shugʻullanamiz: “Quyosh Yer atrofida aylanadi”, “Bir kilogramm temir bir kilogramm paxtadan ogʻirroq” va hokazo. To'g'ri mulohazalar to'g'ri xulosalar uchun asos bo'ladi.
Biroq, hukm toʻgʻri yoki yolgʻon boʻlishi mumkin boʻlgan ikki qiymatli mantiqdan tashqari, koʻp oʻlchovli mantiq ham mavjud. Uning shartlariga ko'ra, hukm ham muddatsiz bo'lishi mumkin. Bu, ayniqsa, kelajakdagi yagona hukmlar uchun to'g'ri keladi: "Ertaga dengiz jangi bo'ladi / bo'lmaydi" (Aristotel, "Tarbir haqida"). Agar biz buni haqiqiy hukm deb hisoblasak, ertaga dengiz jangi bo'lmaydi. Shuning uchun, bu sodir bo'lishi kerak. Yoki aksincha: bu hukm hozirda yolg‘on ekanligini ta’kidlab, biz ertangi dengiz jangining imkonsizligini talab qilamiz.
Bayonot turi boʻyicha hukmlar
Ma’lumki, gap turiga ko’ra gaplar uch xil bo’ladi: bayon, undov va so’roq. Masalan, “Ajoyib bir lahzani eslayman” jumlasiga tegishlihikoya turiga. Bunday hukm ham rivoyat bo'lishini taxmin qilish o'rinli. Unda ma'lum ma'lumotlar mavjud, ma'lum bir voqea haqida xabar beradi.
Oʻz navbatida, soʻroq gapda quyidagi javobni bildiruvchi savol bor: “Kelgusi kun men uchun nima tayyorlaydi?” U hech narsani bildirmaydi va inkor etmaydi. Shunga ko'ra, bunday hukm so'roqdir, degan da'vo noto'g'ri. So'roq gap, qoida tariqasida, hukmni o'z ichiga olmaydi, chunki savolni haqiqat/yolg'on tamoyiliga ko'ra farqlab bo'lmaydi.
Harakatga ma’lum turtki, iltimos yoki taqiq bo’lganda: “O’rningdan tur, payg’ambar, ko’r, eshit” degan gaplarning rag’batlantiruvchi turi tuziladi. Hukmlarga kelsak, ba'zi tadqiqotchilarning fikriga ko'ra, ular ushbu turdagi jumlalarda mavjud emas. Boshqalar biz modal hukmlar haqida ketayotganiga ishonishadi.
Hukm sifati
Sifat nuqtai nazaridan, hukmlar tasdiqlovchi (S - P) yoki salbiy (S - P emas) bo'lishi mumkin. Tasdiqlovchi gapda ma’lum xossa(lar) predikat yordamida predmetga biriktiriladi. Masalan: "Leonardo da Vinchi - italyan rassomi, me'mori, hayk altaroshi, olimi, tabiatshunosi, shuningdek ixtirochi va yozuvchi, Uyg'onish davri san'atining eng yirik vakili."
Salbiy taklifda, aksincha, mulk sub'ektdan chiqariladi:eksperimental tasdiqlash.”
Miqdoriy xususiyatlar
Mantiqdagi hukmlar umumiy (ma'lum sinfning barcha ob'ektlariga taalluqli), xususiy (ularning ba'zilariga) va birlik (yagona nusxada mavjud bo'lgan ob'ekt haqida gap ketganda) bo'lishi mumkin. Misol uchun, "Barcha mushuklar tunda kulrang" kabi hukm umumiy bo'lishi mumkin, chunki u barcha mushuklarga ta'sir qiladi (hukm mavzusi). "Ba'zi ilonlar zaharli emas" iborasi xususiy hukmning namunasidir. O'z navbatida, "Dnepr sokin ob-havoda ajoyibdir" hukmi bitta, chunki biz bitta shaklda mavjud bo'lgan o'ziga xos daryo haqida gapiramiz.
Oddiy va murakkab mulohazalar
Tuzilishiga qarab, hukm oddiy yoki murakkab turdagi bo'lishi mumkin. Oddiy taklifning tuzilishi ikkita o'zaro bog'liq tushunchani (S-P) o'z ichiga oladi: "Kitob - bilim manbai". Bitta tushunchaga ega bo'lgan hukmlar ham mavjud - ikkinchisi faqat nazarda tutilganda: "Zulmat" (P).
Murakkab shakl bir nechta oddiy takliflarni birlashtirish orqali hosil qilinadi.
Oddiy mulohazalar tasnifi
Mantiqdagi oddiy mulohazalar quyidagi turdagi boʻlishi mumkin: atributiv, munosabatlarga asoslangan mulohazalar, ekzistensial, modal.
Atributiv (mulk mulohazalari) ob'ektning ma'lum xossalari (atributlari), faoliyati borligini tasdiqlash/inkor etishga qaratilgan. Bu hukmlar toifali shaklga ega va shubhalanmaydi: “Sut emizuvchilarning asab tizimi miya, orqa miyadan iborat.miya va chiquvchi nerv yo'llari."
Munosabatli mulohazalar ob'ektlar orasidagi muayyan munosabatlarni ko'rib chiqadi. Ular fazo-vaqtinchalik kontekstga, sabab-oqibatga va hokazolarga ega bo'lishi mumkin. Masalan: "Eski do'st ikkita yangi do'stdan afzal", "Vodorod karbonat angidriddan 22 baravar engilroq."
Ekzistensial hukm - ob'ektning (ham moddiy, ham ideal) mavjudligi / yo'qligi haqidagi bayonot: "O'z yurtida payg'ambar yo'q", "Oy Yerning sun'iy yo'ldoshidir".
Modal taklif - ma'lum modal operatorni (zarur, yaxshi/yomon; isbotlangan, ma'lum/noma'lum, taqiqlangan, ishonish va hokazo) o'z ichiga olgan gap shakli. Masalan:
- "Rossiyada ta'lim islohotini o'tkazish kerak" (aletik modallik - biror narsaning imkoniyati, ehtiyoji).
- "Har bir inson shaxsiy daxlsizlik huquqiga ega" (deontik modallik - ijtimoiy xulq-atvorning axloqiy me'yorlari).
- “Davlat mulkiga beparvo munosabat uni yoʻqotishga olib keladi” (aksiologik modallik – moddiy va maʼnaviy qadriyatlarga munosabat).
- "Biz sizning aybsizligingizga ishonamiz" (gnosemik modallik - bilimning ishonchlilik darajasi).
Murakkab mulohazalar va mantiqiy bogʻlovchilar turlari
Yuqorida aytib o'tilganidek, murakkab hukmlar bir nechta oddiylardan iborat. Ularning orasidagi mantiqiy aloqalar quyidagi hiylalardir:
- Bog’lovchi (va ʌ b bog’lovchi takliflar). Birlashtiruvchi hukmlarda bir nechta "va" mavjud:“Inson va fuqaroning huquq va erkinliklarini amalga oshirish boshqalarning huquq va erkinliklarini buzmasligi kerak.”
- Dizyunksiya (a v b – ajratuvchi hukmlar). Tarkibiy elementlar sifatida ajratilgan mulohazalar, bog'lovchi sifatida esa "yoki" birlashmasi ishlatiladi. Masalan: "Da'vogar da'volar hajmini oshirish yoki kamaytirishga haqli."
- Imlilik (a → b – hukm-oqibat). Murakkab hukm tarkibida asos va oqibat farqlansa, bunday hukm implikativlarga tegishli ekanligini ta’kidlash mumkin. Ushbu shakldagi havola sifatida "agar … keyin" kabi birlashmalardan foydalaniladi. Masalan: "Agar o'tkazgichdan elektr toki o'tkazilsa, o'tkazgich qiziydi", "Baxtli bo'lishni istasangiz, shunday bo'ling."
- Ekvivalent (a ≡ b – bir xil hukmlar). a va b bir xil bo'lganda (ikkalasi ham to'g'ri yoki ikkalasi ham yolg'on) sodir bo'ladi: "Inson qush uchish uchun yaratilgani kabi baxtli bo'lish uchun yaratilgan."
- Inkor (¬a, ā – hukm-inversiya). Har bir asl gap aslini inkor etuvchi qo‘shma gap bilan bog‘lanadi. Bu "yo'q" dastasi yordamida amalga oshiriladi. Shunga ko'ra, agar asl bayonot quyidagicha ko'rinsa: "Buqa qizil nurga ta'sir qiladi" (a) - u holda rad etish quyidagicha eshitiladi: "Buqa qizil chiroqqa REAKSIYA YO'Q" (¬a).
