Prosudba 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 ulijeva u Kaspijsko more”, “A. S. Puškin je napisao pjesmu "Brončani 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 je rečeno u ovoj presudi, njegov subjekt ("S").
- Predikat (lat. praedicatum - "rekao") - odraz atributa subjekta, onoga što je rečeno o subjektu presude ("P").
- Veza je odnos između subjekta ("S") i predikata ("P"). Određuje prisutnost/odsutnost subjekta bilo kojeg svojstva izraženog u predikatu. Može se i podrazumijevati i označavati znakom crtice ili riječima "jest" ("nije"), "ima", "jest", "suština" itd.
- Kvantifikator (kvantifikatorska riječ) određuje opseg pojma kojem pripada predmet prosuđivanja. Stoji ispred subjekta, ali može biti i odsutanosuda. Označeno riječima kao što su "svi", "mnogi", "neki", "ništa", "ništa" itd.
Istinite i lažne presude
Presuda je istinita kada prisutnost znakova, svojstava i odnosa objekata, potvrđenih/negiranih u presudi, odgovara stvarnosti. Na primjer: "Sve lastavice su ptice", "9 je više od 2" itd.
Ako tvrdnja sadržana u presudi nije istinita, imamo posla s lažnom presudom: “Sunce se okreće oko Zemlje”, “Kilogram željeza je teži od kilograma vate” itd. Ispravne prosudbe čine osnovu ispravnih zaključaka.
Međutim, uz dvovrijednu logiku, u kojoj sud može biti istinit ili lažan, postoji i višedimenzionalna logika. Prema svojim uvjetima, presuda može biti i neograničena. To posebno vrijedi za buduće pojedinačne sudove: “Sutra će biti/neće se dogoditi pomorska bitka” (Aristotel, “O tumačenju”). Ako pretpostavimo da je riječ o istinitom sudu, onda se pomorska bitka ne može ne dogoditi sutra. Stoga se to treba dogoditi. Ili obrnuto: tvrdnjom da je ova presuda trenutno lažna, time činimo nužnom nemogućnost sutrašnje pomorske bitke.
Presude prema vrsti izjave
Kao što znate, prema vrsti iskaza, postoje tri vrste rečenica: narativne, poticajne i upitne. Na primjer, rečenica "Sjećam se prekrasnog trenutka" odnosi se nanarativnom tipu. Razumno je sugerirati da bi takva presuda također bila narativna. Sadrži određene informacije, izvješćuje o određenom događaju.
Zauzvrat, upitna rečenica sadrži pitanje koje podrazumijeva odgovor: "Što mi sprema nadolazeći 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, budući da se pitanje ne može razlikovati po principu istina/neistina.
Poticajni tip rečenica nastaje kada postoji određeni poticaj za djelovanje, zahtjev ili zabrana: "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 govorimo o svojevrsnim modalnim prosudbama.
Kvaliteta prosuđivanja
Sa stajališta kvalitete, prosudbe mogu biti ili potvrdne (S je P) ili negativne (S nije P). U slučaju afirmativnog prijedloga, određeno svojstvo(a) se pridaje subjektu uz pomoć predikata. Na primjer: "Leonardo da Vinci je talijanski slikar, arhitekt, kipar, znanstvenik, prirodoslovac, kao i izumitelj 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ćenite (odnose se na sve objekte dane klase), privatne (na neke od njih) i pojedinačne (kada je riječ o objektu 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 utječe na sve mačke (predmet presude). Izjava “Neke zmije nisu otrovne” primjer je privatne prosudbe. Zauzvrat, presuda "Dnjepar je divan po mirnom vremenu" je jedinstvena, budući da govorimo o jednoj specifičnoj rijeci koja postoji u jednom obliku.
Jednostavne i složene presude
Ovisno o strukturi, presuda može biti jednostavna ili složena. Struktura jednostavne propozicije uključuje dva povezana koncepta (S-P): "Knjiga je izvor znanja." Postoje i presude s jednim konceptom - kada se drugi samo podrazumijeva: "Tama" (P).
Složeni oblik nastaje kombiniranjem nekoliko jednostavnih prijedloga.
Klasifikacija jednostavnih presuda
Jednostavni sudovi u logici mogu biti sljedećih vrsta: atributivni, sudovi s odnosima, egzistencijalni, modalni.
Atributivni (imovinski sudovi) usmjereni su na potvrđivanje/negiranje da objekt ima određena svojstva (atribute), aktivnosti. Ove prosudbe imaju kategoričan oblik i ne dovode se u pitanje: “Živčani sustav sisavaca sastoji se od mozga, kralježnicemozak i izlazni živčani 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", "Vodik 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.”
Modalni prijedlog 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 obrazovnu reformu" (aletički modalitet - mogućnost, potreba za nečim).
- "Svatko ima pravo na osobni 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 - stupanj pouzdanosti znanja).
Složeni sudovi i vrste logičkih spojeva
Kao što je već spomenuto, složene presude sastoje se od nekoliko jednostavnih. Logične veze između njih su trikovi kao što su:
- Konjunkcija (i ʌ b su spojni prijedlozi). Konjunkturne presude imaju hrpu "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 koriste se kao sastavni elementi, a unija "ili" se koristi kao poveznica. Na primjer: "Tužitelj 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 takav sud pripada implikativnim. Kao poveznica u ovom obliku koriste se sindikati poput "ako … onda". Na primjer: "Ako kroz vodič prođe električna struja, vodič će se zagrijati", "Ako želiš biti sretan, budi to."
- Ekvivalent (a ≡ b – identični sudovi). Pojavljuje se kada su a i b isti (ili su oba istinita ili su oba lažna): "Čovjek je stvoren da bude sretan, kao što je ptica stvorena da leti."
- Negacija (¬a, ā – inverzija suda). Svaka izvorna izjava povezana je sa složenom tvrdnjom koja poriče izvornu. Provodi se uz pomoć hrpe "ne". Prema tome, ako izvorna izjava izgleda ovako: "Bik reagira na crveno svjetlo" (a) - tada će poricanje zvučati kao: "Bik NE reagira na crveno svjetlo" (¬a).
