Hatol sa logic. Ano ang hatol, ang mga uri ng hatol

Ang paghatol ay isang anyo ng pag-iisip, magpatibay o tanggihan ang anumang bagay tungkol sa pag-iral ng mga bagay, ang mga link sa pagitan ng mga ito at ang kanilang mga ari-arian, pati na rin ang relasyon sa pagitan ng mga bagay.

Mga halimbawa ng mga pahayag: "Ang Volga dumadaloy sa Caspian Sea," "KUNG Pushkin nagsulat ng tula "Ang Tansong mangangabayo", "Siberian tiger ay nakalista sa Red Book," at iba pa

Ang istraktura ng paghatol

Paghuhukom ay kinabibilangan ng mga sumusunod na sangkap: ang paksa, tambalan, at litid quantifier.

1. Paksa (lat subjektum -. «Kalakip») - na, tulad ng nakasaad sa mga hatol, na sakop nito ( «S»).
2. Ang panaguri (Latin praedicatum -. «Said") - isang salamin ng object tag, kung ano ang sinabi sa paksa ng paghuhukom ( "P").
3. Bundle - ang ratio sa pagitan ng paksa ( «S») at panaguri ( "P"). Tinutukoy ang presence / kawalan ng paksa ng isang ari-arian na ipinahiwatig bilang isang tambalan. Siguro ay nagpapahiwatig, at ito ay ipinapahiwatig ng isang "dash" o mga salitang "ng" ( "ay hindi"), "Wala", "mayroon", "substansiya", at iba pa.
4. Quantifier (quantifier salita) ay tumutukoy sa saklaw ng konsepto, na kung saan ang paksa ng paghuhukom. Ito ay nakatayo sa harap ng paksa, ngunit maaari itong ring maging absent sa paghatol. Naitala sa pamamagitan ng mga salita tulad ng "lahat", "marami", "some", "hindi", "no", at iba pa.

Tunay at huwad na pahayag

Hatol ko'y totoo sa kaso kung saan may ay anumang indikasyon, ang mga katangian at mga ugnayan ng mga item inaprubahan / tinanggihan sa kahatulan, totoo. Halimbawa: "Ang lahat ng mga swallows - ibon", "9 higit sa 2" at iba pa ..

Kung ang pangungusap ay nilalaman sa paghatol ay hindi totoo, kami ay pagharap sa isang maling panukala 'ang Linggo revolves sa paligid ng Earth, "" Ang isang kilo ng bakal mas mabigat kaysa sa isang kilo ng bulak "at iba pang karapatan paghatol ay ang batayan ng tamang pagdadahilan ..

Gayunpaman, bilang karagdagan sa mga dalawang-nagkakahalaga logic, kung saan paghatol ay maaaring alinman true o false, mayroon ding isang multi-dimensional logic. Ayon sa mga tuntunin nito, ang paghatol ay maaaring nananatiling hindi sigurado. Lalo na ito alalahanin ang kinabukasan ng mga indibidwal na hatol, "Bukas ang mangyayari / ay hindi mangyayari sa isang hukbong-dagat labanan" (Aristotle, "Sa pagbibigay kahulugan"). Kung ipinapalagay namin na ito ay isang tunay na panukala, ang dagat labanan bukas ay hindi maaaring mangyari. Samakatuwid, ito ay kinakailangan upang gawin itong mangyari. O vice versa: nagke-claim na ang paghatol sa kasalukuyan sandali ay hindi totoo, kami kaya gawin ang mga kinakailangang hindi ikapangyayari ng bukas dagat labanan.

Hatol sa uri ng pahayag

Bilang ay kilala, ang uri ng mga pahayag tatlong mga uri ng pangungusap: paturol, pagkabalisa at pagtatanong. Halimbawa, ang pangungusap "Naaalala ko ang isang kahanga-hangang sandali" ay tumutukoy sa uri ng salaysay. Ito ay ipinapayong upang magmungkahi na ang naturang hatol ay din salaysay. Ito ay naglalaman ng tiyak na impormasyon, ayon sa isang partikular na kaganapan.

Kaugnay nito, ang mga salitang pananong pangungusap naglalaman ng isang katanungan, kumuha ng isang sagot sa: "Ano ang magiging kinabukasan para sa akin," Kasabay nito sinasabi nito wala at hindi tanggihan. Alinsunod dito, ang claim na ang naturang hatol ay isang tanong nang hindi tama. Patanong na pangungusap, sa prinsipyo, ay hindi naglalaman ng anumang paghatol dahil ang tanong ay hindi maaaring differentiated sa ang batayan ng katotohanan / kasinungalingan.

Insentibo uri ng pangungusap ay binuo sa kaso kung saan may ilang mga insentibo upang aksyon, humiling ng isang ban: ". Bumangon ka, Oh Propeta, at ang vid, at dumalo sa" Na patungkol sa paghatol, sa opinyon ng ilang mga mananaliksik, sila ay hindi na nilalaman sa mga panukala ng ganitong uri. Ang iba ay naniniwala na ito ay isang iba't ibang mga modal hatol.

kalidad paghatol

Sa mga tuntunin ng kalidad, paghatol ay maaaring maging alinman sa positibong (S ay P), at negatibong (S ay hindi P). Sa kaso ng positibong paghatol, sa pamamagitan ng subject predicate naka-attach sa isang tiyak na ari-arian (-wa). Halimbawa: ". Leonardo da Vinci - Italyano pintor, arkitekto, iskultor, siyentipiko, naturalista at imbentor at writer, ang pinakamalaking kinatawan ng Renaissance art"

Sa negatibong paghatol, sa kabilang banda, ang ari-arian ay nakuha ang layo mula sa paksang: ". Teorya ng 25th frame ng James Vicary Wala pang-eksperimentong confirmation"

nabibilang na paglalarawan

Hatol sa logic maaaring maging pangkaraniwan (na may kaugnayan sa lahat ng mga bagay na ito ng klase), pribadong (ang ilan sa mga ito) at ang yunit (kapag pakikipag-usap tungkol sa paksa, diyan ay isa lamang). Halimbawa, maaari itong Nagtalo na ang naturang panukala bilang "Sa gabi lahat ng pusa ay kulay-abo" ay tumutukoy sa pangkalahatang hitsura, dahil ito ay nakakaapekto sa lahat ng mga miyembro ng pusa (ang paksa ng paghuhukom). Pag-apruba ng "Ang ilang mga ahas ay hindi makamandag na" - isang halimbawa ng mga pribadong paghatol. Kaugnay nito, ang paghuhukom "Wonderful Dnieper sa tahimik na panahon" ay isang yunit, dahil kami ay pakikipag-usap tungkol sa isang partikular na ilog, umiiral sa isang solong form.

Simple at kumplikadong mga paghatol

Depende sa istraktura, paghatol ay maging mula sa isang uri ng simple o kumplikadong. Istraktura simpleng paghatol ay may kasamang dalawang interconnected concepts (SP): «Book - isang mapagkukunan ng kaalaman". Mayroon ding mga hatol na may isang konsepto - kapag ang ikalawang lamang nilalayong: "Dumidilim» (P).

Kumplikado form ay binuo sa pamamagitan ng pagsali ng ilang mga simpleng paghatol.

Pag-uuri ng mga simpleng mga paghatol

Simple hatol sa logic ay maaaring sa mga sumusunod na form: attributive, paghatol na may relasyon, existential, modal.

Attribute (ari-arian-paghuhukom) na ipinadala para sa pag-apruba / pagtanggi ng paksa sa mga tiyak na mga ari-arian (katangian) na gawain. Ang mga kahatulan ay nangasa katergoryang form at hindi questioned, "ang mammalian nervous system ay binubuo ng utak ng utak, utak ng galugod at papalabas na daanan kabastusan."

Sa hatol na may paggalang sa mga tiyak na mga relasyon sa pagitan ng mga bagay. Sila ay maaaring magkaroon ng isang spatio-sentido konteksto, pananahilan, atbp Halimbawa :. "Lumang kaibigan mas mahusay kaysa sa dalawang bagong", "Hydrogen mas magaan carbon dioxide sa pamamagitan ng 22 beses."

Existential paghatol - ito badya ng pag-iral / nonexistence ng paksa (parehong materyal at perpekto): "Walang propeta sa kanyang sariling bansa", "Ang Buwan ay isang satellite ng Earth."

Modal proposisyong - isang anyo ng pag-apruba, na kasama ang pagkakaroon ng ilang mga modal operator (Kailangan magandang / masamang, pinatunayan kilala / hindi kilala, ito ay ipinagbabawal, sa tingin ko, at iba pa.). Halimbawa:

• "Russia ay kailangang magsagawa ng edukasyon reporma" (alethic modaliti - posibilidad na ito, pangangailangan ng isang bagay).
• "Ang bawat tao'y may karapatan sa kapanatagan ng sarili" (deontic modaliti - ang moral norms ng panlipunang pag-uugali).
• "Huwag mong pabayaan ng estado ari-arian ay humantong sa pagkawala nito" (axiologic modaliti - may kaugnayan sa mga materyal at moral na mga halaga).
• "Naniniwala kami sa iyong kawalan ng kasalanan" (epistemic modaliti - ang pagiging maaasahan ng kaalaman).

Complex hatol at ang mga uri ng mga lohikal na pang-ugnay

Bilang na nabanggit, ang complex hatol ay binubuo ng ilang mga simpleng. Bilang ang lohikal na koneksyon sa pagitan ng mga ito ay mga naturang pamamaraan bilang:

• Kasabay (a ʌ b - pagkonekta hatol). Hatol-conjuncts ay may isang bungkos ng "at", "Pagpapatupad ng mga karapatan at mga kalayaan ng tao at mamamayan ay hindi dapat labagin ang mga karapatan at mga kalayaan ng iba."
• Pagtanggal (AVB - naghahati hatol). Bilang ang bumubuo elemento ng paghatol-clause ay ginagamit bilang isang panali - kasabay ng "o". Halimbawa: "Ang nagsasakdal ay may karapatan na taasan o babaan ang laki ng mga claim."
• Ang implikasyon (a → b - paghuhukom-effect). Kung pag-post ay inilalaan sa istraktura kumplikado paghatol at dahil dito, maaari itong Nagtalo na ang naturang hatol nauugnay sa implicative. Bilang ang tagapagbalat ng aklat na ginagamit sa anyo ng mga asosasyon tulad ng "kung ... pagkatapos ay". Halimbawa: "Kung pamamagitan ng konduktor na makaligtaan ang electric kasalukuyang, ang wire Heats up," "Gusto mo bang maging masaya - ay magiging masaya".
• Pagpareho (a ≡ b - magkatulad na paghatol). Ito ay tumatagal ng lugar sa kaso kung saan ang mga halaga ng a at b ay ang parehong (alinman sa parehong totoo o pareho false): "Ang tao ay nilikha para sa kaligayahan, at parang ibon upang lumipad."
• Pagkakaila (¬a, ā - hukumang-pagbabaligtad). Ang bawat mapagkukunan ay kaugnay sa pahayag compound pahayag na denies ang orihinal. Sa pamamagitan ng paggamit ng "hindi" grupo. Alinsunod dito, kung ang orihinal na pahayag tulad ng sumusunod: "bull reacts sa isang pulang liwanag," (a) - ang pagtanggi ay tunog tulad ng: "Ang toro ay hindi tumugon sa red light" (¬A).