Dom i logikk

Dommen er en av formene for tenkning, uten hvilken det ikke kan oppstå skjønnlitteratur. Dommer uttrykker forholdet mellom et objekt og en karakteristikk, de bekrefter eller benekter eksistensen av denne kvaliteten i en gitt sak. Faktisk er dette tanken, dens form, som forteller oss om tilkobling av objekter, og det er derfor dommen opptar et spesielt sted i logikk og bygging av analytiske kjeder.

Kjennetegn ved dommer

Før vi fortsetter å klassifisere vurderinger i logikk, må vi finne et klart skille mellom dommen og konseptet.

Konseptet - snakker om tilstedeværelsen av et objekt. Konseptet er "dag", "natt", "morgen", etc. Og dommen beskriver alltid tilstedeværelsen eller fraværet av egenskapene - "Tidlig morgen", "Kaldedag", "Stille natt".

Dommer er alltid uttrykt i form av fortellende setninger, i tillegg tidligere i grammatikk ble essensen av setninger kalt dom. En setning som uttrykker en dom kalles et tegn, og selve meningen med en setning er en løgn eller en sannhet. Det er, i både enkle og komplekse vurderinger, en klar logikk spores: Forslaget nekter eller bekrefter tilstedeværelsen av en egenskap av objektet.

For eksempel kan vi si at "Alle planetene i solsystemet dreier seg om sine akser", og vi kan si at "Ingen planet av solsystemet er immobile."

Typer av dommer

I logikken er det to typer dommer - enkelt og komplekst.

Enkle dommer, som er delt inn i deler, kan ikke være en logisk mening, de inneholder kun dom i en uadskillelig totalitet. For eksempel: "Matematikk er dronningen av naturvitenskap". Denne enkle setningen uttrykker et enkelt forslag. Komplekse typer dommer i logikk betyr flere forskjellige tanker, de består av kombinasjoner av enkle, enkle + komplekse, eller et sett av komplekse vurderinger.

For eksempel: Hvis det regner i morgen, vil vi ikke gå ut av byen.

Hovedkarakteristikken til en kompleks vurdering er at en av dens deler har en annen mening og separat fra den andre delen av setningen.

Komplekse vurderinger og deres typer

I logikk består komplekse vurderinger av kombinasjoner av enkle vurderinger. De er forbundet med logiske kjeder - konjunktjoner, implikasjoner og ekvivalens. I enkle ord er det fagforeninger "og", "eller", "men", "hvis ... det".