Otsus on üks mõtlemise vormidest, ilma milleta ei saa tunnetust esineda. Kohtuotsused väljendavad objekti ja omaduse suhet, kinnitavad või keelduvad selle kvaliteedi olemasolust antud asjas. Tegelikult on see mõtteviis, selle vorm, mis räägib meile objektide ühendamisest, mistõttu kohtuotsus on eriline koht loogikast ja analüütiliste kettide ülesehitamisse.
Kohtuotsuste omadused
Enne kohtuotsuste loogikale liigitamist peame leidma selgelt vahet kohtuotsuse ja mõiste vahel.
Mõiste - räägib objekti olemasolust. Mõisteks on "päev", "öö", "hommik" jne Ja kohtuotsuses kirjeldatakse alati omaduste olemasolu või puudumist - "varahommik", "külm päev", "vaikne öö".
Kohtuotsuseid väljendatakse alati jutustavate lausete kujul, lisaks grammatikast varem nimetati kohtuotsuste olemust kohtuotsuseks. Lause, mis väljendab kohtuotsust, nimetatakse tähiseks ja lause tähendus on vale või tõde. See tähendab, et nii lihtsates kui ka keerukates otsustes jälgitakse selget loogikat: ettepanek eitab või kinnitab objekti tunnusjooni.
Näiteks võime öelda, et "kõik Päikesesüsteemi planeedid pöörlevad oma telgede ümber" ja võime öelda, et "ükski päikesesüsteemi planeet pole liikumatu".
Kohtuotsuste liigid
Loogis on kahte liiki otsuseid - lihtne ja keerukas.
Lihtsad otsused, mis on jagatud osadeks, ei saa olla loogiline tähendus, need sisaldavad kohtuotsust ainult lahutamatult tervikuna. Näiteks: "Matemaatika on teaduse kuninganna". See lause väljendab ühte ettepanekut. Keerulised kohtuotsused
Näiteks: kui homme läheneb, me ei lähe linnast välja.
Kompleksse kohtuotsuse põhiomaduseks on see, et ühel selle osast on lause teine poolest erinev tähendus ja lause teine osa.
Keerulised kohtuotsused ja nende liigid
Loogikast koosnevad keerukad otsused lihtsate otsuste kombinatsioonidest. Need on ühendatud loogiliste ahelatega - ühendused, implikatsioon ja samaväärsus. Lihtsamalt öeldes on need ametiühingud "ja", "või", "aga", "kui ... see".