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

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

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

و حالِ آن‌ها در انعقادِ اشکالِ چهارگانه و ضروبِ منتج و شرایطِ معتبر درست مانندِ حالِ اقترانیاتِ [مرکب] از حملیات است. مثالِ شکلِ اول در متصله: «هرگاه زید انسان باشد، حیوان است، و هرگاه حیوان باشد، جسم است»، که نتیجه می‌دهد: «هرگاه زید انسان باشد، جسم است». مثالِ شکلِ دوم: «هرگاه زید انسان باشد، حیوان است، و هرگز چنین نیست که اگر سنگ باشد، حیوان باشد»، که نتیجه می‌دهد: «هرگز چنین نیست که اگر زید انسان باشد، سنگ باشد». مثالِ سومِ آن‌ها: «هرگاه زید انسان باشد، حیوان است، و هرگاه زید انسان باشد، نویسنده است»، که نتیجه می‌دهد: «گاهی اگر زید حیوان باشد، نویسنده است». و اما اقترانیِ شرطیِ مؤلَّف از منفصلات، مثالش از شکلِ اول [این است]: «یا هر الف ب است یا هر ج د است، و همواره [یا] هر د ه است یا هر د ز است»، که نتیجه می‌دهد: «همواره یا هر الف ب است یا هر ج ه است یا هر د ز است». و اما اقترانیِ شرطیِ مرکب از حملیه و متصله، مانند این سخنِ ما: «هرگاه ب ج باشد، پس هر ج [د] است، و هر [د] الف است»، که نتیجه می‌دهد: «هرگاه ب ج باشد، پس هر ج الف است». و باقیِ ترکیب‌ها بر همین قیاس است.

al-Mirqāt · ص 42

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

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

و آن مرکب است از دو مقدمه، یعنی دو قضیه، که یکی شرطیه است و دیگری حملیه، و کلمهٔ استثنا، یعنی «إلّا» («جز») و نظایرش، میان آن دو فاصله می‌شود؛ و از این رو استثنائی نامیده می‌شود. پس اگر شرطیه متصله باشد، استثنای عینِ مقدَّم عینِ تالی را نتیجه می‌دهد، و استثنای نقیضِ تالی رفعِ مقدَّم را نتیجه می‌دهد؛ چنان‌که می‌گویی: «هرگاه خورشید طلوع کرده باشد، روز موجود است؛ ولی خورشید طلوع کرده است»، که نتیجه می‌دهد: «پس روز موجود است»؛ [یا] «ولی روز موجود نیست»، که نتیجه می‌دهد: «پس خورشید طلوع نکرده است». و اگر منفصلهٔ حقیقیه باشد، استثنای عینِ یکی از آن دو [جزء] نقیضِ دیگری را نتیجه می‌دهد، و برعکس؛ و در مانع اجتماع (مانعةالجمع) قسمِ اول نتیجه می‌دهد نه قسمِ دوم، و در مانع خلو (مانعةالخلو) قسمِ دوم نه قسمِ اول. و در اینجا مباحثِ قیاس به طورِ مجمل به پایان رسید، و تفصیل به کتاب‌های مفصّل واگذار شده است؛ و اکنون پاره‌ای از لواحقِ قیاس را یاد می‌کنیم.

al-Mirqāt · ص 42