Kohtuotsuste loogikat.

kohtuotsus on vormis mõtlemine, kinnitavad või eitavad midagi olemasolu objekte, nendevahelisi seoseid ja nende omadused, samuti suhet objektid.

näited otsuse: "Volga voolab Kaspia mere", "A.Puškin kirjutas luuletuse "Bronze Horseman", "Siberi tiiger on loetletud Red Book" jne

struktuuri kohtuotsuste

kohtuotsus sisaldab järgmisi elemente: teema, predikaat, ja hunnik kvantoreid.

  1. teema (lat. Subjektum - «oleva») - mis, nagu nähtub otsuse tema suhtes («S»).
  2. predikaat (lat. Praedicatum - «ütles") - peegeldus iseloomulik teema, mida öeldakse teemal kohtuotsuse ("P").
  3. Bundle - seos teema («S») ja predikaadi ("P").See määrab esinemine / puudumine suhtes on vara väljendatud predikaat.Võib-olla see tähendab, ja on tähistatud "kriips" või sõnad "a" ("ei"), "on", "on", "sisuliselt" ja teised.
  4. kvantoriga (kvantoriga sõnad) määratleb mõiste ulatus, misSee on teema kohtuotsuse.See seisab ees teema, kuid see võib ka puududa otsuse.Esindab selliseid sõnu nagu "kõik", "palju", "mõned", "ei", "ei" ja teised.

õige ja vale kohtuotsused

kohtuotsus kehtib ka juhul, kui on märke, omadused jaSuhted heakskiidetud punktide / eitas kohtuotsuse tõsi.Näiteks: "Kõik pääsukesed - linnud", "9 üle 2" ja nii edasi. D.

Kui avaldus on esitatud kohtuotsuse, ei vasta tegelikult on tegemist vale otsuse: "Päike tiirleb ümber Maa""Kilo rauda raskem kui kilo villa" ja teised. Õige kohtuotsuste alusel õige arutluskäik.

Siiski, peale kahte hinnatud loogika, kus kohtuotsus võib olla kas õige või vale, on olemas ka mitmemõõtmeline loogika.Vastavalt selle poolest, kohtuotsuse saab veel ebaselge.Eriti puudutab see tulevikus isiklikud hinnangud, "homme on / ei juhtu merelahing" (Aristoteles, "On tõlgendamise").Eeldades, et see on tõsi, tegi merelahing homme ei saa juhtuda.Seetõttu on vaja muuta see juhtub.Või vastupidi: väidab, et kohtuotsus on käesoleval hetkel on vale, me seega teha vajalikud võimatus tulevikus merelahing.

otsuse tüübist avaldused

Nagu teada, millist tüüpi avaldused on kolme tüüpi lauseid: deklaratiivne, küsiv ja motiiv.Näiteks lause: "Ma mäletan imeline hetk" viitab tüüpi narratiivi.Soovitav on arvata, et sellise otsusega oleks ka narratiiv.See sisaldab teatud informatsiooni, vastavalt konkreetse sündmuse.

omakorda küsilause sisaldab küsimust, saada vastust: "Mis toob tulevik minu jaoks?" Sel juhul ta ütleb midagi ja ei eita.Seega väide, et selline otsus on küsimus valesti.Küsilausete põhimõtteliselt ei sisalda arvamused, sest küsimus ei ole võimalik eristada põhjal tõe / petlikkus.

ergutav tüüpi lause moodustatud juhul, kui seal on mõned stiimul tegevust, või sellise taotluse tagasi lükata: "Tõuse, O prohvet, ja vid ja osaleda."Seoses kohtuotsuste, et vastavalt mõned teadlased, et nad ei sisaldunud ettepanekute seda tüüpi.Teised usuvad, et see on erinevate transpordiliikide otsuseid.

kvaliteediga kohtuotsuste

Kvaliteedi kohtuotsus võib olla nii enesekindel (S on P) ja negatiivne (S ei ole P).Juhul jaatavalt otsuse poolt predikaat subjekti antakse teatud vara (Wa).Näiteks: "Leonardo da Vinci - Itaalia maalikunstnik, arhitekt, skulptor, teadlane, loodusteadlane ja leiutaja ja kirjanik, suurim esindaja Renaissance art."

In negatiivse otsuse, teiselt poolt, vara ära võtta teema: "Teooria 25. raami James Vicary ei eksperimentaalset kinnitust."

kvantitatiivne iseloomulik

juhtmõtteks loogika võib olla üldist laadi (seotud kõikide õppeainete selles klassis), era- (mõned neist) ning üksiku (rääkides teema, seal on ainult üks).Näiteks võib väita, et selline väide nagu "Öösel kõik kassid hallid", viidatakse ühisele seisukohale, kuna see mõjutab kogu liikmed kass (teema kohtuotsus).Väide "Mõned maod ei ole mürgine" - näide era- otsuse.Omakorda proposition "Wonderful Dnepri rahulik ilm," isoleeritud, kuna me räägime ühe konkreetse jõe olemasolevate ühte vormi.

Lihtne ja keerulisemaid otsuseid

Olenevalt struktuurist, kohtuotsuse võib olla lihtne või keeruline.Struktuur lihtne juhtmõtteks on kaks seotud mõisted (SP): «Raamat - teadmiste allikas."On ka kohtuotsuste ühe mõiste - kui teine ​​mõeldud ainult: "See oli saada pimedas» (P).

keeruline vorm on moodustatud ühendades mõned lihtsad ettepanekuid.

klassifikatsioon lihtne kohtuotsuste

lihtne juhtmõtteks loogika võivad olla järgmist tüüpi: täiend-, otsustusvõimet suhteid, eksistentsiaalne, modaal.

Oskus (kohtujärje omadused) kooskõlastamiseks saatmisel / olemasolu eitamine teatud omadusi objektist (atribuudid) tegevust.Need otsused on kategooriline vormi ja ei kahelnud "imetaja närvisüsteemi koosneb aju, seljaaju ja väljuvate närvide kaudu."

kohtuotsused osas on teatud suhted objekte.Nad võivad olla aegruumi raames, põhjuslik, ja teised. Näiteks: "vana sõber on parem kui kaks uut", "Vesinik on kergem süsinikdioksiidist 22 korda."

eksistentsiaalne proposition - avalduse olemasolu / olematust objekti (nii materjali ja ideaalne), "ükski prohvet kuulus omal maal", "Kuu on satelliit Maa."

transpordiliikide proposition - vorm heakskiitu, mis koosneb teatud transpordiliikide operaator (vajalik, hea / halb, osutus tuntud / tundmatu, on keelatud, ma usun, ja teised.).Näiteks:

  • «Venemaa peab läbi haridusreform" (alethic modaalsus - võimalus, vajadus midagi).
  • «Igaühel on õigus isikupuutumatusele" (deontilistest modaalsus - moraalne normid sotsiaalse käitumise).
  • «Hoolimatu suhtumine riigivara viib oma kahjumit" (aksioloogiline modaalsus - seotud materjali ja vaimseid väärtusi).
  • «Me usume oma süütust" (tunnetuslik modaalsus - usaldusväärsus teadmised).

keerulisemaid otsuseid ja liigid loogiline konnektiivit

Nagu juba öeldud, keerulisemaid otsuseid koosnevad mõnest lihtsast.Kuna loogilisi seoseid nende vahel on selline tehnikat:

  • Sidesõna (ja ʌ b - ühendades kohtuotsus).Kohtuotsused-conjuncts on kamp "ja", "rakendamine õiguste ja vabaduste mees ja kodanik ei riku õigusi ja vabadusi."
  • lahkmel (AVB - jagades kohtuotsus).Osadena kohtu-tingimustesse sidujana - sidesõna "või".Näiteks: "Hageja on õigus suurendada või vähendada suurus nõue."
  • mõjuta (a → b - kohtuotsus-efekt).Kui konstruktsioon on keeruline otsuse seisab ja saates selle tulemusena võib väita, et käesoleva kohtuotsuse viitab implikatiivne.Selle sideme kujul kasutatakse selliste liitude kui "kui ... siis".Näiteks: "Kui läbi dirigent miss elektrivool, juhe soojeneb," "Sa tahad olla õnnelik - olla õnnelik."
  • samaväärsust (a ≡ b - identsed kohtuotsuste).See toimub siis, kui väärtus a ja b on sama (kas nii on õige või nii vale): "Inimene on loodud õnn, nagu lind lennata."
  • Denial (¬ A - kohtujärje inversioon).Iga allikas on seotud väitega, ühend avalduses eitada originaal.Kasutades sidemete "ei".Seega, kui algne sõnum on järgmine: "Pulli reageerib punane tuli," (a) - eitamine kõlab nagu: "pulli reageerib punase tulega» (¬).