Dómar í rökfræði. Hvað er dómur, tegundir dómum

Dómurinn er mynd af hugsun, staðfesta eða neita neitt um tilvist hlutum, tengslin milli þeirra og eiginleika þeirra, svo og tengslin milli hluta.

Dæmi um staðhæfingar: "The Volga rennur í Kaspíahaf", "AS Pushkin skrifaði ljóð "The Bronze riddarinn", "Siberian tígrisdýr er skráð í Red Book", osfrv

Uppbygging dómsins

Dómur felur í sér eftirfarandi þætti: Viðfangsefni, umsögnina, og ligament quantifier.

1. Efni (lat subjektum -. «Undirliggjandi») - sem, eins og fram kemur í dóminum, efni hans ( «S»).
2. Umsögnin (Latin praedicatum -. «Said") - spegilmynd af hlut tag, hvað sem sagt er um efni dómsins ( "P").
3. Bundle - sem hlutfallið á milll efni ( «S») og eiginleikann ( "P"). Ákvarðar tilvist / fjarveru verið fjallað um í eign, gefið upp sem eiginleikann. Kannski felur það, og er auðkenndur með "þjóta" eða orðin "a" ( "er ekki"), "hefur", "hafa", "efni", og aðrir.
4. Quantifier (quantifier orð) skilgreinir umfang hugtaksins, sem háð dómi. Það er að standa fyrir framan efnið, en það getur einnig verið fjarverandi í dómi. Táknað með orðum eins og "allt", "margir", "sumir", "nei", "nei", og aðrir.

Satt og ósatt yfirlýsingar

Dómur er satt að ræða þar sem það er einhver vísbending, eiginleika og tengsl hlutum samþykkt / hafnað í dómi, satt. Til dæmis: "Allt gleypir - fugla", "9 meira en 2" og svo framvegis ..

Ef staðhæfing er að finna í dóminum er ekki satt, við erum að fást við fölsku staðhæfingar "sólin snýst í kringum jörðina," "A kíló af járni þyngri en kíló af bómull" og aðrar hægra réttvísi eru grundvöllur rétta rökhugsun ..

Hins vegar, til viðbótar við tveggja metið rökfræði, þar sem dómur getur verið annaðhvort satt eða ósatt, það er einnig a multi-víddar rökfræði. Samkvæmt forsendum, að dómurinn kann að vera enn óljóst. Sérstaklega varðar það framtíð einstakra dóma, "Á morgun gerist / gerist ekki flotans bardaga" (Aristóteles, "Á túlkun"). Ef við gerum ráð fyrir að þetta sé satt uppástunga, hafið bardaga morgun getur ekki gerst. Því er nauðsynlegt að gera það gerast. Eða öfugt: krafa að dómur í núinu er ósatt, gera við því nauðsynlega ómögulega morgundagsins sjó bardaga.

Dómar um gerð yfirlýsingu

Eins og kunnugt er gerð yfirlýsingar eru þrjár gerðir af setningar: declarative, æsingur og spyrja. Til dæmis, setningin "Ég man dásamleg stund" er átt við þá tegund af frásögninni. Það er ráðlegt að benda til þess að slík dómur myndi einnig frásögn. Það inniheldur tilteknar upplýsingar, samkvæmt tilteknum atburði.

Í snúa, the interrogative setningu inniheldur spurningu, fá svar við: "Hvað ber framtíðin í skauti sér fyrir mig," Á sama tíma sem það segir ekkert og ekki neita. Samkvæmt því, kröfu að slík dómur er spurning á rangan hátt. Interrogative setningu, í grundvallaratriðum, inniheldur ekki dóm vegna þess að spurningin er ekki hægt þroskuð á grundvelli sannleikans / ósannindi.

Hvatning tegund af setningu myndast í tilfelli þar sem það er einhver hvatning til aðgerða, farið fram á bann: ". Rís upp, ó spámaður, og vid, og mæta til" Með tilliti til dómsins, að mati sumra vísindamanna, að þeir eru ekki að finna í tillögum af þessu tagi. Aðrir telja að það er margs konar formlegur dóma.

gæði dómur

Hvað varðar gæði, dómur getur verið annaðhvort játandi (S er P), og neikvæð (S er ekki P). Í tilviki sértækar dómsins, um fyrirvara umsögnina fest við ákveðna eign (-wa). Til dæmis: ". Leonardo da Vinci - Ítalska málara, arkitekt, myndhöggvari, vísindamaður, náttúrufræðingur og uppfinningamaður og rithöfundur, stærsta fulltrúa Renaissance list"

Í neikvæð dómi, hins vegar, sem fasteignin er tekin í burtu frá efni: ". Theory of 25. ramma James Vicary hefur enga tilrauna staðfestingu"

magnbundinn á eiginleikum

Dómar í rökfræði má algengar (varðandi alla hluti í þessum flokki), persónulegur (sumir af þeim) og eining (þegar talað er um efni, það er aðeins einn). Til dæmis, er hægt að halda því fram að slík uppástunga þar sem "Á kvöldin allir kettir eru gráir" mun vísa til almennu útliti, því það hefur áhrif á alla meðlimi köttur (efni dóms). Samþykkt af "Sumir ormar eru ekki eitruð" - dæmi um einka dóms. Í snúa, the dómur "Wonderful Dnieper í logni" er eining, þar sem við erum að tala um einn sérstakan ána, sem í einu formi.

Einföld og flókin dómar

Það fer eftir uppbyggingu, dómur gæti verið á gerð einföld eða flókin. Uppbygging einfalt dómur felur í sér tvær samtengdar hugmyndir (SP): «Book - uppspretta þekkingar". Það eru líka dómar með einni hugmynd - þegar seinni aðeins ætlað: "Það var farið að dimma» (P).

Complicated mynd er mynduð með því að tengja nokkur einföld dómgreind.

Flokkun einföldum dóma

Einföld dómar í rökfræði má af eftirfarandi eyðublöð: attributive, dómur með sambönd, tilvistarlega, formlegur.

Eigind (eign-dómur) sent til samþykktar / afneitun efni á tiltekna eiginleika (eiginleika) starfsemi. Þessar dómar eru flokkalíkana form og ekki í efa, "allt taugakerfi spendýra samanstendur af heila í heila, mænu og á útleið ferlum taug."

Í dómum með því er varðar tilteknar milli hluta. Þau kunna að hafa spatio-stundlega samhengi, orsakatengsl o.fl. Til dæmis :. "Old vinar betri en tveimur nýjum", "Hydrogen léttari koltvísýring af 22 sinnum."

Tilvistarlega dómur - þetta fullyrðingu um tilvist / tilvistarleysi á viðfangsefninu (bæði efni og hugsjón): "Það er enginn spámaður í eigin landi sínu", "The Moon er gervitungl jarðar."

Formlegur uppástunga - mynd af samþykki, þar sem meðal annars tilvist tiltekinna formlegur rekstraraðili (þarf gott / slæmt, reyndist þekkt / óþekkt, það er bannað, tel ég, og aðrir.). Til dæmis:

• "Rússland þarf að sinna menntun umbætur" (alethic modality - möguleika, nauðsyn á einhverju).
• "Allir menn eiga rétt til mannhelgi" (deontic útfærslu - siðferðileg viðmið félagslega hegðun).
• "Vanræksla eigna ríkisins leiðir til taps þess" (axiologic útfærslu - í tengslum við efni og siðferðilegum gildum).
• "Við trúum á sakleysi þínu" (þekkingarfræðilegu útfærslu - áreiðanleika þekkingar).

Complex dómar og gerðir af rökrétt connectives

Eins og áður hefur komið fram, flókin dómar samanstanda af nokkrum einföldum. Eins rökrétt tengsl milli þeirra eru slíkar aðferðir sem:

• Samtenging (a ʌ b - að tengja dómar). Dómar-conjuncts hafa fullt af "og", "Framkvæmd réttinda og frelsis mannsins og borgara skulu ekki brjóta í bága við réttindi og frelsi annarra."
• Disjunction (avb - því að deila dómar). Eins og efnisþáttum matskennt ákvæðum eru notaður sem bindiefni - samvinnu "eða". Til dæmis: "Stefnandi hefur rétt til að hækka eða lækka stærð kröfu."
• The vísbendingu (a → b - matskennt áhrif). Ef staða er úthlutað í uppbyggingu flókið dóm og þar af leiðandi má færa rök fyrir því að slík dómur tengist implicative. Sem bindiefni sem notað er í formi samtaka eins og "ef ... þá". Til dæmis: "Ef um leiðara að missa rafstraum, vírinn hitnar," "Viltu vera hamingjusamur - að vera hamingjusamur."
• Jafngildi (a ≡ b - eins dómgreind). Það fer fram í málinu þar sem gildi a og b eru þau sömu (annað hvort báðir satt eða bæði ósönn): "Man er búin til hamingju, eins og fugl að fljúga."
• Negation (¬a, A - dóm-umhverfunarhitastigið). Hver fengið tengist yfirlýsingu samsetta yfirlýsingu sem afneitar upprunalega. Með því að nota "ekki" fullt. Samkvæmt því, ef upprunalega yfirlýsing sem hér segir: "The Bull bregst við rauðu ljósi," (a) - afneitun myndi hljóma: "The Bull hefur ekki svarað rauðu ljósi" (¬A).