Domarna i logik. Vad är domen, vilka typer av domar

Domen är en form av tänkande, bekräfta eller förneka något om förekomsten av föremål, länkarna mellan dem och deras egenskaper, liksom förhållandet mellan objekt.

Exempel på påståenden: "The Volga rinner ut i Kaspiska havet", "AS Pushkin skrev en dikt "The Bronsryttaren", "Siberian tiger finns med i Red Book", etc.

Strukturen på domen

Dom innehåller följande moment: ämnet, predikat och ligament kvantifierare.

1. Ämne (lat subjektum -. «Underliggande») - att, såsom anges i domen, dess ämne ( «S»).
2. Predikatet (latin praedicatum -. «Said") - en reflektion av objektet taggen, vad som sägs om ämnet av domen ( 'P').
3. Bunt - förhållandet mellan motivet ( «S») och predikat ( "P"). Bestämmer närvaron / frånvaron av ämnet för en egenskap uttrycks som ett predikat. Kanske det innebär, och indikeras av ett "streck" eller orden "a" ( "inte"), "har", "ha", "ämne" och andra.
4. Kvantifierare (kvantifierare ord) definierar omfattningen av konceptet, som är föremål för domen. Det står framför ämnet, men det kan också vara frånvarande i dom. Betecknas med ord som "alla", "många", "något", "nej", "nej", och andra.

Sanna och falska påståenden

Domen är sant i de fall där det finns någon indikation, egenskaper och relationer poster godkända / nekade till doms, sant. Till exempel: "Alla Svalorna - fåglar", "9 mer än 2" och så vidare ..

Om uttalandet ingår i domen är inte sant, har vi att göra med en falsk proposition 'solen kretsar kring jorden '' A kilo järn tyngre än ett kilo bomull "och andra rätt bedömning är grunden för korrekt resonemang ..

Emellertid, utöver den tvåvärda logik, i vilket dom kan vara antingen sann eller falsk, det finns också en multi-dimensionell logik. Enligt dess villkor, kan dom vara fortfarande osäker. Speciellt det gäller framtiden för enskilda domar, "I morgon händer / inte händer ett sjöslag" (Aristoteles, "On the tolkning"). Om vi antar att detta är en sann proposition kan sjöslaget i morgon inte att ske. Därför är det nödvändigt att få det att hända. Eller vice versa: hävdar att domen i nuet är falsk, vilket gör vi den nödvändiga omöjligheten morgondagens sjöslag.

Domar om vilken typ av uttalande

Som bekant typen av uttalanden finns tre typer av meningar: deklarativ, agitation och förhör. Till exempel meningen "Jag minns en underbar stund" hänvisar till den typ av berättelse. Det är lämpligt att föreslå att en sådan dom skulle också berättelsen. Den innehåller specifik information, enligt en specifik händelse.

I sin tur innehåller frågande mening en fråga, få svar på: "Hur ser framtiden ut för mig" Samtidigt står det ingenting och förnekar inte. Således påståendet att en sådan dom är en fråga felaktigt. Frågande mening i princip inte innehåller någon bedömning, eftersom frågan inte kan differentieras på grundval av sanning / falskhet.

Incentive typ av mening bildas i de fall där det finns en viss incitament till handling, begära ett förbud "Stå, O profet, och VID och sköta" När det gäller domen i yttrandet av vissa forskare, de som inte ingår i de förslag av denna typ. Andra tror att det finns en mängd olika modala domar.

dom kvaliteten

I fråga om kvalitet, kan dom vara antingen jakande (S är P) och negativa (S inte P). I fallet med jakande dom via ämne predikat ansluten till 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ässansens konst"

I den negativa domen å andra sidan, är den egendom som tagits bort från ämnet "Theory of den 25: e ramen för James Vicary har ingen experimentell bekräftelse"

kvantitativ karakterisering

Domar i logik kan vara vanliga (som hänför sig till alla objekt i denna klass), privat (vissa av dem) och enheten (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 den allmänna utseende, eftersom den påverkar alla medlemmar av katt (föremål för dom). Godkännande av "Vissa ormar är inte giftig" - ett exempel på privata dom. I sin tur är dom "Wonderful Dnepr i lugnt väder" en enhet, eftersom vi talar om en viss flod, som finns i ett enda formulär.

Enkla och komplexa bedömningar

Beroende på strukturen, kan dom vara av en typ av enkla eller komplexa. Struktur enkel dom omfattar två sammankopplade begrepp (SP): «Book - 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 är bildad genom sammanfogning av flera enkla dom.

Klassificering av enkla domar

Enkla domar i logik kan vara av följande former: attributiva, dom med relationer, existentiellt, modal.

Attribut (fastighets dom) skickas för godkännande / avslag av motivet på vissa egenskaper (attribut) aktiviteter. Dessa domar är kategorisk formen och inte ifrågasättas, "nervsystemet hos däggdjur består av hjärnan i hjärnan, ryggmärgen och utgående nervbanor."

I domar med avseende på de specifika relationer mellan objekt. De kan ha en rum-tids sammanhang kausala, etc. Till exempel :. "Gamla vän bättre än två nya", "Hydrogen lättare koldioxid med 22 gånger."

Existentiell dom - detta påstående om förekomsten / icke-existens i ämnet (både material och ideal): "Det finns ingen profet i sitt eget land", "The Moon är en satellit på jorden."

Modal proposition - en form av godkännande, som inkluderade förekomsten av vissa modal operatör (behöver bra / dåligt, visade kända / okända, det är förbjudet, tror jag, och andra.). Till exempel:

• "Ryssland måste genomföra utbildningsreformer" (alethic modalitet - möjlighet, nödvändigheten av något).
• "Var och en har rätt till personlig säkerhet" (deontiska modalitet - de moraliska normer sociala beteende).
• "Försummelse av statlig egendom leder till dess förlust" (axiologic modalitet - i samband med material och moraliska värden).
• "Vi tror på din oskuld" (epistemisk modalitet - tillförlitligheten av kunskap).

Komplexa domar och vilka typer av logisk operator

Som redan nämnts, de komplexa bedömningar består av några enkla. Som de logiska anslutningarna mellan dem är sådana metoder som:

• Tillsammans (a ʌ b - anslut domar). Domar-conjuncts har ett gäng "och", "Genomförandet av de rättigheter och friheter människa och medborgare skall inte kränka rättigheter och friheter."
• Disjunktion (AVB - dividera domar). Som ingående delar i bedömnings-klausuler används som ett bindemedel - tillsammans "eller". Till exempel: "Käranden har rätt att öka eller minska storleken på fordran."
• Innebörden (a → b - dom-effekt). Om utstationering fördelas i strukturen komplicerad domen och följaktligen kan det hävdas att en sådan dom avser implicative. Som bindemedel som används i form av associationer som "om ... sedan". Till exempel: "Om genom ledaren att missa den elektriska strömmen, värmer tråd upp", "Vill du vara glad - be happy".
• Likvärdighet (a ≡ b - identisk dom). Den äger rum i det fall där värdena a och b är lika (antingen både sant eller båda false): "Människan är skapad för lycka, som en fågel att flyga."
• Negation (¬a, a - domar inversion). Varje källa är associerad med uttalandet förening uttalande som förnekar originalet. Genom att använda "inte" gäng. Således om den ursprungliga uttalande enligt följande: "Tjuren reagerar på rött ljus" (a) - förnekandet skulle låta: "Tjuren inte svarar på rött ljus" (¬A).