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