Prosudbe u logici. Što je prosudba, vrste presuda

formacija

Presuda je oblik razmišljanja koji afirmira ili negira nešto o postojanju objekata, vezama između njih i njihovih svojstava, kao i odnosa između objekata.

Primjeri prosudbi: "Volga teče u Kaspijsko more", "A. Pushkin je napisao pjesmu "Brončani konjanik", "Ussuri Tiger je naveden u Crvenoj knjizi" itd.

Struktura prosudbi

Presuda uključuje sljedeće elemente: subjekt, predikat, skup i kvantificiranje.

Predmet (latinski subjektum - "temeljni") je ono što je navedeno u ovoj presudi, njegov predmet ("S").
Predikat (latinski praedicatum - "govorio") odraz je obilježja subjekta, što je rečeno o subjektu prosudbe ("R").
Snop je odnos između subjekta ("S" i)predikat ("P"). Određuje prisutnost / odsutnost predmeta bilo kojeg svojstva izraženog u predikatu. Obje mogu biti implicirane i označene znakom "crtica" ili riječima "je" ("nije"), "tamo", "je", "bit" itd.
Kvantificator (kvantificator) određuje glasnoćupojam na koji se odnosi predmet presude. Ispred je predmeta, ali također može biti odsutan u presudi. Označene su riječima "sve", "mnoge", "neke", "nitko", "nitko" itd.

Točne i lažne prosudbe

Presuda je istinita u slučaju kadaprisutnost atributa, svojstava i odnosa objekata potvrđenih / odbijenih u prosudbi je istinita. Na primjer: "Sve gutanje - ptice", "9 više od 2" itd.

Ako izjava u presudi nijebavimo se lažnom presudom: "Sunce se vrti oko Zemlje", "kilogram željeza je težiji od kilograma pamučne vune", itd. Prave prosudbe čine osnovu za ispravne zaključke.

Međutim, pored dvosmjerne logike u kojojpresuda može biti istinita ili lažna, a postoji i višedimenzionalna logika. Prema svojim uvjetima, presuda također može biti neizvjesna. To se posebno odnosi na buduće pojedinačne prosudbe: "Sutra će biti / bez morske borbe" (Aristotel, "o interpretaciji"). Ako pretpostavimo da je ovo pravi prijedlog, onda se sutra morna bitka ne može dogoditi. Stoga je neophodno da se to dogodi. Ili obrnuto: tvrdeći da je ova presuda trenutno lažna, time smo neophodni nesposobnost sutrašnje bitke na moru.

Prosudbe prema vrsti izričaja

Kao što je poznato, prema vrsti izričaja, trivrsta rečenica: narativna, motivacijska i ispitivačka. Na primjer, rečenica "Sjećam se čudesnog trenutka" odnosi se na narativni tip. Preporučljivo je predlagati da takva presuda bude pripovijetka. Sadrži određene informacije, izvješća o određenom događaju.

S druge strane, upitna rečenicasadrži pitanje koje podrazumijeva odgovor: "Što se budućnost priprema za mene?" Štoviše, ona ne navodi ništa ili ništa ne poriče. Prema tome, tvrdnja da je takva presuda upitna pogrešna. Ispitna rečenica u principu ne sadrži presude, budući da se pitanje ne može razlikovati prema principu istine / neistine.

U to se formira vrsta poticaja rečenicaslučaj kada postoji određena motivacija za djelovanje, zahtjev ili zabranu: "Ustani, prorok, i vidi i čuje." Što se tiče prosudbi, prema nekim istraživačima, oni nisu sadržani u prijedlozima ove vrste. Drugi vjeruju da je riječ o raznim modalnim prosudbama.

Kvaliteta suda

Što se tiče kvalitete, može biti i presudapotvrdan (S je P), a negativan (S nije P). U slučaju afirmativne prijedlog, predikatu se daje određena svojstva (-a) subjektu. Na primjer: "Leonardo da Vinci je talijanski slikar, arhitekt, kipar, znanstvenik, prirodoslovac, izumitelj i pisac, najveći predstavnik renesansne umjetnosti".

U negativnoj prosudbi, naprotiv, oduzimanje imovine subjekta: "Teorija 25. okvira Jamesa Weikerija nema eksperimentalnu potvrdu."

Kvantitativna svojstva

Prosudbe u logici mogu imati opći karakter(odnosi se na sve subjekte ove klase), privatne (na neke od njih) i pojedinačne (kada je riječ o objektu koji postoji u jednoj instanci). Na primjer, može se tvrditi da takva presuda kao "Noću, sve mačke sumpora" će se odnositi na zajedničku vrstu, budući da utječe na sve predstavnike mačji (predmet suda). Tvrdnja "Neke zmije nisu otrovne" je primjer određene prosudbe. S druge strane, presuda "Wonderful Dnipro u mirnom vremenu" je jedinstvena, budući da je riječ o jednoj rijeci koja postoji u jednom obliku.

Jednostavne i složene prosudbe

Ovisno o strukturi, presuda možebiti jednostavna ili složena. Struktura jednostavnog prijedloga uključuje dva srodna koncepta (S-P): "Knjiga je izvor znanja". Postoje i prosudbe s jednim konceptom - kada je drugi samo impliciran: "Postaje tamno" (P).

Složen oblik nastaje kombiniranjem nekoliko jednostavnih prosudbi.

Razvrstavanje jednostavnih prosudbi

Jednostavne prosudbe u logici mogu biti od sljedećih vrsta: atributivne, prosudbe s odnosima, egzistencijalne, modalne.

Ciljana su atributivna (prosudbe-svojstva)afirmacija / poricanje postojanja predmeta određenih svojstava (atributa), vrsta aktivnosti. Ove prosudbe imaju kategorizirani oblik i nisu upitne: "Živčani sustav sisavaca sastoji se od mozga, leđne moždine i odmicanih živčanih puteva."

U presudama s stavovima, smatramoodređene odnose između objekata. Mogu imati prostorni i vremenski kontekst, uzrok učinka itd. Na primjer: "Stari prijatelj je bolji od novih dvojica", "Vodik je lakše nego ugljični dioksid 22 puta".

Postojeći sud je izjava postojanja / nepostojanja nekog objekta (materijalnog i idealnog): "Nema proroka u svojoj zemlji", "mjesec je pratitelj Zemlje".

Modalna prosudba je oblik tvrdnje u kojem je prisutan određeni modalni operater (nužan, dobar / loš, dokazan, poznat / nepoznat, zabranjen, vjeran, itd.). Na primjer:

"U Rusiji je potrebno reforma obrazovanja" (aletski modalitet je prilika, nužnost za nešto).
"Svatko ima pravo na osobnu nepovredivost" (deontski modalitet - moralne norme društvenog ponašanja).
"Negligentni stav prema državnoj imovini dovodi do njezinog gubitka" (aksiološka modalnost - odnos prema materijalnim i duhovnim vrijednostima).
"Vjerujemo u vašu nevinost" (epistemski modalitet - stupanj pouzdanosti znanja).

Kompleksne prosudbe i vrste logičkog povezivanja

Kao što je već rečeno, složene prosudbe sastoje se od nekoliko jednostavnih. Kao logično povezivanje između njih su tehnike kao što su:

Povezivanje (a b - povezujuće prosudbe). Sudsko-vezni članci imaju hrpu "i": "Prava i slobode čovjeka i građanina ne bi trebali kršiti prava i slobode drugih".
Odbacivanje (v b - razdvajanje presuda). Kao složeni elementi koriste se disjunktivne prosudbe, kao snop - "ili" jedinstvo. Na primjer: "Tužitelj ima pravo povećati ili smanjiti iznos potraživanja."
Implikacija (a → b je izjava o posljedici). Ako se u strukturi složene prijedloge izdvoji prostor i učinak, onda se može tvrditi da je takva presuda implicitna. Kao što je paket u ovom obliku koristio takve organizacije kao "ako ... onda." Na primjer: "Ako prođete električnu struju kroz dirigent, konduktor će se zagrijati", "Ako želite biti sretni, budite ga."
Ekvivalentnost (a ≡ b - prosudbe o identitetu). Pojavljuje se kada su vrijednosti a i b jednake (ili su oboje istinite ili su obje lažne): "Čovjek je stvoren za sreću, kao ptica za let".
Negacija (¬a, ā - sud-inverzija). Na svaku početnu tvrdnju stavlja se kompozitna tvrdnja koja dopušta izvornu tvrdnju. To se provodi pomoću ligamenta "ne". U skladu s tim, ako izvorna izjava izgleda ovako: "Bik reagira na crveno svjetlo" (a) - tada će negacija zvučati kao: "Bika ne reagira na crveno svjetlo" (¬a).