/ / Presude u logici. Što je presuda, vrste presuda

Prosudbe u logici. Što je presuda, vrste presuda

Prosudba je oblik mišljenja koji potvrđuje ili negira nešto o postojanju predmeta, o vezama između njih i njihovih svojstava, kao i o odnosima između predmeta.

Primjeri presuda: „Volga se ulijeva u Kaspijsko more“, „A.S. Puškin je napisao pjesmu "Brončani konjanik", "Usurski tigar naveden je u Crvenoj knjizi" itd.

Struktura presude

Presuda uključuje sljedeće elemente: subjekt, predikat, veznik i kvantifikator.

što je sud

  1. Subjekt (latinski subjektum - "temeljni") - ono što je rečeno u ovoj presudi, njegov subjekt ("S").
  2. Predikat (lat. Praedicatum - "izgovoreni") odraz je svojstva predmeta, onoga što se govori o subjektu presude ("P").
  3. Veza je odnos između subjekta ("S") ipredikat ("P"). Utvrđuje ima li subjekt / nema li svojstvo izraženo u predikatu. Može se implicirati ili označiti znakom "crtica" ili riječima "je" ("nije"), "je", "je", "suština" itd.
  4. Kvantifikator (riječ kvantifikatora) definira glasnoćukoncept kojem pripada predmet presude. Stoji ispred subjekta, ali također može biti odsutan iz presude. Označavaju ga riječi poput "svi", "mnogi", "neki", "nijedan", "nema" itd.

Istinite i lažne presude

Presuda je istinita kadaprisutnost znakova, svojstava i odnosa predmeta, koji se tvrde / negiraju u presudi, odgovara stvarnosti. Na primjer: "Sve su lastavice ptice", "9 je više od 2" itd.

prosudbe u logici

Ako izjava sadržana u presudi nijeodgovara stvarnosti, imamo posla s lažnom prosudbom: "Sunce se okreće oko Zemlje", "Kilogram željeza teži je od kilograma vate" itd. Ispravne prosudbe čine osnovu točnih zaključaka.

Međutim, pored dvoznakovne logike, u kojojprosudba može biti istinita ili lažna, postoji i višedimenzionalna logika. Prema njegovim uvjetima, presuda također može biti neizvjesna. To se posebno odnosi na buduće pojedinačne presude: "Sutra će biti / neće biti morske bitke" (Aristotel, "O tumačenju"). Ako pretpostavimo da je ovo istinit sud, tada se pomorska bitka ne može ne dogoditi sutra. Stoga je neophodno da se to dogodi. Ili obrnuto: tvrdeći da je ova presuda trenutno neistinita, time činimo nužnom nemogućnost sutrašnje pomorske bitke.

prosudba je

Presude prema vrsti izreke

Kao što znate, prema vrsti izjave postoje trivrsta rečenica: izjavna, motivirajuća i upitna. Na primjer, rečenica "Sjećam se divnog trenutka" narativnog je tipa. Prikladno je sugerirati da bi takva presuda bila i narativna. Sadrži određene informacije, izvještaje o određenom događaju.

Zauzvrat, upitna rečenicasadrži pitanje koje implicira odgovor: "Što je za mene dan koji dolazi?" Istodobno, ništa ne navodi niti poriče. Sukladno tome, izjava da je takva presuda upitna pogrešna je. Upitna rečenica u načelu ne sadrži presudu, jer se pitanje ne može razlikovati prema načelu istine / neistine.

primjeri presuda

Poticajni tip rečenica oblikuje se u činjenicislučaj kada postoji određena motivacija za djelovanje, zahtjev ili zabrana: "Ustani, proroče, i vidi i poslušaj." Što se tiče prosudbi, prema nekim istraživačima, one nisu sadržane u rečenicama ove vrste. Drugi vjeruju da govorimo o svojevrsnim modalnim prosudbama.

istinski sud

Kvaliteta prosudbe

Što se tiče kvalitete, prosudbe mogu biti sličnepozitivan (S je P) i negativan (S nije P). U slučaju potvrdne prosudbe, predikat se koristi za davanje subjektu određenog svojstva. Na primjer: "Leonardo da Vinci je talijanski slikar, arhitekt, kipar, znanstvenik, prirodoslovac, kao i izumitelj i pisac, najveći predstavnik renesansne umjetnosti."

U negativnom sudu, naprotiv, svojstvo se oduzima od predmeta: "Teorija Jamesa Wykerija o 25. kadru nema eksperimentalnu potvrdu."

Kvantitativna karakteristika

Prosudbe u logici mogu biti općenite(koji se odnosi na sve predmete ove klase), privatni (za neke od njih) i pojedinačni (kada je riječ o objektu koji postoji u jednoj kopiji). Na primjer, moglo bi se tvrditi da bi se presuda poput "Sve su mačke sive noću" odnosila na opću vrstu, jer utječe na sve mačke (predmet presude). Izjava "Neke zmije nisu otrovne" primjer je privatne presude. Zauzvrat, presuda „Dnjepar je divan po mirnom vremenu“ izolirana je, jer govorimo o jednoj određenoj rijeci koja postoji u jednom obliku.

Jednostavne i složene prosudbe

Ovisno o strukturi, presuda možebiti jednostavnog ili složenog tipa. Struktura jednostavne prosudbe uključuje dva povezana pojma (S-P): "Knjiga je izvor znanja." Postoje i presude s jednim konceptom - kad se drugi podrazumijeva: "Pao je mrak" (P).

Složeni izgled nastaje kombiniranjem nekoliko jednostavnih prosudbi.

Klasifikacija jednostavnih prosudbi

Jednostavni sudovi u logici mogu biti sljedećih vrsta: atributivni, sudovi s vezama, egzistencijalni, modalni.

Atributivni (prosudbe-svojstva) su usmjereni naafirmacija / poricanje prisutnosti određenih svojstava (atributa), vrsta aktivnosti. Te su presude kategorične i ne dovode se u pitanje: "Živčani sustav sisavaca sastoji se od mozga, leđne moždine i odlaznih živčanih putova."

U prosudbama s vezama,određeni odnosi između predmeta. Mogu imati prostorno-vremenski kontekst, uzročnost itd. Na primjer: „Stari prijatelj je bolji od dva nova“, „Vodik je 22 puta lakši od ugljičnog dioksida“.

ispravne prosudbe

Egzistencijalna prosudba je izjava o postojanju / nepostojanju predmeta (i materijalnog i idealnog): "Nema proroka u svojoj zemlji", "Mjesec je satelit Zemlje."

Modalni sud je oblik izjave koji sadrži određenog modalnog operatora (potreban, dobar / loš; dokazano, poznato / nepoznato, zabranjeno, vjerujem itd.). Na primjer:

  • „Potrebno je provesti obrazovnu reformu u Rusiji“ (estetski modalitet je mogućnost, potreba za nečim).
  • "Svatko ima pravo na osobnu nepovredivost" (deontički modalitet - moralne norme društvenog ponašanja).
  • „Neoprezan odnos prema državnoj imovini dovodi do njenog gubitka“ (aksiološki modalitet - odnos prema materijalnim i duhovnim vrijednostima).
  • "Vjerujemo u tvoju nevinost" (epistemički modalitet - stupanj pouzdanosti znanja).

Složeni sudovi i vrste logičkih veziva

Kao što je već napomenuto, složene presude sastoje se od nekoliko jednostavnih presuda. Sljedeće tehnike djeluju kao logička veza među njima:

  • Veznik (a ʌ b - povezivanje presuda). Konjuktivne presude imaju hrpu "i": "Ostvarivanje ljudskih i građanskih prava i sloboda ne bi trebalo kršiti prava i slobode drugih."
  • Disjunkcija (a v b - podjela presuda).Presude-klauzule koriste se kao sastavni elementi, a veznik „ili“ koristi se kao poveznica. Na primjer: "Tužitelj ima pravo povećati ili smanjiti iznos potraživanja."
  • Implikacija (a → b - posljedica presude).Ako se u strukturi složene presude razlikuju premisa i posljedica, onda se može tvrditi da je takva presuda implikativna. Kao paket u ovom obliku koriste se takvi sindikati poput "ako ... onda". Na primjer: "Ako kroz vodič prođe električna struja, vodič će se zagrijati", "Ako želite biti sretni, neka to bude."
  • Ekvivalencija (a ≡ b - identični prijedlozi). Događa se kada se vrijednosti a i b podudaraju (ili su obje istinite, ili su obje lažne): "Čovjek je stvoren za sreću, poput ptice za let."
    kvaliteta prosudbe
  • Negacija (¬a, ā - inverzija presude).Svakoj izjavi izvora dodijeljena je složena izjava koja negira izvornik. Provodi se pomoću veze "ne". Sukladno tome, ako izvorna izjava izgleda ovako: "Bik reagira na crveno svjetlo" (a) - tada će negacija zvučati poput: "Bik NE reagira na crveno svjetlo" (¬a).