Retsafgørelser i logik. Hvad er dommen, de typer af domme

Dommen er en form for tænkning, bekræfter eller benægter noget om eksistensen af objekter, forbindelserne mellem dem og deres egenskaber, såvel som forholdet mellem objekter.

Eksempler på udsagn: "The Volga munder ud i det Kaspiske Hav," "AS Pushkin skrev et digt "The Bronze Horseman", "sibiriske tiger er noteret på den Røde" osv

Strukturen af dommen

Dom omfatter følgende elementer: emnet, prædikat og ledbånd kvantifikator.

1. Emne (lat subjektum -. «Underliggende») - at, som det fremgår af dommen, dens emne ( «S»).
2. Den prædikat (latin praedicatum -. «Said") - en afspejling af objektet tag, hvad der er sagt om emnet af dommen ( 'P').
3. Bundle - forholdet mellem motivet ( «S») og prædikatet ( "P"). Bestemmer tilstedeværelsen / fraværet af emnet for en egenskab udtrykt som et prædikat. Måske det indebærer, og angives med et "streg" eller ordene "en" ( "er ikke"), "har", "har", "stof", og andre.
4. Kvantor (kvantor ord) definerer rækkevidden af begrebet, som er genstand for dommen. Det står foran emnet, men det kan også være fraværende i dom. Betegnes med ord som "alle", "mange", "nogle", "nej", "nej", og andre.

Sande og falske udsagn

Dom er sandt i det tilfælde, hvor der er nogen indikation, egenskaber og relationer af elementer, der er godkendt / nægtet i dom, sande. For eksempel: "Alle svalerne - fugle", "9 mere end 2" og så videre ..

Hvis erklæringen er indeholdt i dommen er ikke sandt, er der tale om en falsk proposition 'solen kredser om Jorden, '' En kilo jern tungere end et kilo bomuld "og andre højre dom er grundlaget for korrekt ræsonnement ..

Men ud over de to-værdsat logik, hvor dom kan være enten sand eller falsk, er der også en multi-dimensional logik. Ifølge dens vilkår, kan dommen være stadig usikker. Især det drejer sig om fremtiden for de enkelte domme, "I morgen sker / ikke sker et søslag" (Aristoteles, "Om fortolkningen"). Hvis vi antager, at det er en sand proposition, kan søslaget i 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 morgendagens søslag.

Domme om, hvilken type erklæring

Som det er kendt, hvilken type udsagn er tre typer af sætninger: deklarativ, agitation og afhøring. 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 fortælling. Den indeholder specifikke 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," På samme tid, det siger intet og benægter ikke. I overensstemmelse hermed påstanden om, at en sådan dom er et spørgsmål forkert. Spørgende sætning, i princippet, ikke indeholder nogen dom, fordi spørgsmålet ikke kan differentieres på grundlag af sandhed / usandhed.

Incentive type sætning dannes i det tilfælde, hvor der er en vis tilskyndelse til handling, anmode om et forbud: "Stå op, O Profet, og vid, og deltage til" Med hensyn til dommen, i udtalelsen fra nogle forskere, at de ikke er indeholdt i de forslag af denne type. Andre mener, at det er en bred vifte af modale domme.

dom kvalitet

Med hensyn til kvalitet, kan dommen være enten bekræftende (S er P), og negative (S er ikke P). I tilfælde af bekræftende dom, via emne prædikat knyttet til en bestemt egenskab (-WA). For eksempel: "Leonardo da Vinci - italiensk maler, arkitekt, billedhugger, videnskabsmand, naturforsker og opfinder og forfatter, den største repræsentant for renæssancens kunst"

I den negative dom, på den anden side, er ejendommen taget væk fra emnet: "Theory of 25th ramme af James Vicary har nogen eksperimentel bekræftelse"

kvantitativ karakterisering

Retsafgørelser i logik kan være fælles (vedrørende alle objekter af denne klasse), privat (nogle af dem) og enhed (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 helhedsindtrykket, fordi det påvirker alle medlemmer af katten (genstand for dommen). Godkendelse af "Nogle slanger er ikke giftig" - et eksempel på privat dom. Til gengæld dommen "Vidunderlig Dnepr i roligt vejr" er en enhed, da vi taler om en bestemt flod, der eksisterer i en enkelt formular.

Simple og komplekse domme

Afhængig af strukturen, kan dommen være af en type simpel eller kompleks. Struktur simpel dom indeholder to indbyrdes forbundne begreber (SP): «Book - en kilde til viden". Der er også domme med ét begreb - når den anden kun betød: "Det var at få mørke» (P).

Kompliceret formular er dannet ved sammenføjning flere simpel dom.

Klassificering af simple domme

Simple domme i logik kan være af følgende former: attributive, dom med relationer, eksistentielle, modal.

Egenskab (ejendom-dom) sendt til godkendelse / afvisning af emnet på visse egenskaber (attributter) aktiviteter. Disse vurderinger er kategoriske form, og ikke spørgsmålstegn, "pattedyrs nervesystem består af hjernen af hjernen, rygmarven og udgående nervebaner."

I domme med hensyn til de specifikke relationer mellem objekter. De kan have en spatio-temporale kontekst, kausal, etc. For eksempel :. "Gamle ven bedre end to nye", "Hydrogen lighter kuldioxid med 22 gange."

Eksistentiel dom - denne påstand 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, som omfattede tilstedeværelsen af visse modal operatør (har brug for god / dårlig, viste sig kendt / ukendt, det er forbudt, tror jeg, og andre.). For eksempel:

• "Rusland har brug for at gennemføre reformer uddannelse" (alethic modalitet - mulighed, nødvendighed noget).
• "Enhver har ret til personlig sikkerhed" (deontic modalitet - de moralske normer for social adfærd).
• "Forsømmelse af statsejendom fører til sit tab" (axiologic modalitet - for materialet og moralske værdier).
• "Vi tror på din uskyld" (epistemiske modalitet - pålideligheden af viden).

Komplekse domme og de typer af logisk operator

Som allerede nævnt, de komplekse domme består af et par enkle. Som de logiske forbindelser mellem dem er sådanne metoder som:

• Konjunktion (en ʌ b - tilslutning domme). Domme-conjuncts har en flok "og", "Implementering af de rettigheder og friheder mand og borger, skal ikke krænke de rettigheder og friheder."
• Disjunktion (AVB - dividere domme). Som de grundlæggende elementer i retsafgørelsen-klausuler anvendes som et bindemiddel - sammenholdt "eller". For eksempel: "Klageren har ret til at øge eller mindske størrelsen af kravet."
• Implikationen (en → b - dom-effekt). Hvis allokeres udstationering i strukturen kompliceret dom, og dermed, kan der argumenteres for, at en sådan dom vedrører implicative. Som bindemiddel anvendt i form af associationer såsom "hvis ... så". For eksempel: "Hvis igennem dirigenten til at savne den elektriske strøm, tråden varmer op", "Ønsker du at være lykkelig - være glad".
• Ækvivalens (en ≡ b - identisk dom). Den finder sted i det tilfælde, hvor værdierne af a og b er de samme (enten begge sande eller begge falsk): "Mennesket er skabt til lykke, som en fugl til at flyve."
• Negation (¬a, a - dom-inversion). Hver kilde er forbundet med opgørelsen sammensat sætning, der benægter originalen. Ved at bruge "ikke" flok. Derfor hvis den oprindelige erklæring på følgende måde: "Tyren reagerer på et rødt lys," (a) - benægtelse ville lyde som: "Tyren reagerer ikke på rødt lys" (¬A).