Bedømmelse er en form for tænkning, der bekræfter eller benægter noget om eksistensen af objekter, om forbindelserne mellem dem og deres egenskaber, samt om relationerne mellem objekter.
Eksempler på domme: "Volga flyder ud i Det Kaspiske Hav", "A.S. Pushkin skrev digtet "The Bronze Horseman", "The Ussuri Tiger er opført i den røde bog" osv.
Dommens struktur
En dom omfatter følgende elementer: subjekt, prædikat, bindende og kvantificerer.
- Subjektet (latin subjektum - "underliggende") er det, der siges i denne dom, dets subjekt ("S").
- Prædikatet (lat. praedicatum - "sagt") er en afspejling af subjektets egenskab, hvad der siges om dommens subjekt ("P").
- Et link er et forhold mellem et emne ("S") ogprædikat ("R"). Bestemmer tilstedeværelsen / fraværet af emnet af enhver egenskab udtrykt i prædikatet. Det kan både være underforstået og angivet med bindestegnet eller med ordene "er" ("er ikke"), "har", "er", "essens" osv.
- Kvantifikatoren (kvantificeringsord) bestemmer volumenbegreb, som dommens genstand refererer til. Optræder foran emnet, men kan også være fraværende i dommen. Det er betegnet med sådanne ord som "alle", "mange", "nogle", "ingen", "ingen" osv.
Sande og falske domme
En dom er sand hvornårtilstedeværelsen af genstandes tegn, egenskaber og relationer, bekræftet/benægtet i dommen, svarer til virkeligheden. For eksempel: "Alle svaler er fugle", "9 er mere end 2" osv.
Hvis udtalelsen i dommen ikke er detsvarer til virkeligheden, har vi at gøre med en falsk dom: ”Solen kredser om Jorden”, ”Et kilogram jern er tungere end et kilogram vat” osv. Korrekte vurderinger danner grundlag for korrekte konklusioner.
Men ud over den to-værdi-logik, hvorien dom kan enten være sand eller falsk, der er også multidimensionel logik. Ifølge dens vilkår kan dommen også være tidsubegrænset. Dette gælder især for fremtidige enkeltdomme: "I morgen vil der være / vil ikke ske et søslag" (Aristoteles, "Om fortolkning"). Hvis vi antager, at dette er en sand dom, så kan et søslag ikke undgå at finde sted i morgen. Derfor skal det ske. Eller omvendt: ved at hævde, at denne dom i øjeblikket er falsk, nødvendiggør vi dermed umuligheden af morgendagens søslag.
Bedømmelser efter udsagnstype
Som du ved, er der ifølge typen af udsagn tresætningstyper: fortællende, incitament og spørgende. For eksempel er sætningen "Jeg husker et vidunderligt øjeblik" af den fortællende type. Det er rimeligt at antyde, at en sådan dom også ville være narrativ. Den indeholder visse oplysninger, informerer om en bestemt begivenhed.
På den anden side spørgesætningenindeholder et spørgsmål, der indebærer et svar: "Hvad forbereder den kommende dag for mig?" Den hverken siger eller benægter noget. Følgelig er påstanden om, at en sådan dom er spørgende, fejlagtig. En spørgesætning indeholder som udgangspunkt ikke en dom, da spørgsmålet ikke kan skelnes efter sandheds-/falskhedsprincippet.
Den incitamenttype af sætninger er dannet i deti det tilfælde, hvor der er en vis impuls til handling, en anmodning eller et forbud: "Stå op, profet, og se og lyt." Hvad angår domme, er de ifølge nogle forskere ikke indeholdt i sætninger af denne type. Andre mener, at vi taler om en slags modale domme.
Kvalitet af dømmekraft
Kvalitetsmæssigt kan domme være sombekræftende (S er P) og negativ (S er ikke P). I tilfælde af en bekræftende påstand knyttes en eller flere bestemte egenskaber til emnet ved hjælp af et prædikat. For eksempel: "Leonardo da Vinci er en italiensk maler, arkitekt, billedhugger, videnskabsmand, naturforsker, såvel som en opfinder og forfatter, den største repræsentant for renæssancekunst."
I en negativ proposition trækkes egenskaben tværtimod fra emnet: "Theory of the 25th frame of James Vickery has no experimental confirmation."
Kvantitativ egenskab
Ræsonnement i logik kan være generelt(henviser til alle objekter i en given klasse), private (til nogle af dem) og ental (når det kommer til et objekt, der findes i en enkelt kopi). For eksempel kan det argumenteres for, at en dom som "Alle katte er grå om natten" ville være generisk, fordi den påvirker alle kattedyr (genstand for dommen). Udsagnet "Nogle slanger er ikke giftige" er et eksempel på en privat dom. Til gengæld er dommen "Dnepr er vidunderlig i roligt vejr" enkelt, da vi taler om en specifik flod, der eksisterer i en enkelt form.
Enkle og komplekse domme
Afhængig af strukturen kan dommen evtvære enten enkel eller kompleks. Strukturen af et simpelt forslag omfatter to relaterede begreber (S-P): "En bog er en kilde til viden." Der er også domme med ét begreb - når det andet kun er underforstået: "Mørke" (P).
Et komplekst syn dannes ved at kombinere flere simple forslag.
Klassificering af simple domme
Simple domme i logik kan være af følgende typer: attributive, domme med relationer, eksistentielle, modale.
Attributive (ejendomsdomme) tilstræbesbekræftelse / benægtelse af tilstedeværelsen af visse egenskaber (attributter), typer af aktivitet i emnet. Disse domme har en kategorisk form og stilles ikke spørgsmålstegn ved: "Nervesystemet hos pattedyr består af hjernen, rygmarven og udgående nervebaner."
I domme med relationer,visse forhold mellem ting. De kan have en rumlig-tidsmæssig sammenhæng, kausal osv. For eksempel: "En gammel ven er bedre end to nye", "Brint er 22 gange lettere end kuldioxid".
En eksistentiel dom er en erklæring om eksistensen / ikke-eksistensen af et objekt (både materielt og ideelt): "Der er ingen profet i sit eget land", "Månen er en satellit på jorden".
En modal bedømmelse er en form for påstand, der inkluderer en bestemt modal operatør (nødvendig, god/dårlig; bevist, kendt/ukendt, forbudt, tror osv.). For eksempel:
- "I Rusland er det nødvendigt at gennemføre en uddannelsesreform" (aletisk modalitet - muligheden, behovet for noget).
- "Enhver har ret til personlig ukrænkelighed" (deontisk modalitet - moralske standarder for social adfærd).
- "Skødesløs holdning til statsejendom fører til tab" (aksiologisk modalitet - holdning til materielle og åndelige værdier).
- "Vi tror på din uskyld" (epistemisk modalitet - graden af pålidelighed af viden).
Komplekse vurderinger og typer af logiske forbindelser
Som allerede nævnt består komplekse domme af flere simple. De logiske forbindelser mellem dem er sådanne teknikker som:
- Konjunktion (og ʌ b - forbindende domme). Domme-konjunkter har en masse "og": "Udøvelsen af en persons og en borgers rettigheder og friheder bør ikke krænke andre personers rettigheder og friheder."
- Disjunktion (a v b - disjunktive domme).Disjunkte domme bruges som konstituerende elementer, og foreningen "eller" bruges som et led. For eksempel: "Klageren har ret til at forhøje eller nedsætte størrelsen af krav."
- Implikation (a → b - dom-konsekvens).Hvis der skelnes mellem en præmis og en konsekvens i strukturen af en kompleks dom, så kan det hævdes, at en sådan dom hører til de implikative. Som et led i denne formular bruges fagforeninger som "hvis ... så". For eksempel: "Hvis en elektrisk strøm føres gennem lederen, vil lederen varmes op", "Hvis du vil være glad, så må det være."
- Ækvivalens (a ≡ b - identiske vurderinger). Opstår, når værdierne a og b er de samme (enten er begge sande eller begge er falske): "Mennesket er skabt til lykke, som en fugl til at flyve."
- Negation (¬a, ā - dom-inversion).Hvert originale udsagn er forbundet med et sammensat udsagn, der afviser den oprindelige. Det udføres ved hjælp af en flok "ikke". Følgelig, hvis den oprindelige erklæring ser sådan ud: "Tyren reagerer på rødt lys" (a) - så vil negationen lyde som: "Tyren reagerer IKKE på rødt lys" (¬a).
