منطق ۾ فيصلا. هن حڪم، فيصلا جي قسمن ڇا آهي

هن حڪم هڪ آهي سوچ جي صورت، چوڻ يا اعتراض جي وجود جي باري ۾ ڪا به انڪار، کين ۽ سندن مال جي وچ ۾ جوڙي، گڏو گڏ اعتراض جي وچ ۾ لاڳاپا.

بيان جي مثال: "وولگا جي ڪئسپين سمنڊ ۾ ڇوڙ ڪري،" "طور Pushkin هڪ نظم "برانز Horseman" لکيو، "Siberian شعر ۾ ڳاڙهو ڪتاب درج آهي،" وغيره.

هن حڪم جي جوڙجڪ

هن موضوع، predicate، ۽ ligament quantifier: قيامت جي هيٺيان عنصر شامل آهن.

1. لوڪ (عزي subjektum -. «ھيٺيون») - ته، جيئن حڪم ۾ چيو، ان موضوع ( «ص»).
2. هن predicate (لاطيني praedicatum -. «چيو") - جي شئي ڳولهي جي هڪ سوچ، ڇا جي حڪم جي موضوع تي چيو ويندو آهي ( "ص").
3. ٻھار - موضوع جي وچ ۾ نظر ( «ص») ۽ predicate ( "ص"). هڪ ملڪيت هڪ predicate جيئن جو اظهار جي موضوع جي موجودگي / غير موجودگيء Determines. ٿي سگهي ٿو ته ان کي مڃڻ، ۽ هڪ "اڇليندا ويندا" يا لفظ "هڪ" ( "نه آهي")، "ڪري ڇڏيو آهي"، "آهي"، "مال"، ۽ ٻين طرف اشارو آهي.
4. Quantifier (quantifier لفظ) جي حڪم جي تابع جنهن کي، جي تصور جي دائري defines. اهو موضوع جي سامهون بيٺو آهي، پر ان کي به حڪم ۾ حاضر ٿي سگهي ٿو. جيئن ته "سڀ"، "ڪيترن ئي"، "ڪي"، "في الحال"، "في الحال" جيئن لفظ، ۽ ٻين جي Denoted.

سچ ۽ ڪوڙا بيان

قيامت، سچ جي صورت جتي خاصيتون، مال ۽ اعتراض جي رشتي جي موجودگي جي منظوري ڏني وڃي / فيصلي ۾ ڪوڙ ڄاتو ۾ سچو آھي. مثال طور: "سنڌ جي سڀ swallows - پکي"، "9 کان وڌيڪ 2" ۽ پوء تي ..

هن بيان جي حڪم ۾ موجود آهي جيڪڏهن سچي نه آهي، اسان کي هڪ ڪوڙي proposition 'سج ڌرتيء جي چوڌاري revolves مسلمه آهن، "" ڪپهه جي هڪ اوپن مارڪيٽ جي ڀيٽ ۾ لوهه مٿانهون جي هڪ ڪلوڪئلري "۽ ٻيا حق حڪم صحيح استدلال جي بنياد آهي ..

بهرحال، ٻن-قدري منطق، جنهن جي حڪم ۾ يا صحيح يا غلط ٿي سگهي ٿو ڪري ان کان سواء، اتي به هڪ گھڻ-dimensional منطق آهي. ان جي شرطن مطابق، جو حڪم اڃا تائين غير يقيني ٿي سگهي ٿو. خاص طور تي ان فرد فيصلا جو مستقبل ڏک، "سڀاڻي هاڻي / هڪ بحري جنگ ايڏو نه ڪندو آھي" (ارسطو، "جو تفسير"). جيڪڏهن اسان جو فرض آهي ته هن هڪ سچ proposition آهي، سمنڊ جي جنگ سڀاڻي ايڏو نه ٿا ڪري سگهو. تنهن ڪري، ان کي اهو ايڏو وڏو ڪرڻ ضروري آهي. يا لکندا: ڪوٺيو ويندو آهي ته موجوده پل ۾ حڪم ڪوڙي آهي، اسان کي اھڙي طرح سڀاڻي جي جي ضروري impossibility ڪندا سمنڊ جي جنگ.

بيان جي قسم تي فيصلا

طور سڃاتو وڃي ٿو، بيان جي قسم جي ٽن قسمن آهن declarative،: سزائون وڳوڙ ۽ پڇا. مثال طور، "مون کي هڪ عجيب پل ياد" جي سزا داستان جي قسم کي وهم. اهو مشورو آهي ته اهڙي فيصلي کي به بيان ڪري ڇڏي advisable آهي. اهو هڪ مخصوص واقعي موجب مخصوص معلومات تي مشتمل آهي.

موڙ ۾، جي interrogative سزا هڪ سوال تي مشتمل آهي، جو جواب حاصل ڪري: "ڇا مون کي مستقبل ۾ ڏسجي ٿي ايندي آهي،" هڪ ئي وقت ۾ ان کي هيئن چوي ٿو ۽ انڪار نه ڪندو آھي. مطابق، هن دعوي ڪئي ته اهڙي حڪم incorrectly هڪ سوال آهي. Interrogative سزا، اصول ۾، ڪنهن به حڪم تي مشتمل نه ڪندو ڇاڪاڻ ته ان سوال جو سچ / falsity جي بنياد تي differentiated نه ٿو ڪري سگهجي.

سزا جي ترغيب قسم جي صورت ڄڻ ته عمل ڪرڻ لاء ڪي ترغيب نه آهي ۾ ٺهيل آهي، هڪ پابندي عرض ڪيو: ". کڙو ٿي، اي پيغمبر ۽ جي vid، ۽ ڪرڻ ۾ شرڪت" هن حڪم جي حوالي سان، ڪي تحقيق جي خيال ۾، انهن کي هن قسم جي تجويزون ۾ موجود نه آهن. ٻين کي يقين آهي ته ان modal فيصلا جو هڪ قسم آهي.

معيار جو حڪم

معيار جي لحاظ سان، حڪم يا (ص منصوبابندي آهي) affirmative، ۽ منفي ٿي سگهي ٿو (ص منصوبابندي نه آهي). جي affirmative حڪم جي صورت ۾، لوڪ predicate ذريعي هڪ خاص ملڪيت (-wa) کي بچاء. مثال طور: "Leonardo دا ونسي - اطالوي رنگريز، دان، sculptor، سائنسدان، naturalist ۽ موجد ۽ اديب، پريتم جي فن جي وڏي ۾ وڏي نمائنده."

جي منفي حڪم ۾، ٻئي هٿ تي، سنڌ جي ملڪيت جي موضوع کان پري رکيو آهي: "جيمس Vicary جي 25th طئه جي نظريي جو ڪو به تجرباتي تصديق ڪئي آهي."

مقداري characterization

منطق ۾ فيصلا عام ٿي سگهي ٿي، نجي (انھن مان ڪي) ۽ يونٽ (هن طبقي جي سڀني اعتراض ڪرڻ لاء ڌرڻا) (جنھن مھل ان موضوع جي باري ۾ ڳالهائيندي، نه آهي صرف هڪ). مثال طور، ان کي دليل ٿي سگهي ٿو ته اهڙي proposition طور "رات جو سڀ cats ڀورو آهي"، جي عام طور ظاهر ڪرڻ جي حوالي ڪندو ته ان جي ٻلي (جي حڪم جي تابع) جي سمورن ميمبرن کي متاثر ڇو. نجي حڪم جي هڪ مثال طور - جي "ڪجهه ٿي سگهي ٿو زهريلو نه آهن" جي منظوري. موڙ ۾، سنڌ جي حڪم "شانت جي موسم ۾ عجب نيپرا"، هڪ يونٽ آهي تنهنڪري اسان کي، هڪ خاص سنڌوء جي باري ۾ ڳالهائڻ آهن ھڪ صورت ۾ موجود.

سادي ۽ پيچيده فيصلا

جي اڏاوت تي مدار رکندي، حڪم سادي يا پيچيده جي هڪ قسم جي ٿي سگهي ٿي. - علم جو هڪ ذريعو "« ڪتاب: اڏاوت سادي حڪم ٻه interconnected نظريا (ايس پي) شامل آهن. نه به هڪ تصور سان فيصلا آهن - جڏهن ته ٻيو صرف مطلب: "اهو سڪو» (منصوبابندي) ملڻ ويو.

پيچيدو فارم ڪيترن ئي سادي حڪم ۾ شامل جي ٺهيل آهي.

سادي فيصلا جي درجيبندي

منطق ۾ سادي فيصلا هيٺ ڏنل فارم جي ٿي سگهي ٿي:، attributive رشتي سان حڪم، existential، modal.

وصف (ملڪيت-حڪم) ڪجهه مال (صفتون) تي لوڪ جي منظوري / ناراضپو لاء موڪليو سرگرمين. اهي فيصلا categorical روپ آهن ۽ پڇا نه، "جي mammalian نروس سسٽم جي دماغ کي سڃاڻي دماغ جي، ريڙهه جي هڏي ۽ بختاور نس رستا."

اعتراض جي وچ ۾ خاص لاڳاپن جي عزت ۽ احترام سان فيصلا ۾. اهي هڪ spatio-دنياوي سلسلي causal، وغيره. مثال طور "پراڻي دوست ٻن نئين کان ڀلو"، آهي ٿي سگھي ٿو، :. "هائيڊروجن 22 دور جي lighter ڪاربان ڊاء آڪسائيڊ."

Existential حڪم - موضوع جي وجود / nonexistence (ٻئي مواد ۽ مثالي) جي هيء دعوا: "نه پنهنجي ملڪ ۾ ڪو به نبي آهي"، "سنڌ جو چنڊ ڌرتيء جو هڪ سيٽلائيٽ آهي."

Modal proposition - منظوري جو هڪ روپ آهي، جنهن کي ڪجهه modal ڇوڪريء جي حضور ۾ شامل (جي ضرورت سٺو / خراب، معلوم ثابت / نامعلوم، ان کي حرام، مون کي مڃيندا آھن، ۽ ٻين آهي.). مثال طور:

• (- امڪان، شيء جي ضرورت alethic modality) "روس جي تعليم جي اصلاح جو انتظام ڪرڻ جي ضرورت آهي".
• (- سماجي رويي جي اخلاقي ريتن رسمن deontic modality) "هر شخص جي سيڪيورٽي ڪرڻ جو حق اٿس".
• (- جي مادي ۽ اخلاقي قدر سان لاڳاپيل axiologic modality) "رياست جي ملڪيت جي بي ڌيانيء جو ان جي نقصان کي ٿي ويا آهن".
• (- علم جي reliability epistemic modality) "اسان کي پنهنجي معصوميت ۾ ايمان".

ڪمپليڪس فيصلا ۽ منطقي connectives جي قسمن

اڳ ۾ ئي ذڪر ڪري، ان جي پيچيده فيصلا چند سادو تي مشتمل آهي. : جيئن سندن وچ ۾ منطقي ڪنيڪشن جيئن طريقا آهن

• عطف (هڪ ʌ ب - فيصلا ملائڻ). فيصلا-conjuncts "۽"، جو هڪ bunch "جي حقن ۽ انسان ۽ شهري جي آزادي جو عمل ڪرائڻ جي حقن ۽ ٻين جي آزادي جي خلاف ورزي نه ملندو." آهي
• Disjunction (avb - فيصلا ورهائي ٿو). عطف "يا" - جو حڪم-شقن جي جوڙيل عنصرن جي طور تي هڪ binder طور استعمال ڪري رهيا آهن. مثال طور: "مدعي وڌي يا دعوي جي ماپ ضايع ڪرڻ جو حق آهي."
• هن implication (هڪ → ب - حڪم-اثر). پوسٽنگ جي جوڙجڪ پيچيدو حڪم ۾ ۽ انڪري ڪئي آهي ته، ان کي دليل ٿي سگهي ٿو ته اهڙي حڪم implicative بابت آهي. جيئن ته "جيڪڏهن ... پوء" جيئن ميلاپن جي صورت ۾ استعمال جي binder جيئن. مثال طور: "سنڌ جي بجلي موجوده ياد ڪرڻ جي موصل جي ذريعي ته، تار مٿي heats،" "تون خوش ٿي چاھيو ٿا - خوش ٿي".
• Equivalence (هڪ ≡ ب - هڪجهڙائي حڪم). اهو ڪيس جتي هڪ ۽ ب جي انهيء (يا ٻئي سچو يا ٻئي ڪوڙي) جي هڪ ئي آهن ۾ جاء وٺندي: ". انسان اڏامي هڪ پکيء وانگر خوشيء لاء پيدا ڪيو آهي"
• نفي (¬a، هڪ - حڪم-inversion). هر ذريعو جي بيان مرڪب جو بيان آهي ته اصل ڪوڙ سان لاڳاپيل آهي. bunch استعمال ڪري "نه" جو قسم آھي. مطابق، جيڪڏهن اصل بيان ڏنل: "سنڌ جي بيل سرخ روشني کي ملندو آهي،" (ڪا) - ڪوڙي وانگر آواز ها: (¬A) "سنڌ جي بيل سرخ روشني جو جواب نه ٿو".