je oblika mišljenja, potrditi ali zanikati ničesar o obstoju predmetov, povezave med njimi in njihovih lastnosti, kot tudi odnos med predmeti.
Primeri sodba: "The Volga izliva v Kaspijsko morje", "A.Puškin je napisal pesem "The Bronze konjenik", "Sibirski tiger je navedeno v Red Book", itdStruktura sodbe
sodba
vključuje naslednje elemente: predmet, predikat, in kup kvantifikatorjev.
- predmet (. Lat Subjektum - "osnovni") - ki, kot je navedeno v sodbi svojega predmeta («S»).
- predikat (lat Praedicatum -. «Je dejal") - odraz značilnost predmeta, kaj je rekel na temo sodbe ("P").
- Bundle - Odnos med objektom («S») in povedka ("P").To določa prisotnost / odsotnost predmeta premoženja, ki ga predikata izraženo.Mogoče to pomeni, in je označen s "pomišljaj" ali z besedami "a" ("ni"), "ima", "imeti", "bistvo" in drugi.
- kvantifikatorja (količilniku besed) opredeljuje obseg pojma, kiTo je predmet presoje.To stoji pred temo, ampak je lahko tudi odsoten v sodbi.Zastopana z besedami, kot so "vsi", "veliko", "nekaj", "ne", "ne" in drugi.
pravimi in lažnimi sodb sodba
velja v primeru, ko obstaja kako znamenje, lastnosti inodnosi postavke odobren / zavrnjen v sodbi, res.Na primer: "Vse lastovke - ptice", "9 za več kot 2" in tako naprej, D.
Če je izjava vsebovana v sodbi, ne ujema z realnostjo, smo se ukvarjajo z lažno sodbe: "Sonce se vrti okoli Zemlje"."Kilogram železa težji kot kilogram volne" in druge. Pravilne sodbe so osnova pravilnega sklepanja.
Vendar je poleg dveh vrednotijo logiko, v katerem se lahko sodba lahko bodisi resnična ali neresnična, je tudi multi-dimenzionalno logiko.Pod svojimi pogoji, lahko še vedno negotova sodba.Še posebej pa se nanaša na prihodnost posameznih odločb, "Jutri ne bo / ne bo zgodilo morsko bitko" (Aristotel, "On razlago").Ob predpostavki, da je to res predlog, jutri morje bitka ne more zgoditi.Zato je potrebno, da se je zgodilo.Ali obratno: trdi, da je sodba v tem trenutku napačen, smo tako storili potrebne nemožnost bodoče morske bitke.Sodba
na vrsto izjav
Kot je znano, je tip izjav so tri vrste kazni: deklarativno, vprašalnih in motive.Na primer, stavek "Spomnim čudovit trenutek" se nanaša na vrsto pripovedi.Priporočljivo je, da kažejo, da bi bila tudi taka sodba pripoved.Vsebuje nekatere informacije, v skladu s posebnim dogodkom.
V zameno, vprašalni stavek vsebuje vprašanje, dobili odgovor: "Kaj prinaša prihodnost za mene" V tem primeru, se pravi nič in ne zanika.Zato je trditev, da je taka sodba vprašanje napačno.Vprašalni stavki načeloma ne vsebuje nobenega mnenja, ker vprašanje ni mogoče razlikovati na podlagi resnice / Lažnost.
tip Incentive stavka se oblikuje v primeru, če obstaja nekaj spodbuda za ukrepanje, ali zavrnitvi zahteve: ". Vstani, O Preroka in vid, in se udeležijo"Glede sodb, ki po mnenju nekaterih raziskovalcev, ki niso vsebovane v predlogih te vrste.Drugi menijo, da je sorta modalnih sodb.
kakovosti sodb
v smislu kakovosti, se lahko sodba lahko tako samozavesten (S ima P) in negativni (S ni P).V primeru pritrdilnega sodbe, s predikatom na temo je dal neko lastnost (-wa).Na primer: ". Leonardo da Vinci - italijanski slikar, arhitekt, kipar, znanstvenik, naravoslovec in izumitelj in pisatelj, ki je največji predstavnik renesančne umetnosti"
V negativno sodbo, na drugi strani pa je nepremičnina odvzame temo: "Teorija 25. okvirja James Vicary nima eksperimentalno potrditev."
kvantitativna lastnost
predlog v logiki lahko splošne narave (v povezavi z vseh predmetov v tem razredu), zasebna (nekateri od njih) in individualno (ko govorimo o tej temi, je samo ena).Na primer, je mogoče trditi, da bo takšen predlog, kot "Ponoči so vse mačke črne" se nanaša na skupno stališče, saj vpliva na vse člane mačka (predmet sodbe).Stavek "Nekatere kače niso strupene" - primer zasebnega sodbe.V zameno, proposition "Čudovito Dneper v mirnem vremenu," osamljen, saj govorimo o eni posebno reko, ki obstaja na enotnem obrazcu.
Enostavni in kompleksni sodbe
Glede na strukturo, lahko sodba biti preprosta ali zapletena.Struktura preprostega stavka vključuje dve sorodne koncepte (PS):. «Knjigi - vir znanja"Obstajajo tudi sodbi z enega koncepta - kadar se drugo mišljen le: "pridobivanje Bilo je temno» (P).
zapletena oblika je nastala z združitvijo nekaj preprostih stavkov.
Razvrstitev preprostih sodb
preprostega stavka v logiki lahko naslednjih tipov: atributivnih, sodbe z odnosi, eksistencialnih, modalne.
Lastnost (sodba-properties) pošlje za odobritve / zanikanje obstoja nekaterih lastnostih iz predmeta (atributov) dejavnosti.Te sodbe so kategorično oblika in ni vprašljiva "živčni sistem sesalcev in je sestavljen iz možganov, hrbtenjače in odhodnih živčnih poteh."
sodb z zvezi z nekaterimi odnosov med predmeti.Lahko imajo prostor-čas kontekstu kavzalni, in drugi. Na primer: "Stara prijateljica je boljša kot dve nove", "vodik lažji ogljikovega dioksida za 22-krat."
eksistencialna predlog - izjava o obstoju / neobstajanju subjekta (tako materialno in idealno), "No prerok v svoji lastni državi", "The Moon je satelit Zemlje."
modal proposition - oblika odobritvi, od katerih je sestavljena iz določenega operaterja modalno (potrebno, dobro / slabo, se je izkazalo znano / neznano, je prepovedano, verjamem, in drugi.).Na primer:
- "Rusija mora izvesti reformo izobraževanja" (aletični modalnost - možnost, potreba po nečem).
- «Vsakdo ima pravico do osebne varnosti" (deontic modalnosti - moralne norme družbenega vedenja).
- «malomaren odnos do javne lastnine vodi v njeno izgubo" (aksiološko modalnosti - v zvezi z materialom in duhovnih vrednot).
- «Verjamemo v vaši nedolžnosti" (epistemic modalnost - zanesljivost znanja).
zapletene presoje in vrste logičnimi operacijami
Kot smo že omenili, kompleksni sodbe je sestavljen iz nekaj preprostimi.Ker so logične povezave med njimi takšne tehnike, kot so:
- povezavi (in ʌ b - povezovanje sodbe).Sodbe-conjuncts imajo kup "in", "Uresničevanje pravic in svoboščin človeka in državljana, ne sme kršiti pravic in svoboščin drugih."
- disjunkcije (AVB - deljenjem sodba).Kot so sestavni elementi sodbe-klavzul uporablja kot vezivo - veznika "ali".Na primer: "Tožnik ima pravico, da poveča ali zmanjša obseg zahtevka."
- posledice (a → b - sodba učinek).Če se struktura kompleksnih sodbe sestojev in pošiljanje rezultat, je mogoče trditi, da se ta sodba nanaša na implicative.Kot ligament v obliki takšnih zavezništev, ki se uporablja kot "če ... potem".Na primer: "Če s pomočjo prevodnika zamuditi električni tok, žica segreje", "Hočeš, da bi bil srečen - biti srečen."
- Enakovrednost (a ≡ b - enake sodbe).To se zgodi, ko so vrednosti a in b enaka (bodisi tako resnična ali oboje false): »Človek je ustvarjen za srečo, kot ptica za letenje."
- Denial (¬, a - sodba inverzije).Vsak vir je povezana s trditev sestavljenega izkaza zanikala izvirnik.Z uporabo vezi "ne".Zato, če je izvirna izjava se glasi: "The bull reagira na rdečo luč," (a) - zanikanje bo zvenelo kot: "bik reagira na rdečo svetlobo" (¬).
