Dom 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 ut i det kaspiske hav", "A.S. Pushkin skrev diktet "The Bronze Horseman", "The Ussuri Tiger er oppført i den røde boken", etc.
Domsstruktur
En dom inkluderer følgende elementer: subjekt, predikat, bindende og kvantifiserer.
- Subjektet (latin subjektum - «underliggende») er det som sies i denne dommen, dets subjekt («S»).
- Predikatet (lat. praedicatum - «sagt») er en refleksjon av subjektets egenskap, det som sies om dommens subjekt («P»).
- En kobling er et forhold mellom et subjekt ("S") ogpredikat ("R"). 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 med ordene "er" ("er ikke"), "har", "er", "essens", etc.
- Kvantifisereren (kvantifiseringsordet) bestemmer volumetkonsept som dommens gjenstand viser til. Vises foran emnet, men kan også være fraværende i dommen. Det er betegnet med slike ord som "alle", "mange", "noen", "ingen", "ingen", etc.
Sanne og falske dommer
En dom er sann nårtilstedeværelsen av tegn, egenskaper og relasjoner til objekter, bekreftet / avkreftet i dommen, tilsvarer virkeligheten. For eksempel: "Alle svaler er fugler", "9 er mer enn 2", etc.
Hvis uttalelsen i dommen ikke er detsamsvarer med virkeligheten, har vi å gjøre med en falsk dom: «Sola kretser rundt jorden», «Et kilo jern er tyngre enn et kilo bomull» osv. Riktige vurderinger danner grunnlaget for korrekte konklusjoner.
Men i tillegg til to-verdi logikk, deren dom kan enten være sann eller usann, det er 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 uttalelse, er det tresetningstyper: narrativ, insentiv og spørrende. For eksempel er setningen «Jeg husker et fantastisk øyeblikk» av den narrative typen. Det er rimelig å antyde at en slik dom også vil være narrativ. Den inneholder viss informasjon, informerer om en bestemt hendelse.
Derimot spørresetningeninneholder et spørsmål som innebærer et svar: "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/usanthet.
Insentivtypen for setninger dannes i deti tilfelle når det er en viss impuls til handling, en anmodning eller et forbud: "Stå opp, profet, og se og hør." Når det gjelder dommer, er de ifølge noen forskere ikke inneholdt i setninger av denne typen. Andre mener det er snakk om en slags modaldommer.
Kvalitet på dømmekraft
Kvalitetsmessig kan vurderinger være sombekreftende (S er P) og negativ (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 egenskapen fra emnet: "Theory of the 25th frame of James Vickery has no experimental confirmation."
Kvantitativ karakteristikk
Resonnement i logikk kan være generelt(refererer til alle objekter i en gitt klasse), privat (til noen av dem) og entall (når det kommer til 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" singel, siden vi snakker om en spesifikk elv som eksisterer i en enkelt form.
Enkle og komplekse vurderinger
Avhengig av strukturen kan dommen evtvære enkelt eller komplekst. Strukturen til en enkel proposisjon inkluderer to relaterte konsepter (S-P): "Boken er en kilde til kunnskap." Det finnes også dommer med ett begrep – når det andre bare er underforstått: «Mørke» (P).
Et komplekst syn dannes ved å kombinere flere enkle forslag.
Klassifisering av enkle dommer
Enkle vurderinger i logikk kan være av følgende typer: attributive, dommer med relasjoner, eksistensielle, modale.
Attributive (eiendomsdommer) er rettet motbekreftelse / fornektelse av tilstedeværelsen av visse egenskaper (attributter), typer aktivitet i faget. Disse dommene har en kategorisk form og det stilles ikke spørsmål ved: "Nervesystemet til pattedyr består av hjernen, ryggmargen og utgående nervebaner."
I dommer med forhold,visse forhold mellom ting. 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".
En modal dom er en form for påstand som inkluderer 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 en utdanningsreform" (aletisk modalitet - muligheten, behovet for noe).
- "Alle har rett til personlig ukrenkelighet" (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. Følgende teknikker fungerer som logiske forbindelser mellom dem:
- Konjunksjon (a ʌ b – forbindende proposisjoner). Dommer-konjunkter har et bindende "og": "Utøvelsen av rettighetene og frihetene til mennesker og borgere bør ikke krenke andre personers rettigheter og friheter."
- Disjunksjon (a v b – disjunktive dommer).Disjunkte proposisjoner brukes som konstituerende elementer, og konjunksjonen "eller" brukes som et bindeledd. For eksempel: "Saksøkeren har rett til å øke eller redusere antallet krav."
- Implikasjon (a → b – konsekvensvurdering).Hvis det i strukturen til en kompleks dom skilles mellom en premiss og en konsekvens, kan det hevdes at en slik dom tilhører de impliserte. I denne formen brukes konjunksjoner som "hvis ... da" som bindeledd. For eksempel: "Hvis du sender elektrisk strøm gjennom en leder, vil lederen varmes opp," "Hvis du vil være lykkelig, vær glad."
- Ekvivalens (a ≡ b – identiske vurderinger). Oppstår når verdiene til a og b er de samme (enten begge er sanne eller begge usanne): "Mennesket er skapt for lykke, som en fugl er skapt for å fly."
- Negasjon (¬a, ā – inversjonsdom).Hver innledende setning er assosiert med en sammensatt setning som negerer den opprinnelige. Dette gjøres ved å bruke koblingen "ikke". Følgelig, hvis den opprinnelige setningen ser slik ut: "Oksen reagerer på det røde lyset" (a) - så vil negasjonen høres ut som: "Oksen reagerer IKKE på det røde lyset" (¬a).
