Dommer i logikk. Hva er dommen, hvilke typer dommer

Dommen er en form for tenkning, bekrefte eller benekte noe om eksistensen av objekter, koblingene mellom dem og deres egenskaper, samt forholdet mellom stedene.

Eksempler på utsagn: "The Volga renner ut i Kaspihavet", "AS Pushkin skrev et dikt "The Bronze Horseman", "Siberian tiger er oppført i Red Book", osv

Strukturen av dommen

Dom består av følgende elementer: den gjenstand, predikat og ligament kvantifikator.

1. Subject (lat subjektum -. «Underliggende») - som, som nevnt i dommen, emne ( «S»).
2. Den predikat (latin praedicatum -. «Sa") - en refleksjon på objektet tag, hva som er sagt om emnet for den dom ( 'P').
3. Bunt - forholdet mellom emnet ( «S») og predikat ( "P"). Bestemmer tilstedeværelsen / fraværet av en gjenstand av en egenskap uttrykkes som et predikat. Kanskje det innebærer, og vises med en "dash" eller ordene "a" ( "ikke"), "har", "har", "substans", og andre.
4. Kvantifikator (kvantifikator ord) definerer omfanget av konsept, hvor emnet for dom. Det står foran i faget, men det kan også være fraværende i dommen. Betegnes med ord som "alle", "mange", "noen", "nei", "nei", og andre.

Sanne og falske påstander

Dommen er sant i tilfelle hvor det er noen indikasjon, egenskaper og relasjoner av elementer som er godkjent / avvist i dommen, sanne. For eksempel: "Alle svalene - fugler", "9 mer enn 2" og så videre ..

Hvis erklæring er inntatt i dommen er ikke sant, har vi å gjøre med en falsk proposition 'solen roterer rundt jorden '' En kilo jern tyngre enn en kilo bomull "og andre rettigheter dommen er basert på korrekt resonnement ..

Men i tillegg til to-verdsatt logikk, der dommen kan være enten sant eller usant, er det også en multi-dimensjonal logikk. Ifølge sine vilkår, kan dommen bli fortsatt usikkert. Spesielt det gjelder fremtiden for enkelte dommer, "I morgen skjer / ikke skjer et sjøslag" (Aristoteles, "On the tolkning"). Hvis vi antar at dette er en sann forslag, kan sjøslag i morgen ikke skje. Derfor er det nødvendig å gjøre det skje. Eller vice versa: hevdet at dommen i øyeblikket er falsk, vi dermed gjøre de nødvendige umuligheten av morgendagens sjøslag.

Dommer på den type uttalelse

Som kjent, den type uttalelser er tre typer setninger: deklarative, agitasjon og avhør. For eksempel setningen "Jeg husker en fantastisk øyeblikk" refererer til den typen fortelling. Det er tilrådelig å foreslå at en slik dom vil også fortelling. Den inneholder spesifikk informasjon, i henhold til en bestemt hendelse.

I sin tur inneholder spørrende setning et spørsmål, få svar på: "Hva vil fremtiden bringe for meg," Samtidig står det ingenting og legger ikke skjul på. Følgelig er det krav om at en slik dom er et spørsmål feil. Spørrende setning, i prinsippet, ikke inneholder noen dom fordi spørsmålet ikke kan differensieres på grunnlag av sannhet / falskhet.

Incentive type setning dannes i tilfelle hvor det er noe incitament til handling, be om et forbud: "Stå opp, O profet, og vid, og ivareta" Med hensyn til dommen, i den oppfatning av enkelte forskere, de ikke ligger i forslagene av denne typen. Andre mener at det er en rekke modale dommer.

kvalitet dom

Når det gjelder kvalitet, kan dom enten være positiv (S er P), og negativ (S er ikke P). I tilfelle av den bekreftende dom, via gjenstand predikat festet til en viss egenskap (-WA). For eksempel: "Leonardo da Vinci - italiensk maler, arkitekt, billedhugger, vitenskapsmann, naturalist og oppfinner og forfatter, den største representanten for renessansekunst"

I negativ dom, på den annen side, er eiendommen tatt bort fra motivet: "Theory of 25th rammen av James Vicary har ingen eksperimentell bekreftelse"

kvantitativ karakterisering

Dommer i logikk kan være felles (gjelder alle objekter av denne klassen), private (noen av dem) og enheten (når vi snakker om emnet, er det bare én). For eksempel kan det hevdes at et slikt forslag som "Om natten er alle katter grå" vil referere til den generelle utseende, fordi det påvirker alle medlemmer av katten (gjenstand for dommen). Godkjennelse av "Noen slanger er ikke giftige" - et eksempel på privat dom. I sin tur, dommen "Wonderful Dnepr i stille vær" er en enhet, siden vi snakker om en bestemt elv som finnes i en enkelt form.

Enkle og komplekse vurderinger

Avhengig av strukturen, kan dommen være av en type enkle eller komplekse. Struktur enkel dommen omfatter to sammenkoblede konsepter (SP): «bok - en kilde til kunnskap". Det er også dommer med ett konsept - når andre bare ment: "Det begynte å bli mørkt» (P).

Komplisert formen er dannet ved å sammenføye flere enkle dom.

Klassifisering av enkle dommer

Enkle dommer i logikk kan være av følgende former: attributiv, dom med relasjoner, eksistensielle, modal.

Attributt (eiendom-dommen) sendt til godkjenning / avslag av faget på visse egenskaper (attributter) aktiviteter. Disse dommer er kategorisk form og ikke utspurt, "pattedyrnervesystemet består av hjerne av hjernen, ryggmarg og utgående nervebaner."

I dommer med hensyn til de spesifikke relasjoner mellom objektene. De kan ha en rom-tid-sammenheng, årsakssammenheng, etc. For eksempel :. "Gamle venn bedre enn to nye", "Hydrogen lettere karbondioksid med 22 ganger."

Eksistensiell dom - denne påstanden om eksistensen / ikke-eksistens av faget (både materielle og ideelle): "Det er ingen profet i sitt eget land", "Månen er en satellitt av jorden."

Modal forslag - en form for godkjenning, som inkluderte tilstedeværelsen av visse modal operatør (trenger god / dårlig, viste seg kjent / ukjent, det er forbudt, tror jeg, og andre.). For eksempel:

• "Russland trenger for å gjennomføre utdanningsreformen" (alethic modalitet - mulighet, nødvendigheten av noe).
• "Enhver har rett til personlig sikkerhet" (deontic modalitet - de moralske normer for sosial atferd).
• "Forsøm av tilstand egenskapen fører til sin tap" (axiologic modalitet - relatert til materialet og moral-verdier).
• "Vi tror på din uskyld" (epistemisk modalitet - påliteligheten av kunnskap).

Komplekse vurderinger og hvilke typer logiske bindeord

Som allerede nevnt, komplekse vurderinger består av noen enkle. Ettersom de logiske forbindelsene mellom dem er slike metoder som:

• Forbindelse (a ʌ b - å kople dommer). Dommer-conjuncts har en haug med "og", "Implementering av de rettigheter og friheter mann og borger skal ikke krenke rettigheter og friheter."
• Motsetninger (AVB - dividere dommer). Når de forskjellige elementer av dommen avsnittene blir brukt som et bindemiddel - forbindelse "eller". For eksempel: "Saksøker har rett til å øke eller redusere størrelsen på kravet."
• Implikasjonen (a → b - dom-effekt). Hvis innlegget er avsatt i strukturen komplisert dom, og følgelig kan det hevdes at en slik dom angår implicative. Som bindemiddel anvendes i form av assosiasjoner som "hvis ... deretter". For eksempel: "Dersom gjennom lederen å gå glipp av elektrisk strøm, varmer opp ledningen", "Ønsker du å være lykkelig - bli lykkelig".
• Ekvivalens (a ≡ b - identisk dom). Det foregår i tilfelle hvor verdiene av a og b er det samme (enten både sant eller begge false): "Mennesket er skapt for lykke, som en fugl å fly."
• Negasjon (¬a, A - dommer inversjon). Hver kilde er forbundet med utsagnet sammensatte setningen som nekter den opprinnelige. Ved å bruke "ikke" gjeng. Følgelig, hvis den opprinnelige uttalelsen som følger: "bull reagerer på rødt lys," (a) - fornektelse ville høres ut som: "The bull ikke svare på rødt lys" (¬A).