Kohtuotsuste loogikat. Mis on kohtuotsuse liiki kohtuotsuste

Kohtuotsus on vormis mõtlemine, kinnitavad või eitavad midagi olemasolu objektid, nendevahelised seosed ja nende omadused, samuti suhet objektid.

Näited avaldused: "Volga voolab Kaspia mere", "AS Pushkin kirjutas luuletuse "The Bronze Horseman", "Siberi tiiger on loetletud Red Book" jne

Struktuuri kohtuotsuse

Kohtuotsus sisaldab järgmisi elemente: teema, predikaat, ja sidemete kvantorina.

1. Teema (lat subjektum -. «Alusvara») -, et kohtuotsuses täpsustatud selle teema ( «S»).
2. Predikaat (ladina praedicatum -. «Said") - peegeldab objekti tag, mida öeldakse teemal otsuse ( "P").
3. Bundle - suhe subjekti ( «S») ja predikaadi ( "P"). Määrab olemasolu / puudumise suhtes vara väljendatakse predikaat. Võibolla see tähendab, ja on tähistatud "kriips" või sõnad "a" ( "ei ole"), "on", "on", "aine", ja teised.
4. Kvantor (kvantorina sõna) määratleb mõiste ulatust, mille suhtes otsuse. See seisab ees teema, kuid see võib ka puududa kohtuotsuse. Tähistatud sõnu nagu "kõik", "palju", "mõned", "ei", "ei", ja teised.

Tõsi ja valeütluste

Kohtuotsus on tõsi, kui esineb märke, omadusi ja suhteid asjade heaks / eitas otsuse, tõsi. Näiteks: "Kõik pääsukesed - linnud", "9 üle 2" ja nii edasi ..

Kui avaldus sisaldub otsus ei ole õige, on tegemist vale lause "päike tiirleb ümber Maa", "Kilo rauda raskem kui kilogrammi puuvilla" ja muud õigust kohtuotsuse aluseks on õige arutluskäik ..

Kuid lisaks kaks hinnatakse loogika, milles otsus võib olla kas õige või vale, on olemas ka mitmemõõtmeline loogika. Vastavalt oma mõttes võib kohtuotsuse veel ebaselge. Eriti puudutab see tulevikus üksikute otsuste "Homme juhtub / ei juhtu mereväe lahingus" (Aristoteles, "On tõlgendamise"). Kui me eeldame, et see on tõsi, tegi merelahing homme ei saa juhtuda. Seetõttu on vajalik, et muuta see juhtub. Või vastupidi: väidab, et kohtuotsus on käesoleval hetkel on vale, me seega teha vajalikud võimatus homse merelahing.

Kohtuotsuste tüübist avaldus

Nagu teada, millist tüüpi avaldused on kolme tüüpi lausete: deklaratiivne, agitatsioon ja kuulata. Näiteks lause "Mäletan imeline hetk" viitab tüüpi jutustus. Soovitav on oletada, et selline otsus oleks ka narratiiv. See sisaldab konkreetset teavet vastavalt konkreetse sündmuse.

Omakorda küsilause sisaldab küsimusega saada vastust: "Mis toob tulevik minu jaoks," Samal ajal ei ütle midagi ja ei saa eitada. Seega väide, et selline otsus on küsimus valesti. Küsilause põhimõtteliselt ei sisalda ühtegi otsust, sest küsimus ei saa eristada põhjal tõe / valelikkus.

Ergutav tüüpi lause moodustatud puhul, kus on mõned stiimul meetmeid, nõuda keeld: "Tõuse, Prohvet ja vid ja hoolitsema." Seoses otsuse, arvates mõned teadlased, et nad ei ole sisalduvad ettepanekud seda tüüpi. Teised usuvad, et see on erinevaid modaalne otsuseid.

kvaliteedi kohtuotsuse

Kvaliteedi osas, kohtuotsuse võib olla jaatav (S on P) ja negatiivne (S ei ole P). Juhul jaatav kohtuotsuse kaudu teema predikaadi seotud teatud vara (Wa). Näiteks: "Leonardo da Vinci - Itaalia maalikunstnik, arhitekt, skulptor, teadlane, loodusteadlane ja leiutaja ja kirjanik, suurim esindaja Renaissance art."

Eitav otsus, teiselt poolt, vara on ära võetud teema: "Theory of 25. raam James Vicary pole katselist kinnitust."

kvantitatiivne iseloomustus

Kohtuotsuste loogikat võib olla sage (seotud kõikide klassi objektid), erasektori (mõned neist) ja ühiku (kui räägime teema, seal on ainult üks). Näiteks võib väita, et selline pakkumine nagu "Öösel kõik kassid hallid" viitavad üldilmet, sest see mõjutab kõiki liikmeid kass (teema kohtuotsuse). Kinnitamine "Mõned maod ei ole mürgine" - näide erasektori kohtuotsuse. Omakorda kohtuotsuse "Wonderful Dnepri rahulik ilm" on seade, sest me räägime ühe konkreetse jõe olemasoleva ühe vormi.

Lihtne ja keerulisemaid otsuseid

Sõltuvalt struktuurist, võib kohtuotsuse tüübi lihtne või keeruline. Struktuur lihtne kohtuotsus sisaldab kahte omavahel mõisted (SP): «Book - teadmiste allikas". On ka kohtuotsuste ühe mõiste - kui teine mõeldud ainult: "See oli saada pimedas» (P).

Keerulised moodustatakse vorm liitumist mitu lihtsat otsust.

Klassifikatsioon lihtne kohtuotsuste

Simple kohtuotsuste loogika võivad olla järgmises vormis: täiend-, kohtuotsuse suhetega, eksistentsiaalne, modaal.

Oskus (vara-otsus) saadeti kinnitamiseks / keelamise teema teatud omadused (atribuudid) tegevust. Need otsused on kategooriliselt vormi ja mitte kahelda, "imetaja närvisüsteemi koosneb aju aju, seljaaju ja väljuvad närvikanalid."

Kohtuotsustes seoses konkreetse suhteid objektide kohta. Neil võib olla aegruumiga kontekstis põhjuslikku jne Näiteks :. "vana sõber on parem kui kaks uut", "Vesinik kergem süsinikdioksiidi 22 korda."

Eksistentsiaalne otsus - seda väidet olemasolu / olematust teema (nii materjali ja ideaalne): "Ei ole prohvet kuulus omal maal", "The Moon on satelliit Maa."

Modal pakkumine - vorm heakskiidu kus osales teatud transpordiliikide operaator (vaja hea / halb osutus tuntud / tundmatu, on keelatud, ma usun, ja teised.). Näiteks:

• "Venemaa peab läbi haridusreformi" (alethic modaalsus - võimalus, vajadus midagi).
• "Igaühel on õigus isikupuutumatusele" (deontilistest modaalsus - moraalne normide sotsiaalse käitumise).
• "Hooletusse riigivara viib selle kahju" (axiologic modaalsus - seotud materjali ja moraalseid väärtusi).
• "Me usume oma süütuse" (tunnetuslik modaalsus - usaldusväärsuse teadmisi).

Complex kohtuotsuste ja liiki loogiline konnektiivit

Nagu juba mainitud, keerulisemaid otsuseid koosneb mõned lihtsad. Kuna loogilisi seoseid nende vahel on sellised meetodid nagu:

• Koos (a ʌ b - ühendavad kohtuotsuste). Kohtuotsuste-conjuncts on hunnik "ja", "rakendamine õiguste ja vabaduste mees ja kodanik ei riku õigusi ja vabadusi."
• Disjunktsioon (AVB - jagades kohtuotsuste). Nagu koostisosadel kohtujärje tingimustesse võib sideainena - koostoimes "või". Näiteks: "Hageja on õigus suurendada või vähendada suurus nõude."
• Mõju (a → b - kohtuotsuse toimeta). Kui postitad jaotatakse struktuuri keeruline kohtuotsuse ja seetõttu võib väita, et selline otsus puudutab implikatiivne. Kuna kasutatav sideaine assotsiatsioonis nagu "kui ... siis". Näiteks: "Kui läbi dirigent jääda elektrivoolu juhe soojeneb," "Kas sa tahad olla õnnelik - olla õnnelik."
• Samaväärsuse (a ≡ b - identsed kohtuotsuse). See toimub juhul, kui väärtused a ja b on sama (kas nii on õige või nii vale): "Inimene on loodud õnn, nagu lind lennata."
• Eitamine (¬, A - kohtujärje inversioon). Iga allikas on seotud väitega ühend kinnitus, et eitab originaal. Kasutades "ei" kamp. Seega, kui esialgse avalduse järgmiselt: "Pulli reageerib punane tuli," (a) - eitamine oleks tunduda: "Pulli ei reageeri punane tuli" (¬).