Døm er en form for tenkning som bekrefter eller benekter noe om eksistensen av objekter, om sammenhengene mellom dem og deres egenskaper, samt om relasjonene mellom objekter.
Eksempler på dommer: «Volga renner inn i det kaspiske hav», «A. S. Pushkin skrev diktet "The Bronze Horseman", "The Ussuri Tiger is noted in the Red Book", etc.
Structure of judgment
En dom inkluderer følgende elementer: subjekt, predikat, bindeledd og kvantifiserer.
- Subjekt (lat. subjektum - "underliggende") - det som sies i denne dommen, dens emne ("S").
- Predikat (lat. praedicatum - "sagt") - en refleksjon av subjektets egenskap, det som sies om dommens subjekt ("P").
- Link er et forhold mellom et subjekt ("S") og et predikat ("P"). Bestemmer tilstedeværelsen / fraværet av emnet til enhver eiendom uttrykt i predikatet. Det kan være både underforstått og indikert med bindestegnet eller ordene "er" ("er ikke"), "har", "er", "essens", osv.
- Quantifier (kvantifier-ord) bestemmer omfanget av begrepet som domssubjektet tilhører. Står foran motivet, men kan også være fraværende idømmekraft. Indikert med ord som "alle", "mange", "noen", "ingen", "ingen" osv.
Sanne og falske dommer
En dom er sann når tilstedeværelsen av tegn, egenskaper og relasjoner til objekter, bekreftet/avkreftet i dommen, samsvarer med virkeligheten. For eksempel: «Alle svaler er fugler», «9 er mer enn 2» osv.
Hvis påstanden i dommen ikke stemmer, har vi å gjøre med en falsk dom: «Sola går rundt jorden», «Et kilo jern er tyngre enn et kilo bomull» osv. Riktige vurderinger danner grunnlaget for korrekte konklusjoner.
I tillegg til to-verdi logikk, der en vurdering kan være enten sann eller usann, finnes det også flerdimensjonal logikk. Etter vilkårene kan dommen også være tidsubestemt. Dette gjelder spesielt for fremtidige enkeltdommer: "I morgen vil det være / vil ikke skje et sjøslag" (Aristoteles, "Om tolkning"). Hvis vi antar at dette er en sann dom, kan et sjøslag ikke unngå å finne sted i morgen. Derfor må det skje. Eller omvendt: ved å hevde at denne dommen for øyeblikket er falsk, gjør vi dermed umuligheten av morgendagens sjøslag nødvendig.
Dommer etter type uttalelse
Som du vet, i henhold til typen utsagn, er det tre typer setninger: narrativ, insentiv og spørrende. For eksempel refererer setningen "Jeg husker et fantastisk øyeblikk".til den narrative typen. Det er rimelig å antyde at en slik dom også vil være narrativ. Den inneholder viss informasjon, rapporterer en bestemt hendelse.
På sin side inneholder spørresetningen et spørsmål som antyder svaret: «Hva forbereder den kommende dagen for meg?» Den verken sier eller benekter noe. Følgelig er påstanden om at en slik dom er spørrende feil. En spørresetning inneholder i prinsippet ingen dom, siden spørsmålet ikke kan skilles ut etter prinsippet om sannhet/usannhet.
Insentivtypen av setninger dannes når det er en viss impuls til handling, en anmodning eller et forbud: "Stå opp, profet, og se og lytt." Når det gjelder dommer, er de ifølge noen forskere ikke inneholdt i setninger av denne typen. Andre mener at vi snakker om en slags modale dommer.
Kvalitet på dømmekraft
Fra et kvalitetssynspunkt kan vurderinger enten være bekreftende (S er P) eller negative (S er ikke P). Ved en bekreftende proposisjon knyttes en(e) bestemt(e) egenskap(er) til emnet ved hjelp av et predikat. For eksempel: "Leonardo da Vinci er en italiensk maler, arkitekt, skulptør, vitenskapsmann, naturforsker, samt en oppfinner og forfatter, den største representanten for renessansekunst."
I en negativ proposisjon, tvert imot, trekkes eiendommen fra emnet:eksperimentell bekreftelse."
Kvantitative egenskaper
Dommer i logikk kan være generelle (refererer til alle objekter i en gitt klasse), private (til noen av dem) og entall (når det gjelder et objekt som eksisterer i en enkelt kopi). For eksempel kan det hevdes at en dom som "Alle katter er grå om natten" ville være generisk fordi den påvirker alle kattedyr (gjenstanden for dommen). Utsagnet "Noen slanger er ikke giftige" er et eksempel på en privat dom. På sin side er dommen "Dnepr er fantastisk i rolig vær" en enkelt, siden vi snakker om en spesifikk elv som eksisterer i en enkelt form.
Enkle og komplekse vurderinger
Avhengig av strukturen, kan dommen være av den enkle eller komplekse typen. Strukturen til en enkel proposisjon inkluderer to relaterte konsepter (S-P): "En bok er en kilde til kunnskap." Det finnes også dommer med ett konsept - når det andre bare er underforstått: "Mørke" (P).
En kompleks form dannes ved å kombinere flere enkle proposisjoner.
Klassifisering av enkle vurderinger
Enkle vurderinger i logikk kan være av følgende typer: attributive, dommer med relasjoner, eksistensielle, modale.
Attributive (eiendomsvurderinger) er rettet mot å bekrefte/avkrefte at et objekt har bestemte egenskaper (attributter), aktiviteter. Disse dommene har en kategorisk form og stilles ikke spørsmål ved: «Nervesystemet til pattedyr består av hjernen, ryggradenhjerne og utgående nervebaner.»
Relasjonelle vurderinger vurderer visse forhold mellom objekter. De kan ha en romlig-tidsmessig kontekst, årsakssammenheng osv. For eksempel: "En gammel venn er bedre enn to nye", "Hydrogen er 22 ganger lettere enn karbondioksid."
En eksistensiell dom er en uttalelse om eksistensen / ikke-eksistensen av et objekt (både materiell og ideelt): "Det er ingen profet i sitt eget land", "Månen er en satellitt av jorden."
Modal proposisjon er en form for utsagn som inneholder en bestemt modal operatør (nødvendig, god/dårlig; bevist, kjent/ukjent, forbudt, tror osv.). For eksempel:
- "I Russland er det nødvendig å gjennomføre utdanningsreform" (aletisk modalitet - muligheten, behovet for noe).
- "Alle har rett til personlig integritet" (deontisk modalitet - moralske standarder for sosial atferd).
- "Uforsiktig holdning til statlig eiendom fører til tap" (aksiologisk modalitet - holdning til materielle og åndelige verdier).
- "Vi tror på din uskyld" (epistemisk modalitet - graden av pålitelighet av kunnskap).
Komplekse vurderinger og typer logiske koblinger
Som allerede nevnt består komplekse dommer av flere enkle. De logiske koblingene mellom dem er slike triks som:
- Konjunksjon (og ʌ b er sammenhengende proposisjoner). Konjunktdommer har en haug med "og":«Utøvelsen av menneskelige og sivile rettigheter og friheter må ikke krenke andres rettigheter og friheter.»
- Disjunksjon (a v b – disjunktive dommer). Disjunkte dommer brukes som konstituerende elementer, og foreningen "eller" brukes som et ledd. For eksempel: "Saksøkeren har rett til å øke eller redusere størrelsen på kravene."
- Implikasjon (a → b – dom-konsekvens). Hvis en premiss og en konsekvens skilles i strukturen til en kompleks dom, kan det hevdes at en slik dom tilhører de implikative. Som lenke i dette skjemaet brukes fagforeninger som "hvis … da". For eksempel: "Hvis en elektrisk strøm føres gjennom lederen, vil lederen varmes opp", "Hvis du vil være lykkelig, være det."
- Ekvivalent (a ≡ b – identiske dommer). Oppstår når a og b er like (enten er begge sanne eller begge er usanne): "Mennesket er laget for å være lykkelig, som en fugl er laget for å fly."
- Negasjon (¬a, ā – dom-inversjon). Hver original setning er assosiert med en sammensatt setning som avviser den opprinnelige. Det utføres ved hjelp av en haug med "ikke". Følgelig, hvis den opprinnelige uttalelsen ser slik ut: "Oksen reagerer på rødt lys" (a) - så vil fornektelsen høres ut som: "Oksen reagerer IKKE på rødt lys" (¬a).
