dom är en form av tänkande, bekräfta eller förneka något om förekomsten av föremål, kopplingarna mellan dem och deras egenskaper, liksom relationen mellan objekt.
Exempel dom: "Volga rinner ut i Kaspiska havet", "A.Pushkin skrev en dikt "The Bronsryttaren", "sibiriska tigern finns med i Red Book", etc.
struktur domar
dom innehåller följande moment: ämne, predikat och ett gäng kvantifikatorer.
- ämne (. Lat Subjektum - «underliggande») - att, som förekommer i domen av sitt ämne («S»).
- predikat (lat Praedicatum -. «Sa") - en reflektion kännetecknande för ämnet, vad sägs om ämnet domen ("P").
- Bundle - samband mellan ämnet («S») och ett predikat ("P").Den bestämmer närvaron / frånvaron av föremålet för en egenskap som uttrycks av predikat.Kanske det innebär, och indikeras av ett "streck" eller orden "a" ("inte"), "har", "ha", "väsen" och andra.
- kvantifierare (quantifier ord) definierar omfattningen av begreppet, somDet är föremål för domen.Det står framför ämnet, men det kan också vara frånvarande i domen.Representeras av ord som "alla", "många", "något", "nej", "nej" och andra.
sant och falskt domar
dom är sant i de fall där det är någon indikation, egenskaper ochförbindelser godkänd / förnekas dom, sant.Till exempel: "Alla svalor - fåglar", "9 för mer än 2" och så vidare D.
Om uttalandet finns i domen, inte stämmer med verkligheten, vi har att göra med en falsk dom: "Solen kretsar kring jorden"."Ett kilo järn tyngre än ett kilo ull" och andra. De korrekta bedömningar är grunden för korrekt resonemang.
Men bortsett från två-värderad logik, i vilket dom kan vara antingen sann eller falsk, det finns också en multi-dimensionell logik.Enligt dess villkor, dom kan fortfarande osäker.Speciellt det handlar om framtiden för enskilda domar, "I morgon kommer det / inte kommer att hända sjöslag" (Aristoteles, "På tolkning").Om man antar att detta är sant proposition kan sjöslaget i morgon inte att ske.Därför är det nödvändigt att göra det hända.Eller vice versa: hävdar att domen i nuet är falsk, vilket gör vi den nödvändiga omöjligt för framtida sjöslag.
dom på vilken typ av uttalanden
som är känd, vilken typ av uttalanden finns tre typer av meningar: deklarativ, frågande och motiv.Till exempel meningen "Jag minns en underbar stund" syftar på den typ av berättelse.Det är tillrådligt att föreslå att en sådan dom skulle också vara berättande.Det innehåller vissa uppgifter, i enlighet med en specifik händelse.
i sin tur innehåller frågande meningen en fråga, få svar på: "Vad ser framtiden ut för mig" I detta fall står det ingenting och inte förneka.Följaktligen påståendet att en sådan dom är en fråga felaktigt.Interrogativa meningar i princip inte innehåller några yttranden, eftersom frågan inte kan differentieras på grundval av sanning / falskhet.
Incentive typ av straff bildas i de fall där det finns en viss incitament till handling, eller att avslå begäran: ". Stå upp, o profet, och VID, och sköta"När det gäller domar som enligt vissa forskare, är de inte ingår i de förslag av denna typ.Andra tror att det finns en mängd olika modala domar.
kvalitet domar
I fråga om kvalitet, kan domen vara både självsäkert (S har P), och negativ (S är inte P).I fallet med den bekräftande bedömningen, genom ett predikat till en individ ges en viss egenskap (-WA).Till exempel: ". Leonardo da Vinci - italiensk målare, arkitekt, skulptör, forskare, naturalist och uppfinnare och författare, den största representanten för renässanskonst"
I den negativa domen, å andra sidan, fastigheten tas bort från motivet: "Teorin om den 25: e ramen James Vicary har ingen experimentell bekräftelse."
kvantitativ egenskap
proposition i logik kan vara av allmän karaktär (i samband med alla ämnen i denna klass), privat (vissa av dem) och individuell (när man talar om ämnet, det finns bara en).Till exempel kan det hävdas att en sådan proposition som "På natten är alla katter grå" kommer att hänvisa till en gemensam syn, eftersom den påverkar alla medlemmar av katten (föremål för dom).Uttalandet "Vissa ormar är inte giftig" - ett exempel på privata dom.I sin tur, propositionen "Underbar Dnjepr i lugnt väder," en isolerad, eftersom vi talar om en viss flod, som finns i ett enda formulär.
Enkla och komplexa bedömningar
Beroende på strukturen, kan dom ha en enkel eller komplex.Strukturen för en enkel proposition innehåller två relaterade begrepp (SP):. «Boken - en källa till kunskap"Det finns också domar med ett koncept - när den andra endast avsedd: "Det började bli mörkt» (P).
komplicerad formen bildas genom att kombinera några enkla satser.
Klassificering av enkla domar
enkel proposition i logik kan vara av följande typer: attributiva, dom med relationer, existentiella, modal.
Attribut (dom-egenskaper) skickas för godkännande / förnekande av förekomsten av vissa egenskaper från ett objekt (attribut) aktiviteter.Dessa domar är kategorisk formen och inte ifråga "nervsystemet hos däggdjur består av hjärnan, ryggmärgen och utgående nervbanor."
Domarna med avseende på vissa relationer mellan objekt.De kan ha en rumtiden sammanhang, kausala, och andra. Till exempel: "En gammal vän är bättre än två nya", "Väte är lättare koldioxid med 22 gånger."
existentiell proposition - en redogörelse för förekomsten / icke-existensen av ämnet (både materiella och ideal), "No profet i sitt eget land", "Månen är en satellit på jorden."
modal proposition - en form av godkännande av som består av ett visst modal operatör (behövs, bra / dåligt, bevisade känd / okänd, är det förbjudet, tror jag, och andra.).Till exempel:
- «Ryssland måste genomföra utbildningsreformer" (alethic modalitet - möjligheten, behovet av något).
- «Var och en har rätt till personlig säkerhet" (deontic modalitet - de moraliska normer för socialt beteende).
- «Vårdslös inställning till allmän egendom leder till dess förlust" (axiologisk modalitet - relaterad till materiella och andliga värden).
- «Vi tror på din oskuld" (epistemisk modalitet - tillförlitligheten av kunskap).
komplexa bedömningar och vilka typer av logiska konnektiv
Som redan konstaterats, komplexa bedömningar består av ett par enkla.Eftersom de logiska kopplingar mellan dem är sådana tekniker som:
- Konjunktion (och ʌ b - ansluter dom).Domar-conjuncts har ett gäng "och", "Genomförandet av de rättigheter och friheter människa och medborgare skall inte kränka de rättigheter och friheter."
- disjunktion (AVB - dela dom).Som beståndsdelar av dom-klausuler används som bindemedel - konjunktionen "eller".Till exempel: "Käranden har rätt att öka eller minska storleken på fordran."
- implikation (a → b - dom-effekt).Om strukturen i en komplex dom står och skicka ett resultat, kan man hävda att denna dom hänvisar till implicative.Som ett ligament i den form som används av sådana allianser som "om ... sedan".Till exempel: "Om genom ledaren att missa den elektriska strömmen, värmer tråden upp", "Du vill vara lycklig - be happy".
- Likvärdig (a ≡ b - identiska domar).Det inträffar när värdet av a och b är desamma (antingen både sant eller båda falskt): "Människan är skapad för lycka, som en fågel att flyga."
- Denial (¬a, a - dom-inversion).Varje källa är associerad med påståendet föreningen uttalande förnekar originalet.Genom att använda ligament "nej".Följaktligen, om den ursprungliga uttalande är som följer: "Tjuren reagerar på ett rött ljus" (a) - förnekandet kommer att låta så här: "tjuren reagerar på ett rött ljus» (¬a).
