Presude u logici. Što je presude, vrste presuda

U presudi je oblik razmišljanja, potvrđuju ili negiraju ništa o postojanju objekata, veze između njih i njihove imovine, kao i odnos između objekata.

Primjeri izjava: "Volga ulijeva u Kaspijsko more", "AS Puškin je napisao pjesmu "The Bronze Konjanik", "Sibirski tigar je naveden u Crvenoj knjizi," itd

Struktura presude

Presuda uključuje sljedeće elemente: predmet, predikat, i ligamenata kvantifikator.

1. Predmet (lat subjektum -. «Temeljni») - to, kako se navodi u presudi, za predmet ( «S»).
2. Predikat (latinski praedicatum -. «Rekao:") - odraz objekta citat, ono što se kaže na temu presude ( "P").
3. Bundle - odnos između subjekta ( «S») i predikat ( "P"). Određuje prisustvo / odsustvo predmet imovine izražen kao predikat. Možda je to podrazumijeva, a označen je "crtica" ili riječi "a" ( "ne"), "ima", "imati", "supstanca", i drugi.
4. Kvantifikator (kvantifikator riječ) definira opseg pojma, na koji je predmet presude. Ona stoji ispred objekta, ali isto tako može biti odsutan u presudi. Označeni su riječi kao što su "svi", "mnogi", "neki", "ne", "ne", i drugi.

Istinitog i lažnog iskaza

Presuda je istina u slučaju kada postoje indikacije, svojstva i odnose predmeta odobrenih / odbijen u presudi, istina. Na primjer: "Svi guta - ptice", "9 više od 2" i tako dalje ..

Ako je izjava sadržana u presudi nije istina, mi se bavimo lažnim prijedlog "Sunce okreće oko Zemlje", "Kilogram željeza teža od jednog kilograma pamuka" i drugo pravo presude su osnova ispravnog razmišljanja ..

Međutim, osim dva-vrijednosti logike, u koju se presudu može biti istinita ili lažna, tu je i višedimenzionalna logike. Prema njegovim odredbama, presuda može biti i dalje neizvjesna. Posebno se odnosi na budućnost pojedinih presuda, "Sutra se događa / ne dogodi pomorska bitka" (Aristotel, "O tumačenju"). Ako pretpostavimo da je ovo pravi prijedlog, mora bitka sutra se ne može dogoditi. Zbog toga je potrebno da se to desi. Ili obrnuto: tvrdeći da je presuda u ovom trenutku je lažna, mi na taj način učiniti potrebne nemogućnost sutrašnje mora borbe.

Presude o vrsti izjave

Kao što je poznato, tip izjave su tri vrste kazne: deklarativno, uznemirenost i ispitivanja. Na primjer, rečenica "Sjećam se divan trenutak" se odnosi na vrstu naracije. Preporučljivo je da ukazuju na to da bi takva presuda i narativa. Sadrži specifične informacije, prema određenom događaju.

S druge strane, upitan rečenica sadrži pitanje, dobiti odgovor na: "Ono što nas čeka u budućnosti za mene," U isto vrijeme ne govori ništa i ne negira. U skladu s tim, tvrdnja da je takva presuda je pogrešno pitanje. Upitne rečenice, u principu, ne sadrži nikakav sud jer pitanje ne mogu razlikovati na osnovu istine / laži.

tip poticaj kazne se formira u slučaju kada postoji neki poticaj za akciju, traži zabranu ". Ustani, O proroka, i vid, i prisustvovati" Što se tiče presude, po mišljenju nekih istraživača, oni nisu sadržani u prijedlozima ovog tipa. Drugi smatraju da je to razne modalni presuda.

kvaliteta presude

Što se tiče kvalitete, presude mogu biti potvrdan (S je P), a negativan (S nije P). U slučaju afirmativne presude, preko subjekt predikat pričvršćen na određenom imovinom (-wa). Na primjer: ". Leonardo da Vinci - talijanski slikar, arhitekt, vajar, naučnik, prirodnjak i izumitelj i pisac, najveći predstavnik renesansne umjetnosti"

U negativan sud, s druge strane, imovina je oduzeta iz predmeta ". Teorija 25. okvira James Vicary nema eksperimentalne potvrde"

kvantitativne karakterizacije

Presude u logici mogu biti zajednički (odnosi se na sve objekte ove klase), privatna (neki od njih) i jedinice (kada se govori o toj temi, postoji samo jedan). Na primjer, može se reći da je takav prijedlog kao "U noći sve mačke su sive" će se odnositi na opšti izgled, jer to utječe na sve članove mačke (predmet presude). Usvajanje "Neki zmije nisu otrovne" - primjer privatnih presude. S druge strane, u presudi "Wonderful Dnjepra u mirnom vremenu" je jedinica, s obzirom da se radi o jednom konkretnom rijeka, koje postoje u jednom obliku.

Jednostavne i složene presude

Ovisno o strukturi, presuda može biti neka vrsta jednostavne ili složene. Struktura jednostavan presuda uključuje dva međusobno povezana koncepta (SP): «Book - izvor znanja". Tu su i presude sa jedan koncept - kada je drugi značilo samo: "Smrkavalo» (P).

Složenog oblika se formira spajanjem nekoliko jednostavnih presude.

Klasifikacija jednostavnih presuda

Jednostavan presude u logici mogu biti od slijedećih oblika: atributivnim, presuda u vezama, egzistencijalne, modalni.

Atribut (u vlasništvu presude) poslao na odobrenje / odbijanje predmeta u određenim svojstvima (atributima) aktivnosti. Ove presude su kategorični formi i ne dovodi u pitanje ", rekao je sisara nervni sistem se sastoji od mozga mozga, kičmene moždine i odlaznih nervnih puteva."

U presudama u vezi specifičnih odnosa između objekata. Oni mogu imati prostorno-vremenski kontekst, kauzalni, itd Na primjer :. "Stari prijatelj bolji nego dva nova", "Hydrogen lakši ugljen dioksida za 22 puta."

Egzistencijalne presuda - ovu tvrdnju o postojanju / nepostojanju subjekta (materijalne i idealan): "Nema prorok u svojoj zemlji", "The Moon je satelit Zemlje."

Modalni prijedlog - oblik odobrenja, koja je uključivala i prisustvo određenih operatora modalni (potrebna dobra / loša, pokazalo poznatih / nepoznatih, zabranjeno je, vjerujem, i dr.). Na primjer:

• "Rusija treba da sprovede reformu obrazovanja" (alethic modalitet - mogućnost, potreba za nešto).
• "Svako ima pravo na sigurnost osoba" (deontičke modalitet - moralne norme društvenog ponašanja).
• "Zanemarivanje državne imovine dovodi do gubitka" (axiologic modalitet - koji se odnose na materijalne i moralne vrijednosti).
• "Mi vjerujemo u tvoju nevinost" (epistemičkih modalitet - pouzdanost znanja).

Kompleks presude i vrste logičkih veznika

Kao što je već spomenuto, kompleks presude sastoje se od nekoliko jednostavnih. Kao logična veza između njih su takve metode kao što su:

• Kombinaciji (a ʌ b - povezivanje presude). Presuda-konjunkata imaju gomilu "i", "Implementacija prava i sloboda čovjeka i građanina ne krše prava i sloboda drugih."
• Razgraničenja (AVB - dijeljenjem presude). Kao konstitutivni elementi presude-klauzule koriste se kao vezivo - veznik "ili". Na primjer: "Tužitelj ima pravo da poveća ili smanji veličinu tvrdnju."
• Implikacija (a → b - presuda-efekt). Ako je postavljanje izdvaja u strukturi komplikovano presudu i shodno tome, moglo bi se reći da je takva presuda odnosi na Implikativne. Kao vezivo koristi u obliku udruženja, kao što su "ako ... onda". Na primjer: "Ako kroz provodnik da propusti struja, žica se zagrijava", "Želiš li biti sretan - biti sretan".
• Ekvivalencije (a ≡ b - identične presude). Odvija se u slučaju kada su iste vrijednosti A i B (ili oba istinita ili oba false): "Čovjek je stvoren za sreću, kao ptica da leti."
• Negacija (¬A A - presuda-inverzija). Svaki izvor je povezan sa tvrdnjom složeni izraz koji negira originalu. Pomoću "ne" gomila. U skladu s tim, ako je originalnu izjavu kako slijedi: "Bik reaguje na crveno svjetlo", (a) - uskraćivanje bi zvučalo kao: "Bik ne odgovara na crveno svjetlo" (¬A).