Sodba je oblika mišljenja, ki potrjuje ali zanika nekaj o obstoju predmetov, o povezavah med njimi in njihovimi lastnostmi, pa tudi o odnosih med predmeti.
Primeri sodb: "Volga se izliva v Kaspijsko morje", "A. S. Puškin je napisal pesem "Bronzasti jezdec", "Usurski tiger je naveden v Rdeči knjigi" itd.
Struktura sodbe
Sodba vključuje naslednje elemente: subjekt, predikat, veznik in kvantifikator.
- Subjek (lat. subjektum - "podlaga") - kar je povedano v tej sodbi, njen subjekt ("S").
- Predikat (lat. praedicatum - "rečeno") - odraz atributa subjekta, kaj je povedano o subjektu sodbe ("P").
- Povezava je razmerje med subjektom ("S") in predikatom ("P"). Določa prisotnost / odsotnost subjekta katere koli lastnosti, izražene v predikatu. Lahko je tako implicirano kot označeno z znakom pomišljaja ali besedami "je" ("ni"), "ima", "je", "bistvo" itd.
- Kvantifikator (beseda kvantifikatorja) določa obseg koncepta, ki mu pripada predmet presoje. Stoji pred subjektom, lahko pa je tudi odsotenobsodba. Označeno z besedami, kot so "vsi", "veliko", "nekateri", "nobeden", "nobeden" itd.
resnične in napačne sodbe
Sodba je resnična, ko prisotnost znakov, lastnosti in razmerij predmetov, ki so potrjeni/zanikani v sodbi, ustreza realnosti. Na primer: »Vse lastovke so ptice«, »9 je več kot 2« itd.
Če trditev v sodbi ne drži, imamo opravka z napačno sodbo: »Sonce se vrti okoli Zemlje«, »Kilogram železa je težji od kilograma vate« itd. Pravilne sodbe so osnova za pravilne zaključke.
Vendar poleg dvovrednostne logike, v kateri je sodba lahko resnična ali napačna, obstaja tudi večdimenzionalna logika. V skladu s svojimi pogoji je sodba lahko tudi nedoločena. To še posebej velja za prihodnje posamezne sodbe: »Jutri bo/ne bo pomorska bitka« (Aristotel, »O interpretaciji«). Če domnevamo, da je to resnična sodba, potem pomorska bitka ne more biti jutri. Zato se mora zgoditi. Ali obratno: s trditvijo, da je ta sodba trenutno napačna, s tem zahtevamo nemožnost jutrišnje pomorske bitke.
Sodbe po vrsti izjave
Kot veste, glede na vrsto izjave obstajajo tri vrste stavkov: narativni, spodbudni in vprašalni. Na primer, stavek "Spomnim se čudovitega trenutka" se nanaša nana pripovedni tip. Razumno je domnevati, da bi bila tudi takšna sodba narativna. Vsebuje določene informacije, poroča o določenem dogodku.
Po drugi strani vprašalni stavek vsebuje vprašanje, ki implicira odgovor: "Kaj mi pripravlja prihodnji dan?" Ničesar ne navaja in ne zanika. Zato je trditev, da je takšna sodba vprašljiva, napačna. Vprašalni stavek načeloma ne vsebuje sodbe, saj vprašanja ni mogoče razlikovati po načelu resnice/neresnice.
Spodbujevalni tip stavkov se oblikuje, ko obstaja določen impulz za dejanje, prošnja ali prepoved: "Vstani, prerok, in glej in poslušaj." Kar zadeva sodbe, jih po mnenju nekaterih raziskovalcev ne vsebujejo tovrstnih stavkov. Drugi menijo, da govorimo o nekakšnih modalnih sodbah.
Kakovost presoje
Z vidika kakovosti so lahko sodbe bodisi pritrdilne (S je P) ali negativne (S ni P). V primeru pritrdilnega predloga je določena lastnost(-e) pripeta na osebo s pomočjo predikata. Na primer: "Leonardo da Vinci je italijanski slikar, arhitekt, kipar, znanstvenik, naravoslovec, pa tudi izumitelj in pisatelj, največji predstavnik renesančne umetnosti."
V negativnem predlogu, nasprotno, se lastnost odšteje od subjekta:eksperimentalna potrditev."
Kvantitativne značilnosti
Sodbe v logiki so lahko splošne (nanašajo se na vse predmete določenega razreda), zasebne (za nekatere od njih) in enkratne (ko gre za predmet, ki obstaja v eni sami kopiji). Na primer, lahko trdimo, da bi bila sodba, kot je "Vse mačke so ponoči sive", splošna, ker vpliva na vse mačke (predmet sodbe). Izjava »Nekatere kače niso strupene« je primer zasebne sodbe. Po drugi strani pa je sodba "Dneper čudovit v mirnem vremenu" ena sama, saj govorimo o eni specifični reki, 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 sorodna pojma (S-P): "Knjiga je vir znanja." Obstajajo tudi sodbe z enim konceptom - ko je drugi samo impliciran: "Tima" (P).
Kompleksna oblika je sestavljena z združevanjem več preprostih predlogov.
Razvrstitev preprostih sodb
Preproste sodbe v logiki so lahko naslednjih vrst: atributivne, sodbe z odnosi, eksistencialne, modalne.
Atributivne (lastninske sodbe) so namenjene potrditvi/zanikanju, da ima predmet določene lastnosti (atribute), dejavnosti. Te sodbe imajo kategorično obliko in niso pod vprašajem: »Živčni sistem sesalcev sestavljajo možgani, hrbtenicamožgani in izhodne živčne poti."
Relacijske sodbe upoštevajo določene odnose med predmeti. Imajo lahko prostorsko-časovni kontekst, vzročni itd. Na primer: »Stari prijatelj je boljši od dveh novih«, »Vodik je 22-krat lažji od ogljikovega dioksida.«
Existencialna sodba je izjava o obstoju/neobstoju predmeta (tako materialnega kot idealnega): »V svoji državi ni preroka«, »Luna je satelit Zemlje.«
Modalna propozicija je oblika izjave, ki vsebuje določen modalni operator (potreben, dober/slab; dokazan, znan/neznan, prepovedan, verjamem, itd.). Na primer:
- "V Rusiji je treba izvesti izobraževalno reformo" (aletična modalnost - možnost, potreba po nečem).
- "Vsakdo ima pravico do osebne integritete" (deontična modalnost - moralni standardi družbenega vedenja).
- "Nepreviden odnos do državne lastnine vodi v njeno izgubo" (aksiološka modalnost - odnos do materialnih in duhovnih vrednot).
- "Verjamemo v vašo nedolžnost" (epistemična modalnost - stopnja zanesljivosti znanja).
Zapletene sodbe in vrste logičnih vezi
Kot že omenjeno, so zapletene sodbe sestavljene iz več preprostih. Logične povezave med njimi so triki, kot so:
- Konjunkcija (in ʌ b sta povezovalna predloga). Vežnične sodbe imajo kopico "in":"Uveljavljanje človekovih in državljanskih pravic in svoboščin ne sme kršiti pravic in svoboščin drugih."
- Disjunction (a v b – ločene sodbe). Disjunčne sodbe se uporabljajo kot sestavni elementi, zveza "ali" pa se uporablja kot povezava. Na primer: "Tožnik ima pravico povečati ali zmanjšati velikost terjatev."
- Implikacija (a → b – sodba-posledica). Če se v strukturi kompleksne sodbe razlikujeta premisa in posledica, potem lahko trdimo, da taka sodba spada med implikativne. Kot povezava v tej obliki se uporabljajo sindikati, kot je "če … potem". Na primer: "Če skozi prevodnik teče električni tok, se bo prevodnik segrel", "Če želiš biti srečen, naj bo."
- Ekvivalent (a ≡ b – enake sodbe). Pojavi se, ko sta a in b enaka (ali sta oba resnična ali oboje napačno): "Človek je ustvarjen, da je srečen, kot je ptica ustvarjena, da leti."
- Negacija (¬a, ā – sodba-inverzija). Vsaka izvirna izjava je povezana s sestavljeno izjavo, ki zanika izvirno. Izvaja se s pomočjo množice "ne". V skladu s tem, če je prvotna izjava videti takole: "Bik reagira na rdečo luč" (a) - potem bo zanikanje zvenelo kot: "Bik NE reagira na rdečo luč" (¬a).
