Kohtumõistmine on mõtlemisvorm, mis kinnitab või eitab midagi objektide olemasolu, nende seoste ja nende omaduste ning objektidevaheliste suhete kohta.
Näited kohtuotsustest: “Volga suubub Kaspia merre”, “A. S. Puškin kirjutas luuletuse "Pronksratsutaja", "Ussuri tiiger on kantud punasesse raamatusse" jne.
Kohtuotsuse struktuur
Otsus sisaldab järgmisi elemente: subjekt, predikaat, konnektiivi ja kvantor.
- Subjekt (lat. subjektum - "alustav") – selles kohtuotsuses öeldu, selle teema ("S").
- Predikaat (lat. praedicatum - "öeldi") - subjekti atribuudi peegeldus, mida öeldakse kohtuotsuse subjekti kohta ("P").
- Link on seos subjekti ("S") ja predikaadi ("P") vahel. Määrab subjekti predikaadis väljendatud mis tahes omaduse olemasolu / puudumise. Seda võib nii vihjata kui ka näidata sidekriipsuga või sõnadega "on" ("ei ole"), "on", "on", "essence" jne.
- Kvantifikaator (kvantifikaatorsõna) määrab mõiste ulatuse, millesse hinnanguobjekt kuulub. Seisab subjekti ees, kuid võib ka puududakohtuotsus. Seda tähistavad sellised sõnad nagu "kõik", "paljud", "mõned", "pole", "mitte ükski" jne.
Tõelised ja valed kohtuotsused
Otsus on tõene, kui kohtuotsuses kinnitatud/eitatud märkide, omaduste ja objektide suhete olemasolu vastab tegelikkusele. Näiteks: "Kõik pääsukesed on linnud", "9 on rohkem kui 2" jne.
Kui kohtuotsuses sisalduv väide ei vasta tõele, on tegu valeotsusega: “Päike tiirleb ümber Maa”, “Kilogramm rauda on raskem kui kilogramm vatti” jne. Õiged otsused on õigete järelduste aluseks.
Samas, lisaks kaheväärtuslikule loogikale, mille puhul otsus võib olla kas tõene või väär, on olemas ka mitmemõõtmeline loogika. Selle tingimuste kohaselt võib kohtuotsus olla ka tähtajatu. See kehtib eriti tulevaste üksikotsuste kohta: "Homme toimub / ei toimu merelahing" (Aristoteles, "Tõlgendusest"). Kui eeldame, et see on õige otsus, siis ei saa merelahing homme toimumata jääda. Seetõttu peab see juhtuma. Või vastupidi: väites, et see otsus on praegu vale, muudame seega homse merelahingu võimatuks.
Otsused väite tüübi järgi
Nagu teate, on väite tüübi järgi kolme tüüpi lauseid: jutustav, ergutav ja küsitav. Näiteks lause "Ma mäletan imelist hetke" viitabnarratiivitüübile. On mõistlik arvata, et selline kohtuotsus oleks ka narratiivne. See sisaldab teatud teavet, teatab teatud sündmusest.
Küsilause sisaldab omakorda küsimust, mis eeldab vastust: "Mida eelolev päev minu jaoks ette valmistab?" See ei väida ega eita midagi. Seega on väide, et selline kohtuotsus on küsitav, ekslik. Küsilause põhimõtteliselt ei sisalda kohtuotsust, kuna küsimust ei saa eristada tõe/vale põhimõtte järgi.
Stimuleerivat tüüpi laused moodustuvad siis, kui on teatud impulss tegutsemiseks, taotlus või keeld: "Tõuse, prohvet, vaata ja kuula." Mis puutub kohtuotsustesse, siis mõnede uurijate sõnul ei sisaldu need seda tüüpi lausetes. Teised usuvad, et me räägime teatud tüüpi hinnangutest.
Kohtuotsuse kvaliteet
Kvaliteedi seisukohast võivad hinnangud olla kas jaatavad (S on P) või eitavad (S ei ole P). Jaatava propositsiooni puhul seotakse subjektile teatud omadus(ed) predikaadi abil. Näiteks: "Leonardo da Vinci on Itaalia maalikunstnik, arhitekt, skulptor, teadlane, loodusteadlane, samuti leiutaja ja kirjanik, renessansikunsti suurim esindaja."
Negatiivses ettepanekus, vastupidi, lahutatakse omadus subjektist:eksperimentaalne kinnitus.”
Kvantitatiivsed omadused
Otsused loogikas võivad olla üldised (viidates kõikidele antud klassi objektidele), privaatsed (mõnedele neist) ja ainsuslikud (kui tegemist on ühes eksemplaris eksisteeriva objektiga). Näiteks võib väita, et selline otsus nagu "Kõik kassid on öösel hallid" oleks üldine, kuna see mõjutab kõiki kasse (kohtuotsuse subjekt). Väide "Mõned maod ei ole mürgised" on näide isiklikust kohtuotsusest. Kohtuotsus “Vaikse ilmaga on Dnepri imeline” on omakorda üksainus, kuna me räägime ühest konkreetsest jõest, mis eksisteerib ühel kujul.
Lihtsad ja keerulised otsused
Sõltuv alt struktuurist võib otsus olla lihtsat või keerukat tüüpi. Lihtsa propositsiooni struktuur sisaldab kahte seotud mõistet (S-P): "Raamat on teadmiste allikas." On ka otsuseid ühe mõistega – kui teist on ainult vihjatud: "Pimedus" (P).
Keeruline vorm moodustub mitme lihtsa propositsiooni kombineerimisel.
Lihtsate otsuste klassifikatsioon
Lihtsaid hinnanguid loogikas võib olla järgmist tüüpi: atributiivne, suhetega hinnangud, eksistentsiaalne, modaalne.
Atribuutsed (omadushinnangud) on suunatud kinnitama/eitama, et objektil on teatud omadused (atribuudid), tegevused. Need otsused on kategoorilise vormiga ja neid ei sea kahtluse alla: Imetajate närvisüsteem koosneb ajust, selgroostaju ja väljuvad närvirajad.”
Relatsiooniotsused võtavad arvesse teatud seoseid objektide vahel. Neil võib olla ruumilis-ajaline kontekst, põhjuslik seos jne. Näiteks: "Vana sõber on parem kui kaks uut", "Vesinik on 22 korda kergem kui süsinikdioksiid."
Eksistentsiaalne kohtuotsus on väide objekti (nii materiaalse kui ideaalse) olemasolu / mitteolemasolu kohta: "Tema maal pole prohvetit", "Kuu on Maa satelliit."
Modaalpropositsioon on väite vorm, mis sisaldab teatud modaalset operaatorit (vajalik, hea/halb; tõestatud, teada/tundmatu, keelatud, uskuda jne). Näiteks:
- "Venemaal on vaja läbi viia haridusreform" (alethic modality - võimalus, vajadus millegi järele).
- "Igaühel on õigus isiklikule puutumatusele" (deontiline modaalsus – sotsiaalse käitumise moraalsed standardid).
- "Hoolimatu suhtumine riigivarasse viib selle kadumiseni" (aksioloogiline modaalsus – suhtumine materiaalsetesse ja vaimsetesse väärtustesse).
- "Me usume teie süütusse" (episteemiline modaalsus – teadmiste usaldusväärsuse aste).
Keerulised otsused ja loogiliste sidemete tüübid
Nagu juba märgitud, koosnevad keerulised otsused mitmest lihtsast. Loogilised seosed nende vahel on sellised trikid nagu:
- Sidesõna (ja ʌ b on ühendavad propositsioonid). Konjunktsiooniotsustes on hunnik "ja":"Inim- ja kodanikuõiguste ja -vabaduste kasutamine ei tohi rikkuda teiste õigusi ja vabadusi."
- Disjunktsioon (a v b – disjunktiivsed otsused). Koostiselementidena kasutatakse lahknevaid otsuseid ja lingina kasutatakse ühendust "või". Näiteks: "Hagejal on õigus nõuete suurust suurendada või vähendada."
- Jõud (a → b – otsustus-tagajärg). Kui kompleksse otsuse struktuuris eristatakse eeldust ja tagajärge, siis võib väita, et selline otsus kuulub implikatiivsete hulka. Selle vormi lingina kasutatakse selliseid ametiühinguid nagu "kui … siis". Näiteks: "Kui juhist juhitakse elektrivoolu, siis juht kuumeneb", "Kui tahad olla õnnelik, siis olgu see."
- Ekvivalent (a ≡ b – identsed otsused). Esineb siis, kui a ja b on samad (kas mõlemad on tõesed või mõlemad valed): "Inimene on tehtud õnnelikuks, nagu lind on pandud lendama."
- Etus (¬a, ā – otsustus-inversioon). Iga algne väide on seotud liitlausega, mis eitab algset. See viiakse läbi hunniku "mitte" abil. Seega, kui esialgne väide näeb välja selline: "Härg reageerib punasele valgusele" (a) - siis eitus kõlab järgmiselt: "Härg EI reageeri punasele valgusele" (¬a).
