dom er en form for tenkning, bekrefte eller benekte noe om eksistensen av objekter, sammenhengen mellom dem og deres egenskaper, samt forholdet mellom stedene.
Eksempler dom: "The Volga renner ut i Det kaspiske hav", "A.Pushkin skrev et dikt "The Bronze Horseman", "sibirske tigeren er oppført i Red Book", osv
struktur dommer
dommen inneholder følgende elementer: emne, predikat, og en haug med quantifiers.
- motivet (. Lat Subjektum - «underliggende») - som, som nevnt i dommen av sitt emne («S»).
- predikat (lat Praedicatum -. «Sa») - en refleksjon karakteristikk av faget, hva som er sagt om emnet av dommen ("P").
- Bundle - relasjon mellom subjektet («S») og et predikat ("P").Det bestemmer tilstedeværelse / fravær av emnet for en egenskap uttrykt av predikat.Kanskje det innebærer, og angis med en "dash" eller ordene "a" ("ikke"), "har", "har", "essensen" og andre.
- quantifier (kvantifikator ord) definerer omfanget av begrepet, somDet er gjenstand for skjønn.Det står i foran motivet, men det kan også være fraværende i dommen.Representert av ord som "alle", "mange", "noen", "nei", "nei" og andre.
Sanne og falske dommer
dommen er sant i tilfelle hvor det er noen indikasjon, egenskaper ogRelations elementer godkjent / avvist i dommen, sant.For eksempel: "Alle svalene - fugler", "9 for mer enn 2" og så videre D.
Dersom erklæring er inntatt i dommen, ikke samsvarer med virkeligheten, har vi å gjøre med en falsk dom: "Solen roterer rundt jorden"."En kilo jern tyngre enn en kilo ull" og andre. De riktige dommer er grunnlaget for riktig resonnement.
Men bortsett fra toverdig logikk, hvori dom kan være enten sann eller falsk, er det også en multidimensjonal logikk.Under sine vilkår, dommen kan fortsatt usikkert.Spesielt det gjelder fremtiden for enkelte dommer, "I morgen er det / vil ikke skje sjøslag" (Aristoteles, "On tolkningen").Forutsatt at dette er sant proposisjoner, kan havet kampen i morgen ikke skje.Følgelig 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 umulige i fremtiden sjøslag.
dom på den type uttalelser
Som kjent, den type uttalelser er tre typer setninger: deklarative, spørrende og motiv.For eksempel setningen "Jeg husker en fantastisk øyeblikk" refererer til den type fortelling.Det er tilrådelig å foreslå at en slik dom vil også være fortelling.Den inneholder visse opplysninger, ifølge en bestemt hendelse.
I sin tur inneholder spørrende setning et spørsmål, få svar på: "Hva vil fremtiden bringe for meg" I dette tilfellet, sier det ingenting og legger ikke skjul på.Følgelig påstanden om at en slik dom er et spørsmål feil.Spørrende setninger i prinsippet ikke inneholder noen meninger, fordi spørsmålet ikke kan differensieres på grunnlag av sannhet / falskhet.
Incentive type setning er dannet i tilfelle hvor det er noen insentiv til handling, eller for å avvise forespørselen: ". Stå opp, O profet, og vid, og delta på"Angående dommer, som ifølge enkelte forskere, de ikke ligger i forslagene av denne typen.Andre mener at det er en rekke modale dommer.
kvalitet dommer
i form av kvalitet, kan dommen være både selvsikker (S har P), og negative (S er ikke P).I tilfelle av bekreftende dom, er ved et predikat til et individ, får 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, eiendommen er tatt bort fra motivet: "Teorien om den 25. rammen James Vicary har ingen eksperimentell bekreftelse."
kvantitative karakteristisk
proposisjoner i logikk kan være av generell art (relatert til alle fag i denne klassen), private (noen av dem) og individuelle (når vi snakker om emnet, er det bare én).For eksempel kan det argumenteres for at et slikt forslag som "Om natten er alle katter grå" vil referere til et felles syn, fordi det påvirker alle medlemmer av katten (gjenstand for dommen).Uttalelsen "Noen slanger er ikke giftige" - et eksempel på private dom.I sin tur, proposition "Wonderful Dnepr i stille vær," en isolert, 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 enkelt eller komplisert.Strukturen i en enkel proposisjoner inkluderer to beslektede begreper (SP):. «Boken - en kilde til kunnskap"Det er også dommer med ett konsept - når bare den andre mente: "Det begynte å bli mørkt» (P).
komplisert formen er dannet ved å kombinere noen enkle forslag.
Klassifisering av enkle dommer
enkel proposisjoner i logikk kan være av følgende typer: attributive, dom med relasjoner, eksistensielle, modal.
Egenskap (dommer egenskaper) sendt til godkjenning / fornektelse av eksistensen av visse egenskaper fra et objekt (attributter) aktiviteter.Disse dommene er kategorisk form og ikke avhørt "pattedyr nervesystemet består av hjernen, ryggmargen og utgående nervebaner."
Dommene med hensyn til visse relasjoner mellom objekter.De kan ha en space-time kontekst, kausal og andre. For eksempel: "En gammel venn er bedre enn to nye", "Hydrogen er lettere karbondioksid med 22 ganger."
eksistensiell proposition - en uttalelse om at det foreligger / ikke-eksistens av faget (både materielle og ideelle), "Ingen profet i eget land", "The Moon er en satellitt av jorden."
modal proposition - en form for godkjenning, som består av en viss modal operatør (nødvendig, bra / dårlig, viste seg kjent / ukjent, det er forbudt, tror jeg, og andre.).For eksempel:
- «Russland trenger å gjennomføre utdanningsreformen" (alethic modalitet - muligheten, behovet for noe).
- «Enhver har rett til personlig sikkerhet" (deontic modalitet - de moralske normer for sosial atferd).
- «Careless holdning til offentlig eiendom fører til sitt tap" (axiological modalitet - knyttet til den materielle og åndelige 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.Som de logiske sammenhenger mellom dem er slike teknikker som:
- Conjunction (og ʌ b - koble dommen).Dommer-conjuncts har en haug med "og", "Implementering av de rettigheter og friheter mann og borger skal ikke krenke rettigheter og friheter."
- disjunksjon (avb - dividere dommen).Som bestanddeler av dommer klausuler brukes som bindemiddel - konjunksjonen "eller".For eksempel: "Saksøker har rett til å øke eller redusere størrelsen på kravet."
- implikasjon (a → b - Dommen-effekt).Hvis strukturen i en kompleks dommen står og sender et resultat, kan det argumenteres for at denne dommen viser til implicative.Som et leddbånd i form som brukes av slike allianser som «hvis ... da".For eksempel: "Hvis gjennom lederen å gå glipp av elektrisk strøm, varmer ledningen opp", "Du ønsker å være lykkelig - bli lykkelig".
- Likeverdigheten (a ≡ b - identiske dommer).Det oppstår når verdien av a og b er den samme (enten både sant eller begge usann): "Mennesket er skapt for lykke, som en fugl å fly."
- Denial (¬a, A - dom-inversjon).Hver kilde er assosiert med påstanden sammensatte setningen benektes det opprinnelige.Ved å bruke leddbånd "nei".Følgelig, hvis den opprinnelige uttalelsen er som følger: "bull reagerer på rødt lys," (a) - fornektelse vil høres ut som: "oksen reagerer på rødt lys» (¬a).
