الشکل الثالث — شرائطِ انتاج اور 6 منتج ضربیں

1. شکلِ سوم میں بنیادی تبدیلی

شکلِ اول میں حدِ اوسط صغریٰ کا محمول اور کبریٰ کا موضوع تھا۔ شکلِ دوم میں وہ دونوں مقدمات کا محمول تھا۔ شکلِ سوم میں حدِ اوسط دونوں مقدمات کا موضوع ہوتا ہے۔

اس شکل میں ہم ایک ہی طبقے کے بارے میں دو باتیں کہتے ہیں، پھر ان دو باتوں سے نتیجے کے اصغر اور اکبر کے باہمی تعلق تک پہنچتے ہیں۔

مثال:
ہر گھوڑا جانور ہے۔
ہر گھوڑا جاندار ہے۔
لہٰذا بعض جانور جاندار ہیں۔

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

2. صغریٰ، کبریٰ اور نتیجے کے اجزاء

حدِ اوسط کو «ب»، حدِ اصغر کو «ج» اور حدِ اکبر کو «ا» فرض کیجیے۔ شکلِ سوم کی بنیادی ترتیب یوں ہوگی:

صغریٰ: ب — ج
کبریٰ: ب — ا
نتیجہ: بعض ج — ا

صغریٰ کا محمول «ج» نتیجے کا موضوع بنتا ہے، اور کبریٰ کا محمول «ا» نتیجے کا محمول بنتا ہے۔

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

3. محض مشترک موضوع ہونا کافی نہیں

فرض کیجیے دونوں مقدمات یہ ہوں:
کوئی گھوڑا پتھر نہیں۔
کوئی گھوڑا درخت نہیں۔

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

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

4. کتاب کی اصل شرائطِ انتاج

شرط إنتاج الشكل الثالث كون الصغرى موجبة وكون إحدى المقدمتين كلية
شکلِ سوم کے منتج ہونے کے لیے صغریٰ کا موجبہ ہونا اور دونوں مقدمات میں سے کسی ایک کا کلیہ ہونا شرط ہے۔

پہلی شرط کا تعلق کیفیت سے ہے: صغریٰ میں حدِ اوسط کے لیے اصغر کو ثابت کیا جائے۔ دوسری کا تعلق کمیت سے ہے: صغریٰ یا کبریٰ، کم از کم ایک مقدمہ تمام افراد کے متعلق ہو۔

پہلی اور دوسری شکل کی شرطوں کو یہاں بلا تبدیلی لاگو نہیں کیا جا سکتا۔ شکلِ سوم میں کبریٰ جزئیہ بھی ہو سکتی ہے، بشرطیکہ صغریٰ کلیہ موجبہ ہو۔

5. صغریٰ کا موجبہ ہونا کیوں ضروری ہے؟

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

اگر صغریٰ حدِ اوسط سے اصغر کی مکمل نفی کر دے تو حدِ اوسط کے افراد کے ذریعے اصغر کے افراد تک پہنچنے کا راستہ بند ہو جاتا ہے۔

مثال:
کوئی گھوڑا پرندہ نہیں۔
ہر گھوڑا جانور ہے۔

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

6. سالبہ صغریٰ اور نتیجے کا اشکال

یہ دو مقدمات دیکھیے:
کوئی بلی مچھلی نہیں۔
ہر بلی جانور ہے۔

ان مقدمات کی صداقت سے یہ ثابت نہیں ہوتا کہ «ہر مچھلی جانور ہے» یا «کوئی مچھلی جانور نہیں»۔ مچھلی کے متعلق کوئی مثبت ربط قائم ہی نہیں ہوا جس پر نتیجہ کھڑا ہو۔

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

7. کم از کم ایک مقدمہ کلیہ کیوں ہو؟

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

مثال:
بعض طلبہ حافظ ہیں۔
بعض طلبہ خطاط ہیں۔

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

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

8. ایک کلیہ اور ایک جزئیہ: درست رابطہ

صغریٰ: بعض طلبہ کھلاڑی ہیں۔
کبریٰ: ہر طالبِ علم انسان ہے۔
نتیجہ: بعض کھلاڑی انسان ہیں۔

یہاں صغریٰ نے طلبہ میں سے بعض کھلاڑی متعین کیے۔ کبریٰ تمام طلبہ کو انسان بتاتی ہے، اس لیے صغریٰ کے یہی افراد انسان بھی ہوں گے۔

اس کے برعکس «بعض طلبہ کھلاڑی ہیں؛ بعض طلبہ انسان ہیں» میں دونوں خبریں مختلف افراد پر صادق ہو سکتی ہیں۔ ایک کلیہ ہونے کی شرط اس خلا کو ختم کرتی ہے۔

9. منتج ضربوں کی مجموعی تعداد

فضروبه الناتجة ستة
پس اس شکل کی منتج ضربیں چھ ہیں۔

صغریٰ کے موجبہ ہونے سے اس کی دو صورتیں رہتی ہیں: موجبہ کلیہ اور موجبہ جزئیہ۔ کبریٰ کی کیفیت ایجاب یا سلب، اور کمیت کلیہ یا جزئیہ ہو سکتی ہے۔ لیکن دونوں مقدمات جزئیہ نہیں رہ سکتے۔

صغریٰ کلیہ موجبہ: کبریٰ کی چاروں صورتیں ممکن ہیں — کلیہ موجبہ، کلیہ سالبہ، جزئیہ موجبہ، جزئیہ سالبہ۔
صغریٰ جزئیہ موجبہ: کبریٰ لازماً کلیہ ہوگی — موجبہ یا سالبہ۔

اس طرح 4 + 2 = 6 منتج ضربیں بنتی ہیں۔

10. نتیجہ ہمیشہ جزئیہ کیوں؟

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

مثال:
ہر گھوڑا جانور ہے۔
ہر گھوڑا چار پاؤں والا ہے۔

نتیجہ «بعض جانور چار پاؤں والے ہیں» نکلتا ہے۔ «ہر جانور چار پاؤں والا ہے» نہیں نکلتا، کیونکہ گھوڑوں کے علاوہ بھی جانور موجود ہیں۔

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

11. پہلی ضرب: کلیہ موجبہ + کلیہ موجبہ

كل ب ج، وكل ب أ، فبعض ج أ
ہر ب، ج ہے اور ہر ب، ا ہے؛ لہٰذا بعض ج، ا ہیں۔

یہ شکلِ سوم کی پہلی ضرب ہے۔ صغریٰ بھی موجبہ کلیہ ہے اور کبریٰ بھی موجبہ کلیہ، اس لیے دونوں شرطیں پوری ہیں۔ نتیجہ موجبہ جزئیہ بنتا ہے۔

اصل دلیل یہ ہے کہ جو افراد ب کے تحت ہیں وہ سب ج کے بھی ہیں اور ا کے بھی۔ پس ب کے موجود افراد میں سے جو ج ہیں، وہ ا بھی ہوں گے۔

12. پہلی ضرب کی حقیقی مثال

صغریٰ: ہر گھوڑا جانور ہے۔
کبریٰ: ہر گھوڑا جاندار ہے۔
نتیجہ: بعض جانور جاندار ہیں۔

حدِ اوسط: گھوڑا — دونوں مقدمات کا موضوع۔
حدِ اصغر: جانور — صغریٰ کا محمول اور نتیجے کا موضوع۔
حدِ اکبر: جاندار — کبریٰ کا محمول اور نتیجے کا محمول۔

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

13. پہلی ضرب کا ثبوت: عکس اور شکلِ اول

پہلی ضرب میں صغریٰ «ہر ب، ج ہے» کا عکسِ مستوی «بعض ج، ب ہیں» ہوگا، بشرطیکہ ب کے افراد موجود ہوں۔

اس عکس کو نئی صغریٰ بنائیے:
بعض ج، ب ہیں۔
ہر ب، ا ہے۔
لہٰذا بعض ج، ا ہیں۔

اب اوسط «ب» نئی صغریٰ میں محمول اور کبریٰ میں موضوع ہے؛ ترتیب شکلِ اول کی ہوگئی۔ یوں شکلِ سوم کی پہلی ضرب کا نتیجہ دوسری معلوم شکل کے ذریعے واضح ہو گیا۔

14. دوسری ضرب: کلیہ موجبہ + کلیہ سالبہ

كل ب ج، ولا شيء من ب أ، فبعض ج ليس أ
ہر ب، ج ہے اور کوئی ب، ا نہیں؛ لہٰذا بعض ج، ا نہیں ہیں۔

صغریٰ موجبہ کلیہ اور کبریٰ سالبہ کلیہ ہے۔ نتیجہ سالبہ جزئیہ بنتا ہے۔

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

15. دوسری ضرب کا استدلال

صغریٰ: ہر ب، ج ہے۔
کبریٰ: کوئی ب، ا نہیں۔

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

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

16. تیسری ضرب: جزئیہ موجبہ + کلیہ موجبہ

بعض ب ج، وكل ب أ، فبعض ج أ
بعض ب، ج ہیں اور ہر ب، ا ہے؛ لہٰذا بعض ج، ا ہیں۔

صغریٰ موجبہ جزئیہ اور کبریٰ موجبہ کلیہ ہے۔ جزئی صغریٰ نے ب کے بعض موجود افراد کو ج قرار دیا اور کلی کبریٰ نے انہی تمام ب کو ا قرار دیا۔ نتیجہ موجبہ جزئیہ ہے۔

مثال:
بعض طالبِ علم شاعر ہیں۔
ہر طالبِ علم انسان ہے۔
لہٰذا بعض شاعر انسان ہیں۔

17. تیسری ضرب: افراد کی شناخت سے برہان

«بعض طلبہ شاعر ہیں» سے معلوم ہوا کہ طلبہ میں ایسے افراد موجود ہیں جو شاعر ہیں۔ «ہر طالبِ علم انسان ہے» میں وہی افراد بھی شامل ہیں۔ لہٰذا کم از کم بعض شاعروں کا انسان ہونا لازم ہے۔

منطقی صورت میں صغریٰ کا عکس لیجیے:
بعض ج، ب ہیں۔
ہر ب، ا ہے۔
لہٰذا بعض ج، ا ہیں۔

یہ شکلِ اول کی جزئیہ موجبہ صغریٰ اور کلیہ موجبہ کبریٰ کا قیاس ہے۔ جزئیہ موجبہ کا عکس درست ہے، اس لیے دلیل میں کوئی غیر جائز تبدیلی نہیں ہوئی۔

18. چوتھی ضرب: جزئیہ موجبہ + کلیہ سالبہ

بعض ب ج، ولا شيء من ب أ، فبعض ج ليس أ
بعض ب، ج ہیں اور کوئی ب، ا نہیں؛ لہٰذا بعض ج، ا نہیں ہیں۔

صغریٰ موجبہ جزئیہ اور کبریٰ سالبہ کلیہ ہے۔ نتیجہ سالبہ جزئیہ ہے۔

مثال:
بعض طلبہ کھلاڑی ہیں۔
کوئی طالبِ علم بےجان پتھر نہیں۔
لہٰذا بعض کھلاڑی بےجان پتھر نہیں ہیں۔

یہاں صغریٰ کے بعض طلبہ ہی نتیجے میں «بعض کھلاڑی» کے مصداق بنتے ہیں۔

19. چوتھی ضرب کا استدلال

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

صغریٰ کا عکس لے کر:
بعض ج، ب ہیں۔
کوئی ب، ا نہیں۔
لہٰذا بعض ج، ا نہیں۔

یہ شکلِ اول کی درست ترتیب ہے۔ پہلی اور دوسری ضرب کے برخلاف اس ضرب میں نتیجے کا وجودی پہلو جزئی صغریٰ ہی سے مل جاتا ہے۔

20. پانچویں ضرب: کلیہ موجبہ + جزئیہ موجبہ

كل ب ج، وبعض ب أ، فبعض ج أ
ہر ب، ج ہے اور بعض ب، ا ہیں؛ لہٰذا بعض ج، ا ہیں۔

یہاں صغریٰ موجبہ کلیہ ہونے کی وجہ سے کبریٰ جزئیہ موجبہ ہو سکتی ہے۔ کبریٰ نے ب کے بعض افراد کو ا بتایا، جبکہ صغریٰ نے تمام ب کو ج بتایا؛ انہی بعض افراد میں دونوں وصف جمع ہوگئے۔

مثال:
ہر طالبِ علم انسان ہے۔
بعض طلبہ خوش نویس ہیں۔
لہٰذا بعض انسان خوش نویس ہیں۔

21. پانچویں ضرب میں عکسِ کبریٰ کی افادیت

اس ضرب میں دونوں مقدمات یوں ہیں:
ہر ب، ج ہے۔
بعض ب، ا ہیں۔

کبریٰ کا عکس «بعض ا، ب ہیں» درست ہے۔ اسے نئے استدلال کی صغریٰ بنائیے:
بعض ا، ب ہیں۔
ہر ب، ج ہے۔
لہٰذا بعض ا، ج ہیں۔

اب نتیجے «بعض ا، ج ہیں» کا عکس لے کر «بعض ج، ا ہیں» ملتا ہے۔ اس طریقے میں عکسِ کبریٰ، شکلِ اول اور عکسِ نتیجہ تینوں مراحل واضح ہیں۔

22. چھٹی ضرب: کلیہ موجبہ + جزئیہ سالبہ

كل ب ج، وبعض ب ليس أ، فبعض ج ليس أ
ہر ب، ج ہے اور بعض ب، ا نہیں؛ لہٰذا بعض ج، ا نہیں ہیں۔

صغریٰ موجبہ کلیہ اور کبریٰ سالبہ جزئیہ ہے۔ اس میں نتیجہ سالبہ جزئیہ بنتا ہے۔

مثال:
ہر طالبِ علم انسان ہے۔
بعض طلبہ شاعر نہیں۔
لہٰذا بعض انسان شاعر نہیں۔

یہ نتیجہ درست ہے، کیونکہ بعض غیر شاعر طلبہ بھی صغریٰ کی وجہ سے انسان ہیں۔

23. چھٹی ضرب میں خلف کی دلیل

مقدمات:
ہر ب، ج ہے۔
بعض ب، ا نہیں۔

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

یہ نتیجہ اصل کبریٰ «بعض ب، ا نہیں» سے متناقض ہے۔ پس مطلوبہ سالبہ جزئیہ نتیجہ درست ہے۔

یہاں سالبہ جزئیہ کبریٰ کا براہِ راست عکس لینا جائز نہیں؛ اس لیے خلف کی دلیل خاص طور پر مفید ہے۔

24. چھ ضربوں کی کمیت و کیفیت کا جامع نقشہ

درجِ ذیل ترتیب میں پہلے صغریٰ، پھر کبریٰ، پھر نتیجہ بیان ہوا ہے:

1. موجبہ کلیہ + موجبہ کلیہ ← موجبہ جزئیہ۔
2. موجبہ کلیہ + سالبہ کلیہ ← سالبہ جزئیہ۔
3. موجبہ جزئیہ + موجبہ کلیہ ← موجبہ جزئیہ۔
4. موجبہ جزئیہ + سالبہ کلیہ ← سالبہ جزئیہ۔
5. موجبہ کلیہ + موجبہ جزئیہ ← موجبہ جزئیہ۔
6. موجبہ کلیہ + سالبہ جزئیہ ← سالبہ جزئیہ۔

ان سب میں صغریٰ موجبہ، ایک مقدمہ کلیہ اور نتیجہ جزئیہ ہے۔ موجبہ کبریٰ سے موجبہ نتیجہ، سالبہ کبریٰ سے سالبہ نتیجہ حاصل ہوتا ہے۔

25. نتیجہ کی کلیت کا غلط دعویٰ

یہ قیاس لیجیے:
ہر طالبِ علم انسان ہے۔
بعض طلبہ شاعر ہیں۔

درست نتیجہ: بعض انسان شاعر ہیں۔
غلط توسیع: ہر انسان شاعر ہے۔

دلیل طلبہ میں سے شاعر ہونے والے بعض افراد کا وجود بتاتی ہے؛ وہ طلبہ سے باہر تمام انسانوں کے بارے میں کچھ نہیں بتاتی۔

قاعدہ: شکلِ سوم میں نتیجہ ہمیشہ جزئیہ ہوتا ہے، چاہے دونوں مقدمات کلیہ ہوں۔ جزئیہ نتیجہ کی جگہ کلیہ لکھنا قیاس کی قوت سے زیادہ دعویٰ کرنا ہے۔

26. عملی مشق: دونوں مقدمات جزئیہ

صغریٰ: بعض اساتذہ مصنف ہیں۔
کبریٰ: بعض اساتذہ خطیب ہیں۔
مجوزہ نتیجہ: بعض مصنف خطیب ہیں۔

یہ شکلِ سوم کی ترتیب ہے اور صغریٰ موجبہ ہے، مگر دونوں مقدمات جزئیہ ہیں۔ ممکن ہے مصنف اساتذہ اور خطیب اساتذہ الگ ہوں؛ نتیجہ لازم نہیں آتا۔

اصلاح: اگر کبریٰ «ہر استاد خطیب ہے» ہوجائے تو صغریٰ کے وہ بعض مصنف اساتذہ بھی خطیب ہوں گے، اور نتیجہ «بعض مصنف خطیب ہیں» درست طور پر نکلے گا۔

27. عملی مشق: سالبہ صغریٰ

صغریٰ: کوئی پرندہ مچھلی نہیں۔
کبریٰ: ہر پرندہ جانور ہے۔
مجوزہ نتیجہ: بعض مچھلیاں جانور ہیں۔

اس ترکیب میں پرندہ دونوں مقدمات کا موضوع ہے، مگر صغریٰ سالبہ ہونے کے باعث شرطِ انتاج ٹوٹ گئی۔ «مچھلی جانور ہے» ایک الگ حقیقت ہو سکتی ہے، مگر یہ نتیجہ ان دو مقدمات سے لازم نہیں آتا۔

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

28. شکلِ اول، دوم اور سوم کا تقابل

شکلِ اول: اوسط صغریٰ کا محمول اور کبریٰ کا موضوع۔ شرط: صغریٰ موجبہ، کبریٰ کلیہ۔ 4 منتج ضربیں۔

شکلِ دوم: اوسط دونوں کا محمول۔ شرط: مقدمات کیفیت میں مختلف، کبریٰ کلیہ۔ 4 منتج ضربیں؛ سب کا نتیجہ سالبہ۔

شکلِ سوم: اوسط دونوں کا موضوع۔ شرط: صغریٰ موجبہ، کم از کم ایک مقدمہ کلیہ۔ 6 منتج ضربیں؛ سب کا نتیجہ جزئیہ۔

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

29. اپنا قیاس جانچنے کے پانچ مراحل

1. مطلوبہ نتیجے کا موضوع اور محمول پہچان کر اصغر اور اکبر متعین کریں۔
2. مقدمات میں تکرار پانے والا حدِ اوسط تلاش کریں؛ وہ دونوں کا موضوع ہو تو شکلِ سوم ہے۔
3. صغریٰ کی کیفیت دیکھیں؛ وہ موجبہ ہو۔
4. دونوں مقدمات کی کمیت دیکھیں؛ کم از کم ایک کلیہ ہو۔
5. کبریٰ کی کیفیت کے مطابق موجبہ یا سالبہ جزئیہ نتیجہ تحریر کریں اور معلوم مثال سے تصدیق کریں۔

اس ترتیب سے «شکل صحیح ہے» اور «ضرب منتج ہے» کے الگ الگ فیصلے بھی واضح رہتے ہیں۔

30. سبق کا حاصل اور اگلا مقام

شکلِ سوم کی شناخت یہ ہے کہ حدِ اوسط دونوں مقدمات کا موضوع ہو۔ کتاب کے مطابق اس کے انتاج کے لیے صغریٰ موجبہ اور کم از کم ایک مقدمہ کلیہ ہونا ضروری ہے۔ ان شرطوں سے 6 ضربیں منتج ہوتی ہیں۔

موجبہ کبریٰ: نتیجہ موجبہ جزئیہ۔
سالبہ کبریٰ: نتیجہ سالبہ جزئیہ۔

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

اگلا مبحث شکلِ چہارم کی ترتیب اور شرائطِ انتاج ہے، جس میں حدِ اوسط صغریٰ کا موضوع اور کبریٰ کا محمول ہوگا۔