ယုတ္တိဗေဒအတွက်တရားစီရင်ပိုင်။ စီရင်တော်မူခြင်း, တရားစီရင်ပိုင်အမျိုးအစားများကဘာလဲ

စီရင်တော်မူခြင်းတစ်ဦးဖြစ်ပါတယ် စဉျးစားတှေးချေါပုံစံ အရာဝတ္ထု၏တည်ရှိမှုနှင့် ပတ်သက်. ဘာမှအတည်ပြုသို့မဟုတ်ငြင်းပယ်သူတို့အားနှင့်သူတို့၏ဂုဏ်သတ္တိများအကြားလင့်များအဖြစ်တ္ထုများအကြားဆက်ဆံရေး။

ထုတ်ပြန်ချက်များ၏ဥပမာ: "အဆိုပါ Volga ဟာကက်စပီယန်ပင်လယ်သို့စီး", "AS Pushkin စသည်တို့ကို "ဆိုက်ဘေးရီးယားကျား, ဧဒုံစာအုပ်စာရင်းဝင်ဖြစ်ပါတယ်" တဲ့ကဗျာတစ်ပုဒ် "ဒီကြေးမြင်းစီးသူရဲ" wrote

စီရင်တော်မူခြင်း၏ဖွဲ့စည်းပုံ

ဘာသာရပ်, predicate နှင့်ရွတ် quantifier: တရားသဖြင့်စီရင်အောက်ပါဒြပ်စင်များပါဝင်သည်။

1. ဘာသာရပ် (LAT subjektum - ။ « underlying ») - စီရင်တော်မူခြင်းတွင်ဖော်ပြထားသကဲ့သို့, ၎င်း၏ဘာသာရပ် (« S ကို») ။
2. အဆိုပါ predicate (လက်တင် praedicatum - ။ « Said ") - စီရင်တော်မူခြင်း၏ဘာသာရပ်အပေါ်ဟုဘာအရာဝတ္ထု tag ကိုတစ်ရောင်ပြန်ဟပ်မှု, (": P ") ။
3. Bundle ကို - ထိုအကြောင်းအရာအကြားအချိုး (« S ကို») နှင့် predicate ( ": P") ။ တစ်ဦး predicate အဖြစ်ထုတ်ဖော်ပြောဆိုအိမ်ခြံမြေများ၏ဘာသာရပ်၏ရှေ့မှောက်တွင် / မရှိခြင်းဆုံးဖြတ်သည်။ ဒီတစ်ခါလည်းသူကဆိုလိုခြင်း, တစ်ဦး "dash" သို့မဟုတ်စကားတို့ကို "a" ကို ( "မဟုတ်ပါ"), "ရှိ" "ဖြစ်ပါတယ်", "ပစ္စည်းဥစ္စာ" နှင့်အခြားသူများအားဖြင့်ညွှန်ပြနေသည်။
4. Quantifier (quantifier စကားလုံး) ကိုတရားသဖြင့်စီရင်၏ဘာသာရပ်ဖြစ်သောရန်, အယူအဆများ၏နယ်ပယ်တစ်ခုအဖြစ်သတ်မှတ်ပါတယ်။ ဒါဟာဘာသာရပ်များ၏ရှေ့မှောက်၌ရပ်လျက်, သို့သော်လည်းတရားသဖြင့်စီရင်အတွက်ပျက်ကွက်ဖြစ်နိုင်သည်။ ထိုကဲ့သို့သော "အားလုံး", "အများကြီး", "အခြို့သော", "အဘယ်သူမျှမ", "no" ဆိုတဲ့အဖြစ်စကားလုံးများနှင့်အခြားသူများခေါ်လိုက်ပါမယ်။

စစ်မှန်သောနှင့်မှားယွင်းသောထုတ်ပြန်ချက်

တရားသဖြင့်စီရင်မည်သည့်အရိပ်အယောင်, ထိုဂုဏ်သတ္တိများနှင့်တရားစီရင်ခြင်းငြင်းပယ်အတည်ပြုပစ္စည်းများကို / များ၏ဆက်ဆံရေးကို, စစ်မှန်တဲ့အရပ်၌အမှု၌မှန်သည်။ ဥပမာ: "အားလုံးမျို - ငှက်တို့သည်" ဒါပေါ်, "9 ဦးထက်ပို 2" နှင့် ..

ကြေညာချက်စီရင်တော်မူခြင်း၌ပါရှိသောလျှင်မမှန်ပါဘူး, ကျနော်တို့နေရောင်ကမ္ဘာမြေကိုဗဟိုပြုမိစ္ဆာအဆိုပြု '' နှင့်ဆက်ဆံရာတွင်နေကြတယ် "," တစ်ဦးကဝါဂွမ်းတစ်ကီလိုဂရမ်ထက်ပိုလေးသံကီလို "နှင့်အခြားလက်ျာဘက်တရားသဖြင့်စီရင်မှန်ကန်သောဆင်ခြင်ခြင်း၏အခြေခံဖြစ်ကြောင်း ..

သို့သော်စစ်မှန်သောသို့မဟုတ်မှားယွင်းသောဖြစ်စေနိုင်ပါတယ်ရာစီရင်တော်မူခြင်းအတွက် Two-တန်ဖိုးထားယုတ္တိဗေဒ, အပြင်, multi-ရှုထောင်ယုတ္တိဗေဒလည်းရှိသေး၏။ ယင်း၏အသုံးအနှုန်းများအရ, တရားသဖြင့်စီရင်နေဆဲမသေချာမရေရာဖြစ်နိုင်သည်။ အထူးသဖြင့်သူကတစ်ဦးချင်းတရားစီရင်ပိုင်၏အနာဂတ်စိုးရိမ်, (အရစ္စတိုတယ် "ဟုအနက်တွင်") "မနက်ဖြန် / ရေတပ်စစ်တိုက်ဖြစ်ပျက်ပါဘူးဖြစ်ပျက်" ။ ကြှနျုပျတို့သညျဤစစ်မှန်သောအဆိုပြုကြောင်းယူဆလျှင်, ပင်လယ်စစ်တိုက်မနက်ဖြန်ဖြစ်ပျက်လို့မရပါဘူး။ ထို့ကြောင့်, အဲဒါကိုဖြစ်ပျက်စေရန်လိုအပ်ပေသည်။ သို့မဟုတ်အပြန်အလှန်: ပစ္စုပ္ပန်တခဏအတွင်းတရားသဖြင့်စီရင်မှားယွင်းသောဖြစ်ပါသည်, ကျနော်တို့အရှင်မနက်ဖြန်၏လိုအပ်သောမဖြစ်နိုင်ပြုဟုဆိုကာ ပင်လယ်စစ်တိုက်။

ကြေညာချက်အမျိုးအစားအပေါ်တရားစီရင်ပိုင်

လူသိများသည်နှင့်အမျှ, ထုတ်ပြန်ချက်များကိုအမျိုးအစားသုံးမျိုးရှိပါတယ် declarative ဟူ. : စာကြောင်း လှုံ့ဆော်မှုများနှင့်မေးမြန်း။ ဥပမာ, "ငါအံ့သြစရာအခိုက်သတိရ" ဝါကျဇာတ်ကြောင်းအမျိုးအစားကိုရည်ညွှန်းသည်။ ဒါဟာထိုကဲ့သို့သောတရားသဖြင့်စီရင်လည်း narrative မယ်လို့အကြံပြုဖို့အကြံပြုလိုတယ်။ ဒါဟာတိကျတဲ့ဖြစ်ရပ်သည်နှင့်အညီ, တိကျသောသတင်းအချက်အလက်များပါဝင်သည်။

အလှည့်၌, စစ်ကြောရေးဝါကျမေးခွန်းတစ်ခုပါရှိသည်မှအဖြေတစ်ခုရဖို့: "ငါ့အဘို့အနာဂတ်ကိုကိုင်ဘာ," တချိန်တည်းမှာပင်ကဘာမျှပြောပါတယ်နဲ့ငြင်းပယ်မထားဘူး။ ထို့ကြောင့်ထိုကဲ့သို့သောတရားသဖြင့်စီရင်မှားယွင်းစွာမေးခွန်းတစ်ခုကြောင်းပြောဆိုချက်ကို။ မေးခွန်းအမှန်တရား / falsity ၏အခြေခံပေါ်မှာမတူညီမရနိုငျသောကွောငျ့စစ်ကြောရေးဝါကျ, မူအရဆိုတရားစီရင်ခြင်းကိုမဆံ့မခံပါဘူး။

ဝါကျ၏မက်လုံးပေး type ကိုတစ်ဦးပိတ်ပင်ထားမှုကိုတောင်းဆို, action ကိုအချို့မက်လုံးပေးအရပ်၌အမှု၌ဖွဲ့စည်းခဲ့တာဖြစ်ပါတယ်။ "အိုတမန်တော်မြတ်ထနှင့် vid နှင့်မှတက်ရောက်ရန်" စီရင်တော်မူခြင်းနှင့် ပတ်သက်. အချို့သုတေသီများ၏အမြင်၌, သူတို့ကဒီအမျိုးအစား၏အဆိုပြုချက်တွင်ပါရှိသောကြသည်မဟုတ်။ အခြားသူများကပုံစံများတရားစီရင်ပိုင်အမျိုးမျိုးကြောင်းယုံကြည်ကြသည်။

အရည်အသွေးအစီရင်တော်မူခြင်း

အရည်အသွေးကို၏စည်းကမ်းချက်များ၌တရားစီရင် (S P ကိုမဟုတ်ပါဘူး) (S ကို P ကိုဖြစ်ပါတယ်) အပြုသဘောဆောင်နှင့်အနုတ်လက္ခဏာဖြစ်စေဖြစ်နိုင်သည်။ အဆိုပါအပြုသဘောဆောင်တရားသဖြင့်စီရင်၏ဖြစ်ရပ်မှာတော့ဘာသာရပ် predicate မှတဆင့်အခြို့သောပစ္စည်းဥစ္စာပိုင်ဆိုင်မှု (-wa) မှပူးတွဲပါ။ ဥပမာ: "Leonardo da Vinci - အီတလီပန်းချီဆရာ, ဗိသုကာ, ပန်းပု, သိပ္ပံပညာရှင်, သဘာဝနှင့်တီထွင်သူနှင့်စာရေးဆရာ, Renaissance အနုပညာအကြီးဆုံးကိုယ်စားလှယ်။ "

ဆိုးကျိုးတရားသဖြင့်စီရင်ခုနှစ်, အခြားတစ်ဖက်တွင်, ပစ္စည်းဥစ္စာပိုင်ဆိုင်မှုဘာသာရပ်အနေဖြင့်မပယ်ရှားနေသည်: "ဂျိမ်းစ် Vicary ၏ 25 frame ရဲ့သီအိုရီအဘယ်သူမျှမစမ်းသပ်အတည်ပြုချက်ကိုရှိပါတယ်။ "

အရေအတွက်စရိုက်လက္ခဏာတွေ

ယုတ္တိဗေဒအတွက်တရားစီရင်ပိုင် (ထိုဘာသာရပ်အကြောင်းပြောနေတာအခါ, တစ်ဦးတည်းသာရှိ) ပုဂ္ဂလိက, (သူတို့ထဲကအချို့) နှင့်ယူနစ် (ဒီ class ကိုအပေါငျးတို့သ္ထုနှင့်စပ်လျဉ်း) ဘုံဖြစ်နိုင်သည်။ ဥပမာအားဖြင့်, ကကြောင်ကို (တရားသဖြင့်စီရင်၏ဘာသာရပ်) ၏အားလုံးအဖွဲ့ဝင်များအပေါ်သက်ရောက်မှုရှိသောကြောင့် "ညဥ့်မှာအားလုံးကြောင်မီးခိုးရောင်တွေဟာ" ကဲ့သို့သောအဆိုပြု, အထွေထွေအသွင်အပြင်ကိုရည်ညွှန်းလိမ့်မည်ဟုစောဒကတက်နိုင်ပါတယ်။ ပုဂ္ဂလိကတရားစီရင်ဥပမာတစ်ခု - က "တချို့မြွေအဆိပ်အပြင်းမဟုတ်" ၏ခွင့်ပြုချက်။ ကျနော်တို့တစ်ခုတည်း form မှာတည်ဆဲ, တဦးတည်းသီးခြားမြစ်အကြောင်းပြောနေတာနေကြသည်ကတည်းကအလှည့်တွင်, တရားသဖြင့်စီရင် "အေးဆေးတည်ငြိမ်တဲ့ရာသီဥတုမှာအံ့သြဖွယ် Dnieper" တစ်ယူနစ်ဖြစ်ပါတယ်။

ရိုးရှင်းပြီးရှုပ်ထွေးစီရငျခကျြ

ဖွဲ့စည်းပုံအပေါ် မူတည်. စီရင်တော်မူခြင်းရိုးရှင်းတဲ့သို့မဟုတ်ရှုပ်ထွေးအမျိုးအစား၏ဖြစ်နိုင်သည်။ - အသိပညာ၏ရင်းမြစ် "«စာအုပ်: ဖွဲ့စည်းပုံရိုးရှင်းသောတရားသဖြင့်စီရင်နှစ်ခုအပြန်အလှန်သဘောတရားများ (SP) တို့ပါဝင်သည်။ တရားစီရင်ပိုင်တဦးတည်းအယူအဆတွေနဲ့လည်းရှိပါတယ် - ဒုတိယသာဓိပ်ပာတဲ့အခါမှာ: "ဒါဟာမှောင်မိုက်» (P) ဆိုတော့ခဲ့သည်။

ရှုပ်ထွေးပုံစံအများအပြားရိုးရှင်းသောတရားစီရင်ခြင်းကိုလာရောက်ပူးပေါင်းကြသဖြင့်ဖွဲ့စည်းသည်။

ရိုးရှင်းသောတရားစီရင်ပိုင်၏ခွဲခြား

ယုတ္တိဗေဒအတွက်ရိုးရှင်းတဲ့စီရငျခကျြကိုအောက်ပါပုံစံဖြစ်နိုင်သည်: attribute ဆက်ဆံရေးနှင့်အတူတရားသဖြင့်စီရင်, ဖြစ်တည်မှု, ပုံစံများ။

အခြို့သောဂုဏ်သတ္တိများ (attribute တွေ) မှာဘာသာရပ်၏ခွင့်ပြုချက် / ငြင်းပယ်သည်လူကိုစေလွှတ် attribute (ပစ္စည်းဥစ္စာပိုင်ဆိုင်မှု-တရားစီရင်ခြင်းကို) လှုပ်ရှားမှုများ။ ထိုတရားစီရငျအမျိုးအစားပုံစံဖြစ်ကြပြီးမေးခွန်းထုတ်မဟုတ် "ဟုအဆိုပါနို့တိုက်သတ္တဝါငယ်တွေဦးနှောက်အာရုံကြောစနစ်ကဦးနှောက်၏ပါဝင်ပါသည် ဦးနှောက်, ကျောရိုး နှင့်အထွက်အာရုံကြောလမ်းကြောင်း။ "

အရာဝတ္ထုအကြားတိကျသောဆက်ဆံရေးလေးစားမှုနှင့်အတူတရားစီရင်ပိုင်ပါ။ သူတို့ကဥပမာအားဖြင့်စသည်တို့ကို, ကြောင်းကျိုးဆက်စပ်တဲ့ spatio-ယာယီအခြေအနေတွင်ရှိစေခြင်းငှါ :. "သစ်နှစ်မျိုးထက်ပိုကောင်းဟောငျးမိတျဆှေ" "ဟိုက်ဒရိုဂျင် 22 ကြိမ်အားဖြင့်ပိုမိုပေါ့ပါးကာဗွန်ဒိုင်အောက်ဆိုက်။ "

ဖြစ်တည်မှုတရားသဖြင့်စီရင် - ဘာသာရပ်၏တည်ရှိမှု / လည်းမရှိခဲ့ချေ (ပစ္စည်းနှင့်စံပြနှစ်ဦးစလုံး) ၏ဤအခိုင်အမာ: "မိမိတိုင်းပြည်တွင်ဘယ်ပရောဖက်မျှမရှိတယ်", "The Moon ကမ္ဘာမြေ၏ဂြိုဟ်တုဖြစ်ပါတယ်။ "

ပုံစံများအဆိုပြု - အချို့သောပုံစံများအော်ပရေတာများ၏ရှေ့မှောက်တွင်ထည့်သွင်းထားတဲ့အတည်ပြုချက်တစ်ပုံစံ, (ကောင်းသော / ဆိုးလိုအပ်တယ်, ကတားမြစ်ထားတဲ့ငါယုံကြည်ပါတယ်နှင့်အခြားသူများသည် / မသိသောလူသိများသက်သေပြခဲ့သည်။ ) ။ ဥပမာ:

• (- ဖြစ်နိုင်ချေတစ်ခုခု၏လိုအပ်ချက် alethic နည်းလမ်း) "ရုရှားကပညာရေးပြုပြင်ပြောင်းလဲရေးလုပ်ဆောင်သွားရန်လိုအပ်ကြောင်း" ။
• (- လူမှုရေးအမူအကျင့်၏ကိုယ်ကျင့်တရားစံချိန်စံညွှန်း deontic နည်းလမ်း) "လူတိုင်းပုဂ္ဂိုလ်တစ်ဦး၏လုံခြုံရေးပိုင်ခွင့်ရှိသည်" ။
• (- ပစ္စည်းနှင့်ကိုယ်ကျင့်တရားတန်ဖိုးများနှင့်ဆက်စပ်သော axiologic နည်းလမ်း) "ပြည်နယ်ပိုင်ဆိုင်မှု၏လျစ်လျူရှုက၎င်း၏အရှုံးမှဦးဆောင်" ။
• (- အသိပညာ၏ယုံကြည်စိတ်ချရ epistemic နည်းလမ်း) "ငါတို့သည်သင်တို့၏အပြစ်ကင်းစင်ယုံကြည်" ။

ရှုပ်ထွေးသောစီရငျခကျြမြားနှငျ့ယုတ္တိချိတ်ဆက်မှုအမျိုးအစား

ပြီးသားဖော်ပြခဲ့တဲ့အတိုင်း, ရှုပ်ထွေးသောတရားစီရင်ပိုင်အနည်းငယ်ရိုးရှင်းသောထားရှိရေး။ : သူတို့ကိုအကြားယုတ္တိဆက်သွယ်မှုကဲ့သို့သောနည်းလမ်းများဖြစ်သကဲ့သို့

• တွဲဖက် (ကʌခ - စီရငျခကျြကိုဆက်သွယ်ထားသော) ။ တရားစီရင်ပိုင်-Conjunction "နှင့်" ၏တစည်း "လူနှင့်နိုင်ငံသားများ၏အခွင့်အရေးနှင့်လွတ်လပ်ခွင့်များကိုအကောင်အထည်ဖော်ရေးတခြားသူတွေရဲ့အခွင့်အရေးနဲ့လွတ်လပ်ခွင့်ချိုးဖောက်မရကြလိမ့်မည်။ " ရှိတယ်
• Disjunction (avb - တရားစီရင်ပိုင်ခွဲဝေ) ။ တွဲဖက် "သို့မဟုတ်" - တရားဝါကျ၏မဲဆန္ဒနယ်ဒြပ်စင်အဖြစ်စာအုပ်ချုပ်သမားအဖြစ်အသုံးပြုကြသည်။ ဥပမာ: "ဒီတရားလိုအရေးဆိုမှု၏အရွယ်အစားကိုတိုးမြှင့်သို့မဟုတ်လျှော့ရန်ပိုင်ခွင့်ရှိသည်။ "
• အကျိုးဆက်မှာမိမိတို့ (က→ခ - တရားအကျိုးသက်ရောက်မှု) ။ ပို့စ်ဖွဲ့စည်းပုံရှုပ်ထွေးတရားသဖြင့်စီရင်ခြင်းနှင့်အကျိုးဆက်ခွဲဝေသည်ဆိုပါကထိုကဲ့သို့သောတရားသဖြင့်စီရင် implicative ဆက်စပ်ကြောင်းစောဒကတက်နိုင်ပါတယ်။ ထိုကဲ့သို့သော "ထို့နောက် ... ပါလျှင်" အဖြစ်အသင်းအဖွဲ့များ၏ပုံစံအတွက်အသုံးပြုတဲ့စာအုပ်ချုပ်သမားအဖြစ်။ ဥပမာ: "လျှပ်စစ်လက်ရှိလက်လွတ်ဖို့စပယ်ယာမှတစ်ဆင့်လျှင်, ဝါယာကြိုးတက်တွင်စတင်", "သငျသညျမင်ျဂလာဖွစျခငျြပါနဲ့ - ပျော်ရွှင်ဖြစ်" ။
• ညီမျှ (က≡ခ - တူညီတရားသဖြင့်စီရင်) ။ ဒါဟာ a နဲ့ b ၏တန်ဖိုးများ (မှန်သို့မဟုတ်နှစ်ဦးစလုံးမမှန်သောဖြစ်စေနှစ်ဦးစလုံး) ကိုအတူတူပင်ဖြစ်ကြောင်းရှိရာအမှု၌ရာအရပ်ကိုကြာ: "။ က Man ပျံသန်းဖို့ငှက်ကဲ့သို့, ပျော်ရွှင်မှုကိုများအတွက်နေသူများကဖန်တီး"
• Negation (¬a, a - တရားပြောင်းပြန်လှန်) ။ တစ်ခုချင်းစီအရင်းအမြစ်မူရင်းငြင်းပယ်သောကြေညာချက်ဝင်းကြေညာချက်နှင့်ဆက်စပ်နေသည်။ စည်း "မ" ကိုအသုံးပြုခြင်းအားဖြင့်ဖြစ်ပါတယ်။ မူရင်းကြေညာချက်ကိုအောက်ပါအတိုင်းပါလျှင်အ: "ဒီနွားကိုအနီရောင်အလင်းဓာတ်ပြုပြီး," (က) - ငြင်းပယ်ကဲ့သို့မြည်လိမ့်မယ်: (¬A) "အဆိုပါနွားထီးအနီရောင်အလင်းတုံ့ပြန်ပါဘူး" ။