Dommens logik

Dommen er en form for tænkning, uden hvilken der ikke kan opstå erkendelse. Domme udtrykker forholdet mellem et objekt og en karakteristik, de bekræfter eller benægter eksistensen af ​​denne kvalitet i en given ting. Faktisk er dette tanken, dens form, som fortæller os om forbindelsen mellem objekter, og det er derfor, at dommen besidder et særligt sted i logik og opbygning af analytiske kæder.

Karakteristik af domme

Før vi fortsætter med at klassificere vurderinger i logik, skal vi finde en klar sondring mellem dom og koncept.

Konceptet - taler om tilstedeværelsen af ​​et objekt. Konceptet er "dag", "nat", "morgen" osv. Og dommen beskriver altid tilstedeværelsen eller fraværet af karakteristika - "Tidlig Morgen", "Kold Dag", "Stille Nat".

Domme er altid udtrykt i form af fortællings sætninger, og i øvrigt tidligere i grammatik blev essensen af ​​sætninger kaldet dom. En sætning, der udtrykker en dom, kaldes et tegn, og selve meningen med en sætning er en løgn eller en sandhed. Det er, i både enkle og komplekse vurderinger, en klar logik spores: forslaget nægter eller bekræfter tilstedeværelsen af ​​en egenskab ved objektet.

For eksempel kan vi sige, at "Alle solsystemets planeter drejer sig om deres akser", og vi kan sige, at "Ingen planet i solsystemet er immobile."

Typer af domme

I logik er der to slags domme - enkle og komplekse.

Enkle domme, som er opdelt i dele, kan ikke være en logisk betydning, de indeholder kun dom i en uadskillelig totalitet. For eksempel: "Matematik er dronningen af ​​videnskaber". Denne enkle sætning udtrykker et enkelt forslag. Komplekse typer af domme i logik betyder flere forskellige tanker, de består af kombinationer af enkle, enkle + komplekse eller et sæt komplekse vurderinger.

For eksempel: Hvis det regner i morgen, går vi ikke ud af byen.

Hovedkarakteristikken ved en kompleks dom er, at en af ​​dens dele har en anden betydning og adskilt fra anden del af sætningen.

Komplekse vurderinger og deres typer

I logik består komplekse vurderinger af kombinationer af enkle vurderinger. De er forbundet med logiske kæder - sammenhænge, ​​implikationer og ækvivalens. I enkle ord er disse fagforeninger "og", "eller", "men", "hvis ... det".