Qiyas syarthi dan qiyas istitsna'i

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

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

Keadaannya dalam membentuk keempat syakl, dalam dharb-dharb yang muntij, dan dalam syarat-syarat yang diperhitungkan, sama persis dengan keadaan qiyas iqtirani yang tersusun dari hamliyyah-hamliyyah. Contoh syakl pertama dengan muttashilah: “Setiap kali Zayd manusia, maka ia hewan; dan setiap kali ia hewan, maka ia jisim”, yang menghasilkan “Setiap kali Zayd manusia, maka ia jisim.” Contoh syakl kedua: “Setiap kali Zayd manusia, maka ia hewan; dan sama sekali tidak, jika ia batu, maka ia hewan”, yang menghasilkan “Sama sekali tidak, jika Zayd manusia, maka ia batu.” Contoh syakl ketiga darinya: “Setiap kali Zayd manusia, maka ia hewan; dan setiap kali Zayd manusia, maka ia penulis”, yang menghasilkan “Kadang-kadang, jika Zayd hewan, maka ia penulis.” Adapun qiyas iqtirani syarthi yang tersusun dari munfashilah-munfashilah, contohnya dalam syakl pertama: “Adakalanya setiap A adalah B, atau setiap J adalah D; dan selalu, adakalanya setiap D adalah H, atau setiap D adalah Z”, yang menghasilkan “Selalu, adakalanya setiap A adalah B, atau setiap J adalah H, atau setiap D adalah Z.” Adapun qiyas iqtirani syarthi yang tersusun dari hamliyyah dan muttashilah, contohnya ucapan kita: “Setiap kali B adalah J, maka setiap J adalah [D]; dan setiap [D] adalah A”, yang menghasilkan “Setiap kali B adalah J, maka setiap J adalah A.” Susunan-susunan yang lain mengikuti cara ini.

al-Mirqāt · hlm. 42

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

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

Qiyas istitsna'i tersusun dari dua muqaddimah, yakni dua qadhiyyah: salah satunya syarthiyyah dan yang lain hamliyyah, dan di antara keduanya terdapat kata istitsna' (pengecualian), maksudku illa (“kecuali”) dan saudara-saudaranya; karena itulah ia disebut istitsna'i. Jika syarthiyyah itu muttashilah, maka menetapkan 'ain (diri) muqaddam menghasilkan 'ain tali, dan menetapkan naqidh tali menghasilkan terangkatnya muqaddam. Seperti engkau berkata: “Setiap kali matahari terbit, maka siang ada; tetapi matahari terbit”, yang menghasilkan “maka siang ada”; [atau] “tetapi siang tidak ada”, yang menghasilkan “maka matahari tidak terbit”. Jika ia munfashilah haqiqiyyah, maka menetapkan 'ain salah satu dari keduanya menghasilkan naqidh yang lain, dan sebaliknya [juga berlaku]. Dalam mani'atul jam', cara pertama [menetapkan 'ain salah satunya] yang menghasilkan, bukan cara kedua; dan dalam mani'atul khuluww, cara kedua [menetapkan naqidh salah satunya], bukan cara pertama. Sampai di sini pembahasan qiyas telah selesai secara ringkas; rinciannya diserahkan kepada kitab-kitab yang panjang. Sekarang kami akan menyebutkan sebagian dari hal-hal yang menyertai qiyas.

al-Mirqāt · hlm. 42