Қарорҳои дар мантиқи. доварӣ, намудҳои доварӣ аст

Ба ҳукми як аст, шакли тафаккури, тасдиқ ё инкор чизе дар бораи мавҷудияти объектҳои, ки равобити миёни онҳо ва хосиятҳои онҳо, инчунин муносибати байни объектњои.

Намунаҳои изҳороти шудааст: «Волга ҷараёнҳои ба баҳри Каспий», «AS Пушкин шеъри "The биринҷӣ Horseman», «Сибир паланг аст, ки дар ин китоб Сурх шудаанд," ғ навишт

Дар сохтори доварии

Қиёмат бар мегирад, ки унсурҳои зеринро: дар мавзӯи, мустанад ва quantifier даста.

1. Мавзӯъ (subjektum lat -. «Аслии») - ки, чунон ки дар рӯзи доварӣ изҳор дошт, мавзӯъ он ( «S»).
2. Дар мустанад (praedicatum Лотинӣ -. «Саид») - инъикоси теги иншоот, аз он чӣ аст, дар мавриди доварии гуфт: ( «P»).
3. Фаъолгардонии - таносуби байни субъект ( «S») ва мустанад ( «P»). Муайян ҳузури / набудани мавзӯи молу мулки изҳори ҳамчун мустанад. Шояд аз он назар, ва аз ҷониби як «тире» ё калимаҳои «а» ( «нест,») нишон медиҳад, ки "дорои», «доранд», «моддањои», ва дигарон.
4. Quantifier (калима quantifier) дар доираи консепсияи, ки ба он мавзўи доварӣ муайян менамояд. Ин аст, ки дар пеши мавзӯи истода, балки аз он низ метавонад дар рӯзи доварӣ ғоиб нашаванд. Denoted калимаҳои монанди «ҳамаи», «бисёр», «Баъзе», «не», «не», ва дигарон.

Ҳисоботҳои ҳақиқӣ ва дини бардурӯғ

Қиёмат дар сурати ҳақиқӣ аст, ки дар ягон зикри, ки хосиятҳои ва муносибатҳо адад тасдиќ / инкор дар рӯзи доварӣ, дуруст нест. Масалан: «Ҳамаи ҷодуҳояшонро фурӯ - паррандагон», «9 зиёда аз 2» ва љайраіо ..

Агар изҳороти аст, ки дар рӯзи доварӣ мавҷуд аст, рост нест, ки мо дар муносибат бо як пешниҳоди дурӯғин "офтоб мечархад, дар атрофи Замин", "Як кило оҳан вазнинтар аз як кило пахта» ва дигар доварӣ ҳуқуқ доранд дар асоси далелҳо дуруст ..

Бо вуҷуди ин, ба ғайр аз мантиқ ду-қадр, ки дар он ҳукми метавонад ё воқеӣ ё чи бардурӯғ аст, ки низ дар як мантиқи бисёрсоҳавӣ-ченака нест. Бино ба шарти он, ки доварӣ метавонад номуайян бошад ҳам. Хусусан ба он дахл дорад, ки ояндаи довариҳои инфиродӣ, «Фардо рӯй / тавр ҷанг ҳарбӣ-баҳрӣ рух медиҳад» (Арасту, «Дар бораи таъбири хоб"). Агар мо дар њолате, ки ин пешниҳоди дуруст аст, ки пагоҳ ҷанг дарё нест, рӯй дода метавонад. Аз ин рӯ, ба он рӯй зарур аст. Ё баръакс: талабгори, ки доварии дар айни замон дурӯғ аст, мо чунин мекунем имконнопазирии зарурии фардо ба ҷанг дар баҳр.

Қарорҳои ба намуди изҳороти

Тавре ки маълум аст, дар шакли изҳороти се намуди мебошанд декларативї,: маҳкум таблиғотӣ ва пурсиш. Масалан, ҳукми «Ман дар хотир як лаҳзаи олиҷаноб» ишора ба намуди тавсифӣ. Ин маќсад аст, пешниҳод мекунанд, ки чунин доварӣ низ тавсифӣ. Он дорои иттилооти махсус, тибқи як ҳодисаи муайян.

Дар навбати худ, ҳукми пурсишӣ дорои як савол, даст ҷавоб ба: «Чӣ тавр ин Ояндаи ман», Дар баробари ин, аз он мегӯяд, ҳеҷ ва ба инкор карда наметавонад. Бинобар ин, пиндоштанд, ки чунин як ҳукми як савол аст, нодуруст. ҳукми пурсишӣ, ки дар принсипи, ҳеҷ доварӣ гирад, зеро ба саволи метавонад дар асоси ҳақиқати / falsity фарѕ карда намешавад.

навъи ҳавасмандкунанда ҳукми аст, ки дар сурати дар он аст, ки баъзе ангезае ба амал он ҷо ташаккул меёбад, дархости манъи: «. бархезед, Эй паёмбар, ва vid, ва иштирок ба" Дар робита ба доварӣ дучор шаванд, ки дар фикри баъзе тадқиқотчиён, онҳо дар пешниҳоди ин намуди мавҷуд нест. Дигарон боварӣ доранд, ки дар он як қатор қарорҳои modal аст.

ҳукми сифати

Дар робита бо сифати доварӣ карда мешавад, тасдищӣ (S P аст), ва манфї (S аст, P надорад). Дар мавриди доварии тасдищӣ, тавассути мустанад бояд замима ба молу мулки муайяни (-wa). Масалан: ". Леонардо да Винчи - Италия рассом, меъмор, sculptor, олим, табиию ва ихтироъкор ва нависандаи, бузургтарин намояндаи санъати Эҳё»

Дар доварии манфӣ, аз тарафи дигар, молу мулк аст, аз мавзӯи гирифта: «. Назарияи доираи 25 Яъқуб Vicary дорад, тасдиқ таҷрибавӣ"

тавсифи миќдорї

Қарорҳои дар мантиқи метавонад умумӣ (ки ба ҳамаи объектҳои ин синф), бахши хусусӣ (баъзе аз онҳо) ва шӯъбаи (вақте ки гап дар бораи ин мавзӯъ аст, яке вуҷуд надорад). Масалан, он метавонад бошад, баҳс, ки ба чунин пешниҳоди ҳамчун «Дар шаб тамоми гурба хокистарӣ аст» ба намуди умумї ишора хоҳад кард, зеро он ҳамаи аъзои гурба (субъекти доварӣ) таъсир мерасонад. Тасдиқ намудани «Баъзе морҳои ҳастанд заҳролуд нест» - намунаи доварӣ хусусӣ. Дар навбати худ, доварӣ «Dnieper аҷоиб дар ҳавои ором» як воҳиди аст, зеро сухан дар бораи яке аз дарёи ҷумла мавҷуда дар шакли ягонаи.

ҳукмҳои содда ва мураккаб

Вобаста ба сохтор, ҳукми метавонад аз як намуди содда ё мураккаб бошад. Сохтори доварӣ оддӣ дар бар мегирад ду мафҳуми алоқаманди (SP): «китоб - сарчашмаи дониш». инчунин қарорҳои бо як консепсияи ҳастанд - ҳангоми дуюм танҳо маънои: «Ин буд, ба даст торик» (P).

шакли мураккаби бо пайвастан чанд доварӣ оддӣ ташкил карда мешаванд.

Гурӯҳбандии довариҳои оддӣ

attributive, доварӣ бо муносибатҳо, existential, modal: довариҳои Simple дар мантиқи то аз шаклњои зерин бошад.

Аттрибутӣ (амвол-доварӣ) фиристода барои тасдиқ / кашидан аз мавзӯи дар хосиятҳои муайян (хусусиятҳои) фаъолият. Ин қарорҳои ҳастанд шакли муҳқамот ва пурсида намешавад, «системаи асаб ширхӯрон иборат мағзи аз мағзи сар, ҳароммағз ва роҳҳои асаб содиротӣ».

Дар қарорҳои нисбати муносибатҳои махсус миёни объектњои. Онҳо шояд заминаи spatio-муваққатӣ, сабабњои ва ғайра Барои мисол :. «дӯсти кӯҳна беҳтар аз ду нав», ки «гидроген гази карбон сабуктар 22 маротиба зиёд аст."

доварӣ Existential - ин ҳимояи мавҷудияти / нестӣ субъекти (ҳам моддӣ ва беҳтарин): "аст, ки ҳеҷ пайғамбаре дар зодгоҳи худ нест», «The Moon як моҳвора Замин аст».

Modal пешниҳоди - шакли тасдиқи, ки дар дохил ҳузури оператори modal муайян (хуб лозим аст / бад, маълум исбот / номаълум, он манъ аст, ман боварӣ дорам, ва дигарон.). Барои мисол:

• "Русия бояд ба гузаронидани ислоҳоти соҳаи маориф» (шакли alethic - имконияти, зарурати чизе).
• (- меъёрњои ахлоќии рафтори иљтимої шакли deontic) "Ҳар як инсон ҳуқуқ ба дахлнопазирии шахсӣ ҳақ дорад».
• «Беэътиноӣ амволи давлатӣ боиси аз даст додани он» (шакли axiologic - вобаста ба моддї ва арзишҳои ахлоқӣ).
• (- эътимоднокии дониш шакли epistemic): «Мо ба бегуноҳии худ имон овардем».

довариҳои Маҷмааи ва намудҳои connectives мантиқӣ

Тавре ки ќаблан зикр гардид, довариҳои мураккаб як чанд оддӣ иборат аст. Тавре ки аз алоқа мантиқӣ байни онҳо усулҳои чунин мебошанд:

• Якљоя (а ʌ б - пайваст доварӣ). Қарорҳои-conjuncts доранд, як хӯшаи »ва», «Татбиқи ҳуқуқ ва озодиҳои инсон ва шаҳрванд аз ҳуқуқҳо ва озодии дигарон вайрон накунанд."
• Disjunction (avb - тақсим доварӣ). якҷоягӣ "ё" - Тавре ки аз унсурҳои таркибии доварӣ банди ҳамчун ьузъгир истифода бурда мешавад. Масалан: «Дар даъвогар ҳуқуқ дорад зиёд ва ё кам кардани андозаи талаботи дорад."
• Дар implication (а → б - доварӣ таъсири). Агар овехта аст, ки дар сохтори мураккаб доварӣ ҷудо ва аз ин рӯ, он метавонад ба баҳс бархостанд, ки чунин доварӣ вобаста ба implicative. Тавре ки аз ьузъгир дар шакли ассотсиатсияҳо ба монанди «агар ... он гоҳ» истифода мешавад. Масалан: «Агар ба воситаи барандаи ба дарсњо ҷорӣ барқ, сим heats то", "Оё шумо мехоҳед, ки барои хушбахт будан - хушбахт бошад».
• Баробарарзишии (а ≡ б - доварӣ якхела). Он сурат мегирад, дар мавриде, ки арзишҳои а ва б айни ҳамон ҳастӣ (ё ду ҳақиқӣ ё ду бардурӯғ): «Одам барои хушбахтии офарида мешавад, мисли як парранда ба парвоз».
• Negation (¬a, A - доварӣ inversion). Ҳар як манбаъ аст, ки бо изҳороти мураккаб изҳороти ки аслии дурӯғ алоқаманд аст. Бо истифода аз «нест» хӯшаи. Бинобар ин, агар изҳороти аслии зайл аст: «Дар гов ана ба нури сурх» (а) - рад мебуд садо монанди: «Дар гов тавр ба нури сурх қабул накарданд» (¬A).