Sodbe v logiki. Kaj je sodba, vrste sodb

Sodba je oblika mišljenja, potrditi ali zanikati ničesar o obstoju predmetov, povezave med njimi in njihove lastnosti, kot tudi odnos med predmeti.

Primeri izjav: "The Volga izliva v Kaspijsko morje", "AS Puškin je napisal pesem "The Bronze konjenik", "Sibirski tiger je navedeno v Red Book", itd

Struktura sodbe

Sodba vsebuje naslednje elemente: predmet, predikat in vezivnega kvantifikator.

1. Zadeva (lat subjektum -. «Temeljno") - ki, kot je navedeno v sodbi, njegov predmet ( "S").
2. Predikat (Latinska praedicatum -. «Said") - odraz objekta oznake, kar je povedal na temo sodbe ( "P").
3. Bundle - razmerje med temi ( «S») in predikata ( "P"). Določa prisotnosti / odsotnosti je predmet lastnine izražena kot predikat. Mogoče to pomeni, in je označen z "pomišljaj" ali z besedami "a" ( "ni"), "je", "imeti", "snov", in drugi.
4. Kvantifikator (kvantifikator beseda) opredeljuje obseg koncepta, na katerem je predmet presoje. To stoji pred predmetom, lahko pa tudi ni v sodbi. Označena z besedami, kot so "vse", "veliko", "nekaj", "ne", "ne", in drugi.

Prave in lažne izjave

Sodba velja v primeru, ko obstaja kako znamenje, lastnosti in razmerja predmetov odobrenih / zavrnjena v sodbi, resnične. Na primer: »Vse lastovke - ptic", "9 več kot 2" in tako naprej ..

Če izjava je vsebovana v sodbi ni res, imamo opravka z lažno predlogom "Sonce se vrti okoli Zemlje", "A kilogram železa težji kot kilogram bombaža" in drugi desni sodbe so osnova za pravilne obrazložitve ..

Vendar pa je poleg dveh vrednoti logiko, v katerem se lahko sodba biti bodisi resnična ali neresnična, je tudi večdimenzionalni logika. V skladu s svojimi pogoji, se lahko sodba še vedno negotova. Še posebej gre za prihodnost posameznih odločb, "Jutri se zgodi / ne zgodi pomorsko bitko« (Aristotel, "Po razlagi"). Če predpostavimo, da je to pravi predlog, jutri morje bitka ne more zgoditi. Zato je potrebno, da to uresniči. Ali obratno: trdijo, da je sodba v tem trenutku napačen, smo tako storili potrebno nezmožnost jutrišnji morsko bitko.

Sodbe o vrsti izjave

Kot je znano, je tip izjav tri vrste kazni: deklarativno, vznemirjenost in zaslišanje. Na primer, stavek "Spomnim čudovit trenutek" se nanaša na vrsto pripovedi. Priporočljivo je, da kažejo, da bi taka sodba tudi pripoved. Vsebuje posebne informacije, v skladu s posebnim dogodkom.

V zameno, vprašalni stavek vsebuje vprašanje, dobili odgovor: "Kaj prinaša prihodnost za mene," Hkrati pa ne pove ničesar in ne zanika. Zato je trditev, da je takšna sodba vprašanje napačno. Vprašalni stavek, načeloma ne vsebuje nobene sodbe, ker vprašanje ni mogoče razlikovati na podlagi resnice / Lažnost.

Tip spodbuda stavka je nastala v primeru, ko obstaja nekaj spodbuda za ukrepanje, zahteva prepoved: ". Vstani, O Preroka in vid, in skrbimo za" Glede na sodbo, po mnenju nekaterih raziskovalcev, ki niso vsebovane v predlogu te vrste. Drugi menijo, da gre za različne modalne sodb.

kakovost sodba

V smislu kakovosti, se lahko sodba bodisi pritrdilno (S P) in negativni (S ni P). V primeru pritrdilnega sodbe, preko ob predikata pritrjena na določeno premoženje (-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 se nepremičnina odvzame temo: ". Teorija 25. okviru James Vicary nima eksperimentalno potrditev"

količinska opredelitev

Sodbe v logiki lahko skupen (ki se nanaša na vse objekte tega razreda), zasebna (nekateri od njih) in enota (ko govorimo o tej temi, pa je samo ena). Na primer, lahko trdimo, da bo takšen predlog, kot "Ponoči so vse mačke črne" nanaša na splošni videz, saj vpliva na vse člane mačka (predmet sodbe). Potrditev "Nekatere kače niso strupene" - primer zasebnega sodbe. Po drugi strani pa sodba "Čudovito Dnjeper v mirnem vremenu", je enota, saj govorimo o eni posebno reko, ki obstajajo v eni sami obliki.

Enostavne in kompleksne presoje

Glede na strukturo, lahko sodba tipa preprosta ali zapletena. Struktura preprosta sodba vključuje dve medsebojno povezani pojmi (PS): "Book - vir znanja". Obstajajo tudi sodbe z enim konceptom - ko je drugi namenjen le: "To je že bilo temno» (P).

Zapletena oblika je nastala z združitvijo več preprosto sodbo.

Razvrstitev preprostih sodb

Preproste sodbe v logiki so lahko naslednjih oblik: atributivnih, sodbe z odnosi, eksistencialno, modal.

Atribut (lastnost, sodba) poslal v odobritev / zavrnitev predmeta na nekatere lastnosti (atributi) dejavnosti. Te sodbe so kategorično oblika in ni vprašljiva, "je sesalcev živčni sistem je sestavljen iz možganov možganov, hrbtenjače in odhodnih živčnih poteh."

V sodbah v zvezi posebnih odnosov med predmeti. Imajo lahko prostorsko-časovni kontekst, kavzalni, itd Na primer :. "starega prijatelja boljši od dveh novih", "vodikovo lažji ogljikovega dioksida za 22-krat."

Eksistencialna sodba - ta trditev o obstoju / Neegzistencija subjekta (tako materialno in idealno): "Ni prerok v svoji lastni državi", "Luna je satelit Zemlje."

Modal predlog - oblika odobritev, ki je vključena prisotnost določenega operaterja modalne (potrebujemo dobro / slabo, izkazala znana / neznana, je prepovedano, verjamem, in drugi.). Na primer:

• "Rusija mora izvesti reforme za izobraževanje" (aletični modalnost - možnost, nujnost nečesa).
• "Vsakdo ima pravico do osebne varnosti" (deontic modalnosti - moralne norme družbenega vedenja).
• "Zanemarjanje državnega premoženja vodi v njeno izgubo" (axiologic načina - v zvezi z materialom in moralnih vrednot).
• "Prepričani smo, da v vaši nedolžnosti" (epistemološki modalnosti - zanesljivost znanja).

Kompleksne presoje in vrste logičnih povezovalci

Kot smo že omenili, so kompleksni sodbe sestoji iz nekaj preprosta. Kot logičnih povezav med njimi so take metode so:

• Veznik (a ʌ b - vezni sodb). Sodbe-conjuncts imajo kup "in", "Izvajanje pravic in svoboščin človeka in državljana, ne kršijo pravic in svoboščin drugih."
• Disjunkcije (AVB - deljenjem sodbi). Ker so sestavni deli sodbe-oddelkih uporabljajo kot veziva - skupaj "ali". Na primer: "Tožnik ima pravico povečati ali zmanjšati velikost zahtevka."
• Posledice (a → b - sodba učinek). Če objavljate dodeljena v strukturi zapletene presoje in zato je mogoče trditi, da taka sodba nanaša na implicative. Kot vezivo se uporablja v obliki združenj, kot so "če ... potem". Na primer: "Če po dirigent zamuditi električni tok, žica segreje," "Ali želite, da bi bil srečen - srečen".
• Enakovrednost (a ≡ b - enaka sodba). Odvija se v primeru, ko so vrednosti a in b enak (ali oboje res, ali oboje false): "Človek je ustvarjen za srečo, kot ptica za letenje."
• Negacija (¬, a - sodba inverzije). Vsak vir je povezana z izjavo sestavljenega izjava, da zanika izvirnik. Z "ne" kup. Zato, če je prvotna izjava, kot sledi: "The Bull reagira na rdečo luč," (a) - zanikanje bi zvenelo kot: "The Bull se ne odziva na rdečo luč" (¬).