Rozsudky v logike.

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

Príklady súd: "Volga vlieva do Kaspického mora", "A.Puškin napísal báseň "Medený jazdec", "Tiger ussurijský je uvedený v Červenej knihe," atďŠtruktúra

rozsudky

rozhodnutia zahŕňa nasledujúce prvky: podmet, prísudok a veľa vyčíslením.

  1. predmet (. Lat subjektom - "základné") - ktorý, ako je uvedené v rozsudku z jeho predmetu ("S»).
  2. predikát (lat Praedicatum -. "Povedal") - odraz charakteristika predmetu, čo sa hovorí na tému rozsudku ("P").
  3. Bundle - vzťah medzi predmetom ("S") a predikát ("P").Určuje prítomnosť / neprítomnosť predmetu nehnuteľnosti vyjadrené predikátu.Možno, že to znamená, a je indikovaná "pomlčka" alebo slová "a" ("nie je"), "má", "mať", "podstatu" a ďalšie.
  4. kvantifikátor (quantifier slov) vymedzuje rozsah tohto pojmu, ktorýTo je predmetom rozsudku.To stojí v prednej časti objektu, ale tiež to môže byť chýbajúce v rozsudku.Zastúpená slová ako "všetci", "veľa", "niektorí", "nie", "nie" a ďalšie.

true a false rozsudkov

rozsudok platí v prípade, keď sa vyskytne akýkoľvek náznak, vlastnosti aschválená / zamietnutá v rozsudku, pravda vzťahy položky.Napríklad: "Všetky lastovičky - vtáky", "9 pre viac ako 2" a tak ďalej D.

Ak je príkaz obsiahnutý v rozsudku, nezodpovedá realite, máme čo do činenia s falošným rozsudku: "Slnko obieha okolo Zeme"."Kilo železa ťažšie ako kilogram vlny" a ďalších. Správne súdy sú základom správne uvažovanie.

Avšak, na rozdiel od dvoch-cenil logiku, v ktorej môže byť rozsudok buď pravdivý alebo nepravdivý, tam je tiež multi-dimenzionálnej logika.Podľa jej ustanovení rozsudok môže ešte neistý.Najmä sa jedná o budúcnosti jednotlivých rozhodnutí, "Zajtra sa bude / nebude nestane námornú bitku" (Aristoteles, "O výklade").Za predpokladu, že je to pravda tvrdenie, môže námorná bitka zajtra nestane.V dôsledku toho, že je nutné, aby sa to stalo.Alebo naopak: tvrdí, že rozsudok v prítomnom okamihu je nepravdivý, a tak sme sa urobiť potrebné nemožnosť budúcnosti námornej bitky.

Rozhodnutie o type vyhlásení

Ako je známe, typ vyhlásenia sú tri typy viet: deklaratívny, opytovacie a motív.Napríklad veta "Spomínam si, nádherný okamih" sa odkazuje na typ rozprávanie.Je vhodné navrhnúť, že takéto rozhodnutie by bolo tiež príbeh.Obsahuje niektoré informácie, podľa konkrétnej akcii.

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

typ Incentive trestu je tvorená v prípade, že tam je nejaký podnet k akcii, alebo o zamietnutí žiadosti :. "Povstaň, ó prorokovi, a vid, a starať sa o"Čo sa týka rozhodnutia, že podľa niektorých výskumníkov, že nie sú obsiahnuté v návrhoch tohto typu.Iní sa domnievajú, že sa jedná o rôzne modálnych rozsudkov.

kvalitné rozsudky

Čo sa týka kvality, rozsudok môže byť ako asertívny (S má P), a negatívne (S nie je P).V prípade kladnej rozhodnutia, pomocou predikátu na predmete je daná určitá vlastnosť (-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 rozsudku, na druhú stranu, je vlastnosť prevážaného od objektu: "Teória 25. rámu James Vícar nemá experimentálne potvrdenie."

kvantitatívne charakteristika

problém v logike môže byť všeobecnej povahy (týkajúce sa všetkých subjektov v tejto triede), súkromná (niektoré z nich) a individuálne (keď hovorí o tejto téme, je tam len jeden).Napríklad, to môže byť argumentoval, že takýto návrh ako "V noci všetky mačky sú šedé" bude odkazovať na spoločný pohľad, pretože to ovplyvňuje všetky členmi mačky (predmet rozsudku).Vyhlásenie "Niektorí hady nie sú jedovaté" - príklad súkromného rozsudku.Na druhej strane, problém "Wonderful Dnepra za pokojného počasia," izolovaná, pretože hovoríme o jednej konkrétnej rieky, existuje v jednom formulári.

Jednoduché a zložité úsudky

v závislosti od štruktúry, rozsudok môže byť jednoduché alebo zložité.Štruktúra jednoduchého tvrdenie zahŕňa dva súvisiace pojmy (SP) :. "Kniha - zdroj poznania"Tam sú tiež rozsudky s jedným konceptom - keď sa na druhom mieste znamená: "už sa stmievalo» (P).

komplikovaná forma je tvorená kombináciou niekoľkých jednoduchých návrhy.

Klasifikácia jednoduchých rozsudkov

jednoduché tézy v logike môže byť z nasledujúcich typov: prívlastkových, rozsudok sa vzťahy, existenciálnych, modálne.

Atribút (rozsudok-vlastnosti) poslal na schválenie / popretie existencie určitých vlastností z objektu (atribúty) činnosti.Tieto rozsudky sú kategorický forma a nespochybňovala "cicavčie nervový systém sa skladá z mozgu, miechy a odchádzajúcich nervových dráh."

základe rozsudkov s ohľadom na určité vzťahy medzi objektmi.Môžu mať priestor časovej súvislosti, kauzálny, a iní. Napríklad: "Starý priateľ je lepšia ako dva nové", "Vodík je ľahší oxidu uhličitého o 22 krát."

existenciálnu problém - vyhlásenie o existencii / neexistencii subjektu (ako materiálne a ideálne), "žiadny prorok vo svojej vlastnej krajine", "Mesiac je satelitom Zeme."

modálne problém - forma schválenie, z ktorých sa skladá z určitého operátora modálne (je to nutné, dobrý / zlý, dokázal známy / neznámy, je zakázané, som presvedčený, a ďalšie.).Napríklad:

  • «Rusko potrebuje vykonať reformy v oblasti vzdelávania" (alethic modality - možnosť, že treba za niečo).
  • "Každý má právo na osobnú bezpečnosť" (deontické modality - morálne normy spoločenského správania).
  • "Careless postoj k verejnému majetku, vedie k strate jeho" (axiologické modality - vzťahujúce sa k materiálu a duchovných hodnôt).
  • "Veríme, že vo vašej nevinnosti" (epistemic modality - spoľahlivosť znalostí).

zložité úsudky a typy logických spojok

Ako už bolo povedané, komplexné súdy sa skladajú z niekoľkých jednoduchých.Vzhľadom k tomu, logické spojenie medzi nimi sú také techniky, ako sú:

  • konjunkcia (a ʌ b - pripojovacie rozsudku).Rozsudky-conjuncts majú veľa "a", "Vykonávanie právam a slobodám človeka a občana, nesmie porušovať práva a slobody druhých."
  • disjunkcia (AVB - delenie úsudok).Ako základné prvky súdnou ustanovenia sa používajú ako spojivo - spojky "alebo".Napríklad: "Žalobca má právo zvýšiť alebo znížiť veľkosť tvrdenia."
  • implikácie (a → b - úsudok-efekt).Ak štruktúra komplexného rozsudku stánkov a odosielanie výsledok, to môže byť argumentoval, že tento rozsudok sa týka implicative.Ako väzu vo forme platnej týchto zväzkov ako "ak ... potom".Napríklad: "Ak sa cez dirigenta ujsť elektrický prúd, drôt zahreje," "Chceš byť šťastný - byť šťastný".
  • ekvivalencie (a ≡ b - zhodné rozsudky).To nastane, keď sa hodnota a a b sú rovnaké (buď obe pravdivé alebo obidve false): "Man je vytvorený pre šťastie, ako vták k letu."
  • Denial (¬a, a - rozsudok-inverzie).Každý zdroj je spojený s vyhlásením tvrdenie popiera zloženého originál.Pomocou väzov "nie".Preto, v prípade, že pôvodné vyhlásenie je nasledujúci: "Býk reaguje na červenú," (a) - odopieranie bude znieť takto: "býk reaguje na červenú" (¬a).