شرطی اور استثنائی قیاسات

فصل في الاقترانيات من الشرطيات

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

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

al-Mirqāt · ص 42

فصل في القياس الاستثنائي

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

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

al-Mirqāt · ص 42