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