Paghahatol sa lohika

Ang paghuhukom ay isa sa mga anyo ng pag-iisip, nang walang kung saan, ang katalusan ay hindi maaaring mangyari. Ang mga paghuhukom ay nagpapahayag ng kaugnayan ng isang bagay at katangian, kinumpirma o itinatwa nila ang pagkakaroon ng katangiang ito sa isang bagay. Sa totoo lang, ito ang pag-iisip, ang anyo nito, na nagsasabi sa atin tungkol sa koneksyon ng mga bagay, at iyan ang dahilan kung bakit ang paghuhukom ay sumasakop sa isang espesyal na lugar sa lohika at ang pagtatayo ng mga analytical chains.

Mga katangian ng mga hatol

Bago tayo magpatuloy sa pag-uuri ng mga hatol sa lohika, kailangan nating makahanap ng isang malinaw na pagkakaiba sa pagitan ng paghatol at konsepto.

Ang konsepto - ay nagsasalita tungkol sa pagkakaroon ng isang bagay. Ang konsepto ay "araw", "gabi", "umaga", atbp. At ang paghuhukom ay laging naglalarawan ng pagkakaroon o kawalan ng mga katangian - "Maagang Umaga", "Malamig na Araw", "Tahimik na Gabi".

Ang mga paghuhukom ay laging ipinahayag sa anyo ng mga salaysay na pangungusap, bukod dito, mas maaga sa gramatika ang kakanyahan ng mga pangungusap ay tinatawag na paghatol. Ang isang pangungusap na nagpapahayag ng paghatol ay tinatawag na isang tanda, at ang kahulugan ng pangungusap ay isang kasinungalingan o isang katotohanan. Iyon ay, sa parehong simple at kumplikadong mga paghuhusga, isang malinaw na lohika ay nasusubaybayan: ang panukala ay tinanggihan o kinumpirma ang pagkakaroon ng isang katangian ng bagay.

Halimbawa, maaari nating sabihin na "Ang lahat ng mga planeta ng solar system ay umiikot sa paligid ng kanilang mga palakol," at maaari nating sabihin na "Walang planeta ng sistema ng solar ay walang pagbabago."

Mga uri ng hatol

Sa logic mayroong dalawang uri ng mga hatol - simple at kumplikado.

Ang simpleng mga hatol, na nahahati sa mga bahagi ay hindi maaaring isang lohikal na kahulugan, naglalaman lamang sila ng paghatol sa isang di-mapaghihiwalay na kabuuan. Halimbawa: "Ang matematika ay ang reyna ng agham". Ang simpleng pangungusap na ito ay nagpapahayag ng isang panukala. Kumplikadong mga uri ng mga hatol sa Ang ibig sabihin ng lohika ay maraming iba't ibang mga saloobin, binubuo sila ng mga kumbinasyon ng simple, simple + kumplikado, o isang hanay ng mga komplikadong hatol.

Halimbawa: Kung umuulan bukas, hindi kami pupunta sa labas ng bayan.

Ang pangunahing katangian ng isang komplikadong paghatol ay ang isa sa mga bahagi nito ay may iba't ibang kahulugan at hiwalay mula sa ikalawang bahagi ng pangungusap.

Mga komplikadong hatol at ang kanilang mga uri

Sa lohika, ang mga komplikadong hatol ay binubuo ng mga kumbinasyon ng mga simpleng hatol. Ang mga ito ay konektado sa lohikal na mga tanikala - mga konklusyon, implikasyon at pagkapantay. Sa simpleng salita, ang mga ito ay mga unyon "at", "o", "ngunit", "kung ... iyan".