تعریف گائیڈ

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

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

آخری بار اپ ڈیٹ کیا گیا: 2026-07-02

TL;DR

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

حجت کی نظریہ کیا مطالعہ کرتی ہے

رسمی منطق یہ پوچھتی ہے کہ کیا ایک نتیجہ اپنے مقدمات سے نکلتا ہے۔ حجت کی نظریہ ایک وسیع تر، گندے سوال پوچھتی ہے: حقیقی لوگ، جو ناکامل معلومات اور مقابلہ کرنے والے مفادات کے ساتھ، ایک قابل دفاع نتیجے کی طرف ایک ساتھ استدلال کرتے ہیں؟ یہ حجت کو ایک ساکھ ثابتہ کے طور پر نہیں، بلکہ ایک تبادلے میں ایک حرکت کے طور پر سمجھتی ہے — کچھ ایسا جو حمایت کیا جا سکتا ہے، سوال کیا جا سکتا ہے، حملہ کیا جا سکتا ہے، اور دفاع کیا جا سکتا ہے۔

•دلائل اور استدلال کی مدد سے دعوے کی حمایت کیسے کی جاتی ہے
•دلائل ایک دوسرے پر حملہ،反駁، اور تباہ کن کیسے ہوتے ہیں
•ایک مضبوط دلیل کو ایک کمزور یا غلط دلیل سے کیسے پہچانا جائے
•اس کے ذریعے کہ структуڈ ڈائلاگ کے ذریعے مخالفت کو کیسے حل کیا جا سکتا ہے

سوفسٹس سے لے کر مصنوعی ذہانت تک: ایک مختصر تاریخ

حجت کی نظریہ مطالعہ کے سب سے پرانے شعبہ جات میں سے ایک ہے۔ کچھ اہم موڑ:

5th c. BCE

سوفسطائی

پرانے یونان میں ریٹورک کے پہلے اساتذہ نے قائل کرنے کو ایک سیکھنے والی مہارت کے طور پر سمجھا — سب سے پہلے بنیاد رکھی، یہاں تک کہ افلاطون نے ان پر حق کے بجائے جیت کو ترجیح دینے کے لئے تنقید کی۔

4th c. BCE

افلاطون اور ارسطو

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

1st c. BCE-CE

سائررو اور کوئنٹیلین

رومن ریٹوریشنز نے دلیل کی فن کو منظم کیا اور اس کے اخلاقی پہلو پر زور دیا — قائل کرنا بھلائی کی خدمت میں، صرف مؤثر نہیں۔

12th-13th c.

ابیلارڈ اور ایکویناس

قرون وسطی کے اسکولاسٹوں نے ارسطو کی منطق کو مباحثے کے ذریعے تیار کیا —正式 'ہاں اور نہیں' کا طریقہ جو پرو اور کنٹراسٹرکچر کا براہ راست پیشرو ہے۔

1958

ٹولمن اور پریلمین

عصر حاضر کا احیاء۔ سٹیفن ٹولمن کے دی یوزز آف ارگومنٹ نے ایک حقیقی دلیل کے حصوں کو نقشہ بنایا، اور چائم پریلمین کے دی نیو ریٹورک نے شعبے کو رسمی ثبوت سے لوگوں کی实际 قائل کرنے کی طرف موڑ دیا۔

1995

ڈنگ اور کمپیوٹیشن

پھان من ڈنگ کے抽象 دلیل کی فریم ورکس نے شعبے کو ایک رسمی، کمپیوٹیشنل کور دیا — وہ نظریہ جو اے آئی سسٹم کو دلیل پر حملہ کرنے والی دلیل کو سمجھنے کی اجازت دیتا ہے۔

حجت کی نظریہ کے شعبے

یہ شعبہ حقیقی طور پر بین الشعبہ ہے — فلسفہ، لسانیات، نفسیات، قانون، اور کمپیوٹر سائنس سب حصہ ڈالتے ہیں۔ اس کے اہم شعبے:

ریٹورک

قائل کرنے کا فن۔ ارسطو کے تین اپیل — ایتھوس (وزن)، پیتھوس (情)، اور لوگوس (منطق) — حقیقی دلائل کو سمجھنے کے لئے کام کرنے والی لغت کے طور پر باقی ہیں۔

رسمی منطق

یہ دیکھنا کہ آیا نتیجہ اپنے مقدمات سے درست طور پر پیروی کرتا ہے: سلوگزم،.propositional اور predicate منطق۔ سچائی کو برقرار رکھنے والا ڈھانچہ، مواد سے آزاد۔

غیر رسمی منطق اور تنقیدی سوچ

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

ڈائلیکٹک

ڈائلاگ اور مخالف نظروں کے ذریعے استدلال، سوکراتک طریقے سے لے کر جدید پراگما-ڈائلیکٹکس تک۔ سچائی (یا بہترین جواب) ساخت شدہ مخالفت سے نکلتا ہے۔

کمپیوٹیشنل دلیل

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

اہم فریم ورکس

کچھ ماڈلز حجتیوں کی ساخت اور ان کے جائزے کو رسمی بناتے ہیں۔ وہ جو جاننے یوگ ہیں:

ٹولمن ماڈل

سٹیفن ٹولمن، 1958

ایک دلیل کو چھ حصوں میں توڑتا ہے — دعوی، ڈیٹا، وارنٹ، بیکنگ، کوالیفائر، اور反駁۔ ایک دلیل کی معیاری اناٹومی۔

پراگما-ڈائلیکٹکس

ون ایمرن اور گروٹینڈورسٹ

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

روجرین اپروچ

کارل روجرز کے بعد

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

والٹن کے دلیل کے اسکیمز

ڈگلس والٹن

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

فری مین ماڈل

جیمز فری مین، 1991

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

مجرمانہ اور قیمت پر مبنی دلیل

ڈنگ، 1995؛ بینچ-کاپون، 2003

دلائل کو نودس کے طور پر جو 'حملہ' تعلقات رکھتے ہیں؛ رسمی سمانتیکس قابل قبول سیٹس کا فیصلہ کرتے ہیں۔ قیمت پر مبنی فریم ورکس ترجیحات شامل کرتے ہیں، ماڈلنگ کرتے ہیں کہ کيون.reasonable لوگ کیوں متفق نہیں ہوتے۔ اے آئی دلیل کی正式.Core

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

جہاں حجتیں ظاہر ہوتی ہیں: حجتی جینری

نظریہ استدلال بھی ان صنفوں کی درجہ بندی کرتا ہے جس میں دلائل ظاہر ہوتے ہیں — یہ ایک مفید نقشہ ہے جہاں منظم استدلال رہتا ہے۔ دو محوریں (لکھا ہوا بمقابلہ بولا ہوا، مونو لوگ بمقابلہ مکالمہ) چار خاندانوں کو دیتی ہیں، پلس ایک بڑھتی ہوئی ڈیجیٹل پانچویں:

لکھی ہوئی مونولوگ

قائل کرنے والے مضامین، ایڈیٹوریل اور رائے کے مضامین، دلیل والے بلاگ پوسٹ، سائنسی مضامین، قانونی بریف۔

لکھی ہوئی ڈائلاگ

کمنٹ تھریڈ، فورم مباحثے، ای میل مباحثے، آن لائن دلائل۔

بولے ہوئے مونولوگ

سیاسی تقاریر، عدالتی التجا، قائل کرنے والی پیشکش۔

بولے ہوئے ڈائلاگ

رسمی مباحثے، پینل مباحثے، بات چیت، ٹیم کی میٹنگز۔

ڈیجیٹل اور ملٹی میڈیا

پوڈکاسٹ، ویبینار، سوشل میڈیا تھریڈز، ویڈیو تبصرے، دستاویزی فلمیں۔

جہاں بھی حجتیں کی جاتی ہیں، اسی بنیادی ساخت — دعووں، حمائت، اور اعتراض — کو نکالا جا سکتا ہے اور نقشہ بنایا جا سکتا ہے۔

حجت کی نظریہ کو آرگومنٹری کیسے استعمال کرتی ہے

آرگومنٹری صدیوں کی نظریہ کو ایک کام کرنے والے ٹول میں بدل دیتی ہے۔ اس کا پرو/کنٹرا حجت کا درخت اوپر کے فریم ورکس کا ایک عملی ترکیب ہے، جو حجت کی نقشہ سازی پر مبنی ہے:

دعوے، حمائت، اور حملہ

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

کون سا پہلو برقرار رہتا ہے

شرکاء دلائل کی درجہ بندی کرتے ہیں؛ درجہ بندی درخت پر اوپر جمع ہوتی ہے۔net-حمائت اسکور — ڈنگ کا سوال 'کون سے دلائل حملہ کے بعد بچتے ہیں' کا جواب گروپ کے ذریعے دیا جاتا ہے، نہ کہ منطق دان کے ذریعے۔

استدلال کی جانچ

دلائل کو واضح طور پر سامنے لانا کمزور لنکس، چھپے ہوئے مفروضے، اور غلطیوں کو ظاہر کرتا ہے — غیر رسمی منطق اور دلیل کے اسکیم کی روایت، فارمیٹ میں بنائی گئی۔

ٹیکسٹ سے ڈھانچے تک

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

حجت کی نظریہ حجت کی نقشہ سازی، منظم فیصلہ سازی، اور تعاون فیصلہ سازی کی بنیاد ہے۔ یہ نظریہ ہے؛ اچھی طرح سے فیصلہ کرنا عمل ہے۔

اکثر پوچھے جانے والے سوالات

دلائل کی نظریہ کیا ہے؟

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

دلائل کی نظریہ کا بانی کون ہے؟

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

دلائل کی نظریہ کی بنیادی شاخیں کیا ہیں؟

چار کلاسیکی شاخیں плюس ایک جدید: ریٹورک (قائل کرنے کا فن، ایتھوس، پیتھوس، اور لوگوس کے ذریعے); رسمی منطق (یہ دیکھنا کہ آیا استنتاج مقدمات سے درست طور پر پیروی کرتا ہے); غیر رسمی منطق اور تنقیدی سوچ (حقیقی دنیا کی دلائل کی تشخیص اور غلطیوں کی شناخت); ڈائلیکٹک (ڈائلاگ اور مخالف نظروں کے ذریعے استدلال); اور کمپیوٹیشنل دلیل (رسمی فریم ورکس اور دلیل کی کھدائی جو مشینوں کو دلائل کی نمائندگی اور تشخیص کرنے کی اجازت دیتے ہیں)۔

ریٹورک، منطق، اور ڈائلیکٹک کے درمیان کیا فرق ہے؟

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

دلائل کی نظریہ دلیل کی نقشہ سازی سے کیسے متعلق ہے؟

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

دلائل کی نظریہ اے آئی میں کیسے استعمال ہوتی ہے؟

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

حوالہ جات اور آگے پڑھیں

ارسطو (c. 350 BCE). ریٹورک; اور آرگون (پریور انالیٹکس).

بنیادی کام: تین اپیل (ایتھوس، پیتھوس، لوگوس) اور سلوگسٹک منطق۔

ٹولمن، ایس ای (1958). دی یوزز آف ارگومنٹ. کیمبرج یونیورسٹی پریس.

دعوی-ڈیٹا-وارنٹ-بیکنگ-کوالیفائر-反駁 ماڈل; شعبے کی عصر حاضر کی بحالی.

View source →

پریلمین، سی، اور اولبریکٹس-ٹائٹکا، ایل (1958). دی نیو ریٹورک: اے ٹریٹائز آن ارگومنٹیشن. یونیورسٹی آف نوٹر ڈیم پریس.

دلائل کی نظریہ کو رسمی ثبوت سے حقیقی دنیا کی قائل کرنے کی طرف موڑ دیا۔

ون ایمرن، ایف ایچ، اور گروٹینڈورسٹ، آر (2004). اے سسٹمیک تھیوری آف ارگومنٹیشن: دی پراگما-ڈائلیکٹیکل اپروچ. کیمبرج یونیورسٹی پریس.

دلائل کی بحث کو قاعدہ پر مبنی تنقیدی بحث کے طور پر؛ غلطیوں کو قاعدہ کی خلاف ورزی کے طور پر۔

والٹن، ڈی، ریڈ، سی، اور میکاگنو، ایف (2008). ارگومنٹیشن اسکیمز. کیمبرج یونیورسٹی پریس.

تقریبا 60 ارگومنٹیشن اسکیمز، ہر ایک کے ساتھ تنقیدی سوالات جو اسے جانچتے ہیں کہ کیا یہ برقرار رہتا ہے۔

View source →

فری مین، جے بی (1991). ڈائلیکٹکس اور دی میکروسٹرکچر آف ارگومنٹس: اے تھیوری آف ارگومنٹ اسٹرکچر. فورس / ڈی گروئٹر.

فری مین ماڈل - حمائت، مخالفت، اور تباہ کن ایک حمایتی-مخالف تبادلے میں۔

View source →

ڈنگ، پی ایم (1995). آن دی ایکسیپٹیبلٹی آف ارگومنٹس اینڈ اس فاندامینٹل رول ان نانمونوٹونک ریذوننگ، لوگک پروگرامنگ اینڈ n-پرسن گیمز. آرٹیفیشل انٹیلی جنس، 77(2), 321-357.

ابستракت دلیل کی فریم ورکس کا بنیادی کام۔

View source →

بینچ-کاپون، ٹی جے ایم (2003). پرسوایژن ان پرکٹیکل ارگومنٹ یوزنگ ویلیو-بیسڈ ارگومنٹیشن فریم ورکس. جرنل آف لوگک اینڈ کمپیوٹیشن، 13(3), 429-448.

ابستракت دلیل میں قیمت اور ترجیحات شامل کرتا ہے۔

View source →

پیلڈزس، اے، اور سٹیڈ، ایم (2013). فرام ارگومنٹ ڈائگرامز ٹو ارگومنٹیشن مائننگ ان ٹیکسٹس: اے سروے. انٹرنیشنل جرنل آف کوگنیٹیو انفارمیشن اینڈ نیچرل انٹیلی جنس، 7(1), 1-31.

کسی طرح ارگومنٹ ڈائگرام تھیوری خودکار دلیل کی کھدائی میں تبدیل ہو گئی۔

View source →

ینگ، آر ای، بیکر، اے ایل، اور پائیک، کے ایل (1970). ریٹورک: ڈسکوری اینڈ چیج. ہارکورٹ، بریس اینڈ ورلڈ.

روجرین دلیل متعارف کرائی - ہمدردی کے ذریعے قائل کرنا، محض لڑائی نہیں، نفسیات دان کارل روجرز کے بعد۔

نظریہ سے ایک قابل دفاع فیصلے تک

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

مفت شروع کریں