حجت کی نظریہ کیا ہے؟

ایک واحد دلیل کو چھ حصوں میں تقسیم کرتا ہے — دعویٰ، ڈیٹا، وارنٹ، بیکنگ، کوالیفائر، اور جواب۔ ایک دلیل کی معیاری ساخت۔

دلیل کو ایک قاعدہ کے تحت تنقیدی بحث کے طور پر دیکھتا ہے جو چار مراحل سے گزرتی ہے — تصادم، افتتاح، دلیل، اور نتیجہ — جو رائے کے اختلاف کو حل کرنے کے مقصد سے ہے، نامزد غلطیاں قواعد کی خلاف ورزی کے طور پر۔

ایک قائل کرنے کی حکمت عملی جو لڑائی کے بجائے ہمدردی پر مبنی ہے: پہلے مخالف نقطہ نظر کو منصفانہ طور پر بیان کریں، حقیقی مشترکہ زمین تلاش کریں، اور ایک ایسی پوزیشن کی طرف بڑھیں جسے دونوں طرف قبول کر سکیں۔ جیت-ہار بحث کا متضاد۔

روزمرہ کے استدلال کے تقریباً 60 بار بار آنے والے نمونے (ماہر رائے، سبب سے اثر، تشبیہ…) ہر ایک کے ساتھ اہم سوالات جو یہ جانچتے ہیں کہ آیا یہ درست ہے۔

دلیل کو ایک حامی-مخالف تبادلے کے طور پر دوبارہ پیش کرتا ہے، جس میں تجاویز کو حمایت، جواب، اور کمزور کرنے کے ذریعے جوڑا جاتا ہے — پیچیدہ، حقیقی دنیا کے استدلال میں مضبوط۔

دلائل کو 'حملہ' تعلقات کے ساتھ نوڈز کے طور پر دیکھتا ہے؛ رسمی معنی یہ طے کرتے ہیں کہ کون سے سیٹ قابل قبول ہیں۔ قدر پر مبنی فریم ورک ترجیحات کو شامل کرتے ہیں، یہ ماڈلنگ کرتے ہیں کہ معقول لوگ کیوں اختلاف کرتے ہیں۔ AI دلیل کا رسمی مرکز۔

دلیل کی تھیوری کیا ہے؟

دلیل کی تھیوری یہ ہے کہ دلائل کس طرح بنائے جاتے ہیں، تبادلہ کیا جاتا ہے، جانچے جاتے ہیں، اور حل کیے جاتے ہیں۔ خالص رسمی منطق کے برعکس، جو صرف یہ پوچھتی ہے کہ آیا نتیجہ اپنے مقدمات سے نکلتا ہے، دلیل کی تھیوری اس استدلال کا مطالعہ کرتی ہے جو لوگوں کے درمیان واقعی ہوتا ہے — دعوے کس طرح حمایت، حملہ، اور دفاع کیے جاتے ہیں۔ یہ فلسفہ، لسانیات، نفسیات، قانون، اور کمپیوٹر سائنس پر مبنی ہے۔

دلیل کی تھیوری کا بانی کون ہے؟

اس کا کوئی واحد بانی نہیں ہے۔ اس کی جڑیں قدیم یونان میں ہیں — سوفیست جو خطابت کے پہلے اساتذہ ہیں، افلاطون کی منطق، اور سب سے بڑھ کر ارسطو، جن کی خطابت (اخلاقی، جذباتی، منطقی) اور قیاسی منطق بنیادی ہیں۔ سائسر، کوئینٹیلیان، اور قرون وسطی کے علمائے کرام نے اسے مزید ترقی دی۔ جدید میدان کو 1958 میں اسٹیفن ٹولمین اور چائم پیریلمن نے دوبارہ زندہ کیا، اور 1995 میں فان منہ ڈنگ نے اسے حسابی شکل دی۔

دلیل کی تھیوری کی اہم شاخیں کیا ہیں؟

چار کلاسیکی شاخیں اور ایک جدید: خطابت (قائل کرنے کا فن، اخلاقی، جذباتی، اور منطقی کے ذریعے)؛ رسمی منطق (کیا استدلال درست ہیں)؛ غیر رسمی منطق اور تنقیدی سوچ (حقیقی روزمرہ کے دلائل کا اندازہ لگانا اور غلطیوں کی شناخت کرنا)؛ منطق (مکالمے اور متضاد نظریات کے ذریعے استدلال کرنا)؛ اور حسابی دلیل (رسمی فریم ورک اور دلیل کی کان کنی جو مشینوں کو دلائل کی نمائندگی اور جانچنے کی اجازت دیتی ہے)۔

خطابت، منطق، اور منطق میں کیا فرق ہے؟

خطابت سامعین کو قائل کرنے کے بارے میں ہے؛ منطق استدلال کی درستگی کے بارے میں ہے چاہے سامعین کی پرواہ نہ ہو؛ منطق سچائی یا بہترین جواب تک پہنچنے کے بارے میں ہے جو متضاد نظریات کے درمیان منظم مکالمے کے ذریعے ہو۔ ارسطو نے ان تینوں کو الگ الگ فنون کے طور پر دیکھا، اور دلیل کی تھیوری یہ مطالعہ کرتی ہے کہ وہ حقیقی استدلال میں کس طرح ایک ساتھ کام کرتے ہیں۔

دلیل کی تھیوری کا دلیل کے نقشے سے کیا تعلق ہے؟

دلیل کا نقشہ بنانا دلیل کی تھیوری کا بصری، عملی اطلاق ہے۔ یہ تھیوری ماڈلز فراہم کرتی ہے — ٹولمین کے دلائل کے اجزاء، فری مین کے حمایت اور حملے کے تعلقات، ڈنگ کا یہ بیان کہ کون سی دلائل بچتی ہیں۔ دلیل کا نقشہ ان ماڈلز کو ایک خاکہ میں تبدیل کرتا ہے، اور ٹولز جیسے آرگومنٹری اس خاکے کو ایک کام کرنے والے پرو/کن درخت میں درجہ بندی اور AI نکالنے کے ساتھ تبدیل کرتے ہیں۔

دلیل کی تھیوری AI میں کیسے استعمال ہوتی ہے؟

فان منہ ڈنگ کے 1995 کے تجریدی دلیل کے فریم ورک نے AI کو دلائل کو نوڈز کے طور پر 'حملہ' تعلقات کے ساتھ پیش کرنے اور یہ حساب کرنے کا ایک رسمی طریقہ دیا کہ کون سے دلائل کو عقلی طور پر قبول کیا جا سکتا ہے۔ دلیل کی کان کنی کے ساتھ مل کر — متن سے دعوے اور تعلقات نکالنا — یہ AI نظاموں کو فیصلہ سازی، قانونی استدلال، اور مذاکرات کی حمایت کرنے کی اجازت دیتا ہے، اور ان ٹولز کی بنیاد فراہم کرتا ہے جو دستاویزات اور نقلوں کو منظم دلائل میں تبدیل کرتے ہیں۔