قیاسِ خلف — مرکب استدلال، محال کا لزوم اور اثباتِ مدعا

1. تمثیل کے بعد قیاسِ خلف

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

مثلاً یہ دعویٰ ہے کہ ایک مقرر نسبت صحیح ہے۔ اس کے برعکس بات کو مان کر اگر ایسی چیز لازم آئے جو مسلم اصول کے خلاف ہو، تو اس برعکس بات کو رد کیا جا سکتا ہے۔ اس رد سے اصل دعویٰ کی تصدیق ہوتی ہے۔

اس کا اصل مدار نقیضِ مدعا سے محال تک صحیح استلزام پر ہے، نہ کہ محض مشکل یا ناپسندیدہ نتیجہ دکھانے پر۔

2. قیاسِ خلف کا کتابی تعارف

ومن الأقيسة المركبة قياس يسمى قياس الخلف، ومرجعه إلى قياسين
مرکب قیاسوں میں ایک قیاس ایسا ہے جسے قیاسِ خلف کہتے ہیں، اور اس کی بنیاد دو قیاسوں پر ہے۔

اقیسہ مرکبہ ان استدلالوں کو کہا جاتا ہے جن میں ایک قیاس کا حاصل آگے دوسرے قیاس میں مقدمے کی حیثیت اختیار کرے۔ قیاسِ خلف میں بھی نتیجہ یک بارگی سامنے نہیں آتا؛ پہلے ایک شرطیہ نتیجہ تیار ہوتا ہے، پھر اس سے مطلوبہ دعویٰ اخذ ہوتا ہے۔

اس لیے قیاسِ خلف کو صرف «مخالف بات غلط ہے» کہہ کر ختم نہیں کیا جا سکتا؛ دونوں قیاسی مرحلوں کی ترتیب واضح کرنا ضروری ہے۔

3. براہِ راست اور بالواسطہ اثبات

اثباتِ مستقیم: مطلوبہ نتیجہ معلوم مقدمات سے براہِ راست اخذ کیا جائے۔
اثبات بالخلف: مطلوبہ نتیجے کے نقیض کو فرض کر کے اس کا ناممکن لازمہ نکالا جائے اور اس کے رد سے اصل نتیجہ ثابت کیا جائے۔

مثلاً «ہر مربع چار ضلع رکھتا ہے» کو مربع کی تعریف سے براہِ راست سمجھا جا سکتا ہے۔ خلف میں فرض کیا جائے گا کہ «کوئی مربع چار ضلع نہیں رکھتا» جیسی مخالف صورت واقع ہوئی، پھر تعریف سے اس کے خلاف لازم آنے کو دکھایا جائے گا۔

یہ صرف طریقۂ استدلال کی مثال ہے؛ اصل نص میں اس مقام پر «كل إنسان حيوان» کی مثال آتی ہے۔

4. قیاسِ خلف میں مدعا اور نقیض

مدعا وہ قضیہ ہے جسے ثابت کرنا مقصود ہو۔ نقیضِ مدعا اس کے بالکل مخالف صدق و کذب والی صورت ہے؛ دونوں نہ ایک ساتھ سچے ہو سکتے ہیں، نہ ایک ساتھ جھوٹے۔

اگر مدعا «ہر انسان حیوان ہے» ہو تو اس کا نقیض «بعض انسان حیوان نہیں» ہے، نہ کہ «کوئی انسان حیوان نہیں»۔ پہلی دو صورتوں میں عموم کی نفی درست طریقے سے ظاہر ہوتی ہے۔

خلف کا آغاز اسی صحیح نقیض سے ہونا چاہیے۔ محض کسی نسبتاً کمزور یا مختلف جملے کو مخالف کہہ دینے سے ثابت شدہ نتیجہ اصل مدعا تک نہیں پہنچے گا۔

5. دو قیاس کیوں درکار ہیں؟

کتاب قیاسِ خلف کا مرجع 2 قیاسوں کی طرف بیان کرتی ہے۔ پہلا قیاس دو متصلہ شرطیہ قضیوں کے اتصال سے یہ نتیجہ دیتا ہے کہ اگر مدعا کا نقیض ثابت ہو تو محال لازم آئے گا۔

دوسرا قیاس استثنائی ہوتا ہے۔ اس میں پہلی دلیل کا شرطیہ نتیجہ لیا جاتا ہے، پھر بتایا جاتا ہے کہ محال واقع نہیں؛ اس سے مدعا کے نقیض کا رد لازم آتا ہے۔

یوں ترتیب ہے:
1. نقیضِ مدعا فرض کرنا۔
2. اس فرض سے محال تک استلزام قائم کرنا۔
3. محال کی نفی سے اس فرض کی نفی کرنا۔
4. اصل مدعا ثابت کرنا۔

6. پہلا مرحلہ: دو متصلہ شرطیات

أحدهما اقتراني شرطي مركب من المتصلتين
ان دونوں میں پہلا متصلہ شرطیہ کے دو مقدمات سے بننے والا اقترانی قیاس ہے۔

فرض کیجیے اصل دعویٰ «الف» ہے۔ پہلے یہ ربط قائم ہو کہ اگر الف کی نفی درست ہو تو اس کے مقابل نقیض کی صورت پیش آئے گی۔ دوسرا ربط یہ ہو کہ اگر وہ صورت واقع ہو تو ایک محال نتیجہ لازم ہوگا۔

دونوں مقدمات کو ملانے سے نتیجہ ملتا ہے: اگر الف کی نفی درست ہے تو محال لازم ہے۔ یہ شرطیہ استلزام پہلے قیاس کا مطلوب ہے۔

7. متصلہ شرطیہ کی ترتیب

دو شرطیات کو جوڑنے کے لیے پہلی کے تالی اور دوسری کے مقدم کا مناسب اتصال ہونا چاہیے:

1. اگر الف ہو تو ب ہوگا۔
2. اگر ب ہو تو ج ہوگا۔
نتیجہ: اگر الف ہو تو ج ہوگا۔

قیاسِ خلف میں پہلا مقام «نقیضِ مدعا» کا ہے اور آخری مقام «محال» کا۔ درمیان کے مراحل مختلف ہو سکتے ہیں، مگر ہر ربط دلیل سے ثابت ہونا ضروری ہے۔

اگر ایک شرطیہ کا تالی دوسری کے مقدم سے متعلق ہی نہ ہو تو ان سے مطلوبہ نتیجہ اخذ نہیں ہوگا۔

8. مدعا کے عدمِ ثبوت کا فنی معنی

اصل عبارت میں «لم يثبت المدعى» کا انداز آتا ہے۔ منطقی دلیل میں اس سے مراد دعویٰ کی نفی کو فرض کرنا ہے، صرف یہ کہنا نہیں کہ ابھی اس کی دلیل ہماری نظر سے نہیں گزری۔

«اس دعوے کا ثبوت مجھے معلوم نہیں» ایک علمی حالت کی خبر ہے۔
«یہ دعویٰ درست نہیں» قضیہ کی نفی ہے۔

قیاسِ خلف میں دوسرے معنی کو فرض کر کے اس کے منطقی نتائج نکالے جاتے ہیں۔ دلیل کا معلوم نہ ہونا خود بخود قضیہ کے باطل ہونے کا ثبوت نہیں بنتا۔

9. اصل متن کا شرطیہ نتیجہ

لو لم يثبت المدعى ثبت المحال
اگر مدعا ثابت نہ ہو تو محال ثابت ہو جائے گا۔

یہ جملہ پہلے قیاس کا حاصل ہے۔ یہ محض دعویٰ نہیں ہونا چاہیے؛ اس سے پہلے ایسے مقدمات درکار ہیں جن سے محال کا لزوم صحیح ثابت ہوتا ہو۔

مثلاً یہ بات کہنا کافی نہیں کہ «اگر میری بات غلط ہو تو ناممکن واقع ہوگا»۔ یہ بھی واضح کرنا ہوگا کہ مخالف فرض سے کون سی ناممکن بات کس دلیل کے ذریعے لازم آتی ہے۔

10. محال کا مفہوم

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

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

قیاسِ خلف میں محال کے وقوع کی نفی دوسرے قیاس کا اہم مقدمہ بنتی ہے؛ اس لیے محال کی شناخت مضبوط بنیاد پر ہونی چاہیے۔

11. دوسرا مرحلہ: قیاسِ استثنائی

کتاب کے مطابق دوسرے قیاس میں پہلے سے حاصل ہونے والا شرطیہ نتیجہ لیا جاتا ہے، پھر اس کے تالی کا نقیض استثناء کے طور پر پیش کیا جاتا ہے۔

پہلا مقدمہ: اگر مدعا کی نفی ہو تو محال لازم آئے گا۔
دوسرا مقدمہ: لیکن محال ثابت نہیں۔
نتیجہ: لہٰذا مدعا کی نفی درست نہیں۔

یہ متصلہ شرطیہ میں پہلے پڑھے ہوئے قاعدے نفیِ تالی سے نفیِ مقدم کی ایک دقیق تطبیق ہے۔

12. متن میں نفیِ محال

لكن المحال ليس بثابت، فبالضرورة ثبت المدعى
لیکن محال ثابت نہیں، لہٰذا ضروری طور پر مدعا ثابت ہوگیا۔

یہ جملہ دوسرے قیاس کا آخری مرحلہ واضح کرتا ہے۔ جب «مدعا کی نفی» سے محال کا لزوم صحیح ثابت ہو اور محال واقع نہ ہو سکتا ہو، تو مدعا کی نفی رد ہو جاتی ہے۔

اس کے بعد اصل مدعا کا ثبوت اس قاعدے سے ہوتا ہے کہ قضیہ اور اس کا صحیح نقیض دونوں باطل نہیں ہو سکتے۔

13. نفیِ تالی کی درست صورت

متصلہ شرطیہ میں یہ استدلال صحیح ہے:
1. اگر مقدم سچا ہو تو تالی سچا ہوگا۔
2. تالی سچا نہیں۔
3. لہٰذا مقدم سچا نہیں۔

اسے علامتی صورت میں یوں لکھ سکتے ہیں: P ⇒ Q؛ ¬Q؛ نتیجہ ¬P۔

قیاسِ خلف میں مقدم نقیضِ مدعا ہے اور تالی محال ہے۔ محال کی نفی سے نقیضِ مدعا کی نفی حاصل ہوتی ہے۔

اگر «اگر P تو Q» سے محض «Q غلط نہیں» کی بنیاد پر P کو ثابت کر دیا جائے تو وہ دوسری اور غیر معتبر صورت ہوگی۔

14. دوہری نفی اور اصل دعویٰ

فرض کیجیے مدعا الف ہے۔ اس کا نقیض لا الف ہوگا۔

قیاسِ خلف سے حاصل ہوا: «لا الف» درست نہیں۔ اس کا مطلب «لا الف کی نفی» ہے، یعنی لا لا الف۔ عام کلاسیکی دوقدری منطق میں اس دوہری نفی سے الف ثابت ہوتا ہے۔

یہ مرحلہ اس وقت درست ہے جب واقعی مدعا کا نقیض لیا گیا ہو۔ صرف متضاد یا برخلاف معلوم ہونے والا غیر نقیض جملہ رد کرنے سے اصل مدعا لازماً ثابت نہیں ہوتا۔

15. رفعِ نقیضین کیوں محال ہے؟

متن اصل مدعا کی واپسی کے لیے ارتفاع النقيضين کا ذکر کرتا ہے، یعنی کسی قضیے اور اس کے نقیض دونوں کے غیر صادق ہونے کو فرض کرنا۔

اگر «ہر انسان حیوان ہے» اور «بعض انسان حیوان نہیں» دونوں غلط مان لیے جائیں تو ایک ہی دائرے میں کلی ایجاب اور اس کے صحیح نقیض دونوں کا انکار ہوگا۔ کلاسیکی منطق میں ایسا ممکن نہیں۔

اس لیے قیاسِ خلف میں جب صحیح نقیض باطل ثابت ہو جائے تو مدعا کی صداقت لازم ہوتی ہے۔ اس حکم کو ضدین کے عام اختلاف کے ساتھ خلط نہ کیا جائے۔

16. کتاب کی مثال: دعویٰ کون سا ہے؟

كل إنسان حيوان
ہر انسان حیوان ہے۔

یہ اصل متن کا مدعا ہے۔ «حیوان» کا لفظ یہاں منطق کے معروف کلی مفہوم میں آیا ہے، جس کے تحت انسان بھی شامل ہے؛ عام گفتگو میں کسی شخص کو حیوان کہنا جو تحقیر سمجھا جاتا ہے، وہ معنی یہاں مقصود نہیں۔

اس قضیہ کی کمیت کلیہ اور کیفیت موجبہ ہے۔ مدعا ثابت کرنے کے لیے کتاب اس کے صحیح نقیض کو فرض کر کے آگے بڑھتی ہے۔

17. کتابی مثال کا صحیح نقیض

بعض الإنسان ليس بحيوان
بعض انسان حیوان نہیں ہیں۔

یہی «ہر انسان حیوان ہے» کا صحیح نقیض ہے۔ کلی موجبہ کے نقیض کے لیے جزئی سالبہ آتی ہے۔ اس میں کم از کم ایک انسان کے متعلق حیوان نہ ہونے کا حکم پیش ہوتا ہے۔

اگر اس کے بجائے «کوئی انسان حیوان نہیں» کہا جائے تو یہ سالبہ کلیہ ہوگی، اور کلی موجبہ کا باقاعدہ نقیض نہیں۔ قیاسِ خلف میں یہ فرق نظرانداز کرنے سے پہلی ہی سیڑھی خراب ہو جاتی ہے۔

18. اس نقیض سے محال کیسے لازم آیا؟

کتابی استدلال میں انسان کو «حیوان» کے تحت ماننا پہلے سے مسلم ہے۔ اب اگر کہا جائے کہ بعض انسان حیوان نہیں تو ایک ایسے فرد کو تسلیم کرنا پڑے گا جو انسان بھی ہے اور اس تعریف کے لحاظ سے حیوان بھی نہیں۔

اس طرح ایک ہی حیثیت میں انسان کے لیے جنسِ حیوان کا اثبات اور نفی اکٹھے لازم آتے ہیں۔ اجتماعِ نقیضین کا یہ نتیجہ محال ہے۔

یہ بات خصوصاً اس لیے واضح ہے کہ «حیوان» انسان کی منطقی ماہیت کا جزو فرض کیا گیا ہے؛ محض لفظی مشابہت سے ایسا تضاد ثابت نہیں ہوتا۔

19. کتابی مثال سے نتیجہ اخذ کرنا

پہلا مرحلہ: اگر «ہر انسان حیوان ہے» غلط ہو تو «بعض انسان حیوان نہیں» درست ہوگا۔ اگر ایسی جزئی سالبہ درست ہو تو انسان کے متعلق مسلم جنس کی نفی لازم آئے گی، جو یہاں محال ہے۔

دوسرا مرحلہ: لیکن محال صحیح نہیں ہو سکتا۔ لہٰذا «بعض انسان حیوان نہیں» درست نہیں۔ یہ جزئی سالبہ اصل مدعا کا نقیض تھی۔

نتیجہ: ہر انسان حیوان ہے۔

اس استدلال میں پہلے محال تک پہنچنے کا ربط قائم ہوا، پھر محال کی نفی کے ذریعے اصل دعویٰ ثابت ہوا۔

20. تدریسی مثال: مربع کے اضلاع

مدعا: ہر مربع چار ضلع رکھتا ہے۔
نقیضِ مدعا: بعض مربع چار ضلع نہیں رکھتے۔

تعریف کے لحاظ سے مربع چار مساوی اضلاع والا چوکور ہے۔ لہٰذا ایسے کسی مربع کا فرض کرنا جس کے چار ضلع نہ ہوں، مربع کی اسی تعریف کا انکار ہوگا جس کی بنیاد پر اسے مربع کہا گیا ہے۔

اس نقیض سے تعریف کے ساتھ تناقض لازم آتا ہے؛ لہٰذا نقیض رد ہوگا اور مدعا ثابت رہے گا۔ یہاں چار ضلع ہونا مربع کی لازمی تعریف سے متعلق ہے، صرف تجرباتی اندازہ نہیں۔

21. محض خلافِ معمول بات محال نہیں

فرض کیجیے دعویٰ ہے: «ہر ذہین طالب علم امتحان میں اول آتا ہے»۔ اس کا نقیض یہ ہے کہ «کچھ ذہین طلبہ اول نہیں آتے»۔

یہ نقیض نہ صرف قابلِ تصور ہے بلکہ مختلف عملی حالات میں درست بھی ہو سکتا ہے۔ اس سے کوئی تناقض یا منطقی محال لازم نہیں آتا۔ لہٰذا صرف یہ کہہ دینا کہ «ذہین طالب علم کو تو اول آنا چاہیے» قیاسِ خلف نہیں بنے گا۔

قیاسِ خلف میں نقیض سے حقیقی محال کا لازم آنا ضروری ہے؛ خواہش، رواج یا عمومی توقع کافی نہیں۔

22. فرض کردہ محال کی صحت جانچنا

قیاسِ خلف میں 2 مقام خاص جانچ مانگتے ہیں:
1. لزوم: کیا نقیضِ مدعا سے واقعی وہ نتیجہ نکلتا ہے؟
2. محال ہونا: کیا وہ نتیجہ حقیقتاً ناممکن ہے یا صرف غیر متوقع ہے؟

مثلاً «اگر یہ راستہ بند ہو تو ہم دیر سے پہنچیں گے؛ ہم دیر سے پہنچے، اس لیے راستہ بند تھا» درست استدلال نہیں۔ دیر کے دوسرے اسباب بھی ہو سکتے ہیں۔ اسی طرح دیر سے پہنچنا محال بھی نہیں۔

پہلی شرطیہ صورت کی غلطی اور دوسری کے محال نہ ہونے کی وجہ، دونوں قیاسِ خلف کو ناکام کر دیتی ہیں۔

23. قیاسِ خلف اور تناقض کا تعلق

تناقض کی بحث میں معلوم ہوا کہ قضیہ اور اس کا نقیض صدق و کذب میں لازماً مختلف ہوتے ہیں۔ قیاسِ خلف اسی اصول کو عملی استدلال میں استعمال کرتا ہے۔

فرق یہ ہے کہ تناقض کا باب دو قضیوں کے باہمی تعلق کی شناخت کراتا ہے۔ قیاسِ خلف اس شناخت سے آگے بڑھ کر نقیض کو فرض کرتا ہے، اس سے محال لازم کرتا ہے اور نقیض کی نفی کے ذریعے مطلوبہ قضیہ ثابت کرتا ہے۔

یوں پہلے پڑھی ہوئی بحث محصورات کے نقائض اس سبق میں براہِ راست کام آتی ہے۔

24. قیاسِ خلف اور قیاسِ استثنائی

قیاسِ استثنائی کے سابقہ سبق میں درست صورت پڑھی گئی تھی کہ متصلہ کے تالی کی نفی سے مقدم کی نفی ہوتی ہے۔ قیاسِ خلف کا آخری حصہ اسی اصول پر مبنی ہے۔

مقدم: اگر نقیضِ مدعا صحیح ہو تو محال لازم ہوگا۔
استثناء: لیکن محال صحیح نہیں۔
نتیجہ: لہٰذا نقیضِ مدعا صحیح نہیں۔

یہ نتیجہ اگلے مرحلے میں رفعِ نقیضین کے امتناع کی وجہ سے مدعا کو ثابت کرتا ہے۔ اس طرح قیاسِ خلف مختلف سابقہ ابواب کا مربوط استعمال ہے۔

25. قیاسِ خلف کے بارے میں عام غلطیاں

غلطی 1: مدعا کے صحیح نقیض کے بجائے کوئی دوسری مخالف بات فرض کر لینا۔
غلطی 2: نقیض سے محال تک پہنچنے والا ضروری ربط قائم نہ کرنا۔
غلطی 3: محال کی جگہ محض ناپسندیدہ، کم امکان یا حیرت انگیز نتیجہ رکھ دینا۔
غلطی 4: شرطیہ کے تالی کو ثابت کر کے مقدم کو ثابت سمجھنا۔

درست قیاس میں یہ چاروں خطائیں دور ہوں گی۔ بالخصوص پہلے قیاس کے نتیجے اور دوسرے قیاس کے استثناء کو واضح رکھنے سے پوری دلیل قابلِ جانچ بن جاتی ہے۔

26. قیاسِ خلف کی مکمل حل شدہ ترتیب

اصل مدعا کو الف اور محال نتیجے کو م کہتے ہیں۔ درست استدلال کی صورت یوں بنے گی:
1. فرض: لا الف۔
2. مقدمات سے ثابت: اگر لا الف، تو م۔
3. مسلم بات: م محال ہے، لہٰذا م ثابت نہیں۔
4. نتیجہ: لا الف درست نہیں۔
5. نقیضین کا حکم: لہٰذا الف درست ہے۔

مرحلہ 2 میں اقترانی شرطی کی دلیل کام کرتی ہے، مرحلہ 3–4 میں استثنائی استدلال چلتا ہے، اور آخری مرحلے میں تناقض کا قاعدہ کام آتا ہے۔

27. سبق کا حاصل اور آگے کا ربط

قیاسِ خلف ایک مرکب استدلال ہے جس میں اصل مدعا کے نقیض سے محال لازم کر کے نقیض رد کیا جاتا ہے، پھر اصل مدعا ثابت ہوتا ہے۔

اس کی درستی کے لیے ضروری ہے کہ نقیض واقعی نقیض ہو، شرطیہ استلزام درست ہو، محال حقیقی ہو اور دوسرے قیاس میں نفیِ تالی کے صحیح قاعدے سے کام لیا جائے۔

متن کی مثال «ہر انسان حیوان ہے» میں جزئی سالبہ کو فرض کر کے جنس کی نفی کا محال دکھایا گیا ہے۔ اس کے بعد المرقاة کی نئی بحث صورتِ قیاس اور مادۂ قیاس سے متعلق ہے، جو اگلے سبق میں آئے گی۔