Presuda je oblik mišljenja koji potvrđuje ili poriče nešto o postojanju objekata, o vezama između njih i njihovih svojstava, kao io odnosima između objekata.
Primjeri presuda: „Volga se uliva u Kaspijsko more“, „A. S. Puškin je napisao poemu "Bronzani konjanik", "Usurski tigar je naveden u Crvenoj knjizi", itd.
Struktura presude
Presuda uključuje sljedeće elemente: subjekt, predikat, vezu i kvantifikator.
- Subjekt (lat. subjektum - "u osnovi") - ono što se kaže u ovoj presudi, njegov subjekt ("S").
- Predikat (lat. praedicatum - "rekao") - odraz atributa subjekta, onoga što je rečeno o subjektu presude ("P").
- Link je odnos između subjekta ("S") i predikata ("P"). Određuje prisustvo/odsustvo subjekta bilo kojeg svojstva izraženog u predikatu. Može se i podrazumijevati i označavati znakom crtice ili riječima “jeste” (“nije”), “ima”, “jeste”, “suština” itd.
- Kvantifikator (kvantifikatorska riječ) određuje obim koncepta kojem pripada predmet prosuđivanja. Stoji ispred subjekta, ali može biti i odsutanosuda. Označeno riječima kao što su "svi", "mnogo", "neki", "nijedan", "nijedan" itd.
Tačne i lažne presude
Presuda je istinita kada prisustvo znakova, svojstava i odnosa objekata, potvrđenih/negiranih u presudi, odgovara stvarnosti. Na primjer: “Sve laste su ptice”, “9 je više od 2” itd.
Ako tvrdnja sadržana u presudi nije tačna, imamo posla sa lažnom presudom: “Sunce se okreće oko Zemlje”, “Kilogram gvožđa je teži od kilograma vate” itd. Ispravne prosudbe čine osnovu ispravnih zaključaka.
Međutim, pored dvovrednosne logike, u kojoj sud može biti istinit ili lažan, postoji i višedimenzionalna logika. Prema svojim uslovima, presuda može biti i neograničena. Ovo posebno važi za buduće pojedinačne presude: „Sutra će biti/neće biti pomorske bitke“(Aristotel, „O tumačenju“). Ako pretpostavimo da je ovo istinit sud, onda se pomorska bitka ne može ne održati sutra. Stoga, to treba da se desi. Ili obrnuto: tvrdnjom da je ova presuda trenutno lažna, time činimo neophodnom nemogućnost sutrašnje pomorske bitke.
Presude po vrsti izjave
Kao što znate, prema vrsti iskaza, postoje tri vrste rečenica: narativne, poticajne i upitne. Na primjer, rečenica "sjećam se divnog trenutka" odnosi se nanarativnom tipu. Razumno je pretpostaviti da bi takva presuda također bila narativna. Sadrži određene informacije, prijavljuje određeni događaj.
Zauzvrat, upitna rečenica sadrži pitanje koje podrazumijeva odgovor: “Šta mi sprema naredni dan?” Ništa ne navodi niti negira. Prema tome, tvrdnja da je takva presuda upitna je pogrešna. Upitna rečenica, u principu, ne sadrži sud, jer se pitanje ne može razlikovati po principu istina/neistina.
Podsticajni tip rečenica se formira kada postoji određeni impuls za akciju, zahtjev ili zabranu: "Ustani, proroče, i vidi, i slušaj." Što se tiče presuda, prema nekim istraživačima, one nisu sadržane u rečenicama ovog tipa. Drugi vjeruju da je riječ o nekoj vrsti modalnih presuda.
Kvalitet prosuđivanja
Sa stanovišta kvaliteta, sudovi mogu biti ili afirmativni (S je P) ili negativni (S nije P). U slučaju afirmativne propozicije, određeno svojstvo(a) se pridaje subjektu uz pomoć predikata. Na primjer: "Leonardo da Vinci je italijanski slikar, arhitekta, vajar, naučnik, prirodnjak, kao i pronalazač i pisac, najveći predstavnik renesansne umjetnosti."
U negativnom prijedlogu, naprotiv, svojstvo se oduzima od subjekta:eksperimentalna potvrda.”
Kvantitativne karakteristike
Prosudbe u logici mogu biti opšte (odnose se na sve objekte date klase), privatne (za neke od njih) i pojedinačne (kada je u pitanju objekat koji postoji u jednoj kopiji). Na primjer, može se tvrditi da bi presuda poput "Sve mačke su sive noću" bila generička jer pogađa sve mačke (predmet presude). Izjava “Neke zmije nisu otrovne” primjer je privatne presude. Zauzvrat, presuda "Dnjepar je divan po mirnom vremenu" je jedinstvena, jer govorimo o jednoj specifičnoj rijeci koja postoji u jednom obliku.
Jednostavne i složene presude
U zavisnosti od strukture, presuda može biti jednostavnog ili složenog tipa. Struktura jednostavne propozicije uključuje dva povezana koncepta (S-P): "Knjiga je izvor znanja." Postoje i presude sa jednim konceptom - kada se drugi samo podrazumeva: "Tama" (P).
Složeni oblik se formira kombinacijom nekoliko jednostavnih prijedloga.
Klasifikacija jednostavnih presuda
Jednostavni sudovi u logici mogu biti sljedećih tipova: atributivni, sudovi s odnosima, egzistencijalni, modalni.
Atributivni (procjene o svojstvima) imaju za cilj afirmaciju/negiranje da objekt ima određena svojstva (atribute), aktivnosti. Ove presude imaju kategoričan oblik i ne dovode se u pitanje: „Nervni sistem sisara sastoji se od mozga, kičmenog stuba.mozak i izlazni nervni putevi.”
Relacijski sudovi razmatraju određene odnose između objekata. Mogu imati prostorno-vremenski kontekst, kauzalni, itd. Na primjer: “Stari prijatelj je bolji od dva nova”, “Vodonik je 22 puta lakši od ugljičnog dioksida.”
Egzistencijalni sud je izjava o postojanju / nepostojanju objekta (i materijalnog i idealnog): “Nema proroka u svojoj zemlji”, “Mjesec je satelit Zemlje.”
Modalna propozicija je oblik iskaza koji sadrži određeni modalni operator (neophodan, dobar/loš; dokazano, poznato/nepoznato, zabranjeno, vjerovati, itd.). Na primjer:
- "U Rusiji je potrebno provesti reformu obrazovanja" (aletički modalitet - mogućnost, potreba za nečim).
- "Svako ima pravo na lični integritet" (deontički modalitet - moralni standardi društvenog ponašanja).
- "Nepažljiv odnos prema državnoj imovini dovodi do njenog gubitka" (aksiološki modalitet - odnos prema materijalnim i duhovnim vrijednostima).
- "Vjerujemo u vašu nevinost" (epistemički modalitet - stepen pouzdanosti znanja).
Složeni sudovi i vrste logičkih veza
Kao što je već napomenuto, složene presude se sastoje od nekoliko jednostavnih. Logične veze između njih su trikovi kao što su:
- Konjunkcija (i ʌ b su povezujući prijedlozi). Konjunkturne presude imaju gomilu "i":“Ostvarivanje ljudskih i građanskih prava i sloboda ne smije kršiti prava i slobode drugih.”
- Disjunction (a v b – disjunktivni sudovi). Disjunktne presude se koriste kao sastavni elementi, a unija "ili" se koristi kao veza. Na primjer: "Tužilac ima pravo povećati ili smanjiti veličinu potraživanja."
- Implikacija (a → b – presuda-posljedica). Ako se u strukturi složenog suda razlikuju premisa i posljedica, onda se može tvrditi da takva presuda pripada implikativnim. Kao veza u ovom obliku koriste se sindikati kao što su "ako … onda". Na primjer: “Ako se kroz provodnik prođe električna struja, provodnik će se zagrijati”, “Ako želiš biti srećan, budi to.”
- Ekvivalent (a ≡ b – identične presude). Javlja se kada su a i b isti (ili su oba tačna ili su oba lažna): "Čovjek je stvoren da bude srećan, kao što je ptica stvorena da leti."
- Negacija (¬a, ā – inverzija presude). Svaka originalna izjava povezana je sa složenom izjavom koja poriče originalnu. Izvodi se uz pomoć gomile "ne". Prema tome, ako originalna izjava izgleda ovako: "Bik reaguje na crveno svetlo" (a) - tada će poricanje zvučati kao: "Bik NE reaguje na crveno svetlo" (¬a).
