Rozsudky v logike. Čo je to úsudok, druhy rozsudkov

Rozsudok je forma myslenia, potvrdiť alebo poprieť nič o existencii objektov, väzby medzi nimi a ich vlastnosti, rovnako ako vzťah medzi objektmi.

Príklady výrokov: "Volga vlieva do Kaspického mora", "AS Puškin napísal báseň "bronzu Jazdec", "Tiger ussurijský je uvedený v Červenej knihe", atď

štruktúra rozsudku

Rozsudok obsahuje nasledujúce prvky: podmet, prísudok a väzov kvantifikátor.

1. Predmet (lat subjektom -. «Podkladové») - to, ako je uvedené v rozsudku, jej predmet ( «S»).
2. Predikát (latinsky praedicatum -. «Said") - odraz tagu object, čo sa hovorí na túto tému rozsudku (, P ').
3. Bundle - pomer medzi objektom ( «S») a predikátu ( "P"). Určuje prítomnosť / neprítomnosť predmetu vlastnosti vyjadrené ako predikát. Možno to znamená, a je indikovaný "pomlčka" alebo slová "a" ( "nie je"), "má", "má", "látky", a iní.
4. Quantifier (kvantifikátor slovo) definuje rozsah koncepcie, na ktoré je predmetom rozhodnutia. To stojí v prednej časti objektu, ale môže to byť tiež prítomný v úsudku. Označované výrazy ako "všetky", "veľa", "nejaký", "nie", "nie", a iní.

Pravdivé a nepravdivé výroky

Rozsudok je pravda v prípade, keď sa vyskytne akýkoľvek náznak, vlastnosti a vzťahy predmetov schválených / zamietnutých v rozhodnutí, pravdivý. Napríklad: "Všetky Lastovičky - vtáky", "9 viac ako 2" a tak ďalej ..

V prípade, že tvrdenie je obsiahnuté v rozsudku nie je pravda, máme čo do činenia s falošným tvrdením, Slnko obieha okolo Země,'kilo železa ťažšie ako kilogramu bavlny "a druhú pravú úsudku sú základom pre správne uvažovanie ..

Avšak, okrem dvoch oceňujú logiky, v ktorom môže byť rozsudok buď pravdivý alebo nepravdivý, tam je tiež multi-dimenzionální logické. Podľa jeho vyjadrenia by rozhodnutie mohlo byť stále neistý. Najmä sa jedná o budúcnosť jednotlivých súdov, "Zajtra sa stane / nestane námornú bitku" (Aristoteles "O výklade"). Ak budeme predpokladať, že to je pravda tvrdenie, môže zajtra námorná bitka nestalo. Z tohto dôvodu je nutné, aby sa to stalo. Alebo naopak: tvrdí, že rozsudok v prítomnom okamihu je nepravdivé, budeme teda robiť potrebné nemožnosť zajtrajší námornej bitke.

Úsudky o type výpisu

Ako je známe, typ vyhlásenia sú tri druhy viet: deklaratívny, agitácia a dopytovania. Napríklad veta "Spomínam si nádherný okamih" sa odkazuje na typ príbehu. Je vhodné, aby naznačujú, že takéto rozhodnutie by tiež rozprávanie. Obsahuje konkrétne informácie, podľa konkrétnej udalosti.

Na druhej strane, opytovacie veta obsahuje otázku, dostať odpoveď: "Čo prinesie budúcnosť pre mňa," Zároveň to nič nehovorí a nepopiera. V dôsledku toho tvrdenie, že takéto rozhodnutie je otázka nesprávne. Opytovacie veta v zásade neobsahuje žiadne rozhodnutie, pretože táto otázka nemôže byť rozlíšená na základe pravdy / falše.

Typ stimul vety sa tvoria v prípade, že tam je nejaký podnet k akcii, požiadať o zákaze: "povstaň, ó prorokovi, a vid, a starať sa o" Vzhľadom na rozsudok, podľa názoru niektorých vedcov, ktoré nie sú obsiahnuté v návrhoch tohto typu. Iní veria, že to je celý rad modálnych rozsudkov.

kvalitný úsudok

Čo sa týka kvality, rozhodnutie môže byť buď kladná (S P) a negatívne (S nie je P). V prípade kladnej rozhodnutí, cez výhradou predikát pripojené na určité vlastnosti (-WA). Napríklad: "Leonardo da Vinci - taliansky maliar, architekt, sochár, vedec, prírodovedec a vynálezca a spisovateľa, najväčší predstaviteľ renesančného umenia"

V negatívnom rozhodnutí, na druhú stranu, je vlastnosť prevážaného od objektu: "Teória 25. snímke Jamesa VICAR nemá experimentálne potvrdenie"

kvantitatívne charakterizácia

Rozsudky logiky môžu byť časté (týkajúce sa všetkých objektov tejto triedy), súkromná (niektoré z nich) a jednotka (keď hovorí o tejto téme, je tam len jeden). Napríklad, to môže byť argumentoval, že takéto tvrdenia ako "V noci všetky mačky sú sivé" bude odkazovať na celkový vzhľad, pretože to má vplyv na všetkých členov mačky (predmet rozsudku). Schválenie "Niektorí hady nie sú jedovaté" - príklad súkromného úsudku. Na druhej strane, rozsudok "Wonderful Dneper v bezvetrí" je jednotka, pretože hovoríme o jednej konkrétnej rieky, existujúce v jednom formulári.

Jednoduché a zložité úsudky

V závislosti od štruktúry, rozhodnutie môže byť takého typu jednoduché alebo zložité. Štruktúra jednoduché rozhodnutie zahŕňa dve prepojené koncepty (SP): «kniha - zdroj poznania". Existujú tiež rozsudky s jedným pojmom - ak je na druhom mieste znamenalo: "To sa stmievalo» (P).

Zložitý tvar je tvorený spojením niekoľkých jednoduché rozhodnutie.

Klasifikácia jednoduchých rozsudkov

Jednoduché rozsudky logiky môžu byť z týchto foriem: prívlastkových, rozsudok sa vzťahy, existenciálnu, modal.

Atribút (vlastnosť, rozsudok) poslal na schválenie / odmietnutie subjektu v určitých vlastností (atribútov) činnosti. Tieto rozhodnutia sú kategorické forme a nie spochybňovaná, "cicavčie nervový systém sa skladá z mozgu mozgu, miechy a odchádzajúcich nervových dráh."

V rozhodnutí vzhľadom na osobitné vzťahy medzi objektmi. Môžu mať časopriestorových kontext, kauzálny, atď Napríklad:. "Starý priateľ lepšie ako dva nové", "Hydrogen ľahší oxidu uhličitého o 22 krát."

Existenciálnu úsudok - toto tvrdenie o existencii / neexistencii subjektu (ako materiálne a ideálne): "Nie je vo svojej vlasti prorokom", "Mesiac je satelitom Zeme."

Modálne proposition - forma súhlasu, ktorý zahŕňal prítomnosť určitého operátora modálne (potrebovať dobrý / zlý, dokázal známy / neznámy, je zakázané, domnievam sa, a i.). napríklad:

• "Rusko potrebuje uskutočniť reformy v oblasti vzdelávania" (alethic modality - možnosť, nutnosť niečoho).
• "Každý má právo na osobnú bezpečnosť" (deontické modality - morálne normy spoločenského správania).
• "Zanedbávanie štátneho majetku vedie k jeho strate" (axiologic modality - vzťahujúce sa k materiálu a morálnych hodnôt).
• "Veríme, že vo svojej nevinnosti" (epistemic modality - spoľahlivosť vedomostí).

Komplexné úsudky a typy logických spojok

Ako už bolo uvedené, komplex súdy sa skladajú z niekoľkých jednoduchých. Ako logické spojenie medzi nimi sú také metódy, ako sú:

• Spojka (a ʌ b - spojovacie rozhodnutia). Rozsudky-conjuncts majú veľa "a", "Implementácia k právam a slobodám človeka a občana nesmie porušovať práva a slobody druhých."
• Disjunkcia (AVB - delenie úsudok). Ako prvky tvoriace súdnou ustanovenia sa používajú ako spojiva - spojenie "alebo". Napríklad: "Žalobca má právo na zvýšenie alebo zníženie veľkosti nároku."
• Implikácie (a → b - úsudok-efekt). Ak je vysielanie alokované v rozsudku konštrukcie zložité a v dôsledku toho by sa dalo tvrdiť, že takéto rozhodnutie sa týka implicative. Ako spojivo použité vo forme združenia, ako je "ak ... potom". Napríklad: "Ak napriek dirigenta chýbať elektrický prúd, drôt ohrieva," "Chcete byť šťastní - byť šťastný".
• Ekvivalencie (a ≡ b - zhodné úsudok). Odohráva sa v prípade, keď sú hodnoty a a b rovnaké (buď oba pravdivé alebo oba false): "Človek je vytvorený pre šťastie, ako vták k letu."
• Negácia (¬A, a - úsudok-inverzie). Každý zdroj je spojený s tvrdením, zloženého príkazu, ktorý popiera pôvodné. Pomocou "nie" partia. V dôsledku toho v prípade, že pôvodné vyhlásenie takto: "Býk reaguje na červenú," (a) - odopieranie bude znieť takto: "Býk nereaguje na červené svetlo" (¬A).