Dom är en form av tänkande som bekräftar eller förnekar något om objektens existens, om sambanden mellan dem och deras egenskaper, samt om relationerna mellan objekt.
Exempel på domar: "Volga rinner ut i Kaspiska havet", "A. S. Pushkin skrev dikten "The Bronze Horseman", "The Ussuri Tiger is noted in the Red Book", etc.
bedömningsstruktur
En dom innehåller följande element: subjekt, predikat, bindemedel och kvantifierare.
- Ämne (lat. subjektum - "underliggande") - vad som sägs i denna dom, dess ämne ("S").
- Predikat (lat. praedicatum - "sagt") - en återspegling av subjektets attribut, vad som sägs om föremålet för domen ("P").
- Länk är en relation mellan ett subjekt ("S") och ett predikat ("P"). Bestämmer närvaron / frånvaron av ämnet för någon egenskap uttryckt i predikatet. Det kan både antydas och indikeras av bindestrecket eller orden "är" ("är inte"), "har", "är", "essens" etc.
- Quantifier (kvantifierarord) bestämmer omfattningen av det begrepp som föremålet för bedömningen tillhör. Står framför motivet, men kan också vara frånvarande idom. Indikeras med ord som "alla", "många", "några", "ingen", "ingen", etc.
Sanna och falska bedömningar
En dom är sann när förekomsten av tecken, egenskaper och förhållanden hos objekt, bekräftade/förnekade i domen, motsvarar verkligheten. Till exempel: "Alla svalor är fåglar", "9 är fler än 2", etc.
Om påståendet i domen inte stämmer, har vi att göra med ett falskt omdöme: "Solen kretsar runt jorden", "Ett kilo järn är tyngre än ett kilo bomull", etc. Korrekta bedömningar utgör grunden för korrekta slutsatser.
Men förutom tvåvärdig logik, där en bedömning kan vara antingen sann eller falsk, finns det också flerdimensionell logik. Enligt dess villkor kan domen också vara obestämd. Detta gäller särskilt för framtida enstaka domar: "I morgon kommer det / kommer inte att hända ett sjöslag" (Aristoteles, "Om tolkning"). Om vi antar att detta är en sann dom, så kan ett sjöslag inte undgå att äga rum i morgon. Därför måste det hända. Eller vice versa: genom att hävda att denna dom för närvarande är falsk, gör vi därigenom nödvändigheten av morgondagens sjöstrid.
Bedömningar efter typ av uttalande
Som du vet, beroende på typen av uttalande, finns det tre typer av meningar: berättande, incitament och frågeform. Till exempel hänvisar meningen "Jag minns ett underbart ögonblick" tilltill den berättande typen. Det är rimligt att antyda att en sådan bedömning också skulle vara narrativ. Den innehåller viss information, rapporterar en viss händelse.
Frågesatsen innehåller i sin tur en fråga som antyder svaret: "Vad förbereder den kommande dagen för mig?" Den varken påstår eller förnekar någonting. Följaktligen är påståendet att en sådan dom är förhörande felaktig. En frågedom innehåller i princip ingen dom, eftersom frågan inte kan särskiljas efter sannings-/falskhetsprincipen.
Meningar av incitament bildas när det finns en viss impuls till handling, en begäran eller ett förbud: "Stå upp, profetera, se och lyssna." När det gäller bedömningar finns de enligt vissa forskare inte i meningar av denna typ. Andra tror att vi talar om ett slags modala bedömningar.
Kvalitet på omdöme
Från kvalitetssynpunkt kan bedömningar vara antingen jakande (S är P) eller negativa (S är inte P). När det gäller en positiv proposition, är en viss egenskap(er) knuten till ämnet med hjälp av ett predikat. Till exempel: "Leonardo da Vinci är en italiensk målare, arkitekt, skulptör, vetenskapsman, naturforskare, såväl som en uppfinnare och författare, den största representanten för renässanskonst."
I en negativ proposition, tvärtom, subtraheras egenskapen från ämnet:experimentell bekräftelse.”
Kvantitativa egenskaper
Bedömningar i logik kan vara generella (avser alla objekt i en given klass), privata (till vissa av dem) och singular (när det gäller ett objekt som finns i en enda kopia). Till exempel kan man hävda att ett omdöme som "Alla katter är grå på natten" skulle vara generiskt eftersom det påverkar alla kattdjur (ämnet för domen). Påståendet "Vissa ormar är inte giftiga" är ett exempel på en privat bedömning. I sin tur är domen "Dnepr är underbar i lugnt väder" en enda, eftersom vi talar om en specifik flod som finns i en enda form.
Enkla och komplexa bedömningar
Beroende på strukturen kan bedömningen vara av enkel eller komplex typ. Strukturen för en enkel proposition inkluderar två relaterade begrepp (S-P): "En bok är en källa till kunskap." Det finns också domar med ett begrepp - när det andra bara antyds: "Mörker" (P).
En komplex form bildas genom att kombinera flera enkla propositioner.
Klassificering av enkla bedömningar
Enkla bedömningar i logik kan vara av följande typer: attributiva, bedömningar med relationer, existentiella, modala.
Attributiv (egendomsbedömningar) syftar till att bekräfta/förneka att ett objekt har vissa egenskaper (attribut), aktiviteter. Dessa bedömningar har en kategorisk form och ifrågasätts inte: Däggdjurens nervsystem består av hjärnan, ryggradenhjärnan och utgående nervbanor.”
Relationella bedömningar tar hänsyn till vissa relationer mellan objekt. De kan ha ett rumsligt och tidsmässigt sammanhang, kausal etc. Till exempel: "En gammal vän är bättre än två nya", "Väte är 22 gånger lättare än koldioxid."
En existentiell bedömning är ett uttalande om existensen / icke-existensen av ett objekt (både materiellt och idealiskt): "Det finns ingen profet i hans eget land", "Månen är en satellit på jorden."
Modal proposition är en form av påstående som innehåller en viss modal operator (nödvändig, bra/dålig; bevisad, känd/okänt, förbjuden, tror, etc.). Till exempel:
- "I Ryssland är det nödvändigt att genomföra utbildningsreformer" (aletisk modalitet - möjligheten, behovet av något).
- "Alla har rätt till personlig integritet" (deontisk modalitet - moraliska normer för soci alt beteende).
- "Ovarsam attityd till statlig egendom leder till förlust" (axiologisk modalitet - attityd till materiella och andliga värden).
- "Vi tror på din oskuld" (epistemisk modalitet - graden av tillförlitlighet av kunskap).
Komplexa bedömningar och typer av logiska kopplingar
Som redan nämnts består komplexa bedömningar av flera enkla. De logiska länkarna mellan dem är sådana knep som:
- Konjunktion (och ʌ b är sammanbindande propositioner). Konjunkta domar har ett gäng "och":"Utövandet av mänskliga och medborgerliga rättigheter och friheter får inte kränka andras rättigheter och friheter."
- Disjunktion (a v b – disjunktiva domar). Disjunkta bedömningar används som beståndsdelar, och facket "eller" används som en länk. Till exempel: "Käranden har rätt att öka eller minska storleken på kraven."
- Implikation (a → b – dom-konsekvens). Om en premiss och en konsekvens urskiljs i strukturen av en komplex dom, så kan man hävda att en sådan bedömning tillhör de implikativa. Som länk i denna form används fackföreningar som "om … då". Till exempel: "Om en elektrisk ström passerar genom ledaren, kommer ledaren att värmas upp", "Om du vill vara lycklig, var det."
- Ekvivalent (a ≡ b – identiska bedömningar). Uppstår när a och b är lika (antingen är båda sanna eller båda är falska): "Människan är gjord för att vara lycklig, som en fågel är gjord för att flyga."
- Negation (¬a, ā – dom-inversion). Varje originalpåstående är associerat med ett sammansatt påstående som förnekar det ursprungliga. Det utförs med hjälp av ett gäng "inte". Följaktligen, om det ursprungliga uttalandet ser ut så här: "Tjuren reagerar på rött ljus" (a) - så kommer förnekelsen att låta som: "Tjuren reagerar INTE på rött ljus" (¬a).
