Hukumu ni namna ya fikra inayothibitisha au kukataa jambo fulani kuhusu kuwepo kwa vitu, kuhusu miunganisho kati ya vitu hivyo na mali zao, na vilevile kuhusu mahusiano kati ya vitu.
Mifano ya hukumu: "Volga inapita kwenye Bahari ya Caspian", "A. S. Pushkin aliandika shairi "Mpanda farasi wa Bronze", "Tiger ya Ussuri imeorodheshwa katika Kitabu Nyekundu", nk.
Muundo wa hukumu
Hukumu inajumuisha vipengele vifuatavyo: mada, kiima, kiunganishi na kibainishi.
- Somo (lat. subjektum - "msingi") - kinachosemwa katika hukumu hii, mada yake ("S").
- Predicate (lat. praedicatum - "said") - kiakisi cha sifa ya mhusika, kile kinachosemwa kuhusu mada ya hukumu ("P").
- Kiungo ni uhusiano kati ya somo ("S") na kiima ("P"). Huamua uwepo / kutokuwepo kwa mada ya mali yoyote iliyoonyeshwa kwenye kiima. Inaweza kudokezwa na kuonyeshwa kwa ishara ya kistari au maneno “ni” (“si”), “inayo”, “ni”, “kiini”, n.k.
- Kikadiriaji (neno la kiidadi) huamua upeo wa dhana ambayo mada ya hukumu inahusika. Inasimama mbele ya somo, lakini pia inaweza kuwa haipo ndanihukumu. Inaonyeshwa na maneno kama vile "wote", "nyingi", "baadhi", "hapana", "hakuna", nk.
Hukumu za Kweli na za Uongo
Hukumu ni ya kweli wakati uwepo wa ishara, tabia na uhusiano wa vitu, vilivyothibitishwa / kukataliwa katika hukumu, vinalingana na ukweli. Kwa mfano: “Nyere wote ni ndege”, “9 ni zaidi ya 2”, n.k.
Kama kauli iliyomo katika hukumu si ya kweli, tunashughulika na hukumu ya uwongo: "Jua linaizunguka Dunia", "Kilo ya chuma ni nzito kuliko kilo ya pamba", nk. Hukumu sahihi huunda msingi wa hitimisho sahihi.
Hata hivyo, pamoja na mantiki yenye thamani mbili, ambapo hukumu inaweza kuwa ya kweli au ya uwongo, pia kuna mantiki ya pande nyingi. Kulingana na masharti yake, hukumu pia inaweza kuwa isiyo na kikomo. Hii ni kweli hasa kwa hukumu za siku zijazo: "Kesho kutakuwa na / haitatokea vita vya majini" (Aristotle, "Kwenye Ufafanuzi"). Ikiwa tunadhania kuwa hii ni hukumu ya kweli, basi vita vya majini haviwezi kushindwa kutokea kesho. Kwa hiyo, inahitaji kutokea. Au kinyume chake: kwa kudai kwamba hukumu hii kwa sasa ni ya uwongo, kwa hivyo tunalazimisha kutowezekana kwa vita vya kesho vya majini.
Hukumu kwa aina ya kauli
Kama unavyojua, kulingana na aina ya kauli, kuna aina tatu za sentensi: simulizi, motisha na kuuliza. Kwa mfano, sentensi "Nakumbuka wakati mzuri" inarejeleakwa aina ya simulizi. Ni busara kupendekeza kwamba hukumu kama hiyo pia itakuwa simulizi. Ina taarifa fulani, huripoti tukio fulani.
Kwa upande wake, sentensi ya kuuliza ina swali ambalo linamaanisha jibu: "Siku inayokuja inaniandalia nini?" Haisemi wala kukataa chochote. Kwa hivyo, madai kwamba hukumu kama hiyo ni ya kuuliza ni ya makosa. Sentensi ya kuuliza, kimsingi, haina hukumu, kwani swali haliwezi kutofautishwa kulingana na kanuni ya ukweli/uongo.
Aina ya sentensi za motisha huundwa wakati kuna msukumo fulani wa kutenda, ombi au katazo: "Simama, nabii, na uone, na usikilize." Ama hukumu, kwa mujibu wa baadhi ya watafiti, hazimo katika sentensi za aina hii. Wengine wanaamini kuwa tunazungumza kuhusu aina fulani ya maamuzi.
Ubora wa hukumu
Kwa mtazamo wa ubora, maamuzi yanaweza kuwa ya uthibitisho (S ni P) au hasi (S si P). Katika kesi ya pendekezo la uthibitisho, mali fulani imeunganishwa kwa somo kwa usaidizi wa kiima. Kwa mfano: "Leonardo da Vinci ni mchoraji wa Kiitaliano, mbunifu, mchongaji, mwanasayansi, mwanaasili, na vile vile mvumbuzi na mwandishi, mwakilishi mkubwa wa sanaa ya Renaissance."
Katika pendekezo hasi, kinyume chake, mali imetolewa kutoka kwa mada:uthibitisho wa majaribio."
Sifa za kiasi
Hukumu katika mantiki inaweza kuwa ya jumla (ikirejelea vitu vyote vya tabaka fulani), ya faragha (kwa baadhi yao) na ya umoja (inapokuja kwa kitu kilicho katika nakala moja). Kwa mfano, inaweza kubishaniwa kuwa hukumu kama vile "Paka wote huwa kijivu usiku" inaweza kuwa ya kawaida kwa sababu inaathiri paka wote (wahusika wa hukumu). Kauli "Nyoka wengine hawana sumu" ni mfano wa hukumu ya kibinafsi. Kwa upande wake, hukumu "The Dnieper ni ya ajabu katika hali ya hewa tulivu" ni moja tu, kwa kuwa tunazungumzia mto mmoja mahususi ambao upo kwa namna moja.
Hukumu rahisi na ngumu
Kulingana na muundo, hukumu inaweza kuwa ya aina rahisi au changamano. Muundo wa pendekezo rahisi ni pamoja na dhana mbili zinazohusiana (S-P): "Kitabu ni chanzo cha ujuzi." Pia kuna hukumu zenye dhana moja - wakati ya pili inapodokezwa tu: "Giza" (P).
Mfumo changamano huundwa kwa kuchanganya mapendekezo kadhaa rahisi.
Uainishaji wa hukumu rahisi
Hukumu rahisi katika mantiki zinaweza kuwa za aina zifuatazo: sifa, hukumu zenye mahusiano, kuwepo, modali.
Sifa (hukumu za mali) zinalenga kuthibitisha/kukataa kuwa kitu kina sifa fulani (sifa), shughuli. Hukumu hizi zina muundo wa kategoria na hazihojiwi: "Mfumo wa neva wa mamalia una ubongo, uti wa mgongo.ubongo na mishipa ya fahamu inayotoka."
Hukumu za uhusiano huzingatia uhusiano fulani kati ya vitu. Wanaweza kuwa na muktadha wa spatio-temporal, sababu, n.k. Kwa mfano: “Rafiki wa zamani ni bora kuliko wawili wapya”, “Hidrojeni ni nyepesi mara 22 kuliko dioksidi kaboni.”
Hukumu ya kuwepo ni kauli ya kuwepo / kutokuwepo kwa kitu (vifaa na vyema): "Hakuna nabii katika nchi yake", "Mwezi ni satelaiti ya Dunia."
Pendekezo la mtindo ni aina ya kauli iliyo na opereta fulani (lazima, nzuri/mbaya; iliyothibitishwa, inayojulikana/haijulikani, imekatazwa, amini, n.k.). Kwa mfano:
- "Nchini Urusi ni muhimu kufanya mageuzi ya kielimu" (tabia ya kielimu - uwezekano, hitaji la kitu).
- "Kila mtu ana haki ya uadilifu binafsi" (mfumo wa deontic - viwango vya maadili vya tabia ya kijamii).
- "Mtazamo wa kutokujali kwa mali ya serikali husababisha hasara yake" (mtazamo wa kiaksiolojia - mtazamo kwa maadili ya nyenzo na kiroho).
- "Tunaamini katika kutokuwa na hatia" (mtindo wa epistemic - kiwango cha kutegemewa kwa maarifa).
Hukumu changamano na aina za viunganishi vya kimantiki
Kama ilivyobainishwa tayari, hukumu changamano zinajumuisha chache rahisi. Viungo vya kimantiki kati yao ni hila kama vile:
- Kiunganishi (na ʌ b ni mapendekezo yanayounganisha). Hukumu zilizounganishwa zina rundo la "na":"Utekelezaji wa haki na uhuru wa binadamu na kiraia lazima usikiuke haki na uhuru wa wengine."
- Mgawanyiko (a v b - hukumu zisizojumuisha). Hukumu zilizotenganishwa hutumiwa kama vipengele vya msingi, na muungano "au" hutumika kama kiungo. Kwa mfano: "Mlalamishi ana haki ya kuongeza au kupunguza ukubwa wa madai."
- Kidokezo (a → b - matokeo ya hukumu). Iwapo msingi na matokeo yatabainishwa katika muundo wa hukumu changamano, basi inaweza kubishaniwa kuwa hukumu hiyo ni ya zile zinazohusika. Kama kiungo katika fomu hii, vyama vya wafanyakazi kama vile "ikiwa … basi" vinatumika. Kwa mfano: “Mkondo wa umeme ukipitishwa kupitia kondakta, kondakta atapata joto”, “Ikiwa unataka kuwa na furaha, iwe hivyo.”
- Sawa (a ≡ b - hukumu zinazofanana). Hutokea wakati a na b ni sawa (zote ni kweli au zote mbili ni za uwongo): "Mwanadamu anafanywa kuwa na furaha, kama ndege anavyofanywa kuruka."
- Kukanusha (¬a, ā – ugeuzaji hukumu). Kila kauli asilia inahusishwa na kauli ambatani inayokanusha ile asilia. Inafanywa kwa msaada wa kundi la "sio". Ipasavyo, ikiwa kauli asilia inaonekana hivi: "Fahali humenyuka kwa mwanga mwekundu" (a) - basi kukanusha kutasikika kama: "Fahali HAITUMIKI kwa mwanga mwekundu" (¬a).
