Judgment 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 ind i Det Kaspiske Hav", "A. S. Pushkin skrev digtet "The Bronze Horseman", "The Ussuri Tiger is noted in the Red Book" osv.
Struktur af dømmekraft
En dom omfatter følgende elementer: subjekt, prædikat, bindeled og kvantifier.
- Subject (lat. subjektum - "underliggende") - hvad der siges i denne dom, dens emne ("S").
- prædikat (lat. praedicatum - "sagt") - en afspejling af subjektets egenskab, hvad der siges om dommens subjekt ("P").
- Link er et forhold mellem et emne ("S") og et prædikat ("P"). 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 ordene "er" ("er ikke"), "har", "er", "essens" osv.
- Quantifier (kvantificeringsord) bestemmer rækkevidden af det begreb, som dommens genstand hører til. Står foran motivet, men kan også være fraværende idom. Indikeret med ord som "alle", "mange", "nogle", "ingen", "ingen" osv.
Sandte og falske domme
En dom er sand, når tilstedeværelsen af tegn, egenskaber og relationer mellem objekter, bekræftet/benægtet i dommen, svarer til virkeligheden. For eksempel: "Alle svaler er fugle", "9 er mere end 2" osv.
Hvis udsagnet i dommen ikke er sandt, 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 to-værdilogik, hvor en bedømmelse kan være enten sand eller falsk, er der også flerdimensionel 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.
Domme efter erklæringstype
Som du ved, er der tre typer sætninger, afhængigt af typen af udsagn: fortællende, incitament og spørgende. For eksempel refererer sætningen "Jeg husker et vidunderligt øjeblik".til den fortællende type. Det er rimeligt at antyde, at en sådan dom også ville være narrativ. Den indeholder visse oplysninger, rapporterer en bestemt begivenhed.
Til gengæld indeholder den spørgende sætning et spørgsmål, der antyder svaret: "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 i princippet ikke en dom, da spørgsmålet ikke kan skelnes efter princippet om sandhed/løgn.
Incitamenttypen af sætninger dannes, når der er en vis impuls til handling, en anmodning eller et forbud: "Rejs dig, 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
Ud fra et kvalitetssynspunkt kan vurderinger enten være bekræftende (S er P) eller negative (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, tværtimod, trækkes egenskaben fra emnet:eksperimentel bekræftelse."
Kvantitative egenskaber
Domme i logik kan være generelle (der 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" en enkelt, da vi taler om en bestemt flod, der eksisterer i en enkelt form.
Enkle og komplekse domme
Afhængigt af strukturen kan vurderingen være af den simple eller komplekse type. 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).
En kompleks form dannes ved at kombinere flere simple propositioner.
Klassificering af simple domme
Simple domme i logik kan være af følgende typer: attributive, domme med relationer, eksistentielle, modale.
Attributive (egenskabsvurderinger) har til formål at bekræfte/afvise, at et objekt har bestemte egenskaber (attributter), aktiviteter. Disse domme har en kategorisk form og der stilles ikke spørgsmålstegn ved: "Nervesystemet hos pattedyr består af hjernen, rygsøjlenhjerne og udgående nervebaner."
Relationelle vurderinger tager hensyn til visse forhold mellem objekter. 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 hans eget land", "Månen er en satellit på jorden."
Modal proposition er en form for erklæring, der indeholder en bestemt modal operator (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).
- "Alle har ret til personlig integritet" (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 tricks som:
- Konjunktion (og ʌ b er forbindende propositioner). Sammenhængende domme har en masse "og":"Udøvelsen af menneskelige og borgerlige rettigheder og friheder må ikke krænke andres 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 øge eller mindske størrelsen af kravene."
- 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 der føres en elektrisk strøm gennem lederen, vil lederen varmes op", "Hvis du vil være glad, så må det være."
- Equivalent (a ≡ b – identiske domme). Opstår, når a og b er ens (enten er begge sande, eller begge er falske): "Mennesket er skabt til at være lykkeligt, ligesom en fugl er skabt 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 udtalelse ser sådan ud: "Tyren reagerer på rødt lys" (a) - så vil benægtelsen lyde som: "Tyren reagerer IKKE på rødt lys" (¬a).
