dom er en form for tænkning, bekræfter eller nægte noget om eksistensen af objekter, forbindelserne mellem dem og deres egenskaber samt forholdet mellem objekter.
Eksempler dom: "The Volga løber ud i Det Kaspiske Hav", "ASPushkin skrev et digt "The Bronze Horseman", "sibirisk tiger er opført i Red Book," osv
struktur domme
dom indeholder følgende elementer: emne, prædikat, og en flok af kvantorer.
- emne (. Lat Subjektum - «underliggende») - at som det fremgår af dommen af sit emne ("S").
- prædikat (lat Praedicatum -. «Sagde") - en afspejling karakteristisk for emnet, hvad der bliver sagt om emnet af dommen ("P").
- Bundle - et forhold mellem motivet ("S"), og et prædikat ("P").Den bestemmer tilstedeværelsen / fraværet af emnet for en egenskab udtrykt ved prædikat.Måske det indebærer, og angives med et "streg" eller ordene "a" ("ikke"), "har", "have", "essens", og andre.
- kvantor (kvantor ord) definerer rækkevidden af begrebet, somdet vedrører emnet for dommen.Det står foran emnet, men det kan også være fraværende i dommen.Repræsenteret af ord som "alle", "mange", "nogle", "nej", "nej" og andre.
sande og falske domme
dommen er sandt i det tilfælde, hvor der er indikation, egenskaber ogrelations genstande godkendt / afvist i dom, sandt.For eksempel: "Alle svaler - fugle", "9 for mere end 2" og så videre D.
Hvis erklæringen er indeholdt i dommen ikke er i overensstemmelse med virkeligheden, vi har at gøre med en falsk dom:. "Solen kredser om Jorden""Et kilo jern tungere end et kilo bomuld", og andre. De korrekte domme er grundlaget for korrekt ræsonnement.
Men bortset fra to-værdsat logik, hvor dommen kan være enten sand eller falsk, er der også en multi-dimensional logik.Under dens betingelser, kan dommen også være usikker.Især den vedrører fremtiden for de enkelte domme, "I morgen vil der / vil ikke ske søslag" (Aristoteles, "På den fortolkning").Antages det, at dette er sandt proposition, kan søslaget morgen ikke ske.Derfor er det nødvendigt at gøre det ske.Eller omvendt: at hævde, at dommen i nuet er falsk, vi derfor gøre det nødvendige umuligheden af fremtidig søslag.
dom af den type udsagn
Som det er kendt, den type udsagn er tre typer af sætninger: deklarativ, spørgende og motiv.For eksempel sætningen "Jeg husker en vidunderlig øjeblik" refererer til den type fortælling.Det er tilrådeligt at foreslå, at en sådan dom også ville være fortælling.Den indeholder visse oplysninger, i henhold til en bestemt begivenhed.
Til gengæld spørgende sætning indeholder et spørgsmål, få svar på: "Hvad ser fremtiden for mig" I dette tilfælde, siger det ikke noget, og ikke benægte.Derfor påstanden om, at en sådan dom er et spørgsmål forkert.Spørgende sætninger i princippet ikke indeholder nogen udtalelser, fordi spørgsmålet ikke kan differentieres på grundlag af sandhed / falskhed.
Incentive type straf er dannet i det tilfælde, hvor der er en vis tilskyndelse til handling, eller at afvise anmodningen: ". Stå op, O Profet, og vid, og deltage i"Med hensyn til domme, der ifølge nogle forskere, at de ikke er indeholdt i de forslag af denne type.Andre mener, at det er en bred vifte af modale domme.
kvalitet domme
Med hensyn til kvalitet, kan dommen være både assertive (S har P), og negative (S ikke P).I tilfælde af bekræftende dom er ved et prædikat til et individ givet en bestemt egenskab (-WA).For eksempel: ". Leonardo da Vinci - italiensk maler, arkitekt, billedhugger, videnskabsmand, naturalist og opfinder og forfatter, den største repræsentant for renæssancens kunst"
I den negative dom, tværtimod, ejendommen er taget væk fra emnet: "Teorien om den 25. ramme af James Vicary har ingen eksperimentel bekræftelse."
kvantitativ karakteristik
proposition i logik kan være af generel karakter (relateret til alle fag i denne klasse), privat (nogle af dem) og individuelle (når vi taler om emnet, er der kun én).For eksempel kan det hævdes, at et sådant forslag som "Om natten er alle katte grå" vil henvise til en fælles holdning, fordi det påvirker alle medlemmer af katten (genstand for dom).Udsagnet "Nogle slanger er ikke giftig" - et eksempel på privat dom.Til gengæld proposition "Wonderful Dnepr i roligt vejr," en isoleret, da vi taler om en bestemt flod, der er en enkelt formular.
Simple og komplekse domme
Afhængigt af strukturen, kan dommen være af en enkel eller kompliceret.Strukturen af en simpel proposition involverer to beslægtede begreber (SP):. «Bogen - en kilde til viden"Der er også domme med et koncept - når den anden kun betød: "Det var at få mørke» (P).
kompliceret form, dannes ved at kombinere et par enkle udsagn.
Klassificering af simple domme
simpel proposition i logik kan være af følgende typer: attributive, dom med relationer, eksistentielle, modal.
Attribut (dom-egenskaber) sendes til godkendelse / benægtelse af eksistensen af visse egenskaber i objektet (attributter) aktiviteter.Disse domme er kategoriske form, og ikke spørgsmålstegn "pattedyrs nervesystem består af hjernen, rygmarven og udgående nervebaner."
Dommene i forhold til den specifikke relation mellem objekter.De kan have en rumtid sammenhæng kausal og andre For eksempel:. "En gammel ven er bedre end to nye", "kuldioxid Brint let 22 gange."
eksistentiel proposition - en erklæring om eksistensen / ikkeeksistens af emnet (både materiel og ideel), "Der er ingen profet i sit eget land", "The Moon er en satellit af Jorden."
modal proposition - en form for godkendelse, hvoraf består af en bestemt modal operatør (nødvendigt, god / dårlig, viste sig kendt / ukendt, det er forbudt, tror jeg, og andre.).For eksempel:
- «Rusland har brug for at gennemføre uddannelse reform" (alethic modalitet - muligheden, behovet for noget).
- «Enhver har ret til personlig sikkerhed" (deontic modalitet - de moralske normer for social adfærd).
- «Careless holdning til offentlig ejendom fører til sit tab" (axiological modalitet - relateret til materielle og åndelige værdier).
- «Vi tror på din uskyld" (epistemiske modalitet - pålideligheden af viden).
komplekse domme og de typer af logiske connectives
Som allerede nævnt, det komplekse består af flere domme fra det sædvanlige.Da de logiske forbindelser mellem dem er sådanne teknikker som:
- Konjunktion (et ʌ b - forbinder dom).Domme-conjuncts har en flok "og", "Gennemførelse af rettigheder og friheder menneske og borger ikke krænke rettigheder og friheder."
- disjunktion (AVB - dividere dom).Da gerningsindholdet anvendes dom-klausuler, som bindemiddel - konjunktionen "eller".For eksempel: "Klageren har ret til at øge eller mindske størrelsen af kravet."
- konsekvenser (en → b - dom-effekt).Hvis strukturen af en kompleks dom stande og sende et resultat, kan det hævdes, at denne dom henviser til den implicative.Som et ledbånd i form anvendte konjunktioner som "hvis ... så".For eksempel: "Hvis gennem dirigenten til at savne den elektriske strøm, tråden varmer op", "Du ønsker at være glad - være glad".
- Ækvivalensen (a ≡ b - identiske domme).Det sker, når værdien af a og b er de samme (enten begge sande eller begge falsk): "Mennesket er skabt til lykke, som en fugl til at flyve."
- Denial (¬a, a - dom-inversion).Hver kilde er forbundet med den påstand sammensat sætning benægte originalen.Ved at bruge snore "nej".Derfor hvis den oprindelige erklæring på følgende måde: "Tyren reagerer på et rødt lys," (a) - benægtelse vil lyde som: "tyren reagerer på et rødt lys» (¬a).
