Sodbe v logiki. Kaj je sodba, vrste sodb

Sodba je oblika razmišljanja,

Primeri sodb: "Volga teče v Kaspijsko morje", "A. Puškin je napisal pesem "Bronasti konjanik", "Ussurijev tiger je naveden v rdeči knjigi" itd.

Struktura sodb

Sodba vsebuje naslednje elemente: predmet, predikat, sveženj in kvantifikator.

1. Predmet (latinščina subjekt - "osnovni") je tisto, kar rečemo v tej sodbi, njegovem predmetu ("S").
2. Predikat (latinščina praedicatum - »govorimo«) je odraz značilnosti subjekta, kar je rečeno o predmetu sodbe (»R«).
3. Snop je razmerje med subjektom (»S«) in predikatom (»P«). Določa prisotnost / odsotnost predmeta katere koli lastnosti, izražene v predikatu. Lahko se oboje implicirajo in označijo z znakom "dash" ali pa so besede "je" ("ni"), "tam", "je", "bistvo" itd.
4. Kvantifikator (kvantiflačna beseda) določa obseg pojma, na katerega se nanaša predmet sodbe. Pred predmetom je, vendar pa je tudi v odsotnosti lahko odsoten. Označena z besedami, kot so "vsi", "mnogi", "nekateri", "nobeni", "nihče" itd.

Resnične in napačne sodbe

Sodba velja v primeru, ko je prisotnost atributov, lastnosti in odnosov predmetov, ki so bili uveljavljeni / zavrnjeni v sodbi, resnični. Na primer: "Vsi pogoltniki - ptice", "9 več kot 2" itd.

Č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 dvo-vrednotene logike, v kateri je lahko bodisi resnična bodisi lažna, tudi večdimenzionalna logika. V skladu s svojimi pogoji je sodba lahko tudi negotova. To še posebej velja za prihodnje posamezne sodbe: "Jutri ne bo morske bitke" (Aristotle, "Na tolmačenje"). Če predpostavimo, da je to resnična trditev, potem se jutri morske bitke ne more zgoditi. Zato je nujno, da se to zgodi. Ali obratno: če trdimo, da je ta sodba v tem trenutku napačna, s tem potrebujemo jutri nemogoče morsko bitko.

Sodbe po vrsti izreka

Kot je znano, glede na vrsto izgovora razlikujemo tri vrste Predlogi: pripoved, spodbudo in zaslišanje. Na primer, stavek "Spomnim se čudovitega trenutka" se nanaša na pripovedni tip. Priporočljivo je navesti, da bo taka sodba tudi pripovedna. Vsebuje določene informacije, poročila o določenem dogodku.

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 taka sodba vprašljiva, napačna. Vprašljiva stavka načeloma ne vsebuje sodb, saj se vprašanje ne more razlikovati glede na načelo resnice / neumnosti.

Tip spodbuda stavka je nastala v primeru, ko obstaja nekaj spodbuda za ukrepanje, zahteva prepoved: ". Vstani, O Preroka in vid, in skrbimo za" Glede sodb, po mnenju nekaterih raziskovalcev, ti predlogi ne vsebujejo takšnih predlogov. Drugi verjamejo, da gre za različne modalne sodbe.

Kakovost sodbe

V smislu kakovosti so sodbe lahko bodisi pritrdilne (S je P) bodisi negativno (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 negativni presoji, nasprotno, je odvzeta lastnost subjekta: "Teorija 25. okvirja James Weikerija nima eksperimentalne potrditve."

Količinska značilnost

Sodbe v logiki imajo lahko splošen značaj (ki se nanaša na vse predmete tega razreda), zasebne (nekatere od njih) in posamezne (ko gre za predmet, ki obstaja v enem samem primeru). Na primer, lahko trdimo, da se taka sodba kot "Ponoči, vse mačke žvepla" nanaša na skupno vrsto, saj vpliva na vse predstavnike mačk (predmet presoje). Trditev "Nekatere kače niso strupene" je primer posebne sodbe. Po drugi strani pa sodba "Wonderful Dnipro v mirnem vremenu" je ena, saj gre za eno reko, ki obstaja v eni sami obliki.

Preproste in zapletene sodbe

Odvisno od strukture je sodba lahko preprosta ali zapletena. Struktura preprostega predloga vključuje dva s tem povezana koncepta (S-P): "Knjiga je vir znanja". Obstajajo tudi sodbe z enim konceptom - ko je drugo samo implicitno: "Postaja temno" (P).

Kompleksna oblika se oblikuje z združevanjem več preprostih sodb.

Razvrstitev enostavnih sodb

Enostavne presoje v logiki so lahko naslednje vrste: atributi, sodbe s razmerji, eksistencialni, modalni.

Attributive (presoj-lastnosti) so usmerjeni v potrditev / zavrnitev dostopnosti predmeta določenih lastnosti (atributov), dejavnosti. Te sodbe so kategorične in se ne postavljajo pod vprašaj: "Živčni sistem sesalcev je sestavljen iz glave možganov, hrbtenjače in odhajajoče živčne poti. "

V sodbah s razmerji se upoštevajo določeni odnosi med predmeti. Lahko imajo prostorsko-časovni kontekst, vzrok-učinek itd. Na primer: "Stari prijatelj je boljši od novih dveh", "Vodik je 22 krat lažji od ogljikovega dioksida".

Obstoječa sodba je izjava o obstoju / neobstoju predmeta (materialnega in idealnega): »v svoji državi ni proroka«, »Mesec je spremljevalec Zemlje«.

Modalna presoja je oblika trditve, v kateri je prisoten določen modalni operater (potrebno, dobro / slabo dokazano, znano / neznano, prepovedano, verjamemo itd.). Na primer:

• "V Rusiji je potrebna izobrazbena reforma" (aletska modaliteta je priložnost, nujnost za nekaj).
• "Vsakdo ima pravico do osebne nedotakljivosti" (deontična modaliteta - moralne norme socialnega vedenja).
• "Negorljiv odnos do državne lastnine vodi do njegove izgube" (aksiološka modaliteta - povezava z materialnimi in duhovnimi vrednotami).
• "Verjamemo v vašo nedolžnost" (epistemska modaliteta - stopnja zanesljivosti znanja).

Kompleksne presoje in vrste logičnih povezav

Kot smo že omenili, zapletene sodbe sestavljajo nekaj preprostih. Ker so med njimi logični povezani tehnike, kot so:

• Conjunction (a ʌ b - povezovanje sodb). Sodne zveze imajo kup "in": "Izvajanje pravic in svoboščin človeka in državljana ne bi smelo kršiti pravic in svoboščin drugih."
• Disjunkcija (a v b - ločitvene sodbe). Kot sestavljeni elementi se uporabljajo ločene sodbe kot snop - "ali" sindikat. Na primer: "Tožnik ima pravico povečati ali zmanjšati znesek terjatev."
• Posledice (a → b je izjava o posledicah). Če se v strukturi kompleksne predpostavke izloča premise in učinek, potem je mogoče trditi, da je taka sodba implicitna. Kot snop v tej obliki se uporabljajo taki sindikati, kot so "če je kaj drugega". Na primer: "Če skozi električni tok prenesete električni tok, se bo vodnik segreval," "Če želite biti srečni, bodite."
• Enakovrednost (a Equiv-b so enake sodbe). Pojavijo se, ko so vrednosti a in b enake (ali obe sta resnični ali oba sta napačna): "Človek je ustvarjen za srečo, kot ptica za let".
• Negacija (ne-a, ā - presoja-inverzija). Za vsako začetno trditev je sestavljena trditev usklajena, kar zavrača prvotno trditev. Izvaja se s pomočjo vezi "ne". Zato, če je prvotna izjava, kot sledi: "The Bull reagira na rdečo luč," (a) - zanikanje bi zvenelo kot: "bik reagira na rdečo luč» (ne-a).