قضایا شرطیہ

باب الشرطيات

قد عَرَفْتَ مَعْنى الشَّرْطِيَّةِ، وهي الّتي تَنْحَلُّ إلى قَضِيَّتَيْنِ، والآنَ نَهْدِيكَ إلى أقْسامِها، ونُرْشِدُكَ إلى أحْكامِها؛ فاعْلَمْ أيُّها الفَطِنُ اللَّبِيبُ والذَّكِيُّ الأرِيبُ أنّ الشَّرْطِيَّةَ قِسْمانِ: أحَدُهما المُتَّصِلَةُ، وثانِيهِما المُنْفَصِلَةُ. أمّا المُتَّصِلَةُ فهي الّتي حُكِمَ فيها بثُبُوتِ نِسْبَةٍ على تَقْدِيرِ ثُبُوتِ نِسْبَةٍ أُخْرى في الإيجابِ، وبنَفْيِ نِسْبَةٍ على تَقْدِيرِ نَفْيِ نِسْبَةٍ أُخْرى في السَّلْبِ، كقَوْلِنا في الإيجابِ: «إنْ كانَ زَيْدٌ إنْسانًا كانَ حَيَوانًا»، وقَوْلِنا في السَّلْبِ: «لَيْسَ البَتَّةَ إذا كانَ زَيْدٌ إنْسانًا كانَ فَرَسًا». ثُمَّ المُتَّصِلَةُ صِنْفانِ: إنْ كانَ ذلك الحُكْمُ لِعَلاقَةٍ بَيْنَ المُقَدَّمِ والتّالِي سُمِّيَتْ لُزُومِيَّةً كما مَرَّ، وإنْ كانَ ذلك الحُكْمُ بدُونِ العَلاقَةِ سُمِّيَتِ اتِّفاقِيَّةً، كقَوْلِكَ: «إذا كانَ الإنْسانُ ناطِقًا فالحِمارُ ناهِقٌ». والعَلاقَةُ في عُرْفِهم عِبارَةٌ عن أحَدِ الأمْرَيْنِ: إمّا أنْ يَكُونَ أحَدُهما عِلَّةً لِلْآخَرِ أو كِلاهُما مَعْلُولَيْنِ لِثالِثٍ، وإمّا أنْ يَكُونَ بَيْنَهُما عَلاقَةُ التَّضايُفِ. والتَّضايُفُ هو أنْ يَكُونَ تَعَقُّلُ أحَدِهِما مَوْقُوفًا على تَعَقُّلِ الآخَرِ كالأُبُوَّةِ والبُنُوَّةِ؛ فإذا قُلْتَ: «إنْ كانَ زَيْدٌ أبًا لِعَمْرٍو كانَ عَمْرٌو ابْنًا لَهُ» يَكُونُ شَرْطِيَّةً مُتَّصِلَةً بَيْنَ طَرَفَيْها عَلاقَةُ التَّضايُفِ. وأمّا المُنْفَصِلَةُ فهي الّتي حُكِمَ فيها بالتَّنافِي بَيْنَ شَيْئَيْنِ في مُوجَبَةٍ، وبسَلْبِ التَّنافِي بَيْنَهُما في سالِبَةٍ.

تم شرطیہ کا معنی جان چکے ہو: یہ وہ [قضیہ] ہے جو دو قضیوں کی طرف منحل ہوتا ہے۔ اب ہم تمہیں اس کی قسموں کی طرف رہنمائی کرتے ہیں اور اس کے احکام کی طرف تمہاری راہنمائی کرتے ہیں۔ پس اے زیرک و دانا اور ذہین و ماہر! جان لو کہ شرطیہ کی دو قسمیں ہیں: ایک متصلہ، اور دوسری منفصلہ۔ رہا متصلہ، تو یہ وہ ہے جس میں ایجاب میں ایک نسبت کے ثبوت کی تقدیر پر دوسری نسبت کے ثبوت کا حکم لگایا گیا ہو، اور سلب میں ایک نسبت کی نفی کی تقدیر پر دوسری نسبت کی نفی کا؛ جیسے ایجاب میں ہمارا قول: “اگر زید انسان ہے تو حیوان ہے”، اور سلب میں ہمارا قول: “ہرگز ایسا نہیں کہ جب زید انسان ہو تو گھوڑا ہو”۔ پھر متصلہ کی دو صنفیں ہیں: اگر وہ حکم مقدم اور تالی کے درمیان کسی علاقے کی وجہ سے ہو تو اسے لزومیہ کہا جاتا ہے، جیسا کہ [ابھی] گزرا؛ اور اگر وہ حکم علاقے کے بغیر ہو تو اسے اتفاقیہ کہا جاتا ہے، جیسے تمہارا قول: “جب انسان ناطق ہو تو گدھا رینکتا ہے”۔ ان [منطقیوں] کے عرف میں علاقہ دو باتوں میں سے ایک سے عبارت ہے: یا تو یہ کہ ان میں سے ایک دوسرے کی علت ہو، یا دونوں کسی تیسرے کے معلول ہوں؛ یا یہ کہ ان کے درمیان تضایف کا علاقہ ہو۔ اور تضایف یہ ہے کہ ان میں سے ایک کا تعقل (سمجھنا) دوسرے کے تعقل پر موقوف ہو، جیسے ابوت (باپ ہونا) اور بنوت (بیٹا ہونا)۔ پس جب تم کہو: “اگر زید عمرو کا باپ ہے تو عمرو اس کا بیٹا ہے”، تو یہ ایسا شرطیہ متصلہ ہوگا جس کے دونوں طرفوں کے درمیان تضایف کا علاقہ ہے۔ رہا منفصلہ، تو یہ وہ ہے جس میں موجبہ میں دو چیزوں کے درمیان منافات کا حکم لگایا گیا ہو، اور سالبہ میں ان کے درمیان منافات کے سلب کا۔

al-Mirqāt · ص 29

فصل

الشَّرْطِيَّةُ المُنْفَصِلَةُ على ثَلاثَةِ أضْرُبٍ؛ لأنّها إنْ حُكِمَ فيها بالتَّنافِي أو بعَدَمِهِ بَيْنَ النِّسْبَتَيْنِ في الصِّدْقِ والكَذِبِ مَعًا كانَتِ المُنْفَصِلَةُ حَقِيقِيَّةً، كما تَقُولُ: «هذا العَدَدُ إمّا زَوْجٌ أو فَرْدٌ»، فلا يُمْكِنُ اجْتِماعُ الزَّوْجِيَّةِ والفَرْدِيَّةِ في عَدَدٍ مُعَيَّنٍ ولا ارْتِفاعُهُما. وإنْ حُكِمَ بالتَّنافِي أو بعَدَمِهِ صِدْقًا فَقَطْ كانَتْ مانِعَةَ الجَمْعِ، كقَوْلِكَ: «هذا الشَّيْءُ إمّا شَجَرٌ أو حَجَرٌ»، فلا يُمْكِنُ أنْ يَكُونَ شَيْءٌ مُعَيَّنٌ حَجَرًا وشَجَرًا مَعًا، ويُمْكِنُ أنْ لا يَكُونَ شَيْئًا مِنْهُما. وإنْ حُكِمَ بالتَّنافِي وسَلْبِهِ كَذِبًا فَقَطْ كانَتْ مانِعَةَ الخُلُوِّ، كقَوْلِ القائِلِ: «إمّا أنْ يَكُونَ زَيْدٌ في البَحْرِ أو لا يَغْرَقَ»، فارْتِفاعُهُما بأنْ لا يَكُونَ زَيْدٌ في البَحْرِ ويَغْرَقَ مُحالٌ، ولَيْسَ اجْتِماعُهُما مُحالًا بأنْ يَكُونَ في البَحْرِ ولا يَغْرَقَ.

شرطیہ منفصلہ کی تین قسمیں ہیں؛ کیونکہ اگر اس میں دونوں نسبتوں کے درمیان صدق اور کذب دونوں میں ایک ساتھ منافات کا، یا اس کے نہ ہونے کا، حکم لگایا جائے تو منفصلہ حقیقیہ ہوگا، جیسا کہ تم کہتے ہو: “یہ عدد یا جفت ہے یا طاق”؛ پس کسی معیّن عدد میں جفت ہونا اور طاق ہونا نہ جمع ہو سکتے ہیں اور نہ دونوں اٹھ سکتے ہیں۔ اور اگر صرف صدق میں منافات کا، یا اس کے نہ ہونے کا، حکم لگایا جائے تو مانعۃ الجمع ہوگا، جیسے تمہارا قول: “یہ چیز یا درخت ہے یا پتھر”؛ پس یہ ممکن نہیں کہ کوئی معیّن چیز ایک ساتھ پتھر بھی ہو اور درخت بھی، اور یہ ممکن ہے کہ وہ ان میں سے کچھ بھی نہ ہو۔ اور اگر صرف کذب میں منافات کا، یا اس کے سلب کا، حکم لگایا جائے تو مانعۃ الخلو ہوگا، جیسے کہنے والے کا قول: “زید یا سمندر میں ہے یا ڈوب نہیں رہا”؛ پس دونوں کا اٹھ جانا، اس طرح کہ زید سمندر میں نہ ہو اور ڈوب رہا ہو، محال ہے؛ اور دونوں کا جمع ہونا، اس طرح کہ وہ سمندر میں ہو اور نہ ڈوبے، محال نہیں۔

al-Mirqāt · ص 30

فصل

المُنْفَصِلَةُ بأقْسامِها الثَّلاثَةِ قِسْمانِ: عِنادِيَّةٌ واتِّفاقِيَّةٌ؛ والعِنادِيَّةُ عِبارَةٌ عن أنْ يَكُونَ فيها التَّنافِي بَيْنَ الجُزْأَيْنِ لِذاتِهِما، والاتِّفاقِيَّةُ عِبارَةٌ عن أنْ يَكُونَ فيها التَّنافِي بمُجَرَّدِ الاتِّفاقِ.

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

al-Mirqāt · ص 31

فصل

اعْلَمْ أنّه كما يَنْقَسِمُ الحَمْلِيَّةُ إلى الشَّخْصِيَّةِ والمَحْصُورَةِ والمُهْمَلَةِ، كذلك الشَّرْطِيَّةُ تَنْقَسِمُ هذه الأقْسامَ، إلّا أنّ القَضِيَّةَ الطَّبْعِيَّةَ لا تُتَصَوَّرُ هٰهُنا. ثُمَّ التَّقادِيرُ في الشَّرْطِيَّةِ بمَنْزِلَةِ الأفْرادِ في الحَمْلِيَّةِ؛ فإنْ كانَ الحُكْمُ على تَقْدِيرٍ مُعَيَّنٍ ووَضْعٍ خاصٍّ سُمِّيَتِ الشَّرْطِيَّةُ شَخْصِيَّةً، كقَوْلِنا: «إنْ جِئْتَنِي اليَوْمَ أكْرَمْتُكَ»، وإنْ كانَ الحُكْمُ على جَمِيعِ تَقادِيرِ المُقَدَّمِ سُمِّيَتْ كُلِّيَّةً، نحوُ: «كُلَّما كانَتِ الشَّمْسُ طالِعَةً كانَ النَّهارُ مَوْجُودًا»، وإنْ كانَ الحُكْمُ على بَعْضِ التَّقادِيرِ كانَتْ جُزْئِيَّةً، كما في قَوْلِنا: «قد يَكُونُ إذا كانَ الشَّيْءُ حَيَوانًا كانَ إنْسانًا»، وإنْ تُرِكَ ذِكْرُ التَّقادِيرِ كُلًّا وبَعْضًا كانَتْ مُهْمَلَةً، نحوُ: «إنْ كانَ زَيْدٌ إنْسانًا كانَ حَيَوانًا».

جان لو کہ جس طرح حملیہ شخصیہ، محصورہ اور مہملہ کی طرف تقسیم ہوتا ہے، اسی طرح شرطیہ بھی ان ہی قسموں کی طرف تقسیم ہوتا ہے، البتہ قضیہ طبعیہ کا یہاں تصور نہیں ہو سکتا۔ پھر شرطیہ میں تقادیر [یعنی فرض کی جانے والی حالتیں] حملیہ میں افراد کی جگہ ہیں؛ پس اگر حکم کسی معیّن تقدیر اور خاص وضع (حالت) پر ہو تو شرطیہ شخصیہ کہلاتا ہے، جیسے ہمارا قول: “اگر تم آج میرے پاس آؤ تو میں تمہاری عزت کروں گا”؛ اور اگر حکم مقدم کی تمام تقادیر پر ہو تو کلیہ کہلاتا ہے، جیسے: “جب بھی سورج طلوع ہو تو دن موجود ہوتا ہے”؛ اور اگر حکم بعض تقادیر پر ہو تو جزئیہ ہوگا، جیسے ہمارے قول میں: “کبھی ایسا ہوتا ہے کہ جب کوئی چیز حیوان ہو تو انسان ہو”؛ اور اگر تقادیر کا ذکر، خواہ کل کا ہو یا بعض کا، چھوڑ دیا جائے تو مہملہ ہوگا، جیسے: “اگر زید انسان ہے تو حیوان ہے”۔

al-Mirqāt · ص 31

فصل في ذكر أسوار الشرطيات

سُورُ المُوجَبَةِ الكُلِّيَّةِ في المُتَّصِلَةِ لَفْظَةُ «مَتى» و«مَهْما» و«كُلَّما»، وفي المُنْفَصِلَةِ «دائِمًا». وسُورُ السّالِبَةِ الكُلِّيَّةِ في المُتَّصِلَةِ والمُنْفَصِلَةِ «لَيْسَ البَتَّةَ». وسُورُ المُوجَبَةِ الجُزْئِيَّةِ فيهما «قد يَكُونُ». وسُورُ السّالِبَةِ الجُزْئِيَّةِ فيهما «قد لا يَكُونُ»، وبإدْخالِ حَرْفِ السَّلْبِ على سُورِ الإيجابِ الكُلِّيِّ. ولَفْظَةُ «لَوْ» و«إنْ» و«إذا» في الاتِّصالِ، و«إمّا» و«أوْ» في الانْفِصالِ، تَجِيءُ في الإهْمالِ.

متصلہ میں موجبہ کلیہ کا سور لفظ “مَتَى” (جب)، “مَهْمَا” (جب کبھی) اور “كُلَّمَا” (جب بھی) ہے، اور منفصلہ میں “دَائِمًا” (ہمیشہ)۔ متصلہ اور منفصلہ میں سالبہ کلیہ کا سور “لَيْسَ الْبَتَّةَ” (ہرگز نہیں) ہے۔ دونوں میں موجبہ جزئیہ کا سور “قَدْ يَكُونُ” (کبھی ہوتا ہے) ہے۔ دونوں میں سالبہ جزئیہ کا سور “قَدْ لَا يَكُونُ” (کبھی نہیں ہوتا) ہے، اور موجبہ کلیہ کے سور پر حرفِ سلب داخل کرنا بھی۔ اور اتصال میں لفظ “لَوْ” (اگر … ہوتا)، “إِنْ” (اگر) اور “إِذَا” (جب)، اور انفصال میں “إِمَّا” (یا تو) اور “أَوْ” (یا)، اہمال میں آتے ہیں [یعنی مہملہ شرطیات میں]۔

al-Mirqāt · ص 31

فصل

طَرَفا الشَّرْطِيَّةِ ـ أعْنِي المُقَدَّمَ والتّالِيَ ـ لا حُكْمَ فيهما حِينَ كَوْنِهِما طَرَفَيْنِ، وبَعْدَ التَّحْلِيلِ يُمْكِنُ أنْ يُعْتَبَرَ فيهما حُكْمٌ؛ فطَرَفاها إمّا شَبِيهَتانِ بحَمْلِيَّتَيْنِ، أو مُتَّصِلَتَيْنِ، أو مُنْفَصِلَتَيْنِ، أو مُخْتَلِفَتَيْنِ. عَلَيْكَ باسْتِخْراجِ الأمْثِلَةِ.

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

al-Mirqāt · ص 32